[PATCH 5/57][Arm][GAS] Add support for MVE instructions: vmull{b,t}
[binutils-gdb.git] / gdb / testsuite / gdb.asm / asm-source.exp
blob1bc384e9744bf347e289f60268dfaebef300cdc2
1 # Copyright 1998-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.
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.
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/>.
16 # This file was written by Kendra.
19 # Test debugging assembly level programs.
20 # This file uses asmsrc[12].s for input.
24 set asm-arch ""
25 set asm-note "empty"
26 set asm-flags ""
27 set link-flags "-e _start"
28 set debug-flags ""
30 set obj_include -I[standard_output_file {}]
32 switch -glob -- [istarget] {
33     "alpha*-*-*" {
34         set asm-arch alpha
35         # ??? Won't work with ecoff systems like Tru64, but then we also
36         # don't have any other -g flag that creates mdebug output.
37         set asm-flags "-no-mdebug -I${srcdir}/${subdir} $obj_include"
38         set debug-flags "-gdwarf-2"
39     }
40     "arm*-*-*" {
41         set asm-arch arm
42     }
43     "aarch64*-*-*" {
44         set asm-arch aarch64
45     }
46     "bfin-*-*" {
47         set asm-arch bfin
48     }
49     "frv-*-*" {
50         set asm-arch frv
51     }
52     "s390-*-*" {
53         set asm-arch s390
54     }
55     "s390x-*-*" {
56         set asm-arch s390x
57     }
58     "x86_64-*-*" {
59         set asm-arch x86_64
60         set debug-flags "-gdwarf-2"
61     }
62     "i\[3456\]86-*-*" {
63         set asm-arch i386
64     }
65     "lm32-*" {
66         set asm-arch lm32
67     }
68     "m32r*-linux*" {
69         set asm-arch m32r-linux
70     }
71     "m32c-*-*" {
72         set asm-arch m32c
73     }
74     "m32r*-*" {
75         set asm-arch m32r
76         append link-flags "--whole-archive -lgloss --no-whole-archive"
77     }
78     "m6811-*-*" {
79         set asm-arch m68hc11
80         set asm-flags "-mshort-double -m68hc11 --no-warn -I${srcdir}/${subdir} $obj_include"
81         set debug-flags "-gdwarf-2"
82         # This asm test is specific and uses the linker directly.
83         # We must not use the target board linker script defined for other
84         # tests.  Remove it and restore it later on.
85         set board [target_info name]
86         set old_ldscript [board_info $board ldscript]
87         unset_board_info "ldscript"
88     }
89     "m6812-*-*" {
90         set asm-arch m68hc11
91         set asm-flags "-mshort-double -m68hc12 --no-warn -I${srcdir}/${subdir} $obj_include"
92         set debug-flags "-gdwarf-2"
93         # This asm test is specific and uses the linker directly.
94         # We must not use the target board linker script defined for other
95         # tests.  Remove it and restore it later on.
96         set board [target_info name]
97         set old_ldscript [board_info $board ldscript]
98         set_board_info ldscript ""
99     }
100     "mips*-*" {
101         set asm-arch mips
102     }
103     "powerpc64le-*" {
104         set asm-arch powerpc64le
105         set asm-flags "-a64 -I${srcdir}/${subdir} $obj_include"
106         append link-flags " -m elf64lppc"
107     }
108     "powerpc*-*" {
109         if { [is_lp64_target] } {
110             set asm-arch powerpc64
111             set asm-flags "-a64 -I${srcdir}/${subdir} $obj_include"
112             append link-flags " -m elf64ppc"
113         } else {
114             set asm-arch powerpc
115             set asm-flags "-a32 -I${srcdir}/${subdir} $obj_include"
116             append link-flags " -m elf32ppc"
117         }
118     }
119     "sh*-*-*" {
120         set asm-arch sh
121         set debug-flags "-gdwarf-2"
122     }
123     "sparc-*-*" {
124         set asm-arch sparc
125     }
126     "sparc64-*-*" {
127         set asm-arch sparc64
128         set asm-flags "-xarch=v9 -I${srcdir}/${subdir} $obj_include"
129         set debug-flags "-gdwarf-2"
130     }
131     "spu*-*-*" {
132        set asm-arch spu
133        set asm-flags "-I${srcdir}/${subdir} $obj_include --no-warn"
134        set debug-flags "-gdwarf-2"
135     }
136     "xstormy16-*-*" {
137         set asm-arch xstormy16
138         set debug-flags "-gdwarf-2"
139     }
140     "v850-*-*" {
141         set asm-arch v850
142         set gdb_wrapper_initialized 1
143     }
144     "m68k-*-*" {
145         set asm-arch m68k
146     }
147     "ia64-*-*" {
148         set asm-arch ia64
149         set debug-flags "-gdwarf-2"
150     }
151     "iq2000-*-*" {
152         set asm-arch iq2000
153     }
154     "hppa*-linux-*" {
155         set asm-arch pa
156         set debug-flags "-gdwarf-2"
157     }
158     "hppa-*-openbsd*" {
159         set asm-arch pa
160         set debug-flags "-gdwarf-2"
161     }
162     "h83*-*" {
163         set asm-arch h8300
164         set debug-flags "-gdwarf-2"
165     }
168 if { "${asm-arch}" == "" } {
169     untested "skipping tests due to no asm architecture"
170     return -1
173 # On NetBSD/ELF we need a special NetBSD-identifying note section.
174 if { [istarget "*-*-netbsdelf*"]
175      || [istarget "alpha-*-netbsd*"]
176      || [istarget "mips*-*-netbsd*"]
177      || [istarget "powerpc-*-netbsd*"]
178      || [istarget "x86_64-*-netbsd*"] } then {
179     set asm-note "netbsd"
182 # On OpenBSD/ELF we need a similar note section.  We make no attempt
183 # of handing a.out here since most OpenBSD/a.out systems use a rather
184 # outdated assembler that doesn't assemble this test's code anyway.
185 if { [istarget "*-*-openbsd*"] } then {
186     set asm-note "openbsd"
189 # Watch out, we are invoking the assembler, but the testsuite sets multilib
190 # switches according to compiler syntax.  If we pass these options straight
191 # to the assembler, they won't always make sense.  If we don't pass them to
192 # the assembler, the final link will complain that the object files were
193 # built with different defaults.  So no matter what we do, we lose.  We may as
194 # well get out of this test sooner rather than later.
195 set dest [target_info name]
196 if [board_info $dest exists multilib_flags] {
197         set multilib_flags [board_info $dest multilib_flags]
198         if { "${multilib_flags}" != "" } {
199            untested "failed to compile"
200            return -1
201            return
202          }
205 standard_testfile asmsrc1.s asmsrc2.s
207 set arch_inc [standard_output_file arch.inc]
208 set note_inc [standard_output_file note.inc]
210 remote_exec build "rm -f $arch_inc"
211 remote_download host ${srcdir}/${subdir}/${asm-arch}.inc $arch_inc
212 remote_exec build "rm -f $note_inc"
213 remote_download host ${srcdir}/${subdir}/${asm-note}.inc $note_inc
215 if { [string equal ${asm-flags} ""] } {
216     set asm-flags "-I${srcdir}/${subdir} $obj_include"
219 if { [string equal ${debug-flags} ""] } {
220     set debug-flags "-gstabs"
223 # Allow the target board to override the debug flags.
224 if { [board_info $dest exists debug_flags] } then {
225     set debug-flags "[board_info $dest debug_flags]"
228 # The debug flags are in the format that gcc expects:
229 # "-gdwarf-2", "-gstabs+", or "-gstabs".  To be compatible with the
230 # other languages in the test suite, we accept this input format.
231 # So the user can run the test suite with:
233 #   runtest --target_board unix/gdb:debug_flags=-gdwarf-2
234 #   make check RUNTESTFLAGS="--target_board unix/gdb:debug_flags=-gdwarf-2"
236 # However, the GNU assembler has different spellings than gcc.
237 # So I adjust the debug flags here.
239 # The GNU assembler spells "dwarf-2" as "dwarf2".
240 regsub "--" "-gdwarf-2" "${debug-flags}" "-gdwarf2" debug-flags
242 # The GNU assembler before 2.15 did not support "stabs+".
243 regsub "--" "-gstabs\[+\]" "${debug-flags}" "-gstabs" debug-flags
245 # The GNU assembler does not support level options like "-g2" or "-g3".
246 regsub "--" "-g\[0-9\]" "${debug-flags}" "" debug-flags
248 set asm1obj [standard_output_file asmrc1.o]
249 set asm2obj [standard_output_file asmrc2.o]
251 if {[target_assemble ${srcdir}/${subdir}/${srcfile} $asm1obj "${asm-flags} ${debug-flags}"] != ""} then {
252      untested "failed to assemble"
253      return -1
255 if {[target_assemble ${srcdir}/${subdir}/${srcfile2} $asm2obj "${asm-flags} ${debug-flags}"] != ""} then {
256      untested "failed to assemble"
257      return -1
260 # We deliberately don't use gdb_compile here to link together the
261 # assembled object files.  Using gdb_compile, and therefore the C
262 # compiler, is conceptually wrong, since we're testing raw assembler
263 # code here that provides its own startup code.  Using target_link
264 # also avoids a lot of problems on many systems, most notably on
265 # *-*-*bsd* and *-*-solaris2*.
266 if {[target_link [list $asm1obj $asm2obj] "${binfile}" ${link-flags}] != "" } then {
267      untested "failed to link"
268      return -1
271 # Restore the target board linker script for HC11/HC12.
272 if { [istarget "m6811-*-*"] || [istarget "m6812-*-*"] } {
273     set_board_info ldscript $old_ldscript
276 # Collect some line numbers.
277 set line_enter      [expr [gdb_get_line_number "main enter" "asmsrc1.s"] + 1]
278 set line_main       [expr [gdb_get_line_number "main start" "asmsrc1.s"] + 1]
279 set line_call_foo2  [expr [gdb_get_line_number "call foo2"  "asmsrc1.s"] + 1]
280 set line_search_comment [expr [gdb_get_line_number "search" "asmsrc1.s"] + 1]
281 set line_foo3       [expr [gdb_get_line_number "foo3 start" "asmsrc1.s"] + 1]
282 set line_main_exit  [expr [gdb_get_line_number "main exit"  "asmsrc1.s"] + 1]
283 set line_foo2       [expr [gdb_get_line_number "foo2 start" "asmsrc2.s"] + 1]
284 set line_call_foo3  [expr [gdb_get_line_number "call foo3"  "asmsrc2.s"] + 1]
285 set line_call_foo3_again [expr $line_call_foo3 + 1]
286 set line_foo2_leave [expr [gdb_get_line_number "foo2 leave" "asmsrc2.s"] + 1]
288 gdb_start
289 gdb_reinitialize_dir $srcdir/$subdir
290 gdb_load ${binfile}
293 # Run to `main' where we begin our tests.
296 if ![runto_main] then {
297     fail "can't run to main"
298     return 0
301 # Execute the `f' command and see if the result includes source info.
302 gdb_test "f" "asmsrc1\[.\]s:$line_enter.*gdbasm_enter" "f at main"
304 # Execute the `n' command.
305 gdb_test "n" "$line_main\[      \]*.*several_nops" "n at main"
307 # See if we properly `next' over a macro with several insns.
308 gdb_test "n" "$line_call_foo2\[         \]*.*foo2" "next over macro"
310 # See if we can properly `step' into a subroutine call.
311 gdb_test "s" "$line_foo2\[      \]*.*" "step into foo2"
313 # Test 'info target', and incidentally capture the entry point address.
314 set entry_point 0
315 gdb_test_multiple "info target" "info target" {
316     -re "Symbols from .*asm-source.*Entry point: 0x(\[01232456789abcdefABCDEF\]+).*$gdb_prompt $" {
317         set entry_point $expect_out(1,string)
318         pass "info target"
319     }
322 # Capture the start symbol (may be '_start' or 'start')
323 set entry_symbol ""
324 gdb_test_multiple "info symbol 0x$entry_point" "info symbol" {
325     -re "info symbol 0x$entry_point\[\r\n\]+(\[^\r\n\]*) in section .*$gdb_prompt $" {
326         # We match the echoed `info symbol' command here, to help us
327         # reliably identify the beginning of the start symbol in the
328         # command's output.  You might think we could just use '^' to
329         # start matching at the beginning of the line, but
330         # unfortunately, in Expect, '^' matches the beginning of the
331         # input that hasn't been matched by any expect clause yet.  If
332         # every expect clause consumes a complete line, along with its
333         # terminating CR/LF, this is equivalent to the beginning of a
334         # line.  But expect clauses that end with `.*' will consume as
335         # much as happened to arrive from the TTY --- exactly where
336         # they leave you depends on inter-process timing.  :(
337         set entry_symbol $expect_out(1,string)
338         pass "info symbol"
339     }
342 # Now try a 'list' from the other source file.
343 gdb_test "list $entry_symbol" ".*gdbasm_startup.*" "list"
345 # Now try a source file search
346 gdb_test "search A routine for foo2 to call" \
347         "$line_search_comment\[ \t\]+comment \"A routine for foo2 to call.\"" "search"
349 # See if `f' prints the right source file.
350 gdb_test "f" ".*asmsrc2\[.\]s:$line_foo2.*" "f in foo2"
352 # `next' one insn (or macro) to set up our stackframe (for the following bt).
353 gdb_test "n" "$line_call_foo3\[         \]*.*foo3" "n in foo2"
355 # See if a simple `bt' prints the right source files and 
356 # doesn't fall off the stack.
358 gdb_test "bt 10" \
359         "\#0.*foo2.*asmsrc2\[.\]s:$line_call_foo3.*\#1.*main.*asmsrc1\[.\]s:$line_call_foo2" \
360         "bt ALL in foo2"
362 # See if a capped `bt' prints the right source files.
363 gdb_test "bt 2" "\#0.*foo2.*asmsrc2\[.\]s:$line_call_foo3.*\#1.*main.*asmsrc1\[.\]s:$line_call_foo2.*" "bt 2 in foo2"
365 # Step into another subroutine which lives back in the first source file.
366 gdb_test "s" ".*" "s 2"
368 # Next over insns to set up the stack frame.
369 gdb_test "n" ".*" "n 2"
371 # Now see if a capped `bt' is correct.
372 gdb_test "bt 3" "\#0.*foo3.*asmsrc1\[.\]s:$line_foo3.*\#1.*foo2.*asmsrc2\[.\]s:$line_call_foo3.*\#2.*main.*asmsrc1\[.\]s:$line_call_foo2.*" "bt 3 in foo3"
374 # Try 'info source' from asmsrc1.s
375 gdb_test "info source" \
376         "Current source file is .*asmsrc1.s.*Source language is asm.*" \
377         "info source asmsrc1.s"
379 # Try 'finishing' from foo3
380 # Some architectures will have one or more instructions after the
381 # call instruction which still is part of the call sequence, so we
382 # must be prepared for a "finish" to show us the caller line
383 # again as well as the statement after.
384 gdb_test_multiple "finish" "finish from foo3" {
385     -re "Run till exit from.*\[\r\n\]$line_call_foo3\[ \t\]+gdbasm_call foo3.*$gdb_prompt $" {
386         pass "finish from foo3"
387         gdb_test "s" ".*" "s after finish"
388     }
389     -re "Run till exit from.*\[\r\n\]$line_call_foo3_again\[ \t\]+gdbasm_call foo3.*$gdb_prompt $" {
390         pass "finish from foo3"
391     }
394 # Try 'info source' from asmsrc2.s
395 gdb_test "info source" \
396         "Current source file is .*asmsrc2.s.*Source language is asm.*" \
397         "info source asmsrc2.s"
399 # Try 'info sources'.  This can produce a lot of output on systems
400 # with dynamic linking, where the system's shared libc was compiled
401 # with debugging info; for example, on Linux, this produces 47kb of
402 # output.  So we consume it as we go.
403 set seen_asmsrc_1 0
404 set seen_asmsrc_2 0
405 gdb_test_multiple "info sources" "info sources" {
406     -re "^\[^,\]*asmsrc1.s(, |\[\r\n\]+)" {
407         set seen_asmsrc_1 1
408         exp_continue
409     }
410     -re "^\[^,\]*asmsrc2.s(, |\[\r\n\]+)" {
411         set seen_asmsrc_2 1
412         exp_continue
413     }
414     -re ", " { 
415         exp_continue
416     }
417     -re "$gdb_prompt $" {
418         if {$seen_asmsrc_1 && $seen_asmsrc_2} {
419             pass "info sources"
420         } else {
421             fail "info sources"
422         }
423     }
425         
427 # Try 'info line'
428 gdb_test "info line" \
429         "Line $line_call_foo3_again of.*asmsrc2.s.*starts at.*<\\.?foo2+.*> and ends at.*<\\.?foo2+.*>." \
430         "info line"
432 # Try 'nexting' over next call to foo3
433 gdb_test "next" "$line_foo2_leave\[ \t\]+gdbasm_leave" "next over foo3"
435 # Try 'return' from foo2
436 # Like "finish", "return" command also can return to the caller
437 # line again or the statement after, depending on the architecture.
438 gdb_test_multiple "return" "return from foo2" {
439     -re "Make (foo2|selected stack frame) return now\\? .y or n. " {
440         send_gdb "y\n"
441         exp_continue
442     }
443     -re "\#0.*main .*$line_call_foo2\[ \t\]+gdbasm_call foo2.*$gdb_prompt $" {
444         pass "return from foo2"
445         gdb_test "s" ".*" "s after return"
446     }
447     -re "\#0.*main .*$line_main_exit\[ \t\]+gdbasm_exit0.*$gdb_prompt $" {
448         pass "return from foo2"
449     }
452 # Disassemble something, check the output
453 proc test_dis { command var } {
454     global gdb_prompt
455     gdb_test_multiple "${command}" "${command}" {
456         -re "${var}.*:.*(Cannot access|Bad address)" {
457             # The "disassembler" was only accessing the local
458             # executable and that would cause attempts to disassemble
459             # variables to fail (memory not valid).
460             fail "${command} (memory read error)"
461         }
462         -re "${var}.*:.*${gdb_prompt}" {
463             pass "${command}"
464         }
465     }
468 # See if we can look at a global variable, three ways
469 gdb_test "print (int) globalvar" ".* = 11" "look at global variable"
470 test_dis "x/i &globalvar" "globalvar"
471 test_dis "disassem &globalvar, (int *) &globalvar+1" "globalvar"
473 # See if we can look at a static variable, three ways
474 gdb_test "print (int) staticvar" ".* = 5" "look at static variable"
475 test_dis "x/i &staticvar" "staticvar"
476 test_dis "disassem &staticvar, (int *) &staticvar+1" "staticvar"
478 # See if we can look at a static function
479 gdb_test "disassem foostatic" ".*<\\+0>:.*End of assembler dump." \
480         "look at static function"
482 remote_exec build "rm -f $arch_inc"
483 remote_exec build "rm -f $note_inc"