1# Copyright 2010-2020 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# Contributed by Ken Werner <ken.werner@de.ibm.com>. 17# 18# Tests GDBs support for GNU vectors. 19# http://gcc.gnu.org/onlinedocs/gcc/Vector-Extensions.html 20 21standard_testfile .c 22 23# If supported by the compiler, "-mcpu=native" or "-march=native" 24# should enable the highest available vector ABI. Try both, then try 25# without a CPU option. If all variants fail, assume that the 26# compiler can not handle GNU vectors. 27 28proc do_compile { {opts {}} } { 29 global srcdir subdir srcfile binfile 30 set ccopts {debug quiet} 31 foreach opt $opts {lappend ccopts "additional_flags=$opt"} 32 gdb_compile "${srcdir}/${subdir}/${srcfile}" "$binfile" executable $ccopts 33} 34 35if { [do_compile {-mcpu=native}] != "" 36 && [do_compile {-mcpu=native -Wno-psabi}] != "" 37 && [do_compile {-march=native}] != "" 38 && [do_compile] != ""} { 39 untested "compiler can't handle vector_size attribute?" 40 return -1 41} 42 43clean_restart ${binfile} 44 45if { ![runto main] } { 46 fail "runto main" 47 return -1 48} 49 50# Get endianess for the scalar->vector casts 51set endian [get_endianness] 52 53# Test printing of character vector types 54gdb_test "print c4" "\\\$$decimal = \\{1, 2, 3, 4\\}" 55gdb_test "print c4\[2\]" "\\\$$decimal = 3" 56 57# Test operators on integer vector types 58gdb_test "print i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}" 59gdb_test "print i4b" "\\\$$decimal = \\{1, 2, 8, 4\\}" 60# Arithmetic operators 61gdb_test "print i4a + i4b" "\\\$$decimal = \\{3, 6, 16, 20\\}" 62gdb_test "print i4a - i4b" "\\\$$decimal = \\{1, 2, 0, 12\\}" 63gdb_test "print i4a * i4b" "\\\$$decimal = \\{2, 8, 64, 64\\}" 64gdb_test "print i4a / i4b" "\\\$$decimal = \\{2, 2, 1, 4\\}" 65gdb_test "print i4a % i4b" "\\\$$decimal = \\{0, 0, 0, 0\\}" 66gdb_test "print i4a++" "\\\$$decimal = \\{2, 4, 8, 16\\}" 67gdb_test "print ++i4a" "\\\$$decimal = \\{4, 6, 10, 18\\}" 68gdb_test "print i4a--" "\\\$$decimal = \\{4, 6, 10, 18\\}" 69gdb_test "print --i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}" 70gdb_test "print +i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}" 71gdb_test "print -i4a" "\\\$$decimal = \\{-2, -4, -8, -16\\}" 72 73# Bitwise operators 74gdb_test "print i4a & i4b" "\\\$$decimal = \\{0, 0, 8, 0\\}" 75gdb_test "print i4a | i4b" "\\\$$decimal = \\{3, 6, 8, 20\\}" 76gdb_test "print i4a ^ i4b" "\\\$$decimal = \\{3, 6, 0, 20\\}" 77gdb_test "print ~i4a" "\\\$$decimal = \\{-3, -5, -9, -17\\}" 78# Shift operators 79gdb_test "print i4a << i4b" "\\\$$decimal = \\{4, 16, 2048, 256\\}" 80gdb_test "print i4a >> i4b" "\\\$$decimal = \\{1, 1, 0, 1\\}" 81 82# Test operators on floating point vector types 83gdb_test "print f4a" "\\\$$decimal = \\{2, 4, 8, 16\\}" 84gdb_test "print f4b" "\\\$$decimal = \\{1, 2, 8, 4\\}" 85# Arithmetic operators 86gdb_test "print f4a + f4b" "\\\$$decimal = \\{3, 6, 16, 20\\}" 87gdb_test "print f4a - f4b" "\\\$$decimal = \\{1, 2, 0, 12\\}" 88gdb_test "print f4a * f4b" "\\\$$decimal = \\{2, 8, 64, 64\\}" 89gdb_test "print f4a / f4b" "\\\$$decimal = \\{2, 2, 1, 4\\}" 90gdb_test "print +f4a" "\\\$$decimal = \\{2, 4, 8, 16\\}" 91gdb_test "print -f4a" "\\\$$decimal = \\{-2, -4, -8, -16\\}" 92 93# When casting to vector the input type must have the same length as 94# the total length of the vector. 95gdb_test "print (char4) 0x01010101" "\\\$$decimal = \\{1, 1, 1, 1\\}" 96gdb_test "print (int2) lla" "\\\$$decimal = \\{1, 1\\}" 97 98# Check that "whatis" doesn't peel off the destination type's typedef 99# by mistake, in expressions that involve a cast to typedef type. 100gdb_test "whatis (char4) 0x01010101" "type = char4" 101gdb_test "whatis (int2) lla" "type = int2" 102# Check that OTOH "ptype" does peel off the destination type's 103# typedef. 104gdb_test "ptype (char4) 0x01010101" \ 105 "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 106gdb_test "ptype (int2) lla" \ 107 "type = int __attribute__ \\(\\(vector_size\\(2\\)\\)\\)" 108 109if { ![string compare $endian big] } then { 110 gdb_test "print (char4) ia" "\\\$$decimal = \\{0, 0, 0, 2\\}" 111} else { 112 gdb_test "print (char4) ia" "\\\$$decimal = \\{2, 0, 0, 0\\}" 113} 114 115gdb_test "print (int2) 1" "can only cast scalar to vector of same size" 116gdb_test "print (longlong2) 2" "can only cast scalar to vector of same size" 117gdb_test "print (float2) 3" "can only cast scalar to vector of same size" 118gdb_test "print (double2) 4" "can only cast scalar to vector of same size" 119gdb_test "print (uint4) ia" "can only cast scalar to vector of same size" 120gdb_test "print (int4) -3" "can only cast scalar to vector of same size" 121gdb_test "print (float4) 4" "can only cast scalar to vector of same size" 122 123gdb_test "print i4b = ia" "can only cast scalar to vector of same size" 124gdb_test "print i4a = 3" "can only cast scalar to vector of same size" 125gdb_test "print f4a = fb" "can only cast scalar to vector of same size" 126gdb_test "print f4b = 2" "can only cast scalar to vector of same size" 127 128gdb_test "print c4 + lla" "conversion of scalar to vector involves truncation" 129gdb_test "print i4a + lla" "conversion of scalar to vector involves truncation" 130gdb_test "print lla + c4" "conversion of scalar to vector involves truncation" 131gdb_test "print lla + i4a" "conversion of scalar to vector involves truncation" 132 133gdb_test "print c4 + ib" "\\\$$decimal = \\{2, 3, 4, 5\\}" 134gdb_test "print i4a + ib" "\\\$$decimal = \\{3, 5, 9, 17\\}" 135gdb_test "print i4a + 1" "\\\$$decimal = \\{3, 5, 9, 17\\}" 136gdb_test "print 1 + i4a" "\\\$$decimal = \\{3, 5, 9, 17\\}" 137gdb_test "print fa - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}" 138gdb_test "print 2 - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}" 139gdb_test "print f4a * fb" "\\\$$decimal = \\{2, 4, 8, 16\\}" 140gdb_test "print f4a * 1" "\\\$$decimal = \\{2, 4, 8, 16\\}" 141gdb_test "print ia / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}" 142gdb_test "print 2 / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}" 143gdb_test "print i4a % ib" "\\\$$decimal = \\{0, 0, 0, 0\\}" 144gdb_test "print i4a % 1" "\\\$$decimal = \\{0, 0, 0, 0\\}" 145gdb_test "print ia & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}" 146gdb_test "print 2 & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}" 147gdb_test "print i4a | ib" "\\\$$decimal = \\{3, 5, 9, 17\\}" 148gdb_test "print i4a | 1" "\\\$$decimal = \\{3, 5, 9, 17\\}" 149gdb_test "print ia ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}" 150gdb_test "print 2 ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}" 151gdb_test "print i4a << ib" "\\\$$decimal = \\{4, 8, 16, 32\\}" 152gdb_test "print i4a << 1" "\\\$$decimal = \\{4, 8, 16, 32\\}" 153gdb_test "print i4a >> ib" "\\\$$decimal = \\{1, 2, 4, 8\\}" 154gdb_test "print i4a >> 1" "\\\$$decimal = \\{1, 2, 4, 8\\}" 155 156gdb_test "print i4a = \{2, 4, 8, 16\}" "\\\$$decimal = \\{2, 4, 8, 16\\}" 157gdb_test "print i4a <<= ib" "\\\$$decimal = \\{4, 8, 16, 32\\}" 158 159# Test some error scenarios 160gdb_test "print i4a + d2" "Cannot perform operation on vectors with different types" 161gdb_test "print d2 + i4a" "Cannot perform operation on vectors with different types" 162gdb_test "print f4a + ll2" "Cannot perform operation on vectors with different types" 163gdb_test "print ll2 + f4a" "Cannot perform operation on vectors with different types" 164gdb_test "print i2 + ll2" "Cannot perform operation on vectors with different types" 165gdb_test "print ll2 + i2" "Cannot perform operation on vectors with different types" 166gdb_test "print i4a + ll2" "Cannot perform operation on vectors with different types" 167gdb_test "print ll2 + i4a" "Cannot perform operation on vectors with different types" 168gdb_test "print f4a + d2" "Cannot perform operation on vectors with different types" 169gdb_test "print d2 + f4a" "Cannot perform operation on vectors with different types" 170gdb_test "print ui4 + i4a" "Cannot perform operation on vectors with different types" 171gdb_test "print i4a + ui4" "Cannot perform operation on vectors with different types" 172gdb_test "print i4a + i2" "Cannot perform operation on vectors with different types" 173gdb_test "print i2 + i4a" "Cannot perform operation on vectors with different types" 174gdb_test "print f4a + f2" "Cannot perform operation on vectors with different types" 175gdb_test "print f2 + f4a" "Cannot perform operation on vectors with different types" 176 177gdb_test "print (double2) f2" "Cannot convert between vector values of different sizes" 178gdb_test "print (int4) c4" "Cannot convert between vector values of different sizes" 179gdb_test "print (char4) i4a" "Cannot convert between vector values of different sizes" 180 181# Test ptype/whatis on vector types/vars. 182gdb_test "ptype c4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 183gdb_test "whatis c4" "type = char4" 184 185gdb_test "ptype char4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 186gdb_test "whatis char4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 187 188gdb_test "ptype i4a" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 189gdb_test "whatis i4a" "type = int4" 190 191gdb_test "ptype int4" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 192gdb_test "whatis int4" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 193 194gdb_test "ptype f4b" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 195gdb_test "whatis f4b" "type = float4" 196 197gdb_test "ptype float4" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 198gdb_test "whatis float4" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)" 199 200gdb_test "ptype union_with_vector_1" "type = union {\r\n\[\t \]+int i;\r\n\[\t \]+char cv __attribute__ \\(\\(vector_size\\(4\\)\\)\\);\r\n}" 201gdb_test "whatis union_with_vector_1" {type = union {...}} 202 203gdb_test "ptype struct_with_vector_1" "type = struct {\r\n\[\t \]+int i;\r\n\[\t \]+char cv __attribute__ \\(\\(vector_size\\(4\\)\\)\\);\r\n\[\t \]+float4 f4;\r\n}" 204gdb_test "whatis struct_with_vector_1" {type = struct {...}} 205 206# Test inferior function calls with vector arguments and/or vector 207# return values. 208if { [istarget "i?86-*-*"] || [istarget "x86_64-*-*" ] } { 209 # These platforms don't support infcalls with vector arguments 210 # and/or vector return values, so skip the remaining tests. 211 # See also PR exp/18537. 212 unsupported "skip remaining vector ABI tests on this arch" 213 return 214} 215gdb_test "print add_some_intvecs(i4a, i4b, 3 * i4a)" "= \\{17, 34, 72, 132\\}" \ 216 "call add_some_intvecs" 217gdb_test "print add_many_charvecs(c4, c4, c4, c4, c4, c4, c4, c4, c4, c4)" \ 218 "= \\{10, 20, 30, 40\\}" "call add_many_charvecs" 219gdb_test "print add_various_floatvecs(2, f4a, f4b)" "= \\{3, 6, 16, 20\\}" \ 220 "call add_various_floatvecs" 221gdb_test "print add_structvecs(i2, (struct just_int2)\{2*i2\}, (struct two_int2)\{3*i2, 4*i2\})" \ 222 "= \\{i = \\{10, 20\\}\\}" "call add_structvecs" 223gdb_test "print add_singlevecs((char1) \{6\}, (int1) \{12\}, (double1) \{24\})" "= \\{42\\}" \ 224 "call add_singlevecs" 225 226# Test "finish" from vector-valued function. 227gdb_breakpoint "add_some_intvecs" 228gdb_continue "add_some_intvecs" 229set test "finish shows vector return value" 230gdb_test_multiple "finish" $test { 231 -re "Value returned is .* = \\{10, 20, 48, 72\\}.*$gdb_prompt $" { 232 pass $test 233 } 234 -re "Value returned has type: .* Cannot determine contents.*$gdb_prompt $" { 235 kfail "gdb/8549" $test 236 } 237} 238 239gdb_continue "add_some_intvecs" 240gdb_test "up" "" 241gdb_test "p res" "\\{10, 20, 48, 72\\}.*" 242gdb_test "down" "" 243 244 245# Test "return" from vector-valued function. 246set test "return from vector-valued function" 247set should_kfail 0 248gdb_test_multiple "return (int4) \{4, 2, 7, 6\}" $test { 249 -re "#0 .* main .*$gdb_prompt $" { 250 pass $test 251 } 252 -re "The location .* is unknown.\r\n.* return value .* will be ignored.\r\n" { 253 # This happens, e.g., on s390x unless using the vector ABI. 254 set should_kfail 1 255 exp_continue 256 } 257 -re "Make add_some_intvecs return now. .y or n. $" { 258 send_gdb "y\n" 259 exp_continue 260 } 261} 262 263gdb_test "next" "" 264set test "verify vector return value" 265gdb_test_multiple "p res" $test { 266 -re ".*= \\{4, 2, 7, 6\\}\r\n.*$gdb_prompt $" { 267 pass $test 268 } 269 -re ".*= \\{.*\\}\r\n.*$gdb_prompt $" { 270 if { $should_kfail } { 271 # GDB had not actually set the return value, likely due to 272 # PR 8549. So accept any return value and emit a KFAIL. 273 kfail "gdb/8549" $test 274 } else { 275 fail $test 276 } 277 } 278} 279