xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.trace/entry-values.exp (revision 16dce51364ebe8aeafbae46bc5aa167b8115bc45) 
1# Copyright 2013-2016 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/>.
15load_lib dwarf.exp
16
17# This test can only be run on targets which support DWARF-2 and use gas.
18if {![dwarf2_support]} {
19    return 0
20}
21
22standard_testfile .c entry-values-dw.S
23
24if  {[gdb_compile ${srcdir}/${subdir}/${srcfile} ${binfile}1.o \
25	  object {nodebug}] != ""} {
26    return -1
27}
28
29if  {[gdb_compile [list ${binfile}1.o] \
30	  "${binfile}1" executable {}] != ""} {
31    return -1
32}
33
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
36# Assembler.
37
38gdb_exit
39gdb_start
40gdb_reinitialize_dir $srcdir/$subdir
41gdb_load ${binfile}1
42
43set returned_from_foo ""
44
45if { [istarget "arm*-*-*"] || [istarget "aarch64*-*-*"] } {
46    set call_insn "bl"
47} elseif { [istarget "s390*-*-*"] } {
48    set call_insn "brasl"
49} elseif { [istarget "powerpc*-*-*"] } {
50    set call_insn "bl"
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.
54    #
55    #  JUMP (or BRANCH) foo
56    #  insn1
57    #  insn2
58    #
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] {
66    set call_insn "callq"
67} else {
68    set call_insn "call"
69}
70
71# Calculate the offset of the instruction in bar returned from foo.
72set test "disassemble bar"
73gdb_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)
76    }
77    -re ".*$gdb_prompt $" {
78	fail $test
79    }
80}
81
82if { [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.
87    return -1
88}
89
90gdb_exit
91
92# Make some DWARF for the test.
93set asm_file [standard_output_file $srcfile2]
94Dwarf::assemble $asm_file {
95    declare_labels int_label foo_label
96    global returned_from_foo
97    global srcdir subdir srcfile
98
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]
102
103    cu {} {
104	compile_unit {{language @DW_LANG_C}} {
105	    int_label: base_type {
106		{name int}
107		{encoding @DW_ATE_signed}
108		{byte_size 4 DW_FORM_sdata}
109	    }
110
111	    foo_label: subprogram {
112		{decl_file 1 sdata}
113		{MACRO_AT_func { foo ${srcdir}/${subdir}/${srcfile} }}
114	    } {
115		formal_parameter {
116		    {type :$int_label}
117		    {name i}
118		    {location {DW_OP_reg0} SPECIAL_expr}
119		}
120		formal_parameter {
121		    {type :$int_label}
122		    {name j}
123		    {location {DW_OP_reg1} SPECIAL_expr}
124		}
125	    }
126
127	    subprogram {
128		{name bar}
129		{decl_file 1 sdata}
130		{low_pc $bar_start addr}
131		{high_pc "$bar_start + $bar_length" addr}
132		{GNU_all_call_sites 1 sdata}
133	    } {
134		formal_parameter {
135		    {type :$int_label}
136		    {name i}
137		}
138
139		GNU_call_site {
140		    {low_pc "$bar_start + $returned_from_foo" addr}
141		    {abstract_origin :$foo_label}
142		} {
143		    # Faked entry values are reference to variables 'global1'
144		    # and 'global2' and faked locations are register 0 and
145		    # register 1.
146		    GNU_call_site_parameter {
147			{location {DW_OP_reg0} SPECIAL_expr}
148			{GNU_call_site_value {
149			    addr global1
150			    deref_size 4
151			} SPECIAL_expr}
152		    }
153		    GNU_call_site_parameter {
154			{location {DW_OP_reg1} SPECIAL_expr}
155			{GNU_call_site_value {
156			    addr global2
157			    deref_size 4
158			} SPECIAL_expr}
159		    }
160		}
161	    }
162	}
163    }
164}
165
166if  {[gdb_compile $asm_file ${binfile}2.o object {nodebug}] != ""} {
167    return -1
168}
169
170if  {[gdb_compile [list ${binfile}1.o ${binfile}2.o] \
171	  "${binfile}" executable {}] != ""} {
172    return -1
173}
174
175clean_restart ${testfile}
176
177if ![runto_main] {
178    fail "Can't run to main"
179    return -1
180}
181
182gdb_breakpoint "foo"
183
184gdb_continue_to_breakpoint "foo"
185
186gdb_test_no_output "set print entry-values both"
187
188gdb_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 \\(\\)"
192}
193
194# Update global variables 'global1' and 'global2' and test that the
195# entry values are updated too.
196
197gdb_test_no_output "set var global1=10"
198gdb_test_no_output "set var global2=11"
199
200gdb_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 \\(\\)"
204}
205
206# Restart GDB and trace.
207
208clean_restart $binfile
209
210load_lib "trace-support.exp"
211
212if ![runto_main] {
213    fail "Can't run to main to check for trace support"
214    return -1
215}
216
217if ![gdb_target_supports_trace] {
218    unsupported "target does not support trace"
219    return -1
220}
221
222gdb_test "trace foo" "Tracepoint $decimal at .*"
223
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
226# argument j.
227
228gdb_trace_setactions "set action for tracepoint 1" "" \
229    "collect i, j, global1, \(\*\(void \*\*\) \(\$$spreg\)\) @ 128" "^$"
230
231gdb_test_no_output "tstart"
232
233gdb_breakpoint "end"
234gdb_continue_to_breakpoint "end"
235
236gdb_test_no_output "tstop"
237
238gdb_test "tfind" "Found trace frame 0, .*" "tfind start"
239
240# Since 'global2' is not collected, j@entry is expected to be 'unavailable'.
241gdb_test "bt 1" "#0 .* foo \\(i=\[-\]?$decimal, i@entry=2, j=\[-\]?$decimal, j@entry=<unavailable>\\).*"
242
243# Test that unavailable "j@entry" is not shown when command option
244# --skip-unavailable is used.
245gdb_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=.*\\\].*"
247
248gdb_test "tfind" "Target failed to find requested trace frame\..*"
249