gdb/testsuite/gdb.base/gnu_vector.exp

   1 # Copyright 2010-2015 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
  21 standard_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
  28 proc 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
  35 if { [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
  43 clean_restart ${binfile}
  44
  45 if { ![runto main] } {
  46     fail "runto main"
  47     return -1
  48 }
  49
  50 # Get endianess for the scalar->vector casts
  51 gdb_test_multiple "show endian" "show endian" {
  52     -re ".* (big|little) endian.*$gdb_prompt $" {
  53         set endian $expect_out(1,string)
  54         pass "endianness: $endian"
  55     }
  56 }
  57
  58 # Test printing of character vector types
  59 gdb_test "print c4" "\\\$$decimal = \\{1, 2, 3, 4\\}"
  60 gdb_test "print c4\[2\]" "\\\$$decimal = 3"
  61
  62 # Test operators on integer vector types
  63 gdb_test "print i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
  64 gdb_test "print i4b" "\\\$$decimal = \\{1, 2, 8, 4\\}"
  65 # Arithmetic operators
  66 gdb_test "print i4a + i4b" "\\\$$decimal = \\{3, 6, 16, 20\\}"
  67 gdb_test "print i4a - i4b" "\\\$$decimal = \\{1, 2, 0, 12\\}"
  68 gdb_test "print i4a * i4b" "\\\$$decimal = \\{2, 8, 64, 64\\}"
  69 gdb_test "print i4a / i4b" "\\\$$decimal = \\{2, 2, 1, 4\\}"
  70 gdb_test "print i4a % i4b" "\\\$$decimal = \\{0, 0, 0, 0\\}"
  71 gdb_test "print i4a++" "\\\$$decimal = \\{2, 4, 8, 16\\}"
  72 gdb_test "print ++i4a" "\\\$$decimal = \\{4, 6, 10, 18\\}"
  73 gdb_test "print i4a--" "\\\$$decimal = \\{4, 6, 10, 18\\}"
  74 gdb_test "print --i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
  75 gdb_test "print +i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
  76 gdb_test "print -i4a" "\\\$$decimal = \\{-2, -4, -8, -16\\}"
  77
  78 # Bitwise operators
  79 gdb_test "print i4a & i4b" "\\\$$decimal = \\{0, 0, 8, 0\\}"
  80 gdb_test "print i4a | i4b" "\\\$$decimal = \\{3, 6, 8, 20\\}"
  81 gdb_test "print i4a ^ i4b" "\\\$$decimal = \\{3, 6, 0, 20\\}"
  82 gdb_test "print ~i4a" "\\\$$decimal = \\{-3, -5, -9, -17\\}"
  83 # Shift operators
  84 gdb_test "print i4a << i4b" "\\\$$decimal = \\{4, 16, 2048, 256\\}"
  85 gdb_test "print i4a >> i4b" "\\\$$decimal = \\{1, 1, 0, 1\\}"
  86
  87 # Test operators on floating point vector types
  88 gdb_test "print f4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
  89 gdb_test "print f4b" "\\\$$decimal = \\{1, 2, 8, 4\\}"
  90 # Arithmetic operators
  91 gdb_test "print f4a + f4b" "\\\$$decimal = \\{3, 6, 16, 20\\}"
  92 gdb_test "print f4a - f4b" "\\\$$decimal = \\{1, 2, 0, 12\\}"
  93 gdb_test "print f4a * f4b" "\\\$$decimal = \\{2, 8, 64, 64\\}"
  94 gdb_test "print f4a / f4b" "\\\$$decimal = \\{2, 2, 1, 4\\}"
  95 gdb_test "print +f4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
  96 gdb_test "print -f4a" "\\\$$decimal = \\{-2, -4, -8, -16\\}"
  97
  98 # When casting to vector the input type must have the same length as
  99 # the total length of the vector.
 100 gdb_test "print (char4) 0x01010101" "\\\$$decimal = \\{1, 1, 1, 1\\}"
 101 gdb_test "print (int2) lla" "\\\$$decimal = \\{1, 1\\}"
 102
 103 if { ![string compare $endian big] } then {
 104     gdb_test "print (char4) ia" "\\\$$decimal = \\{0, 0, 0, 2\\}"
 105 } else {
 106     gdb_test "print (char4) ia" "\\\$$decimal = \\{2, 0, 0, 0\\}"
 107 }
 108
 109 gdb_test "print (int2) 1" "can only cast scalar to vector of same size"
 110 gdb_test "print (longlong2) 2" "can only cast scalar to vector of same size"
 111 gdb_test "print (float2) 3" "can only cast scalar to vector of same size"
 112 gdb_test "print (double2) 4" "can only cast scalar to vector of same size"
 113 gdb_test "print (uint4) ia" "can only cast scalar to vector of same size"
 114 gdb_test "print (int4) -3" "can only cast scalar to vector of same size"
 115 gdb_test "print (float4) 4" "can only cast scalar to vector of same size"
 116
 117 gdb_test "print i4b = ia" "can only cast scalar to vector of same size"
 118 gdb_test "print i4a = 3" "can only cast scalar to vector of same size"
 119 gdb_test "print f4a = fb" "can only cast scalar to vector of same size"
 120 gdb_test "print f4b = 2" "can only cast scalar to vector of same size"
 121
 122 gdb_test "print c4 + lla" "conversion of scalar to vector involves truncation"
 123 gdb_test "print i4a + lla" "conversion of scalar to vector involves truncation"
 124 gdb_test "print lla + c4" "conversion of scalar to vector involves truncation"
 125 gdb_test "print lla + i4a" "conversion of scalar to vector involves truncation"
 126
 127 gdb_test "print c4 + ib" "\\\$$decimal = \\{2, 3, 4, 5\\}"
 128 gdb_test "print i4a + ib" "\\\$$decimal = \\{3, 5, 9, 17\\}"
 129 gdb_test "print i4a + 1" "\\\$$decimal = \\{3, 5, 9, 17\\}"
 130 gdb_test "print 1 + i4a" "\\\$$decimal = \\{3, 5, 9, 17\\}"
 131 gdb_test "print fa - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}"
 132 gdb_test "print 2 - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}"
 133 gdb_test "print f4a * fb" "\\\$$decimal = \\{2, 4, 8, 16\\}"
 134 gdb_test "print f4a * 1" "\\\$$decimal = \\{2, 4, 8, 16\\}"
 135 gdb_test "print ia / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}"
 136 gdb_test "print 2 / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}"
 137 gdb_test "print i4a % ib" "\\\$$decimal = \\{0, 0, 0, 0\\}"
 138 gdb_test "print i4a % 1" "\\\$$decimal = \\{0, 0, 0, 0\\}"
 139 gdb_test "print ia & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}"
 140 gdb_test "print 2 & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}"
 141 gdb_test "print i4a | ib" "\\\$$decimal = \\{3, 5, 9, 17\\}"
 142 gdb_test "print i4a | 1" "\\\$$decimal = \\{3, 5, 9, 17\\}"
 143 gdb_test "print ia ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}"
 144 gdb_test "print 2 ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}"
 145 gdb_test "print i4a << ib" "\\\$$decimal = \\{4, 8, 16, 32\\}"
 146 gdb_test "print i4a << 1" "\\\$$decimal = \\{4, 8, 16, 32\\}"
 147 gdb_test "print i4a >> ib" "\\\$$decimal = \\{1, 2, 4, 8\\}"
 148 gdb_test "print i4a >> 1" "\\\$$decimal = \\{1, 2, 4, 8\\}"
 149
 150 gdb_test "print i4a = \{2, 4, 8, 16\}" "\\\$$decimal = \\{2, 4, 8, 16\\}"
 151 gdb_test "print i4a <<= ib" "\\\$$decimal = \\{4, 8, 16, 32\\}"
 152
 153 # Test some error scenarios
 154 gdb_test "print i4a + d2" "Cannot perform operation on vectors with different types"
 155 gdb_test "print d2 + i4a" "Cannot perform operation on vectors with different types"
 156 gdb_test "print f4a + ll2" "Cannot perform operation on vectors with different types"
 157 gdb_test "print ll2 + f4a" "Cannot perform operation on vectors with different types"
 158 gdb_test "print i2 + ll2" "Cannot perform operation on vectors with different types"
 159 gdb_test "print ll2 + i2" "Cannot perform operation on vectors with different types"
 160 gdb_test "print i4a + ll2" "Cannot perform operation on vectors with different types"
 161 gdb_test "print ll2 + i4a" "Cannot perform operation on vectors with different types"
 162 gdb_test "print f4a + d2" "Cannot perform operation on vectors with different types"
 163 gdb_test "print d2 + f4a" "Cannot perform operation on vectors with different types"
 164 gdb_test "print ui4 + i4a" "Cannot perform operation on vectors with different types"
 165 gdb_test "print i4a + ui4" "Cannot perform operation on vectors with different types"
 166 gdb_test "print i4a + i2" "Cannot perform operation on vectors with different types"
 167 gdb_test "print i2 + i4a" "Cannot perform operation on vectors with different types"
 168 gdb_test "print f4a + f2" "Cannot perform operation on vectors with different types"
 169 gdb_test "print f2 + f4a" "Cannot perform operation on vectors with different types"
 170
 171 gdb_test "print (double2) f2" "Cannot convert between vector values of different sizes"
 172 gdb_test "print (int4) c4" "Cannot convert between vector values of different sizes"
 173 gdb_test "print (char4) i4a" "Cannot convert between vector values of different sizes"
 174
 175 # Test ptype on vector types.
 176 gdb_test "ptype c4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
 177 gdb_test "ptype char4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
 178 gdb_test "ptype i4a" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
 179 gdb_test "ptype int4" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
 180 gdb_test "ptype f4b" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
 181 gdb_test "ptype float4" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
 182
 183 gdb_test "ptype union_with_vector_1" "type = union {\r\n\[\t \]+int i;\r\n\[\t \]+char cv __attribute__ \\(\\(vector_size\\(4\\)\\)\\);\r\n}"
 184 gdb_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}"
 185
 186 # Test inferior function calls with vector arguments and/or vector
 187 # return values.
 188 if { [istarget "i?86-*-*"] || [istarget "x86_64-*-*" ] } {
 189     # These platforms don't support infcalls with vector arguments
 190     # and/or vector return values, so skip the remaining tests.
 191     # See also PR exp/18537.
 192     unsupported "skip remaining vector ABI tests on this arch"
 193     return
 194 }
 195 gdb_test "print add_some_intvecs(i4a, i4b, 3 * i4a)" "= \\{17, 34, 72, 132\\}" \
 196     "call add_some_intvecs"
 197 gdb_test "print add_many_charvecs(c4, c4, c4, c4, c4, c4, c4, c4, c4, c4)" \
 198     "= \\{10, 20, 30, 40\\}" "call add_many_charvecs"
 199 gdb_test "print add_various_floatvecs(2, f4a, f4b)" "= \\{3, 6, 16, 20\\}" \
 200     "call add_various_floatvecs"
 201 gdb_test "print add_structvecs(i2, (struct just_int2)\{2*i2\}, (struct two_int2)\{3*i2, 4*i2\})" \
 202     "= \\{i = \\{10, 20\\}\\}" "call add_structvecs"
 203 gdb_test "print add_singlevecs((char1) \{6\}, (int1) \{12\}, (double1) \{24\})" "= \\{42\\}" \
 204     "call add_singlevecs"
 205
 206 # Test "finish" from vector-valued function.
 207 gdb_breakpoint "add_some_intvecs"
 208 gdb_continue "add_some_intvecs"
 209 set test "finish shows vector return value"
 210 gdb_test_multiple "finish" $test {
 211     -re "Value returned is .* = \\{10, 20, 48, 72\\}.*$gdb_prompt $" {
 212         pass $test
 213     }
 214     -re "Value returned has type: .* Cannot determine contents.*$gdb_prompt $" {
 215         kfail "gdb/8549" $test
 216     }
 217 }
 218
 219 gdb_continue "add_some_intvecs"
 220 gdb_test "up" ""
 221 gdb_test "p res" "\\{10, 20, 48, 72\\}.*"
 222 gdb_test "down" ""
 223
 224
 225 # Test "return" from vector-valued function.
 226 set test "return from vector-valued function"
 227 set should_kfail 0
 228 gdb_test_multiple "return (int4) \{4, 2, 7, 6\}" $test {
 229     -re "#0 .* main .*$gdb_prompt $" {
 230         pass $test
 231     }
 232     -re "The location .* is unknown.\r\n.* return value .* will be ignored.\r\n" {
 233         set should_kfail 1
 234         exp_continue
 235     }
 236     -re "Make add_some_intvecs return now. .y or n. $" {
 237         send_gdb "y\n"
 238         exp_continue
 239     }
 240 }
 241
 242 gdb_test "next" ""
 243 gdb_test "p res" "\\{4, 2, 7, 6\\}.*" "verify vector return value"