]>
Commit | Line | Data |
---|---|---|
3666a048 | 1 | # Copyright 2009-2021 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 | ||
18 | # | |
19 | # This test tests some i386 general instructions with a precord dumpfile. | |
20 | # | |
21 | ||
22 | # This test suitable only for process record-replay | |
d3895d7d | 23 | if ![supports_process_record] { |
02506ff1 MS |
24 | return |
25 | } | |
26 | ||
02506ff1 MS |
27 | |
28 | if ![istarget "i?86-*linux*"] then { | |
29 | verbose "Skipping i386 reverse tests." | |
30 | return | |
31 | } | |
32 | ||
7686c074 | 33 | standard_testfile i386-reverse.c |
55baab26 | 34 | set precsave [standard_output_file i386.precsave] |
02506ff1 MS |
35 | |
36 | # some targets have leading underscores on assembly symbols. | |
ee5683ab | 37 | set additional_flags [gdb_target_symbol_prefix_flags] |
02506ff1 | 38 | |
5b362f04 | 39 | if {[prepare_for_testing "failed to prepare" $testfile $srcfile \ |
7686c074 | 40 | [list debug $additional_flags]]} { |
02506ff1 MS |
41 | return -1 |
42 | } | |
43 | ||
44 | set end_of_main [gdb_get_line_number " end of main "] | |
45 | set end_of_inc_dec_tests [gdb_get_line_number " end inc_dec_tests "] | |
46 | ||
50441f0f | 47 | runto_main |
02506ff1 | 48 | |
d3895d7d | 49 | if [supports_process_record] { |
02506ff1 | 50 | # Activate process record/replay |
9f058c10 | 51 | gdb_test_no_output "record" "turn on process record" |
02506ff1 MS |
52 | } |
53 | ||
54 | global hex | |
55 | global decimal | |
56 | ||
57 | gdb_test "break $end_of_main" \ | |
a80db015 | 58 | "Breakpoint $decimal at .*$srcfile, line $end_of_main\." \ |
bb95117e | 59 | "breakpoint at end of main" |
02506ff1 MS |
60 | |
61 | gdb_test "continue" "Breakpoint .* end of main .*" "run to end of main" | |
62 | ||
55baab26 TT |
63 | gdb_test "record save $precsave" \ |
64 | "Saved core file $precsave with execution log\." \ | |
02506ff1 MS |
65 | "save process recfile" |
66 | ||
cdc7edd7 | 67 | gdb_test "kill" "" "kill process, prepare to debug log file" \ |
02506ff1 MS |
68 | "Kill the program being debugged\\? \\(y or n\\) " "y" |
69 | ||
55baab26 | 70 | gdb_test "record restore $precsave" \ |
470e2f4e | 71 | "Restored records from core file .*" \ |
02506ff1 MS |
72 | "reload precord save file" |
73 | ||
74 | gdb_test "step" "inc .eax.*" "step to inc eax 1st time" | |
75 | send_gdb "info reg eax\n" | |
76 | gdb_expect { | |
adf8243b | 77 | -re "eax *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
78 | set preinc_eax $expect_out(1,string) |
79 | } | |
80 | } | |
81 | ||
82 | gdb_test "step" "inc .ecx.*" "step to inc ecx 1st time" | |
83 | send_gdb "info reg ecx\n" | |
84 | gdb_expect { | |
adf8243b | 85 | -re "ecx *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
86 | set preinc_ecx $expect_out(1,string) |
87 | } | |
88 | } | |
89 | ||
90 | gdb_test "step" "inc .edx.*" "step to inc edx 1st time" | |
91 | send_gdb "info reg edx\n" | |
92 | gdb_expect { | |
adf8243b | 93 | -re "edx *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
94 | set preinc_edx $expect_out(1,string) |
95 | } | |
96 | } | |
97 | ||
98 | gdb_test "step" "inc .ebx.*" "step to inc ebx 1st time" | |
99 | send_gdb "info reg ebx\n" | |
100 | gdb_expect { | |
adf8243b | 101 | -re "ebx *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
102 | set preinc_ebx $expect_out(1,string) |
103 | } | |
104 | } | |
105 | ||
106 | gdb_test "step" "inc .esp.*" "step to inc esp 1st time" | |
107 | send_gdb "info reg esp\n" | |
108 | gdb_expect { | |
adf8243b | 109 | -re "esp *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
110 | set preinc_esp $expect_out(1,string) |
111 | } | |
112 | } | |
113 | ||
114 | gdb_test "step" "inc .ebp.*" "step to inc ebp 1st time" | |
115 | send_gdb "info reg ebp\n" | |
116 | gdb_expect { | |
adf8243b | 117 | -re "ebp *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
118 | set preinc_ebp $expect_out(1,string) |
119 | } | |
120 | } | |
121 | ||
122 | gdb_test "step" "inc .esi.*" "step to inc esi 1st time" | |
123 | send_gdb "info reg esi\n" | |
124 | gdb_expect { | |
adf8243b | 125 | -re "esi *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
126 | set preinc_esi $expect_out(1,string) |
127 | } | |
128 | } | |
129 | ||
130 | gdb_test "step" "inc .edi.*" "step to inc edi 1st time" | |
131 | send_gdb "info reg edi\n" | |
132 | gdb_expect { | |
adf8243b | 133 | -re "edi *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
134 | set preinc_edi $expect_out(1,string) |
135 | } | |
136 | } | |
137 | ||
138 | gdb_test "step" "dec .eax.*" "step to dec eax 1st time" | |
139 | send_gdb "info reg eax\n" | |
140 | gdb_expect { | |
adf8243b | 141 | -re "eax *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
142 | set predec_eax $expect_out(1,string) |
143 | } | |
144 | } | |
145 | ||
146 | gdb_test "step" "dec .ecx.*" "step to dec ecx 1st time" | |
147 | send_gdb "info reg ecx\n" | |
148 | gdb_expect { | |
adf8243b | 149 | -re "ecx *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
150 | set predec_ecx $expect_out(1,string) |
151 | } | |
152 | } | |
153 | ||
154 | gdb_test "step" "dec .edx.*" "step to dec edx 1st time" | |
155 | send_gdb "info reg edx\n" | |
156 | gdb_expect { | |
adf8243b | 157 | -re "edx *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
158 | set predec_edx $expect_out(1,string) |
159 | } | |
160 | } | |
161 | ||
162 | gdb_test "step" "dec .ebx.*" "step to dec ebx 1st time" | |
163 | send_gdb "info reg ebx\n" | |
164 | gdb_expect { | |
adf8243b | 165 | -re "ebx *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
166 | set predec_ebx $expect_out(1,string) |
167 | } | |
168 | } | |
169 | ||
170 | gdb_test "step" "dec .esp.*" "step to dec esp 1st time" | |
171 | send_gdb "info reg esp\n" | |
172 | gdb_expect { | |
adf8243b | 173 | -re "esp *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
174 | set predec_esp $expect_out(1,string) |
175 | } | |
176 | } | |
177 | ||
178 | gdb_test "step" "dec .ebp.*" "step to dec ebp 1st time" | |
179 | send_gdb "info reg ebp\n" | |
180 | gdb_expect { | |
adf8243b | 181 | -re "ebp *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
182 | set predec_ebp $expect_out(1,string) |
183 | } | |
184 | } | |
185 | ||
186 | gdb_test "step" "dec .esi.*" "step to dec esi 1st time" | |
187 | send_gdb "info reg esi\n" | |
188 | gdb_expect { | |
adf8243b | 189 | -re "esi *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
190 | set predec_esi $expect_out(1,string) |
191 | } | |
192 | } | |
193 | ||
194 | gdb_test "step" "dec .edi.*" "step to dec edi 1st time" | |
195 | send_gdb "info reg edi\n" | |
196 | gdb_expect { | |
adf8243b | 197 | -re "edi *($hex)\[ \t\]+.*$gdb_prompt " { |
02506ff1 MS |
198 | set predec_edi $expect_out(1,string) |
199 | } | |
200 | } | |
201 | ||
202 | # gdb_test "step" "end inc_dec_tests .*" "step to end inc_dec_tests 1st time" | |
203 | ||
204 | gdb_test "break $end_of_main" \ | |
205 | "Breakpoint $decimal at .* line $end_of_main\." \ | |
206 | "set breakpoint at end of main" | |
207 | ||
208 | gdb_test "continue" \ | |
209 | " end of main .*" \ | |
210 | "continue to end of main" | |
211 | ||
212 | gdb_test "break $end_of_inc_dec_tests" \ | |
213 | "Breakpoint $decimal at .* line $end_of_inc_dec_tests\." \ | |
214 | "set breakpoint at end of inc_dec_tests" | |
215 | ||
216 | gdb_test "reverse-continue" \ | |
217 | " end inc_dec_tests .*" \ | |
218 | "reverse to inc_dec_tests" | |
219 | ||
220 | # | |
221 | # Now reverse step, and check register values. | |
222 | # | |
223 | ||
adf8243b | 224 | gdb_test "info reg edi" "edi *$preinc_edi\[ \t\]+.*" "edi before reverse-dec" |
02506ff1 | 225 | gdb_test "reverse-step" "dec .edi.*" "reverse-step to dec edi" |
adf8243b | 226 | gdb_test "info reg edi" "edi *$predec_edi\[ \t\]+.*" "edi after reverse-dec" |
02506ff1 | 227 | |
adf8243b | 228 | gdb_test "info reg esi" "esi *$preinc_esi\[ \t\]+.*" "esi before reverse-dec" |
02506ff1 | 229 | gdb_test "reverse-step" "dec .esi.*" "reverse-step to dec esi" |
adf8243b | 230 | gdb_test "info reg esi" "esi *$predec_esi\[ \t\]+.*" "esi after reverse-dec" |
02506ff1 | 231 | |
adf8243b | 232 | gdb_test "info reg ebp" "ebp *$preinc_ebp\[ \t\]+.*" "ebp before reverse-dec" |
02506ff1 | 233 | gdb_test "reverse-step" "dec .ebp.*" "reverse-step to dec ebp" |
adf8243b | 234 | gdb_test "info reg ebp" "ebp *$predec_ebp\[ \t\]+.*" "ebp after reverse-dec" |
02506ff1 | 235 | |
adf8243b | 236 | gdb_test "info reg esp" "esp *$preinc_esp\[ \t\]+.*" "esp before reverse-dec" |
02506ff1 | 237 | gdb_test "reverse-step" "dec .esp.*" "reverse-step to dec esp" |
adf8243b | 238 | gdb_test "info reg esp" "esp *$predec_esp\[ \t\]+.*" "esp after reverse-dec" |
02506ff1 | 239 | |
adf8243b | 240 | gdb_test "info reg ebx" "ebx *$preinc_ebx\[ \t\]+.*" "ebx before reverse-dec" |
02506ff1 | 241 | gdb_test "reverse-step" "dec .ebx.*" "reverse-step to dec ebx" |
adf8243b | 242 | gdb_test "info reg ebx" "ebx *$predec_ebx\[ \t\]+.*" "ebx after reverse-dec" |
02506ff1 | 243 | |
adf8243b | 244 | gdb_test "info reg edx" "edx *$preinc_edx\[ \t\]+.*" "edx before reverse-dec" |
02506ff1 | 245 | gdb_test "reverse-step" "dec .edx.*" "reverse-step to dec edx" |
adf8243b | 246 | gdb_test "info reg edx" "edx *$predec_edx\[ \t\]+.*" "edx after reverse-dec" |
02506ff1 | 247 | |
adf8243b | 248 | gdb_test "info reg ecx" "ecx *$preinc_ecx\[ \t\]+.*" "ecx before reverse-dec" |
02506ff1 | 249 | gdb_test "reverse-step" "dec .ecx.*" "reverse-step to dec ecx" |
adf8243b | 250 | gdb_test "info reg ecx" "ecx *$predec_ecx\[ \t\]+.*" "ecx after reverse-dec" |
02506ff1 | 251 | |
adf8243b | 252 | gdb_test "info reg eax" "eax *$preinc_eax\[ \t\]+.*" "eax before reverse-dec" |
02506ff1 | 253 | gdb_test "reverse-step" "dec .eax.*" "reverse-step to dec eax" |
adf8243b | 254 | gdb_test "info reg eax" "eax *$predec_eax\[ \t\]+.*" "eax after reverse-dec" |
02506ff1 | 255 | |
adf8243b | 256 | gdb_test "info reg edi" "edi *$predec_edi\[ \t\]+.*" "edi before reverse-inc" |
02506ff1 | 257 | gdb_test "reverse-step" "inc .edi.*" "reverse-step to inc edi" |
adf8243b | 258 | gdb_test "info reg edi" "edi *$preinc_edi\[ \t\]+.*" "edi after reverse-inc" |
02506ff1 | 259 | |
adf8243b | 260 | gdb_test "info reg esi" "esi *$predec_esi\[ \t\]+.*" "esi before reverse-inc" |
02506ff1 | 261 | gdb_test "reverse-step" "inc .esi.*" "reverse-step to inc esi" |
adf8243b | 262 | gdb_test "info reg esi" "esi *$preinc_esi\[ \t\]+.*" "esi after reverse-inc" |
02506ff1 | 263 | |
adf8243b | 264 | gdb_test "info reg ebp" "ebp *$predec_ebp\[ \t\]+.*" "ebp before reverse-inc" |
02506ff1 | 265 | gdb_test "reverse-step" "inc .ebp.*" "reverse-step to inc ebp" |
adf8243b | 266 | gdb_test "info reg ebp" "ebp *$preinc_ebp\[ \t\]+.*" "ebp after reverse-inc" |
02506ff1 | 267 | |
adf8243b | 268 | gdb_test "info reg esp" "esp *$predec_esp\[ \t\]+.*" "esp before reverse-inc" |
02506ff1 | 269 | gdb_test "reverse-step" "inc .esp.*" "reverse-step to inc esp" |
adf8243b | 270 | gdb_test "info reg esp" "esp *$preinc_esp\[ \t\]+.*" "esp after reverse-inc" |
02506ff1 | 271 | |
adf8243b | 272 | gdb_test "info reg ebx" "ebx *$predec_ebx\[ \t\]+.*" "ebx before reverse-inc" |
02506ff1 | 273 | gdb_test "reverse-step" "inc .ebx.*" "reverse-step to inc ebx" |
adf8243b | 274 | gdb_test "info reg ebx" "ebx *$preinc_ebx\[ \t\]+.*" "ebx after reverse-inc" |
02506ff1 | 275 | |
adf8243b | 276 | gdb_test "info reg edx" "edx *$predec_edx\[ \t\]+.*" "edx before reverse-inc" |
02506ff1 | 277 | gdb_test "reverse-step" "inc .edx.*" "reverse-step to inc edx" |
adf8243b | 278 | gdb_test "info reg edx" "edx *$preinc_edx\[ \t\]+.*" "edx after reverse-inc" |
02506ff1 | 279 | |
adf8243b | 280 | gdb_test "info reg ecx" "ecx *$predec_ecx\[ \t\]+.*" "ecx before reverse-inc" |
02506ff1 | 281 | gdb_test "reverse-step" "inc .ecx.*" "reverse-step to inc ecx" |
adf8243b | 282 | gdb_test "info reg ecx" "ecx *$preinc_ecx\[ \t\]+.*" "ecx after reverse-inc" |
02506ff1 | 283 | |
adf8243b | 284 | gdb_test "info reg eax" "eax *$predec_eax\[ \t\]+.*" "eax before reverse-inc" |
02506ff1 | 285 | gdb_test "reverse-step" "inc .eax.*" "reverse-step to inc eax" |
adf8243b | 286 | gdb_test "info reg eax" "eax *$preinc_eax\[ \t\]+.*" "eax after reverse-inc" |
02506ff1 MS |
287 | |
288 |