1# Copyright 1998-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# This file was written by Kendra. 17 18# 19# Test debugging assembly level programs. 20# This file uses asmsrc[12].s for input. 21# 22 23 24set asm-arch "" 25set asm-note "empty" 26set asm-flags "" 27set link-flags "-e _start" 28set debug-flags "" 29 30set obj_include -I[standard_output_file {}] 31 32switch -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 "xstormy16-*-*" { 132 set asm-arch xstormy16 133 set debug-flags "-gdwarf-2" 134 } 135 "v850-*-*" { 136 set asm-arch v850 137 set gdb_wrapper_initialized 1 138 } 139 "m68k-*-*" { 140 set asm-arch m68k 141 } 142 "ia64-*-*" { 143 set asm-arch ia64 144 set debug-flags "-gdwarf-2" 145 } 146 "iq2000-*-*" { 147 set asm-arch iq2000 148 } 149 "hppa*-linux-*" { 150 set asm-arch pa 151 set debug-flags "-gdwarf-2" 152 } 153 "hppa-*-openbsd*" { 154 set asm-arch pa 155 set debug-flags "-gdwarf-2" 156 } 157 "h83*-*" { 158 set asm-arch h8300 159 set debug-flags "-gdwarf-2" 160 } 161} 162 163if { "${asm-arch}" == "" } { 164 untested "skipping tests due to no asm architecture" 165 return -1 166} 167 168# On NetBSD/ELF we need a special NetBSD-identifying note section. 169if { [istarget "*-*-netbsdelf*"] 170 || [istarget "alpha-*-netbsd*"] 171 || [istarget "mips*-*-netbsd*"] 172 || [istarget "powerpc-*-netbsd*"] 173 || [istarget "x86_64-*-netbsd*"] } then { 174 set asm-note "netbsd" 175} 176 177# On OpenBSD/ELF we need a similar note section. We make no attempt 178# of handing a.out here since most OpenBSD/a.out systems use a rather 179# outdated assembler that doesn't assemble this test's code anyway. 180if { [istarget "*-*-openbsd*"] } then { 181 set asm-note "openbsd" 182} 183 184# Watch out, we are invoking the assembler, but the testsuite sets multilib 185# switches according to compiler syntax. If we pass these options straight 186# to the assembler, they won't always make sense. If we don't pass them to 187# the assembler, the final link will complain that the object files were 188# built with different defaults. So no matter what we do, we lose. We may as 189# well get out of this test sooner rather than later. 190set dest [target_info name] 191if [board_info $dest exists multilib_flags] { 192 set multilib_flags [board_info $dest multilib_flags] 193 if { "${multilib_flags}" != "" } { 194 untested "failed to compile" 195 return -1 196 return 197 } 198} 199 200standard_testfile asmsrc1.s asmsrc2.s 201 202set arch_inc [standard_output_file arch.inc] 203set note_inc [standard_output_file note.inc] 204 205remote_exec build "rm -f $arch_inc" 206remote_download host ${srcdir}/${subdir}/${asm-arch}.inc $arch_inc 207remote_exec build "rm -f $note_inc" 208remote_download host ${srcdir}/${subdir}/${asm-note}.inc $note_inc 209 210if { [string equal ${asm-flags} ""] } { 211 set asm-flags "-I${srcdir}/${subdir} $obj_include" 212} 213 214if { [string equal ${debug-flags} ""] } { 215 set debug-flags "-gstabs" 216} 217 218# Allow the target board to override the debug flags. 219if { [board_info $dest exists debug_flags] } then { 220 set debug-flags "[board_info $dest debug_flags]" 221} 222 223# The debug flags are in the format that gcc expects: 224# "-gdwarf-2", "-gstabs+", or "-gstabs". To be compatible with the 225# other languages in the test suite, we accept this input format. 226# So the user can run the test suite with: 227# 228# runtest --target_board unix/gdb:debug_flags=-gdwarf-2 229# make check RUNTESTFLAGS="--target_board unix/gdb:debug_flags=-gdwarf-2" 230# 231# However, the GNU assembler has different spellings than gcc. 232# So I adjust the debug flags here. 233 234# The GNU assembler spells "dwarf-2" as "dwarf2". 235regsub "--" "-gdwarf-2" "${debug-flags}" "-gdwarf2" debug-flags 236 237# The GNU assembler before 2.15 did not support "stabs+". 238regsub "--" "-gstabs\[+\]" "${debug-flags}" "-gstabs" debug-flags 239 240# The GNU assembler does not support level options like "-g2" or "-g3". 241regsub "--" "-g\[0-9\]" "${debug-flags}" "" debug-flags 242 243set asm1obj [standard_output_file asmrc1.o] 244set asm2obj [standard_output_file asmrc2.o] 245 246if {[target_assemble ${srcdir}/${subdir}/${srcfile} $asm1obj "${asm-flags} ${debug-flags}"] != ""} then { 247 untested "failed to assemble" 248 return -1 249} 250if {[target_assemble ${srcdir}/${subdir}/${srcfile2} $asm2obj "${asm-flags} ${debug-flags}"] != ""} then { 251 untested "failed to assemble" 252 return -1 253} 254 255# We deliberately don't use gdb_compile here to link together the 256# assembled object files. Using gdb_compile, and therefore the C 257# compiler, is conceptually wrong, since we're testing raw assembler 258# code here that provides its own startup code. Using target_link 259# also avoids a lot of problems on many systems, most notably on 260# *-*-*bsd* and *-*-solaris2*. 261if {[target_link [list $asm1obj $asm2obj] "${binfile}" ${link-flags}] != "" } then { 262 untested "failed to link" 263 return -1 264} 265 266# Restore the target board linker script for HC11/HC12. 267if { [istarget "m6811-*-*"] || [istarget "m6812-*-*"] } { 268 set_board_info ldscript $old_ldscript 269} 270 271# Collect some line numbers. 272set line_enter [expr [gdb_get_line_number "main enter" "asmsrc1.s"] + 1] 273set line_main [expr [gdb_get_line_number "main start" "asmsrc1.s"] + 1] 274set line_call_foo2 [expr [gdb_get_line_number "call foo2" "asmsrc1.s"] + 1] 275set line_search_comment [expr [gdb_get_line_number "search" "asmsrc1.s"] + 1] 276set line_foo3 [expr [gdb_get_line_number "foo3 start" "asmsrc1.s"] + 1] 277set line_main_exit [expr [gdb_get_line_number "main exit" "asmsrc1.s"] + 1] 278set line_foo2 [expr [gdb_get_line_number "foo2 start" "asmsrc2.s"] + 1] 279set line_call_foo3 [expr [gdb_get_line_number "call foo3" "asmsrc2.s"] + 1] 280set line_call_foo3_again [expr $line_call_foo3 + 1] 281set line_foo2_leave [expr [gdb_get_line_number "foo2 leave" "asmsrc2.s"] + 1] 282 283gdb_start 284gdb_reinitialize_dir $srcdir/$subdir 285gdb_load ${binfile} 286 287# 288# Run to `main' where we begin our tests. 289# 290 291if ![runto_main] then { 292 fail "can't run to main" 293 return 0 294} 295 296# Execute the `f' command and see if the result includes source info. 297gdb_test "f" "asmsrc1\[.\]s:$line_enter.*gdbasm_enter" "f at main" 298 299# Execute the `n' command. 300gdb_test "n" "$line_main\[ \]*.*several_nops" "n at main" 301 302# See if we properly `next' over a macro with several insns. 303gdb_test "n" "$line_call_foo2\[ \]*.*foo2" "next over macro" 304 305# See if we can properly `step' into a subroutine call. 306gdb_test "s" "$line_foo2\[ \]*.*" "step into foo2" 307 308# Test 'info target', and incidentally capture the entry point address. 309set entry_point 0 310gdb_test_multiple "info target" "info target" { 311 -re "Symbols from .*asm-source.*Entry point: 0x(\[01232456789abcdefABCDEF\]+).*$gdb_prompt $" { 312 set entry_point $expect_out(1,string) 313 pass "info target" 314 } 315} 316 317# Capture the start symbol (may be '_start' or 'start') 318set entry_symbol "" 319gdb_test_multiple "info symbol 0x$entry_point" "info symbol" { 320 -re "info symbol 0x$entry_point\[\r\n\]+(\[^\r\n\]*) in section .*$gdb_prompt $" { 321 # We match the echoed `info symbol' command here, to help us 322 # reliably identify the beginning of the start symbol in the 323 # command's output. You might think we could just use '^' to 324 # start matching at the beginning of the line, but 325 # unfortunately, in Expect, '^' matches the beginning of the 326 # input that hasn't been matched by any expect clause yet. If 327 # every expect clause consumes a complete line, along with its 328 # terminating CR/LF, this is equivalent to the beginning of a 329 # line. But expect clauses that end with `.*' will consume as 330 # much as happened to arrive from the TTY --- exactly where 331 # they leave you depends on inter-process timing. :( 332 set entry_symbol $expect_out(1,string) 333 pass "info symbol" 334 } 335} 336 337# Now try a 'list' from the other source file. 338gdb_test "list $entry_symbol" ".*gdbasm_startup.*" "list" 339 340# Now try a source file search 341gdb_test "search A routine for foo2 to call" \ 342 "$line_search_comment\[ \t\]+comment \"A routine for foo2 to call.\"" "search" 343 344# See if `f' prints the right source file. 345gdb_test "f" ".*asmsrc2\[.\]s:$line_foo2.*" "f in foo2" 346 347# `next' one insn (or macro) to set up our stackframe (for the following bt). 348gdb_test "n" "$line_call_foo3\[ \]*.*foo3" "n in foo2" 349 350# See if a simple `bt' prints the right source files and 351# doesn't fall off the stack. 352 353gdb_test "bt 10" \ 354 "\#0.*foo2.*asmsrc2\[.\]s:$line_call_foo3.*\#1.*main.*asmsrc1\[.\]s:$line_call_foo2" \ 355 "bt ALL in foo2" 356 357# See if a capped `bt' prints the right source files. 358gdb_test "bt 2" "\#0.*foo2.*asmsrc2\[.\]s:$line_call_foo3.*\#1.*main.*asmsrc1\[.\]s:$line_call_foo2.*" "bt 2 in foo2" 359 360# Step into another subroutine which lives back in the first source file. 361gdb_test "s" ".*" "s 2" 362 363# Next over insns to set up the stack frame. 364gdb_test "n" ".*" "n 2" 365 366# Now see if a capped `bt' is correct. 367gdb_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" 368 369# Try 'info source' from asmsrc1.s 370gdb_test "info source" \ 371 "Current source file is .*asmsrc1.s.*Source language is asm.*" \ 372 "info source asmsrc1.s" 373 374# Try 'finishing' from foo3 375# Some architectures will have one or more instructions after the 376# call instruction which still is part of the call sequence, so we 377# must be prepared for a "finish" to show us the caller line 378# again as well as the statement after. 379gdb_test_multiple "finish" "finish from foo3" { 380 -re "Run till exit from.*\[\r\n\]$line_call_foo3\[ \t\]+gdbasm_call foo3.*$gdb_prompt $" { 381 pass "finish from foo3" 382 gdb_test "s" ".*" "s after finish" 383 } 384 -re "Run till exit from.*\[\r\n\]$line_call_foo3_again\[ \t\]+gdbasm_call foo3.*$gdb_prompt $" { 385 pass "finish from foo3" 386 } 387} 388 389# Try 'info source' from asmsrc2.s 390gdb_test "info source" \ 391 "Current source file is .*asmsrc2.s.*Source language is asm.*" \ 392 "info source asmsrc2.s" 393 394# Try 'info sources'. This can produce a lot of output on systems 395# with dynamic linking, where the system's shared libc was compiled 396# with debugging info; for example, on Linux, this produces 47kb of 397# output. So we consume it as we go. 398set seen_asmsrc_1 0 399set seen_asmsrc_2 0 400gdb_test_multiple "info sources" "info sources" { 401 -re "^\[^,\]*asmsrc1.s(, |\[\r\n\]+)" { 402 set seen_asmsrc_1 1 403 exp_continue 404 } 405 -re "^\[^,\]*asmsrc2.s(, |\[\r\n\]+)" { 406 set seen_asmsrc_2 1 407 exp_continue 408 } 409 -re ", " { 410 exp_continue 411 } 412 -re "$gdb_prompt $" { 413 if {$seen_asmsrc_1 && $seen_asmsrc_2} { 414 pass "info sources" 415 } else { 416 fail "info sources" 417 } 418 } 419} 420 421 422# Try 'info line' 423gdb_test "info line" \ 424 "Line $line_call_foo3_again of.*asmsrc2.s.*starts at.*<\\.?foo2+.*> and ends at.*<\\.?foo2+.*>." 425 426# Try 'nexting' over next call to foo3 427gdb_test "next" "$line_foo2_leave\[ \t\]+gdbasm_leave" "next over foo3" 428 429# Try 'return' from foo2 430# Like "finish", "return" command also can return to the caller 431# line again or the statement after, depending on the architecture. 432gdb_test_multiple "return" "return from foo2" { 433 -re "Make (foo2|selected stack frame) return now\\? .y or n. " { 434 send_gdb "y\n" 435 exp_continue 436 } 437 -re "\#0.*main .*$line_call_foo2\[ \t\]+gdbasm_call foo2.*$gdb_prompt $" { 438 pass "return from foo2" 439 gdb_test "s" ".*" "s after return" 440 } 441 -re "\#0.*main .*$line_main_exit\[ \t\]+gdbasm_exit0.*$gdb_prompt $" { 442 pass "return from foo2" 443 } 444} 445 446# Disassemble something, check the output 447proc test_dis { command var } { 448 global gdb_prompt 449 gdb_test_multiple "${command}" "${command}" { 450 -re "${var}.*:.*(Cannot access|Bad address)" { 451 # The "disassembler" was only accessing the local 452 # executable and that would cause attempts to disassemble 453 # variables to fail (memory not valid). 454 fail "${command} (memory read error)" 455 } 456 -re "${var}.*:.*${gdb_prompt}" { 457 pass "${command}" 458 } 459 } 460} 461 462# See if we can look at a global variable, three ways 463gdb_test "print (int) globalvar" ".* = 11" "look at global variable" 464test_dis "x/i &globalvar" "globalvar" 465test_dis "disassem &globalvar, (int *) &globalvar+1" "globalvar" 466 467# See if we can look at a static variable, three ways 468gdb_test "print (int) staticvar" ".* = 5" "look at static variable" 469test_dis "x/i &staticvar" "staticvar" 470test_dis "disassem &staticvar, (int *) &staticvar+1" "staticvar" 471 472# See if we can look at a static function 473gdb_test "disassem foostatic" ".*<\\+0>:.*End of assembler dump." \ 474 "look at static function" 475 476remote_exec build "rm -f $arch_inc" 477remote_exec build "rm -f $note_inc" 478