Commit | Line | Data |
---|---|---|
b811d2c2 | 1 | # Copyright 2008-2020 Free Software Foundation, Inc. |
02506ff1 MS |
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. | |
17 | # This test tests the restoration of various kinds of machine state | |
18 | # to their original values with a process record log. We will execute | |
19 | # the program forward while it changes various types of data, and | |
20 | # then execute it backward to see if their values get restored. | |
21 | # | |
22 | # The types of machine state (data) that are tested are: | |
23 | # register variable | |
24 | # auto variable | |
25 | # function static variable | |
26 | # module static variable | |
27 | # module global variable | |
28 | # | |
29 | # TODO: | |
30 | # various, possibly including... | |
31 | # .bss variable, .data variable, ... | |
32 | # shared library variable | |
33 | # heap variable (pointer)... | |
34 | # overlay variables... | |
35 | # Test forward replay | |
36 | # | |
37 | ||
38 | # This test suitable only for process record-replay | |
d3895d7d | 39 | if ![supports_process_record] { |
02506ff1 MS |
40 | return |
41 | } | |
42 | ||
7686c074 | 43 | standard_testfile machinestate.c ms1.c |
55baab26 | 44 | set precsave [standard_output_file machinestate.precsave] |
02506ff1 | 45 | |
5b362f04 | 46 | if { [prepare_for_testing "failed to prepare" $testfile \ |
7686c074 | 47 | [list $srcfile $srcfile2]] } { |
02506ff1 MS |
48 | return -1 |
49 | } | |
50 | ||
51 | set newline "\[\r\n\]+" | |
52 | ||
53 | set beginmain [gdb_get_line_number " begin main " $srcfile] | |
54 | set endmain [gdb_get_line_number " end main " $srcfile] | |
55 | ||
56 | # Test begins | |
57 | ||
58 | runto main | |
59 | ||
d3895d7d | 60 | if [supports_process_record] { |
02506ff1 | 61 | # Activate process record/replay |
9f058c10 | 62 | gdb_test_no_output "record" "turn on process record" |
02506ff1 MS |
63 | } |
64 | ||
65 | gdb_test "break $endmain" \ | |
a80db015 | 66 | "Breakpoint $decimal at .*$srcfile, line $endmain\." \ |
bb95117e | 67 | "breakpoint at end of main" |
02506ff1 MS |
68 | |
69 | gdb_test "continue" "Breakpoint .* end main .*" "run to end of main" | |
70 | ||
55baab26 TT |
71 | gdb_test "record save $precsave" \ |
72 | "Saved core file $precsave with execution log\." \ | |
02506ff1 MS |
73 | "save process recfile" |
74 | ||
cdc7edd7 | 75 | gdb_test "kill" "" "kill process, prepare to debug log file" \ |
02506ff1 MS |
76 | "Kill the program being debugged\\? \\(y or n\\) " "y" |
77 | ||
55baab26 | 78 | gdb_test "record restore $precsave" \ |
470e2f4e | 79 | "Restored records from core file .*" \ |
02506ff1 MS |
80 | "reload prec save file" |
81 | ||
82 | # Proceed to end of main | |
83 | ||
84 | gdb_test "break $endmain" \ | |
a80db015 | 85 | "Breakpoint.* file .*$srcfile, line $endmain.*" "" |
02506ff1 MS |
86 | |
87 | gdb_test_multiple "continue" "go to end of main forward" { | |
a80db015 | 88 | -re ".*Breakpoint $decimal,.*$srcfile:$endmain.*$gdb_prompt $" { |
02506ff1 MS |
89 | pass "go to end of main forward" |
90 | } | |
91 | -re "No more reverse-execution history.* end main .*$gdb_prompt $" { | |
92 | pass "go to end of main forward" | |
93 | } | |
94 | } | |
95 | ||
96 | ### | |
97 | ### | |
98 | ### | |
99 | ||
100 | # Now run backward to each of several points where data is changed. | |
101 | # | |
102 | ||
103 | # Module global variable, reverse | |
104 | ||
105 | set breakloc [gdb_get_line_number \ | |
106 | "module_global_state: set breakpoint here" $srcfile] | |
107 | ||
a80db015 LM |
108 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
109 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
02506ff1 MS |
110 | |
111 | gdb_test "print aglobal" ".* = 0$newline" "module global reverse-breakpoint" | |
112 | gdb_test "step" ".* module global post-change .*" "" | |
113 | gdb_test "print aglobal" ".* = 1$newline" "module global forward past bp" | |
114 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
115 | gdb_test "print aglobal" ".* = 0$newline" "module global reverse-step to bp" | |
116 | ||
117 | ||
118 | # Module static variable, reverse | |
119 | ||
120 | set breakloc [gdb_get_line_number \ | |
121 | "module_static_state: set breakpoint here" $srcfile] | |
122 | ||
a80db015 LM |
123 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
124 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
02506ff1 MS |
125 | |
126 | gdb_test "print astatic" ".* = 0$newline" "module static reverse-breakpoint" | |
127 | gdb_test "step" ".* module static post-change .*" "" | |
128 | gdb_test "print astatic" ".* = 1$newline" "module static forward" | |
129 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
130 | gdb_test "print astatic" ".* = 0$newline" "module static reverse-step" | |
131 | ||
132 | # Function static variable, reverse | |
133 | ||
134 | set breakloc [gdb_get_line_number \ | |
135 | "function_static_state: set breakpoint here" $srcfile] | |
136 | ||
a80db015 LM |
137 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
138 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
02506ff1 MS |
139 | |
140 | gdb_test "print a" ".* = 0$newline" "function static reverse-breakpoint" | |
141 | gdb_test "step" ".* function static post-change .*" "" | |
142 | gdb_test "print a" ".* = 1$newline" "function static forward" | |
143 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
144 | gdb_test "print a" ".* = 0$newline" "function static reverse-step" | |
145 | ||
146 | # Auto variable, reverse | |
147 | ||
148 | set breakloc [gdb_get_line_number \ | |
149 | "auto_state: set breakpoint here" $srcfile] | |
150 | ||
a80db015 LM |
151 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
152 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
02506ff1 MS |
153 | |
154 | gdb_test "print a" ".* = 0$newline" "auto var reverse-breakpoint" | |
155 | gdb_test "step" ".* auto post-change .*" "" | |
156 | gdb_test "print a" ".* = 1$newline" "auto var forward" | |
157 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
158 | gdb_test "print a" ".* = 0$newline" "auto var reverse-step" | |
159 | ||
160 | # Register variable, reverse | |
161 | ||
162 | set breakloc [gdb_get_line_number \ | |
163 | "register_state: set breakpoint here" $srcfile] | |
164 | ||
a80db015 LM |
165 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
166 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
02506ff1 MS |
167 | |
168 | gdb_test "print a" ".* = 0$newline" "register var reverse-breakpoint" | |
169 | gdb_test "step" ".* register post-change .*" "" | |
4d421147 AB |
170 | gdb_test "print a" ".* = 1$newline" \ |
171 | "register var step post-change, first time" | |
02506ff1 MS |
172 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" |
173 | gdb_test "print a" ".* = 0$newline" "register var reverse step-to" | |
174 | ||
175 | # Proceed to beginning of main | |
176 | ||
a80db015 LM |
177 | gdb_test "tbreak $beginmain" ".*$srcfile, line $beginmain.*" "" |
178 | gdb_test "reverse-continue" ".*$srcfile:$beginmain.*" "reverse to main" | |
02506ff1 MS |
179 | |
180 | # Now repeat tests while replaying forward. | |
181 | ||
182 | # Register variable, forward | |
183 | ||
184 | set breakloc [gdb_get_line_number \ | |
185 | "register_state: set breakpoint here" $srcfile] | |
186 | ||
a80db015 LM |
187 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
188 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
02506ff1 MS |
189 | |
190 | gdb_test "print a" ".* = 0$newline" "register var forward-breakpoint" | |
191 | gdb_test "reverse-step" ".*hide.*" "" | |
192 | gdb_test "step" ".*$newline$breakloc.*" "" | |
193 | gdb_test "print a" ".* = 0$newline" "register var forward step-to" | |
194 | gdb_test "step" ".* register post-change .*" "" | |
4d421147 AB |
195 | gdb_test "print a" ".* = 1$newline" \ |
196 | "register var step post-change, second time" | |
02506ff1 MS |
197 | |
198 | # Auto variable, forward | |
199 | ||
200 | set breakloc [gdb_get_line_number \ | |
201 | "auto_state: set breakpoint here" $srcfile] | |
202 | ||
a80db015 LM |
203 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
204 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
02506ff1 MS |
205 | |
206 | gdb_test "print a" ".* = 0$newline" "auto var forward-breakpoint" | |
207 | gdb_test "reverse-step" ".*hide.*" "" | |
208 | gdb_test "step" ".*$newline$breakloc.*" "" | |
209 | gdb_test "print a" ".* = 0$newline" "auto var forward step-to" | |
210 | gdb_test "step" ".* auto post-change .*" "" | |
211 | gdb_test "print a" ".* = 1$newline" "auto var step post-change" | |
212 | ||
213 | # Function static variable, forward | |
214 | ||
215 | set breakloc [gdb_get_line_number \ | |
216 | "function_static_state: set breakpoint here" $srcfile] | |
217 | ||
a80db015 LM |
218 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
219 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
02506ff1 MS |
220 | |
221 | gdb_test "print a" ".* = 0$newline" "function static forward-breakpoint" | |
222 | gdb_test "reverse-step" ".*hide.*" "" | |
223 | gdb_test "step" ".*$newline$breakloc.*" "" | |
224 | gdb_test "print a" ".* = 0$newline" "function static forward step-to" | |
225 | gdb_test "step" ".* function static post-change .*" "" | |
226 | gdb_test "print a" ".* = 1$newline" "function static step post-change" | |
227 | ||
228 | # Module static variable, forward | |
229 | ||
230 | set breakloc [gdb_get_line_number \ | |
231 | "module_static_state: set breakpoint here" $srcfile] | |
232 | ||
a80db015 LM |
233 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
234 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
02506ff1 MS |
235 | |
236 | gdb_test "print astatic" ".* = 0$newline" "module static forward-breakpoint" | |
237 | gdb_test "reverse-step" ".*hide.*" "" | |
238 | gdb_test "step" ".*$newline$breakloc.*" "" | |
239 | gdb_test "print astatic" ".* = 0$newline" "module static forward step-to" | |
240 | gdb_test "step" ".* module static post-change .*" "" | |
241 | gdb_test "print astatic" ".* = 1$newline" "module static step post-change" | |
242 | ||
243 | # Module global variable, forward | |
244 | ||
245 | set breakloc [gdb_get_line_number \ | |
246 | "module_global_state: set breakpoint here" $srcfile] | |
247 | ||
a80db015 LM |
248 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
249 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
02506ff1 MS |
250 | |
251 | gdb_test "print aglobal" ".* = 0$newline" "module global forward-breakpoint" | |
252 | gdb_test "reverse-step" ".*hide.*" "" | |
253 | gdb_test "step" ".*$newline$breakloc.*" "" | |
254 | gdb_test "print aglobal" ".* = 0$newline" "module global forward step-to" | |
255 | gdb_test "step" ".* module global post-change .*" "" | |
256 | gdb_test "print aglobal" ".* = 1$newline" "module global step post-change" | |
257 |