1 # Copyright (C) 2015-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/>.
16 require supports_reverse !use_gdb_stub
20 if {[prepare_for_testing "failed to prepare" $testfile $srcfile \
28 # Read function name from testcases[N].
30 proc read_testcase { n } {
34 gdb_test_multiple "print testcases\[${n}\]" "read name of test case ${n}" {
35 -re "\[$\].*= .*<(.*)>.*$gdb_prompt $" {
36 set result $expect_out(1,string)
38 -re "$gdb_prompt $" { }
44 # In each function FUNC, GDB turns on process record, and single step
45 # until program goes to the end of the function. Then, single step
46 # backward. In each of forward single step and backward single step,
47 # the contents of registers are saved, and test compares them. If
48 # there is any differences, a FAIL is emitted.
50 proc test { func testcase_nr } {
54 with_test_prefix "$func" {
55 gdb_start_cmd $testcase_nr
56 gdb_test "" "" "wait for prompt"
62 set test "disassemble $func"
63 gdb_test_multiple $test $test {
64 -re ".*($hex) <\\+$decimal>:\[^\r\n\]+\r\nEnd of assembler dump\.\r\n$gdb_prompt $" {
65 set last_insn $expect_out(1,string)
68 if { $last_insn == "" } {
69 fail "find the last instruction of function $func"
72 # Activate process record/replay
73 gdb_test_no_output "record" "turn on process record"
75 # Registers contents before each forward single step.
78 for {} {$count < 500} {incr count} {
79 set prev_insn_addr $insn_addr
81 gdb_test_multiple "x/i \$pc" "" {
82 -re ".* ($hex) <.*>:\[ \t\]*(.*)\r\n$gdb_prompt $" {
83 set insn_addr $expect_out(1,string)
84 set insn_array($count) $expect_out(2,string)
88 if { $insn_addr == "" } {
92 if { $last_insn == $insn_addr } {
96 if { $prev_insn_addr == $insn_addr } {
97 # Failed to make progress, might have run into SIGILL.
98 unsupported "no progress at: $expect_out(2,string)"
102 set pre_regs($count) [capture_command_output "info all-registers" ""]
103 gdb_test -nopass "si"
106 # Registers contents after each backward single step.
107 for {set i [expr $count - 1]} {$i >= 0} {incr i -1} {
108 gdb_test -nopass "reverse-stepi"
109 set post_regs($i) [capture_command_output "info all-registers" ""]
112 # Compare the register contents.
113 for {set i 0} {$i < $count} {incr i} {
114 if { ![gdb_assert { [string compare $pre_regs($i) $post_regs($i)] == 0 } \
115 "compare registers on insn $i:$insn_array($i)"] } {
117 foreach pre_line [split $pre_regs($i) \n] post_line [split $post_regs($i) \n] {
118 if { [string compare $pre_line $post_line] } {
119 verbose -log " -:$pre_line"
120 verbose -log " +:$post_line"
125 gdb_test "record stop"
129 set n_testcases [get_integer_valueof "n_testcases" 0]
131 if { ${n_testcases} == 0 } {
136 for { set i 0 } { ${i} < ${n_testcases} } { incr i } {
137 set testcase [read_testcase $i]