1# Copyright 2009-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# Based on a file written by Fred Fish. (fnf@cygnus.com)
17# This file is part of the GDB testsuite.  It tests precord dumpfile
18# debugging with watchpoints.
19
20# This test suitable only for process record-replay
21if ![supports_process_record] {
22    return
23}
24
25standard_testfile watch-reverse.c
26set precsave [standard_output_file watch.precsave]
27
28if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } {
29    return -1
30}
31
32runto main
33
34if [supports_process_record] {
35    # Activate process record/replay
36    gdb_test_no_output "record" "turn on process record"
37}
38
39set end_location  [gdb_get_line_number "end of main"  ]
40gdb_test "break $end_location" \
41    "Breakpoint $decimal at .*$srcfile, line $end_location\." \
42    "breakpoint at end of main"
43
44gdb_test "continue" "Breakpoint .* end of main .*" "run to end of main"
45
46gdb_test "record save $precsave" \
47    "Saved core file $precsave with execution log\."  \
48    "save process recfile"
49
50gdb_test "kill" "" "kill process, prepare to debug log file" \
51    "Kill the program being debugged\\? \\(y or n\\) " "y"
52
53gdb_test "record restore $precsave" \
54    "Restored records from core file .*" \
55    "reload core file"
56
57# Only software watchpoints can be used in reverse
58gdb_test_no_output "set can-use-hw-watchpoints 0" ""
59
60gdb_test "break marker1" \
61    "Breakpoint $decimal at $hex: file .*$srcfile, line $decimal.*" \
62    "set breakpoint at marker1"
63
64gdb_test "break marker2" \
65    "Breakpoint $decimal at $hex: file .*$srcfile, line $decimal.*" \
66    "set breakpoint at marker2"
67
68gdb_continue_to_breakpoint "marker1" ".*$srcfile:.*"
69
70gdb_test "watch ival3" \
71    ".*\[Ww\]atchpoint $decimal: ival3.*" \
72    "set watchpoint on ival3"
73
74# Continue until first change, from -1 to 0
75
76gdb_test "continue" \
77    ".*\[Ww\]atchpoint.*ival3.*Old value = -1.*New value = 0.*ival3 = count; ival4 = count;.*" \
78    "watchpoint hit, first time"
79
80# Continue until the next change, from 0 to 1.
81gdb_test "continue" \
82    ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = 1.*ival3 = count; ival4 = count;.*" \
83    "watchpoint hit, second time"
84
85# Continue until the next change, from 1 to 2.
86gdb_test "continue" \
87    ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 2.*ival3 = count; ival4 = count;.*" \
88    "watchpoint hit, third time"
89
90# Continue until the next change, from 2 to 3.
91gdb_test "continue" \
92    ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 3.*ival3 = count; ival4 = count;.*" \
93    "watchpoint hit, fourth time"
94
95# Continue until the next change, from 3 to 4.
96# Note that this one is outside the loop.
97
98gdb_test "continue" \
99    ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 4.*ival3 = count; ival4 = count;.*" \
100    "watchpoint hit, fifth time"
101
102# Continue until we hit the finishing marker function.
103# Make sure we hit no more watchpoints.
104
105gdb_continue_to_breakpoint "marker2" ".*$srcfile:.*"
106
107###
108###
109###
110
111gdb_test_no_output "set exec-direction reverse" \
112    "set reverse, first time"
113
114# Reverse until the previous change, from 4 to 3
115# Note that this one is outside the loop
116
117gdb_test "continue" \
118    ".*\[Ww\]atchpoint.*ival3.*Old value = 4.*New value = 3.*ival3 = count; ival4 = count;.*" \
119    "watchpoint hit in reverse, first time"
120
121# Reverse until the previous change, from 3 to 2.
122gdb_test "continue" \
123    ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 2.*ival3 = count; ival4 = count;.*" \
124    "watchpoint hit in reverse, second time"
125
126# Reverse until the previous change, from 2 to 1.
127gdb_test "continue" \
128    ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 1.*ival3 = count; ival4 = count;.*" \
129    "watchpoint hit in reverse, third time"
130
131# Reverse until the previous change, from 1 to 0.
132gdb_test "continue" \
133    ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 0.*ival3 = count; ival4 = count;.*" \
134    "watchpoint hit in reverse, fourth time"
135
136# Reverse until first change, from 0 to -1
137
138gdb_test "continue" \
139    ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = -1.*ival3 = count; ival4 = count;.*" \
140    "watchpoint hit in reverse, fifth time"
141
142gdb_test_no_output "set can-use-hw-watchpoints 1" "enable hw watchpoints"
143
144###
145###
146###
147
148gdb_test_no_output "set exec-direction forward" "set forward"
149
150# Continue until first change, from -1 to 0
151
152gdb_test "continue" \
153    ".*\[Ww\]atchpoint.*ival3.*Old value = -1.*New value = 0.*ival3 = count; ival4 = count;.*" \
154    "watchpoint hit, forward replay, first time"
155
156# Continue until the next change, from 0 to 1.
157gdb_test "continue" \
158    ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = 1.*ival3 = count; ival4 = count;.*" \
159    "watchpoint hit, forward replay, second time"
160
161# Continue until the next change, from 1 to 2.
162gdb_test "continue" \
163    ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 2.*ival3 = count; ival4 = count;.*" \
164    "watchpoint hit, forward replay, third time"
165
166# Continue until the next change, from 2 to 3.
167gdb_test "continue" \
168    ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 3.*ival3 = count; ival4 = count;.*" \
169    "watchpoint hit, forward replay, fourth time"
170
171# Continue until the next change, from 3 to 4.
172# Note that this one is outside the loop.
173
174gdb_test "continue" \
175    ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 4.*ival3 = count; ival4 = count;.*" \
176    "watchpoint hit, forward replay, fifth time"
177
178# Continue until we hit the finishing marker function.
179# Make sure we hit no more watchpoints.
180
181gdb_test "continue" "marker2 .*" "replay forward to marker2"
182
183###
184###
185###
186
187gdb_test_no_output "set exec-direction reverse" \
188    "set reverse, second time"
189
190# Reverse until the previous change, from 4 to 3
191# Note that this one is outside the loop
192
193gdb_test "continue" \
194    ".*\[Ww\]atchpoint.*ival3.*Old value = 4.*New value = 3.*ival3 = count; ival4 = count;.*" \
195    "watchpoint hit in reverse, HW, first time"
196
197# Reverse until the previous change, from 3 to 2.
198gdb_test "continue" \
199    ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 2.*ival3 = count; ival4 = count;.*" \
200    "watchpoint hit in reverse, HW, second time"
201
202# Reverse until the previous change, from 2 to 1.
203gdb_test "continue" \
204    ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 1.*ival3 = count; ival4 = count;.*" \
205    "watchpoint hit in reverse, HW, third time"
206
207# Reverse until the previous change, from 1 to 0.
208gdb_test "continue" \
209    ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 0.*ival3 = count; ival4 = count;.*" \
210    "watchpoint hit in reverse, HW, fourth time"
211
212# Reverse until first change, from 0 to -1
213
214gdb_test "continue" \
215    ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = -1.*ival3 = count; ival4 = count;.*" \
216    "watchpoint hit in reverse, HW, fifth time"
217
218