1# Copyright (C) 2015-2020 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/>.
15
16if ![supports_reverse] {
17    return
18}
19
20standard_testfile
21
22if {[prepare_for_testing "failed to prepare" $testfile $srcfile \
23	 [list debug]]} {
24    return -1
25}
26if { ![runto main] } then {
27    fail "run to main"
28    return
29}
30
31# Read function name from testcases[N].
32
33proc read_testcase { n } {
34    global gdb_prompt
35
36    set result -1
37    gdb_test_multiple "print testcases\[${n}\]" "read name of test case ${n}" {
38	-re "\[$\].*= .*<(.*)>.*$gdb_prompt $" {
39	    set result $expect_out(1,string)
40	}
41	-re "$gdb_prompt $" { }
42    }
43
44    return $result
45}
46
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.
52
53proc test { func } {
54    global hex decimal
55    global gdb_prompt
56
57    with_test_prefix "$func" {
58	gdb_breakpoint $func
59	gdb_test "continue"
60
61	set last_insn ""
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)
66	    }
67	}
68	if { $last_insn == "" } {
69	    fail "find the last instruction of function $func"
70	}
71
72	# Activate process record/replay
73	gdb_test_no_output "record" "turn on process record"
74
75	# Registers contents before each forward single step.
76	set count 0
77	for {} {$count < 500} {incr count} {
78	    gdb_test_multiple "x/i \$pc" "" {
79		-re ".* ($hex) <.*>:\[ \t\]*(.*)\r\n$gdb_prompt $" {
80		    set insn_addr $expect_out(1,string)
81
82		    if [expr {$last_insn == $insn_addr}] {
83			break
84		    }
85
86		    set insn_array($count) $expect_out(2,string)
87		}
88	    }
89
90	    set pre_regs($count) [capture_command_output "info all-registers" ""]
91	    gdb_test "si" "" ""
92	}
93
94	incr count -1
95	# Registers contents after each backward single step.
96	for {set i $count} {$i >= 0} {incr i -1} {
97	    gdb_test "reverse-stepi" "" ""
98	    set post_regs($i) [capture_command_output "info all-registers" ""]
99	}
100
101	# Compare the register contents.
102	for {set i 0} {$i < $count} {incr i} {
103	    if { ![gdb_assert { [string compare $pre_regs($i) $post_regs($i)] == 0 } \
104		      "compare registers on insn $i:$insn_array($i)"] } {
105
106		foreach pre_line [split $pre_regs($i) \n] post_line [split $post_regs($i) \n] {
107		    if { [string compare $pre_line $post_line] } {
108			verbose -log " -:$pre_line"
109			verbose -log " +:$post_line"
110		    }
111		}
112	    }
113	}
114	gdb_test "record stop"
115    }
116}
117
118set n_testcases [get_integer_valueof "n_testcases" 0]
119
120if { ${n_testcases} == 0 } {
121    untested "no test"
122    return 1
123}
124
125for { set i 0 } { ${i} < ${n_testcases} } { incr i } {
126    set testcase [read_testcase $i]
127
128    test $testcase
129}
130