1#   Copyright 2008-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
16# This file is part of the GDB testsuite.  It tests stepping over
17# consecutive instructions in reverse.
18
19if ![supports_reverse] {
20    return
21}
22
23standard_testfile
24
25if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } {
26    return -1
27}
28
29runto main
30
31if [supports_process_record] {
32    # Activate process record/replay
33    gdb_test_no_output "record" "turn on process record"
34}
35
36set is_stmt [is_stmt_addresses $srcfile]
37
38gdb_breakpoint foo
39gdb_test "continue" "Breakpoint $decimal, foo .*" \
40	"continue to breakpoint in foo"
41
42set foo1_addr 0
43set foo2_addr 0
44set stop_addr 0
45
46gdb_test_multiple "x /2i \$pc" "get breakpoint address for foo" {
47    global hex
48    global foo1_addr
49    global foo2_addr
50    global gdb_prompt
51
52    -re "=> ($hex).*\[\r\n\]+   ($hex).*$gdb_prompt $" {
53	set foo1_addr $expect_out(1,string)
54	set foo2_addr $expect_out(2,string)
55	pass "get breakpoint address for foo"
56    }
57}
58
59gdb_test "break \*$foo2_addr" "Breakpoint $decimal at $foo2_addr: file .*" \
60	"set bp, 2nd instr"
61
62set testmsg "stopped at bp, 2nd instr"
63gdb_test_multiple "step" $testmsg {
64    -re -wrap "Breakpoint $decimal, ($hex) in foo.*" {
65	set stop_addr $expect_out(1,string)
66	if [eval expr "$foo2_addr == $stop_addr"] then {
67	    pass "stopped at bp, 2nd instr"
68	} else {
69	    fail "stopped at bp, 2nd instr (wrong address)"
70	}
71    }
72    -re -wrap "Breakpoint $decimal, foo.*" {
73       set stop_addr [get_valueof "/x" "\$pc" "" "value of pc"]
74       set stop_addr_is_stmt [hex_in_list $stop_addr $is_stmt]
75       if { ! $stop_addr_is_stmt } {
76           fail "stopped at bp, 2nd instr (missing hex prefix)"
77       } elseif [eval expr "$foo2_addr == $stop_addr"] then {
78           pass "stopped at bp, 2nd instr"
79       } else {
80           fail "stopped at bp, 2nd instr (wrong address)"
81       }
82    }
83}
84
85###
86###
87###
88
89# Set reverse execution direction
90
91gdb_test_no_output "set exec-dir reverse" "set reverse execution"
92
93# Now step backward and hope to hit the first breakpoint.
94
95set test_msg "stopped at bp in reverse, 1st instr"
96gdb_test_multiple "step" "$test_msg" {
97    -re "Breakpoint $decimal, ($hex) in foo.*$gdb_prompt $" {
98	set stop_addr $expect_out(1,string)
99	if [eval expr "$foo1_addr == $stop_addr"] then {
100	    pass "$test_msg"
101	} else {
102	    fail "$test_msg (wrong address)"
103	}
104    }
105    -re "Breakpoint $decimal, foo.*$gdb_prompt $" {
106	gdb_test "print \$pc == $foo1_addr" \
107	    "$decimal = 1" \
108	    "$test_msg"
109    }
110}
111