1 # Copyright 2013-2020 Free Software Foundation, Inc.
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/>.
17 # This test can only be run on targets which support DWARF-2 and use gas.
18 if {![dwarf2_support]} {
22 standard_testfile .c entry-values-dw.S
24 if {[gdb_compile ${srcdir}/${subdir}/${srcfile} ${binfile}1.o \
25 object {nodebug}] != ""} {
29 if {[gdb_compile [list ${binfile}1.o] \
30 "${binfile}1" executable {}] != ""} {
34 # Start GDB and load executable file, compute the offset of the
35 # instruction in bar returned from foo. It is needed in the Dwarf
40 gdb_reinitialize_dir $srcdir/$subdir
43 set returned_from_foo ""
45 if { [istarget "arm*-*-*"] || [istarget "aarch64*-*-*"] } {
47 } elseif { [istarget "s390*-*-*"] } {
49 } elseif { [istarget "powerpc*-*-*"] } {
51 } elseif { [istarget "mips*-*-*"] } {
52 # Skip the delay slot after the instruction used to make a call
53 # (which can be a jump or a branch) if it has one.
55 # JUMP (or BRANCH) foo
59 # Most MIPS instructions used to make calls have a delay slot.
60 # These include JAL, JALS, JALX, JALR, JALRS, BAL and BALS.
61 # In this case the program continues from `insn2' when `foo'
62 # returns. The only exception is JALRC, in which case execution
63 # resumes from `insn1' instead.
64 set call_insn {jalrc|[jb]al[sxr]*[ \t][^\r\n]+\r\n}
65 } elseif [is_amd64_regs_target] {
71 # Calculate the offset of the instruction in bar returned from foo.
72 set test "disassemble bar"
73 gdb_test_multiple $test $test {
74 -re ".*$hex <\\+$decimal>:\[ \t\]+\\y$call_insn\\y\[^\r\n\]+\r\n\[ \]+$hex <\\+($decimal)>:.*$gdb_prompt $" {
75 set returned_from_foo $expect_out(1,string)
77 -re ".*$gdb_prompt $" {
82 if { [string equal $returned_from_foo ""] } {
83 fail "find the call or branch instruction offset in bar"
84 # The following test makes no sense if the offset is unknown. We need
85 # to update the pattern above to match call or branch instruction for
86 # the target architecture.
92 # Make some DWARF for the test.
93 set asm_file [standard_output_file $srcfile2]
94 Dwarf::assemble $asm_file {
95 declare_labels int_label foo_label
96 global returned_from_foo
97 global srcdir subdir srcfile
99 set bar_result [function_range bar ${srcdir}/${subdir}/${srcfile}]
100 set bar_start [lindex $bar_result 0]
101 set bar_length [lindex $bar_result 1]
104 compile_unit {{language @DW_LANG_C}} {
105 int_label: base_type {
107 {encoding @DW_ATE_signed}
108 {byte_size 4 DW_FORM_sdata}
111 foo_label: subprogram {
113 {MACRO_AT_func { foo ${srcdir}/${subdir}/${srcfile} }}
118 {location {DW_OP_reg0} SPECIAL_expr}
123 {location {DW_OP_reg1} SPECIAL_expr}
130 {low_pc $bar_start addr}
131 {high_pc "$bar_start + $bar_length" addr}
132 {GNU_all_call_sites 1 sdata}
140 {low_pc "$bar_start + $returned_from_foo" addr}
141 {abstract_origin :$foo_label}
143 # Faked entry values are reference to variables 'global1'
144 # and 'global2' and faked locations are register 0 and
146 GNU_call_site_parameter {
147 {location {DW_OP_reg0} SPECIAL_expr}
148 {GNU_call_site_value {
153 GNU_call_site_parameter {
154 {location {DW_OP_reg1} SPECIAL_expr}
155 {GNU_call_site_value {
166 if {[gdb_compile $asm_file ${binfile}2.o object {nodebug}] != ""} {
170 if {[gdb_compile [list ${binfile}1.o ${binfile}2.o] \
171 "${binfile}" executable {}] != ""} {
175 clean_restart ${testfile}
178 fail "can't run to main"
184 gdb_continue_to_breakpoint "foo"
186 gdb_test_no_output "set print entry-values both"
188 gdb_test_sequence "bt" "bt (1)" {
189 "\[\r\n\]#0 .* foo \\(i=[-]?[0-9]+, i@entry=2, j=[-]?[0-9]+, j@entry=3\\)"
190 "\[\r\n\]#1 .* bar \\(i=<optimized out>, i@entry=<optimized out>\\)"
191 "\[\r\n\]#2 .* \.?main \\(\\)"
194 # Update global variables 'global1' and 'global2' and test that the
195 # entry values are updated too.
197 gdb_test_no_output "set var *(int *) &global1=10"
198 gdb_test_no_output "set var *(int *) &global2=11"
200 gdb_test_sequence "bt" "bt (2)" {
201 "\[\r\n\]#0 .* foo \\(i=[-]?[0-9]+, i@entry=10, j=[-]?[0-9]+, j@entry=11\\)"
202 "\[\r\n\]#1 .* bar \\(i=<optimized out>, i@entry=<optimized out>\\)"
203 "\[\r\n\]#2 .* \.?main \\(\\)"
206 # Restart GDB and trace.
208 clean_restart $binfile
210 load_lib "trace-support.exp"
213 fail "can't run to main to check for trace support"
217 if ![gdb_target_supports_trace] {
218 unsupported "target does not support trace"
222 gdb_test "trace foo" "Tracepoint $decimal at .*"
224 # Collect arguments i and j. Collect 'global1' which is entry value
225 # of argument i. Don't collect 'global2' to test the entry value of
228 gdb_trace_setactions "set action for tracepoint 1" "" \
229 "collect i, j, (int) global1, \(\*\(void \*\*\) \(\$$spreg\)\) @ 128" "^$"
231 gdb_test_no_output "tstart"
234 gdb_continue_to_breakpoint "end"
236 gdb_test_no_output "tstop"
238 gdb_test "tfind" "Found trace frame 0, .*" "tfind start"
240 # Since 'global2' is not collected, j@entry is expected to be 'unavailable'.
241 gdb_test "bt 1" "#0 .* foo \\(i=\[-\]?$decimal, i@entry=2, j=\[-\]?$decimal, j@entry=<unavailable>\\).*"
243 # Test that unavailable "j@entry" is not shown when command option
244 # --skip-unavailable is used.
245 gdb_test "interpreter-exec mi \"-stack-list-arguments --skip-unavailable --simple-values\"" \
246 "\r\n\\^done,stack-args=\\\[frame={level=\"0\",args=\\\[{name=\"i\",type=\"int\",value=\".*\"},{name=\"i@entry\",type=\"int\",value=\"2\"},{name=\"j\",type=\"int\",value=\".*\"}\\\]},frame=.*\\\].*"
248 gdb_test "tfind" "Target failed to find requested trace frame\..*"