xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.trace/trace-condition.exp (revision 9fb66d812c00ebfb445c0b47dea128f32aa6fe96)
1# Copyright 2011-2019 Free Software Foundation, Inc.
2# This program is free software; you can redistribute it and/or modify
3# it under the terms of the GNU General Public License as published by
4# the Free Software Foundation; either version 3 of the License, or
5# (at your option) any later version.
6#
7# This program is distributed in the hope that it will be useful,
8# but WITHOUT ANY WARRANTY; without even the implied warranty of
9# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
10# GNU General Public License for more details.
11#
12# You should have received a copy of the GNU General Public License
13# along with this program.  If not, see <http://www.gnu.org/licenses/>.
14
15load_lib "trace-support.exp"
16
17if {[skip_shlib_tests]} {
18    return 0
19}
20
21standard_testfile
22set executable $testfile
23set expfile $testfile.exp
24
25# Some targets have leading underscores on assembly symbols.
26set additional_flags [gdb_target_symbol_prefix_flags]
27
28if ![gdb_trace_common_supports_arch] {
29    unsupported "no trace-common.h support for arch"
30    return -1
31}
32
33if [prepare_for_testing "failed to prepare" $executable $srcfile \
34	[list debug $additional_flags]] {
35    return -1
36}
37
38if ![runto_main] {
39    fail "can't run to main to check for trace support"
40    return -1
41}
42
43if ![gdb_target_supports_trace] {
44    unsupported "target does not support trace"
45    return -1
46}
47
48set libipa [get_in_proc_agent]
49set remote_libipa [gdb_load_shlib $libipa]
50
51# Can't use prepare_for_testing, because that splits compiling into
52# building objects and then linking, and we'd fail with "linker input
53# file unused because linking not done" when building the object.
54
55if { [gdb_compile "$srcdir/$subdir/$srcfile" $binfile \
56	  executable [list debug $additional_flags shlib=$libipa] ] != "" } {
57    untested "failed to compile"
58    return -1
59}
60
61clean_restart ${executable}
62
63if ![runto_main] {
64    fail "can't run to main for ftrace tests"
65    return 0
66}
67
68if { [gdb_test "info sharedlibrary" ".*${remote_libipa}.*" "IPA loaded"] != 0 } {
69    untested "could not find IPA lib loaded"
70    return 1
71}
72
73proc test_tracepoints { trace_command condition num_frames { kfail_proc 0 } } {
74    global executable gdb_prompt
75
76    clean_restart ${executable}
77
78    if ![runto_main] {
79	fail "can't run to main for ftrace tests"
80	return 0
81    }
82
83    gdb_breakpoint "begin" qualified
84
85    gdb_breakpoint "end" qualified
86
87    with_test_prefix "${trace_command}: ${condition}" {
88
89	gdb_test "${trace_command} set_point if ${condition}" \
90	    "\(Fast t|T\)racepoint .*" \
91	    "set tracepoint"
92
93	gdb_test "continue" ".*Breakpoint \[0-9\]+, begin .*" \
94	    "advance to trace begin"
95
96	gdb_test_no_output "tstart" "start trace experiment"
97
98	gdb_test_multiple "continue" "advance through tracing" {
99	    -re ".*Breakpoint \[0-9\]+, end .*$gdb_prompt $" {
100		pass "advance through tracing"
101	    }
102	    -re "Program received signal SIGSEGV, Segmentation fault\\..*$gdb_prompt $" {
103		if { $kfail_proc != 0 } {
104		    $kfail_proc $trace_command
105		}
106		fail "advance through tracing"
107	    }
108	}
109
110	if { $kfail_proc != 0 } {
111	    $kfail_proc $trace_command
112	}
113	gdb_test "tstatus" \
114	    ".*Trace .*Collected $num_frames .*" \
115	    "check $num_frames frames were collected."
116
117	gdb_test "tstop" "" ""
118    }
119}
120
121# These callbacks identify known failures for certain architectures.  They
122# are called either if GDBserver crashes or has not traced the correct
123# number of frames.
124
125proc 18955_x86_64_failure { trace_command } {
126    if { $trace_command == "ftrace" } {
127	setup_kfail "gdb/18955" "x86_64-*-linux*"
128    }
129}
130
131proc 18955_i386_failure { trace_command } {
132    if { $trace_command == "ftrace" } {
133	setup_kfail "gdb/18955" "i\[34567\]86-*-*"
134    }
135}
136
137foreach trace_command { "trace" "ftrace" } {
138    # This condition is always true as the PC should be set to the tracepoint
139    # address when hit.
140    test_tracepoints $trace_command "\$$pcreg == *set_point" 10
141
142    # Can we read local variables?
143    test_tracepoints $trace_command "arg8 == 1 || arg8 == 2" 2 18955_x86_64_failure
144    test_tracepoints $trace_command "arg16 == 257 || arg16 == 258" 2 18955_x86_64_failure
145    test_tracepoints $trace_command "arg32 == 65537 || arg32 == 65538" 2 18955_x86_64_failure
146    test_tracepoints $trace_command "arg64 == 4294967297 || arg64 == 4294967298" 2 18955_x86_64_failure
147    # Can we read global variables?
148    test_tracepoints $trace_command "arg16 == 257 && globvar == 1" 1 18955_x86_64_failure
149
150    # Test various operations to cover as many opcodes as possible.
151    test_tracepoints $trace_command "21 == 21" 10
152    test_tracepoints $trace_command "11 == 21" 0
153
154    test_tracepoints $trace_command "21 != 42" 10
155    test_tracepoints $trace_command "42 != 42" 0
156
157    test_tracepoints $trace_command "21 + 21 == 42" 10
158    test_tracepoints $trace_command "21 + 21 == 11" 0
159
160    test_tracepoints $trace_command "42 - 21 == 21" 10
161    test_tracepoints $trace_command "42 - 21 == 11" 0
162
163    test_tracepoints $trace_command "21 * 2 == 42" 10
164    test_tracepoints $trace_command "21 * 2 == 11" 0
165
166    test_tracepoints $trace_command "21 << 1 == 42" 10
167    test_tracepoints $trace_command "21 << 1 == 11" 0
168
169    test_tracepoints $trace_command "42 >> 1 == 21" 10
170    test_tracepoints $trace_command "42 >> 1 == 11" 0
171
172    test_tracepoints $trace_command "-(21 << 1) == -42" 10
173    test_tracepoints $trace_command "-(21 << 1) == -11" 0
174
175    test_tracepoints $trace_command "-42 >> 1 == -21" 10
176    test_tracepoints $trace_command "-42 >> 1 == -11" 0
177
178    test_tracepoints $trace_command "(0xabababab & 0x0000ffff) == 0xabab" 10
179    test_tracepoints $trace_command "(0xabababab & 0x0000ffff) == 0xffff" 0
180
181    test_tracepoints $trace_command "(0xabababab | 0x0000ffff) == 0xababffff" 10
182    test_tracepoints $trace_command "(0xabababab | 0x0000ffff) == 0xeeeedddd" 0
183
184    test_tracepoints $trace_command "(0xaaaaaaaa ^ 0x55555555) == 0xffffffff" 10
185    test_tracepoints $trace_command "(0xaaaaaaaa ^ 0x55555555) == 0xaaaaaaaa" 0
186
187    test_tracepoints $trace_command "~0xaaaaaaaa == 0x55555555" 10
188    test_tracepoints $trace_command "~0xaaaaaaaa == 0x11111111" 0
189
190    test_tracepoints $trace_command "21 < 42" 10
191    test_tracepoints $trace_command "61 < 42" 0
192
193    test_tracepoints $trace_command "21U < 42U" 10
194    test_tracepoints $trace_command "61U < 42U" 0
195
196    test_tracepoints $trace_command "42 <= 42" 10
197    test_tracepoints $trace_command "42 <= 11" 0
198
199    test_tracepoints $trace_command "42 >= 42" 10
200    test_tracepoints $trace_command "11 >= 42" 0
201
202    test_tracepoints $trace_command "42 > 21" 10
203    test_tracepoints $trace_command "11 > 21" 0
204
205    test_tracepoints $trace_command "(21 < 42 ? 0 : 1) == 0" 10 18955_i386_failure
206    test_tracepoints $trace_command "(66 < 42 ? 0 : 1) == 0" 0 18955_i386_failure
207
208    test_tracepoints $trace_command "(42 <= 42 ? 0 : 1) == 0" 10
209    test_tracepoints $trace_command "(66 <= 42 ? 0 : 1) == 0" 0
210
211    test_tracepoints $trace_command "(42 >= 42 ? 0 : 1) == 0" 10
212    test_tracepoints $trace_command "(11 >= 42 ? 0 : 1) == 0" 0
213
214    test_tracepoints $trace_command "(42 > 21 ? 0 : 1) == 0" 10 18955_i386_failure
215    test_tracepoints $trace_command "(11 > 21 ? 0 : 1) == 0" 0 18955_i386_failure
216
217    test_tracepoints $trace_command "\$trace_timestamp >= 0" 10
218
219    # Test operations with 64 bit operands.
220    test_tracepoints $trace_command "0xabababab00000000 == 0xcdcdcdcd00000000" 0
221    test_tracepoints $trace_command "0xabababab00000000 == 0xabababab00000000" 10
222
223    test_tracepoints $trace_command "!0xabababab00000000 == 0" 10
224    test_tracepoints $trace_command "!0x0 == 0" 0
225
226    test_tracepoints $trace_command "0xababababcdcdcdcd + 0x1111111143434343 == 0xbcbcbcbd11111110" 10
227    test_tracepoints $trace_command "0xababababcdcdcdff + 0x1111111143434343 == 0xbcbcbcbd11111110" 0
228
229    test_tracepoints $trace_command "0xababababcdcdcdcd - 0x11111111dc111111 == 0x9a9a9a99f1bcbcbc" 10
230    test_tracepoints $trace_command "0xababababcdcdcdff - 0x11111111dc111111 == 0x9a9a9a99f1bcbcbc" 0
231
232    test_tracepoints $trace_command "0xababababcdcdcdcd * 0xababababcdcdcdcd == 0x55320eeb91c3f629" 10
233    test_tracepoints $trace_command "0xababababcdcdcdff * 0xababababcdcdcdcd == 0x55320eeb91c3f629" 0
234
235    test_tracepoints $trace_command "0x00abababcdcdcdcd << 1 == 0x15757579b9b9b9a" 10
236    test_tracepoints $trace_command "0x00abababcdcdcdff << 1 == 0x15757579b9b9b9a" 0
237
238    test_tracepoints $trace_command "0x00abababcdcdcdcd << 46 == 0x7373400000000000" 10
239    test_tracepoints $trace_command "0x00abababcdcdcdff << 46 == 0x7373400000000000" 0
240
241    # signed rsh
242    test_tracepoints $trace_command "0x00abababcdcdcdcd >> 1 == 0x55d5d5e6e6e6e6" 10
243    test_tracepoints $trace_command "0x00bcababcdcdcdcd >> 1 == 0x55d5d5e6e6e6e6" 0
244
245    test_tracepoints $trace_command "0x00abababcdcdcdcd >> 46 == 0x2ae" 10
246    test_tracepoints $trace_command "0x00bcababcdcdcdcd >> 46 == 0x2ae" 0
247
248    # unsigned rsh
249    test_tracepoints $trace_command "0xababababcdcdcdcdUL >> 1 == 0x55d5d5d5e6e6e6e6UL" 10
250    test_tracepoints $trace_command "0xcdabababcdcdcdcdUL >> 1 == 0x55d5d5d5e6e6e6e6UL" 0
251
252    test_tracepoints $trace_command "0xababababcdcdcdcdUL >> 46 == 0x2aeaeUL" 10
253    test_tracepoints $trace_command "0xcdabababcdcdcdcdUL >> 46 == 0x2aeaeUL" 0
254
255    test_tracepoints $trace_command "-(0x00abababcdcdcdcd << 1) == -0x15757579b9b9b9a" 10
256    test_tracepoints $trace_command "-(0x00abababcdcdcdff << 1) == -0x15757579b9b9b9a" 0
257
258    test_tracepoints $trace_command "-(0x00abababcdcdcdcd >> 1) == -0x55d5d5e6e6e6e6" 10
259    test_tracepoints $trace_command "-(0x00cdababcdcdcdcd >> 1) == -0x55d5d5e6e6e6e6" 0
260
261    test_tracepoints $trace_command "(0xababababcdcdcdcd & 0x00000fffffffffff) == 0x00000babcdcdcdcd" 10
262    test_tracepoints $trace_command "(0xababababcdcdcdcd & 0x00000fffffffff00) == 0x00000babcdcdcdcd" 0
263
264    test_tracepoints $trace_command "(0xababababcdcdcdcd | 0x00000fffffffffff) == 0xababafffffffffff" 10
265    test_tracepoints $trace_command "(0xababababcdcdcdcd | 0x00000fffffffff00) == 0xababafffffffffff" 0
266
267    test_tracepoints $trace_command "(0xaaaaaaaaaaaaaaaa ^ 0x5555555555555555) == 0xffffffffffffffff" 10
268    test_tracepoints $trace_command "(0xaaaaaaaaaaaaaaaa ^ 0x5555555555555111) == 0xffffffffffffffff" 0
269
270    test_tracepoints $trace_command "~0xaaaaaaaaaaaaaaaa == 0x5555555555555555" 10
271    test_tracepoints $trace_command "~0xaaaaaaaaaaaaaaaa == 0x5555555555555111" 0
272
273    # less unsigned
274    test_tracepoints $trace_command "0x99999999bbbbbbbb < 0xaaaaaaaaaaaaaaaa" 10
275    test_tracepoints $trace_command "0xbb999999bbbbbbbb < 0xaaaaaaaaaaaaaaaa" 0
276
277    test_tracepoints $trace_command "0x99999999bbbbbbbb < 0x99999999cccccccc" 10
278    test_tracepoints $trace_command "0x99999999eebbbbbb < 0x99999999cccccccc" 0
279
280    test_tracepoints $trace_command "0x99999999bbbbbbbb <= 0x99999999bbbbbbbb" 10
281    test_tracepoints $trace_command "0xbb999999eebbbbbb <= 0x99999999bbbbbbbb" 0
282
283    # less signed
284    test_tracepoints $trace_command "0x09999999bbbbbbbb < 0x0aaaaaaaaaaaaaaa" 10
285    test_tracepoints $trace_command "0x0bb99999ccbbbbbb < 0x0aaaaaaaaaaaaaaa" 0
286
287    test_tracepoints $trace_command "0x09999999bbbbbbbb < 0x09999999cccccccc" 10
288    test_tracepoints $trace_command "0x09999999ddbbbbbb < 0x09999999cccccccc" 0
289
290    test_tracepoints $trace_command "0x09999999bbbbbbbb <= 0x09999999bbbbbbbb" 10
291    test_tracepoints $trace_command "0x0aa99999bbbbbbbb <= 0x09999999bbbbbbbb" 0
292
293    test_tracepoints $trace_command "0x0aaaaaaaaaaaaaaa > 0x09999999bbbbbbbb" 10
294    test_tracepoints $trace_command "0x088aaaaabbaaaaaa > 0x09999999bbbbbbbb" 0
295
296    test_tracepoints $trace_command "(0xabababab00000000 == 0xcdcdcdcd00000000 ? 1 : 0) == 0" 10
297    test_tracepoints $trace_command "(0xcdcdcdcd00000000 == 0xcdcdcdcd00000000 ? 1 : 0) == 0" 0
298
299    test_tracepoints $trace_command "(0xabababab00000000 != 0xcdcdcdcd00000000 ? 1 : 0) == 1" 10
300    test_tracepoints $trace_command "(0xcdcdcdcd00000000 != 0xcdcdcdcd00000000 ? 1 : 0) == 1" 0
301
302    test_tracepoints $trace_command "(0x09999999bbbbbbbb < 0x09999999cccccccc ? 1 : 0) == 1" 10 18955_i386_failure
303    test_tracepoints $trace_command "(0x09999999eeebbbbb < 0x09999999cccccccc ? 1 : 0) == 1" 0 18955_i386_failure
304
305    test_tracepoints $trace_command "(0x09999999bbbbbbbb <= 0x09999999bbbbbbbb ? 1 : 0) == 1" 10
306    test_tracepoints $trace_command "(0x09999999eeebbbbb <= 0x09999999bbbbbbbb ? 1 : 0) == 1" 0
307
308    test_tracepoints $trace_command "(0x09999999bbbbbbbb >= 0x09999999bbbbbbbb ? 1 : 0) == 1" 10
309    test_tracepoints $trace_command "(0x00099999bbbbbbbb >= 0x09999999bbbbbbbb ? 1 : 0) == 1" 0
310
311    test_tracepoints $trace_command "(0x0aaaaaaaaaaaaaaa > 0x09999999bbbbbbbb ? 1 : 0) == 1" 10
312    test_tracepoints $trace_command "(0x00088888ccaaaaaa > 0x09999999bbbbbbbb ? 1 : 0) == 1" 0
313}
314