1# Copyright (C) 2002-2019 Free Software Foundation, Inc. 2# 3# This program is free software; you can redistribute it and/or modify 4# it under the terms of the GNU General Public License as published by 5# the Free Software Foundation; either version 3 of the License, or 6# (at your option) any later version. 7# 8# This program is distributed in the hope that it will be useful, 9# but WITHOUT ANY WARRANTY; without even the implied warranty of 10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 11# GNU General Public License for more details. 12# 13# You should have received a copy of the GNU General Public License 14# along with this program. If not, see <http://www.gnu.org/licenses/>. 15# 16 17# Tests for Powerpc AltiVec ABI 18 19 20# 21# This file uses altivec-abi.c for input. 22# 23 24if {![istarget "powerpc*"] || [skip_altivec_tests]} then { 25 verbose "Skipping altivec abi tests." 26 return 27} 28 29standard_testfile 30 31if [get_compiler_info] { 32 warning "get_compiler failed" 33 return -1 34} 35 36proc altivec_abi_tests { extra_flags force_abi } { 37 global testfile binfile srcfile srcdir subdir 38 global gdb_prompt 39 40 set compile_flags "debug nowarnings $extra_flags" 41 42 if { [gdb_compile ${srcdir}/${subdir}/${srcfile} ${binfile} executable $compile_flags] != "" } { 43 untested "failed to compile" 44 return -1 45 } 46 47 if { "$force_abi" == "auto" } { 48 # If the toolchain does not record attributes, skip auto-ABI tests. 49 set readelf_program [gdb_find_readelf] 50 set result [catch "exec $readelf_program -A $binfile" output] 51 52 if {$result == 0 && ![regexp Tag_GNU_Power_ABI_Vector $output]} { 53 untested "ABI not marked" 54 return 55 } 56 } 57 58 gdb_exit 59 gdb_start 60 gdb_reinitialize_dir $srcdir/$subdir 61 gdb_load ${binfile} 62 63 # Run to `main' where we begin our tests. 64 if ![runto_main] then { 65 untested "could not run to main" 66 return -1 67 } 68 69 gdb_test "set print frame-arguments all" 70 gdb_test "set powerpc vector-abi $force_abi" 71 72 gdb_test "b marker" "Breakpoint 2 at.*file.*altivec-abi.c, line \[0-9\]+." "break marker" 73 gdb_test "continue" "Breakpoint 2.*marker.*altivec-abi.c.*" "continue to marker" 74 gdb_test "finish" "Run till exit from .0.*marker.*at.*altivec-abi.c.*main \\(\\) at.*altivec-abi.c.*result = vec_func \\(vshort,.*goes in v2.*" "back to main (1)" 75 76 # now all the arguments of vec_fun are initialized 77 78 set pattern "vec_func .vshort_f=.111, 222, 333, 444, 555, 666, 777, 888., vushort_f=.100, 200, 300, 400, 500, 600, 700, 800., vint_f=.-10, -20, -30, -40., vuint_f=.1111, 2222, 3333, 4444., vchar_f=.97, 98, 99, 100, 101, 102, 103, 104, 105, 108, 109, 110, 111, 112, 113, 114., vuchar_f=.65, 66, 67, 68, 69, 70, 71, 72, 73, 76, 77, 78, 79, 80, 81, 82., vfloat_f=.1.25, 3.75, 5.5, 1.25., x_f=.1, 2, 3, 4, 5, 6, 7, 8., y_f=.12, 22, 32, 42., a_f=.118, 101, 99, 116, 111, 114, 32, 111, 102, 32, 99, 104, 97, 114, 115, 46., b_f=.5.5, 4.5, 3.75, 2.25., c_f=.1.25, 3.5, 5.5, 7.75., intv_on_stack_f=.12, 34, 56, 78.." 79 80 set pattern1 $pattern 81 append pattern1 " at.*altivec-abi.c.*vint_res = vec_add.*vint_f, intv_on_stack_f.;" 82 83 # Now let's call the function. This function has > 12 args, 84 # the last one will go on the stack. 85 set msg "call inferior function with vectors (1)" 86 gdb_test "p vec_func(vshort,vushort,vint,vuint,vchar,vuchar,vfloat,x,y,a,b,c,intv_on_stack)" \ 87 ".\[0-9\]+ = .14, 36, 58, 80." "call inferior function with vectors (1)" 88 89 90 # Let's call the function again with dummy arguments. This is to clean 91 # up the contents of the vector registers before the next call. 92 gdb_test "p vec_func(vshort_d,vushort_d,vint_d,vuint_d,vchar_d,vuchar_d,vfloat_d,x_d,y_d,a_d,b_d,c_d,intv_on_stack_d)" \ 93 ".\[0-9\]+ = .0, 0, 0, 0." "call inferior function with vectors (2)" 94 95 # Attempt to take address of the return value of vec_func. 96 gdb_test "p &vec_func(vshort,vushort,vint,vuint,vchar,vuchar,vfloat,x,y,a,b,c,intv_on_stack)" \ 97 "Attempt to take address of value not located in memory." \ 98 "Attempt to take address of the return value of vec_func" 99 100 # Attempt to assign a value to the return value of vec_func. 101 gdb_test "set variable vec_func(vshort,vushort,vint,vuint,vchar,vuchar,vfloat,x,y,a,b,c,intv_on_stack) = {0,1,2,3}" \ 102 "Left operand of assignment is not an lvalue." \ 103 "Attempt to assign a value to the return value of vec_func" 104 105 # Let's step into the function, to see if the args are printed correctly. 106 gdb_test "step" \ 107 $pattern1 \ 108 "step into vec_fun" 109 110 set pattern2 $pattern 111 append pattern2 " at.*altivec-abi.c.*main.*result = vec_func .vshort,.*goes in v2.*Value returned is.*= .14, 36, 58, 80." 112 113 # Let's see if the result is returned correctly. 114 set message "vector value returned correctly" 115 gdb_test_multiple "finish" $message { 116 -re "Run till exit from .0.*$pattern2.*$gdb_prompt $" { 117 pass $message 118 } 119 -re "Run till exit from .0.*Cannot determine contents.*$gdb_prompt $" { 120 # This happens in those cases where the vector is returned by 121 # reference (generic vectors on 64-bit GNU/Linux). 122 pass $message 123 } 124 } 125 126 # can we print the args correctly for this function? 127 gdb_test "break struct_of_vector_func" "" "" 128 129 set pattern "struct_of_vector_func .vector_struct=.vshort1 = .1, 2, 3, 4, 5, 6, 7, 8., vshort2 = .11, 12, 13, 14, 15, 16, 17, 18., vshort3 = .21, 22, 23, 24, 25, 26, 27, 28., vshort4 = .31, 32, 33, 34, 35, 36, 37, 38... at.*altivec-abi.c.*" 130 131 gdb_test "continue" \ 132 "Breakpoint 3, $pattern.*vector_struct.vshort1 = vec_add .vector_struct.vshort1, vector_struct.vshort2.;" \ 133 "continue to struct_of_vector_func" 134 135 gdb_test "finish" \ 136 "Run till exit from .0 $pattern\[ \r\n\]+main.*altivec-abi.c.*array_of_vector_func.*" \ 137 "back to main (2)" 138 139 gdb_test "step" "" "step into array_of_vector_func" 140 gdb_test "p matrix\[0\]" ".*= .1, 2, 3, 4, 5, 6, 7, 8." "print first vector" 141 gdb_test "p matrix\[1\]" ".*= .11, 12, 13, 14, 15, 16, 17, 18." "print second vector" 142 gdb_test "p matrix\[2\]" ".*= .21, 22, 23, 24, 25, 26, 27, 28." "print third vector" 143 gdb_test "p matrix\[3\]" ".*= .31, 32, 33, 34, 35, 36, 37, 38." "print fourth vector" 144} 145 146if [test_compiler_info gcc*] { 147 set binprefix ${binfile} 148 149 with_test_prefix "default ABI, auto" { 150 altivec_abi_tests "additional_flags=-maltivec" "auto" 151 } 152 153 # On GNU/Linux, we can mix -mabi=no-altivec and -mabi=altivec. 154 # So test some combinations. 155 if { [istarget "powerpc*-linux*"] } { 156 # On 64-bit GNU/Linux with GCC 4.1 and 4.2, -mabi=no-altivec 157 # was broken, so skip those tests there. 158 if { ![is_lp64_target] || ![test_compiler_info "gcc-4-\[12\]-*"] } { 159 set binfile ${binprefix}-ge-ge 160 with_test_prefix "generic ABI, forced" { 161 altivec_abi_tests "additional_flags=-maltivec additional_flags=-mabi=no-altivec" "generic" 162 } 163 164 set binfile ${binprefix}-ge-auto 165 with_test_prefix "generic ABI, auto" { 166 altivec_abi_tests "additional_flags=-maltivec additional_flags=-mabi=no-altivec" "auto" 167 } 168 } 169 170 set binfile ${binprefix}-av-av 171 with_test_prefix "AltiVec ABI, forced" { 172 altivec_abi_tests "additional_flags=-maltivec additional_flags=-mabi=altivec" "altivec" 173 } 174 175 set binfile ${binprefix}-av-auto 176 with_test_prefix "AltiVec ABI, auto" { 177 altivec_abi_tests "additional_flags=-maltivec additional_flags=-mabi=altivec" "auto" 178 } 179 } 180} elseif [test_compiler_info xlc*] { 181 altivec_abi_tests "additional_flags=-qaltivec" "auto" 182} else { 183 warning "unknown compiler" 184 return -1 185} 186