1 # This testcase is part of GDB, the GNU debugger.
3 # Copyright 2013-2020 Free Software Foundation, Inc.
5 # Contributed by Intel Corp. <markus.t.metzger@intel.com>
7 # This program is free software; you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation; either version 3 of the License, or
10 # (at your option) any later version.
12 # This program is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
17 # You should have received a copy of the GNU General Public License
18 # along with this program. If not, see <http://www.gnu.org/licenses/>.
20 if { [skip_btrace_tests] } {
21 unsupported "target does not support record-btrace"
25 # This test is stepping on instruction level. To guarantee that we always
26 # get the same execution trace, we use an assembly source file.
28 # We use different assembly sources based on the target architecture.
30 # Luckily, they are similar enough that a single test script can handle
32 if [info exists COMPILE] {
33 # make check RUNTESTFLAGS="gdb.btrace/stepi.exp COMPILE=1"
34 standard_testfile record_goto.c
36 } elseif {[istarget "i?86-*-*"] || [istarget "x86_64-*-*"]} {
37 if {[is_amd64_regs_target]} {
38 standard_testfile x86_64-record_goto.S
40 standard_testfile i686-record_goto.S
43 unsupported "target architecture not supported"
47 if [prepare_for_testing "failed to prepare" $testfile $srcfile] {
52 untested "failed to run to main"
58 proc check_replay_at { insn } {
59 gdb_test "info record" [multi_line \
60 "Active record target: record-btrace" \
62 "Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for .*" \
63 "Replay in progress\. At instruction $insn\." \
67 # trace the call to the test function
68 gdb_test_no_output "record btrace"
71 # we start with stepping to make sure that the trace is fetched automatically
72 gdb_test "reverse-stepi" ".*fun4\.5.*"
73 gdb_test "reverse-stepi" ".*fun4\.5.*"
75 # let's check where we are in the trace
76 with_test_prefix "reverse-stepi to 39" { check_replay_at 39 }
78 # let's step forward and check again
79 gdb_test "stepi" ".*fun4\.5.*"
80 with_test_prefix "stepi to 40" { check_replay_at 40 }
82 # with the next step, we stop replaying
83 gdb_test "stepi" ".*main\.3.*"
84 gdb_test "info record" [multi_line \
85 "Active record target: record-btrace" \
87 "Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for \[^\\\r\\\n\]*" \
91 gdb_test "reverse-nexti" ".*main\.2.*"
92 with_test_prefix "reverse-nexti - 1" { check_replay_at 1 }
94 # we can't reverse-nexti any further
95 gdb_test "reverse-nexti" "No more reverse-execution history\.\r\n.*main\.2.*"
96 with_test_prefix "reverse-nexti - 1" { check_replay_at 1 }
98 # but we can step back again
99 gdb_test "nexti" ".*main\.3.*" "next, 1.5"
100 gdb_test "info record" [multi_line \
101 "Active record target: record-btrace" \
103 "Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for \[^\\\r\\\n\]*" \
106 # let's step from a goto position somewhere in the middle
107 gdb_test "record goto 22" ".*fun3\.2.*"
108 with_test_prefix "goto 22" { check_replay_at 22 }
110 gdb_test "stepi" ".*fun1\.1.*"
111 with_test_prefix "stepi to 23" { check_replay_at 23 }
113 gdb_test "reverse-stepi" ".*fun3\.2.*"
114 with_test_prefix "reverse-stepi to 22" { check_replay_at 22 }
116 gdb_test "nexti" ".*fun3\.3.*"
117 with_test_prefix "nexti to 27" { check_replay_at 27 }
119 gdb_test "reverse-nexti" ".*fun3\.2.*"
120 with_test_prefix "reverse-nexti to 22" { check_replay_at 22 }
122 # let's try to step off the left end
123 gdb_test "record goto begin" ".*main\.2.*"
124 with_test_prefix "goto begin" { check_replay_at 1 }
126 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
127 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
128 with_test_prefix "reverse-stepi at begin" { check_replay_at 1 }
130 gdb_test "reverse-nexti" "No more reverse-execution history\.\r\n.*main\.2.*"
131 gdb_test "reverse-nexti" "No more reverse-execution history\.\r\n.*main\.2.*"
132 with_test_prefix "reverse-nexti at begin" { check_replay_at 1 }
134 # we can step forward, though
135 gdb_test "stepi" ".*fun4\.1.*"
136 with_test_prefix "stepi to 2" { check_replay_at 2 }
138 # let's try to step off the left end again
139 gdb_test "reverse-stepi" ".*main\.2.*"
140 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
141 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
142 with_test_prefix "reverse-stepi at begin" { check_replay_at 1 }