Commit | Line | Data |
---|---|---|
618f726f | 1 | # Copyright 2010-2016 Free Software Foundation, Inc. |
7346b668 KW |
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 | ||
289f9037 | 21 | standard_testfile .c |
7346b668 | 22 | |
e6c693af AA |
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 | ||
77c365df AA |
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 | |
7346b668 KW |
41 | } |
42 | ||
e6c693af | 43 | clean_restart ${binfile} |
7346b668 KW |
44 | |
45 | if { ![runto main] } { | |
46 | fail "runto main" | |
47 | return -1 | |
48 | } | |
49 | ||
4c406179 JM |
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 | ||
2844d6b5 KW |
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 | ||
120bd360 | 62 | # Test operators on integer vector types |
7346b668 KW |
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\\}" | |
120bd360 KW |
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 | ||
7346b668 KW |
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\\}" | |
120bd360 | 82 | gdb_test "print ~i4a" "\\\$$decimal = \\{-3, -5, -9, -17\\}" |
7346b668 KW |
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 | ||
120bd360 | 87 | # Test operators on floating point vector types |
7346b668 KW |
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\\}" | |
120bd360 KW |
95 | gdb_test "print +f4a" "\\\$$decimal = \\{2, 4, 8, 16\\}" |
96 | gdb_test "print -f4a" "\\\$$decimal = \\{-2, -4, -8, -16\\}" | |
7346b668 | 97 | |
8954db33 AB |
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\\}" | |
8954db33 AB |
101 | gdb_test "print (int2) lla" "\\\$$decimal = \\{1, 1\\}" |
102 | ||
4c406179 JM |
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 | ||
8954db33 AB |
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\\}" | |
3bdf2bbd | 128 | gdb_test "print i4a + ib" "\\\$$decimal = \\{3, 5, 9, 17\\}" |
8954db33 AB |
129 | gdb_test "print i4a + 1" "\\\$$decimal = \\{3, 5, 9, 17\\}" |
130 | gdb_test "print 1 + i4a" "\\\$$decimal = \\{3, 5, 9, 17\\}" | |
3bdf2bbd | 131 | gdb_test "print fa - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}" |
8954db33 | 132 | gdb_test "print 2 - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}" |
3bdf2bbd | 133 | gdb_test "print f4a * fb" "\\\$$decimal = \\{2, 4, 8, 16\\}" |
8954db33 | 134 | gdb_test "print f4a * 1" "\\\$$decimal = \\{2, 4, 8, 16\\}" |
3bdf2bbd | 135 | gdb_test "print ia / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}" |
8954db33 | 136 | gdb_test "print 2 / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}" |
3bdf2bbd | 137 | gdb_test "print i4a % ib" "\\\$$decimal = \\{0, 0, 0, 0\\}" |
8954db33 | 138 | gdb_test "print i4a % 1" "\\\$$decimal = \\{0, 0, 0, 0\\}" |
3bdf2bbd | 139 | gdb_test "print ia & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}" |
8954db33 | 140 | gdb_test "print 2 & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}" |
3bdf2bbd | 141 | gdb_test "print i4a | ib" "\\\$$decimal = \\{3, 5, 9, 17\\}" |
8954db33 | 142 | gdb_test "print i4a | 1" "\\\$$decimal = \\{3, 5, 9, 17\\}" |
3bdf2bbd | 143 | gdb_test "print ia ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}" |
8954db33 | 144 | gdb_test "print 2 ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}" |
3bdf2bbd | 145 | gdb_test "print i4a << ib" "\\\$$decimal = \\{4, 8, 16, 32\\}" |
8954db33 | 146 | gdb_test "print i4a << 1" "\\\$$decimal = \\{4, 8, 16, 32\\}" |
3bdf2bbd | 147 | gdb_test "print i4a >> ib" "\\\$$decimal = \\{1, 2, 4, 8\\}" |
8954db33 | 148 | gdb_test "print i4a >> 1" "\\\$$decimal = \\{1, 2, 4, 8\\}" |
3bdf2bbd KW |
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 | |
7346b668 KW |
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" | |
dbc98a8b KW |
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" | |
7346b668 | 170 | |
8954db33 AB |
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 | ||
2f27adfe AB |
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}" | |
e6c693af AA |
185 | |
186 | # Test inferior function calls with vector arguments and/or vector | |
187 | # return values. | |
e03ed3c6 AA |
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 | } | |
e6c693af AA |
195 | gdb_test "print add_some_intvecs(i4a, i4b, 3 * i4a)" "= \\{17, 34, 72, 132\\}" \ |
196 | "call add_some_intvecs" | |
e6c693af AA |
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" | |
e6c693af AA |
199 | gdb_test "print add_various_floatvecs(2, f4a, f4b)" "= \\{3, 6, 16, 20\\}" \ |
200 | "call add_various_floatvecs" | |
e6c693af AA |
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 | ||
77c365df | 206 | # Test "finish" from vector-valued function. |
e6c693af AA |
207 | gdb_breakpoint "add_some_intvecs" |
208 | gdb_continue "add_some_intvecs" | |
77c365df AA |
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 | ||
e6c693af | 219 | gdb_continue "add_some_intvecs" |
77ae9c19 YQ |
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. | |
77c365df AA |
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" { | |
fd356fa2 | 233 | # This happens, e.g., on s390x unless using the vector ABI. |
77c365df AA |
234 | set should_kfail 1 |
235 | exp_continue | |
236 | } | |
237 | -re "Make add_some_intvecs return now. .y or n. $" { | |
238 | send_gdb "y\n" | |
239 | exp_continue | |
240 | } | |
241 | } | |
77ae9c19 YQ |
242 | |
243 | gdb_test "next" "" | |
fd356fa2 AA |
244 | set test "verify vector return value" |
245 | gdb_test_multiple "p res" $test { | |
246 | -re ".*= \\{4, 2, 7, 6\\}\r\n.*$gdb_prompt $" { | |
247 | pass $test | |
248 | } | |
249 | -re ".*= \\{.*\\}\r\n.*$gdb_prompt $" { | |
250 | if { $should_kfail } { | |
251 | # GDB had not actually set the return value, likely due to | |
252 | # PR 8549. So accept any return value and emit a KFAIL. | |
253 | kfail "gdb/8549" $test | |
254 | } else { | |
255 | fail $test | |
256 | } | |
257 | } | |
258 | } |