1 # Copyright (C) 2015-2020 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 if ![supports_reverse] {
22 if {[prepare_for_testing "failed to prepare" $testfile $srcfile \
26 if { ![runto_main] } then {
31 # Read function name from testcases[N].
33 proc read_testcase { n } {
37 gdb_test_multiple "print testcases\[${n}\]" "read name of test case ${n}" {
38 -re "\[$\].*= .*<(.*)>.*$gdb_prompt $" {
39 set result $expect_out(1,string)
41 -re "$gdb_prompt $" { }
47 # In each function FUNC, GDB turns on process record, and single step
48 # until program goes to the end of the function. Then, single step
49 # backward. In each of forward single step and backward single step,
50 # the contents of registers are saved, and test compares them. If
51 # there is any differences, a FAIL is emitted.
53 proc test { func testcase_nr } {
57 with_test_prefix "$func" {
58 gdb_start_cmd $testcase_nr
59 gdb_test "" "" "wait for prompt"
65 set test "disassemble $func"
66 gdb_test_multiple $test $test {
67 -re ".*($hex) <\\+$decimal>:\[^\r\n\]+\r\nEnd of assembler dump\.\r\n$gdb_prompt $" {
68 set last_insn $expect_out(1,string)
71 if { $last_insn == "" } {
72 fail "find the last instruction of function $func"
75 # Activate process record/replay
76 gdb_test_no_output "record" "turn on process record"
78 # Registers contents before each forward single step.
81 for {} {$count < 500} {incr count} {
82 set prev_insn_addr $insn_addr
84 gdb_test_multiple "x/i \$pc" "" {
85 -re ".* ($hex) <.*>:\[ \t\]*(.*)\r\n$gdb_prompt $" {
86 set insn_addr $expect_out(1,string)
87 set insn_array($count) $expect_out(2,string)
91 if { $insn_addr == "" } {
95 if { $last_insn == $insn_addr } {
99 if { $prev_insn_addr == $insn_addr } {
100 # Failed to make progress, might have run into SIGILL.
101 unsupported "no progress at: $expect_out(2,string)"
105 set pre_regs($count) [capture_command_output "info all-registers" ""]
109 # Registers contents after each backward single step.
110 for {set i [expr $count - 1]} {$i >= 0} {incr i -1} {
111 gdb_test "reverse-stepi" "" ""
112 set post_regs($i) [capture_command_output "info all-registers" ""]
115 # Compare the register contents.
116 for {set i 0} {$i < $count} {incr i} {
117 if { ![gdb_assert { [string compare $pre_regs($i) $post_regs($i)] == 0 } \
118 "compare registers on insn $i:$insn_array($i)"] } {
120 foreach pre_line [split $pre_regs($i) \n] post_line [split $post_regs($i) \n] {
121 if { [string compare $pre_line $post_line] } {
122 verbose -log " -:$pre_line"
123 verbose -log " +:$post_line"
128 gdb_test "record stop"
132 set n_testcases [get_integer_valueof "n_testcases" 0]
134 if { ${n_testcases} == 0 } {
139 for { set i 0 } { ${i} < ${n_testcases} } { incr i } {
140 set testcase [read_testcase $i]