1 # Copyright
2013-2023 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 require dwarf2_support
20 standard_testfile .c entry
-values-dw.S
22 if {[gdb_compile $
{srcdir
}/$
{subdir
}/$
{srcfile
} $
{binfile
}1.o \
23 object
{nodebug
}] != ""} {
27 if {[gdb_compile
[list $
{binfile
}1.o
] \
28 "${binfile}1" executable {}] != ""} {
32 clean_restart $
{binfile
}1
34 set returned_from_foo
""
36 if { [istarget
"arm*-*-*"] || [istarget "aarch64*-*-*"] } {
38 } elseif
{ [istarget
"s390*-*-*"] } {
40 } elseif
{ [istarget
"powerpc*-*-*"] } {
42 } elseif
{ [istarget
"mips*-*-*"] } {
43 # Skip the delay slot after the instruction used to make a
call
44 #
(which can be a jump or a branch
) if it has one.
46 # JUMP
(or BRANCH
) foo
50 # Most MIPS instructions used to make calls have a delay slot.
51 # These
include JAL
, JALS
, JALX
, JALR
, JALRS
, BAL and BALS.
52 # In this case the
program continues from `insn2
' when `foo'
53 # returns. The only exception is JALRC
, in which case execution
54 # resumes from `insn1
' instead.
55 set call_insn {jalrc|[jb]al[sxr]*[ \t][^\r\n]+\r\n}
60 # Calculate the offset of the instruction in bar returned from foo.
61 set test "disassemble bar"
62 gdb_test_multiple $test $test {
63 -re ".*$hex <\\+$decimal>:\[ \t\]+\\y$call_insn\\y\[^\r\n\]+\r\n\[ \]+$hex <\\+($decimal)>:.*$gdb_prompt $" {
64 set returned_from_foo $expect_out(1,string)
66 -re ".*$gdb_prompt $" {
71 if { [string equal $returned_from_foo ""] } {
72 fail "find the call or branch instruction offset in bar"
73 # The following test makes no sense if the offset is unknown. We need
74 # to update the pattern above to match call or branch instruction for
75 # the target architecture.
79 # Make some DWARF for the test.
80 set asm_file [standard_output_file $srcfile2]
81 Dwarf::assemble $asm_file {
82 declare_labels int_label foo_label
83 global returned_from_foo
84 global srcdir subdir srcfile
86 set bar_result [function_range bar ${srcdir}/${subdir}/${srcfile}]
87 set bar_start [lindex $bar_result 0]
88 set bar_length [lindex $bar_result 1]
91 compile_unit {{language @DW_LANG_C}} {
92 int_label: base_type {
94 {encoding @DW_ATE_signed}
95 {byte_size 4 DW_FORM_sdata}
98 foo_label: subprogram {
100 {MACRO_AT_func { foo }}
105 {location {DW_OP_reg0} SPECIAL_expr}
110 {location {DW_OP_reg1} SPECIAL_expr}
117 {low_pc $bar_start addr}
118 {high_pc "$bar_start + $bar_length" addr}
119 {GNU_all_call_sites 1 sdata}
127 {low_pc "$bar_start + $returned_from_foo" addr}
128 {abstract_origin :$foo_label}
130 # Faked entry values are reference to variables 'global1
'
131 # and 'global2
' and faked locations are register 0 and
133 GNU_call_site_parameter {
134 {location {DW_OP_reg0} SPECIAL_expr}
135 {GNU_call_site_value {
140 GNU_call_site_parameter {
141 {location {DW_OP_reg1} SPECIAL_expr}
142 {GNU_call_site_value {
153 if {[gdb_compile $asm_file ${binfile}2.o object {nodebug}] != ""} {
157 if {[gdb_compile [list ${binfile}1.o ${binfile}2.o] \
158 "${binfile}" executable {}] != ""} {
162 clean_restart ${testfile}
170 gdb_continue_to_breakpoint "foo"
172 gdb_test_no_output "set print entry-values both"
174 gdb_test_sequence "bt" "bt (1)" {
175 "\[\r\n\]#0 .* foo \\(i=[-]?[0-9]+, i@entry=2, j=[-]?[0-9]+, j@entry=3\\)"
176 "\[\r\n\]#1 .* bar \\(i=<optimized out>, i@entry=<optimized out>\\)"
177 "\[\r\n\]#2 .* \.?main \\(\\)"
180 # Update global variables 'global1
' and 'global2
' and test that the
181 # entry values are updated too.
183 gdb_test_no_output "set var *(int *) &global1=10"
184 gdb_test_no_output "set var *(int *) &global2=11"
186 gdb_test_sequence "bt" "bt (2)" {
187 "\[\r\n\]#0 .* foo \\(i=[-]?[0-9]+, i@entry=10, j=[-]?[0-9]+, j@entry=11\\)"
188 "\[\r\n\]#1 .* bar \\(i=<optimized out>, i@entry=<optimized out>\\)"
189 "\[\r\n\]#2 .* \.?main \\(\\)"
192 # Restart GDB and trace.
194 clean_restart $binfile
196 load_lib "trace-support.exp"
202 if ![gdb_target_supports_trace] {
203 unsupported "target does not support trace"
207 gdb_test "trace foo" "Tracepoint $decimal at .*"
209 # Collect arguments i and j. Collect 'global1
' which is entry value
210 # of argument i. Don't collect
'global2' to test the entry value of
213 gdb_trace_setactions
"set action for tracepoint 1" "" \
214 "collect i, j, (int) global1, \(\*\(void \*\*\) \(\$$spreg\)\) @ 128" "^$"
216 gdb_test_no_output
"tstart"
219 gdb_continue_to_breakpoint
"end"
221 gdb_test_no_output
"tstop"
223 gdb_test
"tfind" "Found trace frame 0, .*" "tfind start"
225 # Since
'global2' is not collected
, j@entry is expected to be
'unavailable'.
226 gdb_test
"bt 1" "#0 .* foo \\(i=\[-\]?$decimal, i@entry=2, j=\[-\]?$decimal, j@entry=<unavailable>\\).*"
228 # Test that unavailable
"j@entry" is not shown when command option
229 #
--skip
-unavailable is used.
230 gdb_test
"interpreter-exec mi \"-stack-list-arguments --skip-unavailable --simple-values\"" \
231 "\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=.*\\\].*"
233 gdb_test
"tfind" "Target failed to find requested trace frame\..*"