]>
Commit | Line | Data |
---|---|---|
b3adc24a | 1 | # Copyright (C) 2012-2020 Free Software Foundation, Inc. |
5bf135a7 NC |
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, write to the Free Software | |
15 | # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. | |
16 | ||
252b5132 RH |
17 | # |
18 | # These tests should be valid on all targets. | |
19 | # | |
20 | ||
21 | # I think currently all targets fail this one when listings are enabled. | |
22 | gas_test "p2425.s" "" "" "pcrel values in assignment" | |
23 | ||
24 | # p1480.s uses a ".space" directive which for most assemblers means | |
25 | # "allocate some space". On the PA it means "switch into this space". | |
26 | # | |
27 | # Therefore this test (as it is currently written) is completely bogus | |
28 | # for any PA target. Do not bother trying to run it and just claim | |
29 | # it fails. | |
39bec121 TW |
30 | # |
31 | # The C54x uses ".space" to allocate bits, and requires absolute expressions; | |
32 | # The ".space" directive is taken care of in the C54x-specific tests, so fail | |
33 | # here | |
34 | # | |
280d71bf DB |
35 | # The test also doesn't work on mep targets, since they use RELC, and it |
36 | # will avoid simplifying the expression since it conservatively assumes | |
37 | # ugly expressions can be saved until link-time. | |
38 | if { [istarget hppa*-*-*] || [istarget *c54x*-*-*] || [istarget mep*-*-*]} then { | |
252b5132 RH |
39 | setup_xfail *-*-* |
40 | fail "simplifiable double subtraction" | |
41 | } else { | |
42 | gas_test "p1480.s" "" "-a>" "simplifiable double subtraction" | |
43 | } | |
44 | ||
3c9b82ba NC |
45 | # No floating point support in assembly code for CRIS and Z80. |
46 | if { ![istarget cris-*-*] && ![istarget crisv32-*-*] | |
47 | && ![istarget z80-*-*] } then { | |
483f05e3 HPN |
48 | gas_test "float.s" "" "" "simple FP constants" |
49 | } | |
252b5132 RH |
50 | |
51 | # This test is meaningless for the PA; the difference of two undefined | |
52 | # symbols is something that is (and must be) supported on the PA. | |
3ee6e4fb | 53 | # The same is true for ALPHA-VMS. |
569006e5 | 54 | # |
3ee6e4fb NC |
55 | # The AVR, MICROBLAZE, MN10300, RL78 and RX ports all support link time |
56 | # relaxation, which in turn allows for link time resolution of the | |
57 | # differences of two previously undefined symbols. Hence this test will | |
58 | # not pass for these targets. | |
59 | if { ![istarget alpha*-*-*vms*] | |
60 | && ![istarget am3*-*-*] | |
edc9e9a6 | 61 | && ![istarget avr-*-*] |
81b42bca | 62 | && ![istarget ft32-*-*] |
3ee6e4fb NC |
63 | && ![istarget hppa*-*-*] |
64 | && ![istarget microblaze-*-*] | |
c7927a3c | 65 | && ![istarget mn10300-*-*] |
13761a11 | 66 | && ![istarget msp430*-*-*] |
8dfa5d5a | 67 | && ![istarget riscv*-*-*] |
3ee6e4fb NC |
68 | && ![istarget rl78-*-*] |
69 | && ![istarget rx-*-*] } then { | |
252b5132 RH |
70 | gas_test_error "diff1.s" "" "difference of two undefined symbols" |
71 | } | |
72 | ||
9497f5ac NC |
73 | gas_test_error "equiv1.s" "" ".equiv for symbol already set to another one" |
74 | gas_test_error "equiv2.s" "" ".equiv for symbol already set to an expression" | |
75 | ||
ca60b3af SL |
76 | # The inode comparison used to detect identical input and output files |
77 | # doesn't work on non-Posix hosts. | |
78 | if { ![ishost "*-*-mingw*"] } then { | |
79 | gas_test_error "none.s" "-o $srcdir/$subdir/none.s" "Output file must be distinct from input" | |
80 | } | |
67f846b5 | 81 | |
9497f5ac | 82 | # .equ works differently on some targets. |
e3696f67 AM |
83 | switch -glob $target_triplet { |
84 | hppa*-*-* { } | |
85 | *c54x*-*-* { } | |
9497f5ac NC |
86 | default { |
87 | gas_test "equ-ok.s" "" "" ".equ for symbol already set" | |
88 | gas_test_error "equ-bad.s" "" ".equ for symbol already set through .eqv" | |
89 | } | |
90 | } | |
91 | ||
92 | gas_test "eqv-ok.s" "" "" ".eqv support" | |
93 | gas_test_error "eqv-bad.s" "" ".eqv for symbol already set" | |
e4c2619a | 94 | run_dump_test eqv-dot |
9497f5ac | 95 | |
3f904b16 AM |
96 | if { ![istarget "bfin-*-*"] } then { |
97 | gas_test "assign-ok.s" "" "" "== assignment support" | |
98 | } | |
9497f5ac | 99 | gas_test_error "assign-bad.s" "" "== assignment for symbol already set" |
2a50b401 | 100 | run_dump_test assign-bad-recursive |
9497f5ac | 101 | |
1f38083f | 102 | run_dump_test simple-forward |
7553c869 | 103 | run_dump_test forward |
9497f5ac | 104 | |
e8044f35 | 105 | # aout relocs are often weird, so is mep. don't bother testing |
f9022510 AM |
106 | # som doesn't use a .text section |
107 | # mmix doesn't like .L1: | |
108 | # ti addresses aren't octets. | |
109 | if { ![is_aout_format] } { | |
e3696f67 AM |
110 | switch -glob $target_triplet { |
111 | hppa*64*-*-* { | |
01c51e44 DA |
112 | run_dump_test fwdexp |
113 | } | |
e3696f67 AM |
114 | alpha-*-*linux*ecoff { } |
115 | alpha-*-osf* { } | |
116 | hppa*-*-hpux* { } | |
117 | mep-*-* { } | |
118 | mmix-*-* { } | |
119 | nds32*-*-* { } | |
120 | tic30*-*-* { } | |
121 | tic4x*-*-* { } | |
122 | tic54x*-*-* { } | |
f9022510 AM |
123 | default { |
124 | run_dump_test fwdexp | |
125 | } | |
126 | } | |
127 | } | |
128 | ||
9497f5ac | 129 | # .set works differently on some targets. |
f42fb574 AM |
130 | # most of the tests won't work on targets that set linkrelax. |
131 | # 4 octet bytes confuse address matching on ti targets. | |
132 | # pdp11 gets unexpected reloc types. | |
e3696f67 AM |
133 | switch -glob $target_triplet { |
134 | alpha*-*-* { } | |
135 | am3*-*-* { } | |
136 | cr16*-*-* { } | |
137 | crx*-*-* { } | |
138 | h8300-*-* { } | |
139 | mips*-*-* { } | |
140 | mn10200-*-* { } | |
141 | mn10300-*-* { } | |
142 | msp430*-*-* { } | |
143 | nds32*-*-* { } | |
144 | pdp11-*-* { } | |
145 | tic30*-*-* { } | |
146 | tic4x*-*-* { } | |
147 | tic54x*-*-* { } | |
148 | xtensa*-*-* { } | |
149 | z80-*-* { } | |
9497f5ac | 150 | default { |
9497f5ac | 151 | run_dump_test redef |
8b0aac0f AM |
152 | # These targets fail redef2 because they disallow redefined |
153 | # symbols on relocs. | |
3ee6e4fb | 154 | setup_xfail "m68hc1*-*-*" "m6811-*-*" "m6812-*-*" "rl78-*-*" |
e23eba97 | 155 | setup_xfail "riscv*-*-*" "rx-*-*" "vax*-*-*" "xgate*-*-*" "z8k-*-*" |
5ca0ee01 | 156 | run_dump_test redef2 |
3ee6e4fb | 157 | setup_xfail "m68hc1*-*-*" "m6811-*-*" "m6812-*-*" "rl78-*-*" |
e23eba97 | 158 | setup_xfail "riscv*-*-*" "rx-*-*" "vax*-*-*" "xgate*-*-*" "z8k-*-*" |
8b0aac0f AM |
159 | # rs6000-aix disallows redefinition via .comm. |
160 | setup_xfail "*-*-aix*" | |
8b0aac0f AM |
161 | # These targets fail redef3 because section contents for the |
162 | # word referencing the .comm sym is not zero and/or its reloc | |
163 | # has a non-zero addend. Relaxing the test would hide real | |
73589c9d | 164 | # failures. |
8b0aac0f AM |
165 | setup_xfail "bfin-*-*" "i\[3-7\]86-*-*coff" \ |
166 | "i\[3-7\]86-*-*pe" "i\[3-7\]86-*-go32*" \ | |
3ee6e4fb NC |
167 | "i\[3-7\]86-*-cygwin*" "i\[3-7\]86-*-mingw*" \ |
168 | "x86_64-*-cygwin*" "x86_64-*-mingw*" | |
92757bc9 | 169 | run_dump_test redef3 |
92757bc9 | 170 | gas_test_error "redef4.s" "" ".set for symbol already used as label" |
92757bc9 | 171 | gas_test_error "redef5.s" "" ".set for symbol already defined through .comm" |
9497f5ac NC |
172 | } |
173 | } | |
174 | ||
252b5132 RH |
175 | proc do_comment {} { |
176 | set testname "comment.s: comments in listings" | |
177 | set x1 0 | |
178 | set x2 0 | |
179 | set x3 0 | |
180 | set white {[ \t]*} | |
181 | gas_start "comment.s" "-al" | |
182 | while 1 { | |
183 | # Apparently CRLF is received when using ptys for subprocesses; hence the | |
184 | # \r\n for line 3. | |
185 | expect { | |
186 | -re "^ +1\[ \t\]+# This\[^\n\]*\n" { set x1 1 } | |
187 | -re "^ +2\[ \t\]+# correctly\[^\n\]*\n" { set x2 1 } | |
7f6a71ff | 188 | -re "^ +3\[ \t\]+/. C comments too. ./\r?\r?\n" { set x3 1 } |
252b5132 RH |
189 | -re "\[^\n\]*\n" { } |
190 | timeout { perror "timeout\n"; break } | |
191 | eof { break } | |
192 | } | |
193 | } | |
194 | gas_finish | |
195 | if [all_ones $x1 $x2 $x3] then { pass $testname } else { fail $testname } | |
196 | } | |
197 | ||
27cdfa03 | 198 | do_comment |
252b5132 | 199 | |
83f10cb2 NC |
200 | # This test checks the output of the -ag switch. It must detect at least |
201 | # the name of the input file, output file, and options passed. | |
202 | proc general_info_section {} { | |
203 | set testname "general info section in listings" | |
204 | set x1 0 | |
205 | set x2 0 | |
206 | set x3 0 | |
207 | set white {[ \t]*} | |
208 | gas_start "comment.s" "-agn" | |
209 | while 1 { | |
210 | expect { | |
c7927a3c | 211 | -re "^ \[^\n\]*\t: .*\-agn\[^\n\]*\n" { set x1 1 } |
83f10cb2 NC |
212 | -re "^ \[^\n\]*\t: \[^\n\]*comment\.s\[^\n\]*\n" { set x2 1 } |
213 | -re "^ \[^\n\]*\t: a\.out\[^\n\]*\n" { set x3 1 } | |
214 | -re "\[^\n\]*\n" { } | |
215 | timeout { perror "timeout\n"; break } | |
216 | eof { break } | |
217 | } | |
218 | } | |
219 | gas_finish | |
220 | if [all_ones $x1 $x2 $x3] then { pass $testname } else { fail $testname } | |
221 | } | |
222 | ||
223 | general_info_section | |
224 | ||
252b5132 RH |
225 | # |
226 | # Test x930509a -- correct assembly of differences involving forward | |
227 | # references. | |
228 | # | |
229 | ||
230 | proc do_930509a {} { | |
231 | set testname "difference between forward references" | |
232 | set x 0 | |
233 | gas_start "x930509.s" "-al" | |
234 | while 1 { | |
c29ae970 | 235 | # We need to accommodate both byte orders here. |
252b5132 RH |
236 | # If ".long" means an 8-byte value on some target someday, this test will have |
237 | # to be fixed. | |
238 | expect { | |
224de7a5 AM |
239 | -re "^ +1 .... 00 ?00 ?00 ?00" { fail $testname; set x 1 } |
240 | -re "^ +1 .... 04 ?00 ?00 ?00" { pass $testname; set x 1 } | |
241 | -re "^ +1 .... 00 ?00 ?00 ?04" { pass $testname; set x 1 } | |
252b5132 RH |
242 | -re "\[^\n\]*\n" { } |
243 | timeout { perror "timeout\n"; break } | |
244 | eof { break } | |
245 | } | |
246 | } | |
247 | gas_finish | |
248 | if !$x then { fail $testname } | |
249 | } | |
250 | ||
3ccac826 NC |
251 | # This test is meaningless for the PA and CR16/CRX: the difference of two |
252 | # symbols cannot be resolved by the assembler. | |
39bec121 | 253 | # C54x assembler (for compatibility) does not allow differences between |
3ccac826 | 254 | # forward references. |
8bda4946 | 255 | # C30 counts a four byte offset as a difference of one. |
3ee6e4fb NC |
256 | if { ![istarget *c30*-*-*] |
257 | && ![istarget *c4x*-*-*] | |
258 | && ![istarget *c54x*-*-*] | |
259 | && ![istarget cr16*-*-*] | |
260 | && ![istarget crx*-*-*] | |
81b42bca | 261 | && ![istarget ft32-*-*] |
3ee6e4fb NC |
262 | && ![istarget h8300*-*-*] |
263 | && ![istarget hppa*-*-*] } then { | |
264 | # The vax fails because VMS can apparently actually handle this | |
252b5132 | 265 | # case in relocs, so gas doesn't handle it itself. |
e23eba97 | 266 | # msp430, mn10[23]00 and riscv emit two relocs to handle the difference of two symbols. |
75800d2c | 267 | setup_xfail "am3*-*-*" "mn10200-*-*" "mn10300*-*-*" "msp430*-*-*" "riscv*-*-*" "vax*-*-vms*" |
252b5132 RH |
268 | do_930509a |
269 | } | |
270 | ||
39bec121 TW |
271 | # ".struct" and ".align" have different meanings on c54x |
272 | # These directives are done in the c54x-specific tests instead | |
e3696f67 AM |
273 | switch -glob $target_triplet { |
274 | hppa*-*-* { } | |
275 | *c4x*-*-* { } | |
276 | *c54x*-*-* { } | |
252b5132 RH |
277 | default { |
278 | run_dump_test struct | |
279 | run_dump_test align | |
76101304 | 280 | run_dump_test align2 |
252b5132 RH |
281 | } |
282 | } | |
283 | ||
5069eab2 | 284 | # '<' and '>' appear to have special meanings on the excluded targets |
e3696f67 AM |
285 | switch -glob $target_triplet { |
286 | frv-*-* { } | |
287 | hppa*-*-* { } | |
288 | m32r-*-* { } | |
289 | mmix-*-* { } | |
290 | *c4x*-*-* { } | |
291 | *c54x*-*-* { } | |
292 | bfin-*-* { } | |
5069eab2 NC |
293 | default { |
294 | run_dump_test altmacro | |
295 | # The second test is valid only when '!' is not a comment | |
296 | # character (it is allowed to be a line comment character). | |
26a78d4a | 297 | if [string match "" [lindex [gas_run excl.s "-o /dev/null" ""] 0]] { |
5069eab2 | 298 | run_dump_test altmac2 |
c29ae970 | 299 | # Similarly this test does not work when ! is a line separator. |
9497f5ac | 300 | run_dump_test eval |
5069eab2 NC |
301 | } |
302 | } | |
303 | } | |
caa32fe5 | 304 | |
252b5132 | 305 | # This test is for any COFF target. |
252b5132 RH |
306 | # We omit the ARM toolchains because they define locals to |
307 | # start with '.', which eliminates .eos, .text etc from the output. | |
39bec121 | 308 | # Omit c54x, since .tag and .def mean something different on that target |
8c5fc800 JM |
309 | if { ([istarget *-*-coff*] && ![istarget arm*-*-coff] && ![istarget *c4x*-*-coff] && ![istarget *c54x*-*-coff]) \ |
310 | ||([istarget *-*-pe*] && ![istarget arm*-*-pe*]) \ | |
252b5132 RH |
311 | || [istarget i*86-*-aix*] \ |
312 | || [istarget i*86-*-sco*] \ | |
313 | || [istarget i*86-*-isc*] \ | |
314 | || [istarget i*86-*-go32*] \ | |
315 | || [istarget i*86-*-cygwin*] \ | |
42037fe5 | 316 | || [istarget x86_64-*-mingw*] \ |
252b5132 | 317 | || [istarget i*86-*-*nt] \ |
a8eb42a8 | 318 | || [istarget i*86-*-interix*] } { |
252b5132 RH |
319 | run_dump_test cofftag |
320 | } | |
321 | ||
322 | # Test omitting conditionals from listings. | |
323 | proc test_cond {} { | |
324 | global comp_output | |
325 | global srcdir | |
326 | global subdir | |
327 | ||
328 | set testname "conditional listings" | |
224de7a5 | 329 | gas_run cond.s "-alc" ">dump.out" |
252b5132 RH |
330 | if ![string match "" $comp_output] { |
331 | send_log "$comp_output\n" | |
332 | fail $testname | |
333 | } else { | |
eb22018c | 334 | if { [regexp_diff dump.out $srcdir/$subdir/cond.l] } { |
252b5132 RH |
335 | fail $testname |
336 | } else { | |
337 | pass $testname | |
338 | } | |
339 | } | |
340 | } | |
341 | ||
c8060cba JL |
342 | # This test is not suitable for the PA for various reasons |
343 | # not limited to the fact that it depends on specific section | |
344 | # names appearing in the output file. | |
3ee6e4fb | 345 | # Again, p2align doesn't work on c54x and related targets. |
e3696f67 AM |
346 | switch -glob $target_triplet { |
347 | alpha-*-linux*ecoff { } | |
348 | alpha-*-osf* { } | |
349 | hppa*-*-* { } | |
350 | *c4x*-*-* { } | |
351 | *c54x*-*-* { } | |
352 | rl78-*-* { } | |
353 | rx-*-* { } | |
aceebfd6 NC |
354 | default { |
355 | test_cond | |
7f6a71ff | 356 | remote_download host "$srcdir/$subdir/incbin.dat" |
aceebfd6 NC |
357 | run_dump_test incbin |
358 | } | |
39bec121 | 359 | } |
c9e38879 | 360 | |
01ed09aa | 361 | if { ([istarget "i*86-*-*pe*"] && ![istarget "i*86-*-openbsd*"]) \ |
b46c1691 NC |
362 | || [istarget "i*86-*-cygwin*"] \ |
363 | || [istarget "i*86-*-mingw32*"] } { | |
364 | gas_test "fastcall.s" "" "" "fastcall labels" | |
365 | } | |
a7eec876 | 366 | |
35c08157 | 367 | if { ![istarget "bfin-*-*"] && ![istarget "nds32*-*-*"] } then { |
3f904b16 AM |
368 | run_dump_test assign |
369 | } | |
e5604d79 | 370 | run_dump_test sleb128 |
956a6ba3 JB |
371 | run_dump_test sleb128-2 |
372 | run_dump_test sleb128-3 | |
373 | run_dump_test sleb128-4 | |
374 | run_dump_test sleb128-5 | |
4455e9ad JB |
375 | # .byte is not 8 bits on either tic4x or tic54x |
376 | if { ![istarget "tic4x*-*-*"] && ![istarget "tic54x*-*-*"] } { | |
377 | run_dump_test sleb128-7 | |
1a94eb29 | 378 | run_dump_test sleb128-8 |
4455e9ad | 379 | } |
ba8826a8 | 380 | run_dump_test sleb128-9 |
ddc07134 | 381 | |
5e9ed83f | 382 | # .byte is 32 bits on tic4x, and .p2align isn't supported on tic54x |
17b939cd | 383 | # .space is different on hppa*-hpux. |
ec0c103c NC |
384 | # MeP put bytes into packets. |
385 | if { ![istarget "tic4x*-*-*"] && ![istarget "tic54x*-*-*"] && ![istarget "hppa*-*-hpux*"] && ![istarget "mep*-*-*"] } { | |
5e9ed83f L |
386 | run_dump_test relax |
387 | } | |
388 | ||
af47cd43 AK |
389 | # powerpc and s390 allow a string argument to .byte |
390 | if { ![istarget "powerpc*-*-*"] && ![istarget "rs6000*-*-*"] && ![istarget "s390*-*-*"] } { | |
9e59393e AM |
391 | run_dump_test byte |
392 | } | |
847d4311 | 393 | |
a8eb42a8 | 394 | run_dump_test quad |
0b1352e0 | 395 | run_dump_test octa |
3c9b82ba NC |
396 | |
397 | # .set works differently on some targets. | |
e3696f67 AM |
398 | switch -glob $target_triplet { |
399 | alpha*-*-* { } | |
400 | mips*-*-* { } | |
401 | *c54x*-*-* { } | |
402 | z80-*-* { } | |
3c9b82ba NC |
403 | default { |
404 | run_dump_test weakref1 | |
405 | run_dump_test weakref1g | |
406 | run_dump_test weakref1l | |
407 | run_dump_test weakref1u | |
408 | run_dump_test weakref1w | |
409 | } | |
410 | } | |
06e77878 AO |
411 | gas_test_error "weakref2.s" "" "e: would close weakref loop: e => a => b => c => d => e" |
412 | gas_test_error "weakref3.s" "" "a: would close weakref loop: a => b => c => d => e => a" | |
b54788f8 | 413 | gas_test_error "weakref4.s" "" "is already defined" |
06e77878 | 414 | |
38a57ae7 | 415 | run_dump_test string |
740bdc67 AM |
416 | if [is_elf_format] { |
417 | run_dump_test none | |
418 | } | |
38a57ae7 | 419 | |
d02603dc NC |
420 | run_dump_test quoted-sym-names |
421 | ||
93a24ba7 MR |
422 | run_list_test pr20312 |
423 | ||
a7eec876 HPN |
424 | load_lib gas-dg.exp |
425 | dg-init | |
426 | dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/err-*.s $srcdir/$subdir/warn-*.s]] "" "" | |
427 | dg-finish | |
9875b365 MR |
428 | |
429 | # Set $nop_type appropriately to indicate the NOP instruction mnemonic. | |
e3696f67 AM |
430 | switch -glob $target_triplet { |
431 | bpf-*-* { | |
f8861f5d JM |
432 | set nop_type 6 |
433 | } | |
e3696f67 | 434 | mmix-*-* { |
9875b365 MR |
435 | set nop_type 5 |
436 | } | |
e3696f67 | 437 | or1k*-*-* { |
9875b365 MR |
438 | set nop_type 2 |
439 | } | |
e3696f67 | 440 | ia64-*-* { |
9875b365 MR |
441 | set nop_type 1 |
442 | } | |
443 | default { | |
444 | set nop_type 0 | |
445 | } | |
446 | } | |
447 | run_dump_test "org-1" [list [list as "--defsym nop_type=$nop_type"]] | |
448 | run_dump_test "org-2" | |
449 | run_dump_test "org-3" | |
450 | run_dump_test "org-4" | |
451 | run_dump_test "org-5" | |
452 | run_dump_test "org-6" | |
4f2358bc | 453 | |
fa57faa0 | 454 | run_dump_test "fill-1" |
0acc7632 AM |
455 | |
456 | gas_test "pr23938.s" "" "" ".xstabs" |