1 # Copyright 2009, 2010, 2011 Free Software Foundation, Inc.
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.
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.
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/>.
16 # This file is part of the gdb testsuite.
19 # This test tests some i386 general instructions for reverse execution.
22 if ![target_info exists gdb,can_reverse] {
31 if ![istarget "i?86-*linux*"] then {
32 verbose "Skipping i386 reverse tests."
36 set testfile "i386-reverse"
37 set srcfile ${testfile}.c
38 set binfile ${objdir}/${subdir}/${testfile}
40 # some targets have leading underscores on assembly symbols.
41 set additional_flags [gdb_target_symbol_prefix_flags]
43 if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
48 set end_of_main [gdb_get_line_number " end of main "]
49 set end_of_inc_dec_tests [gdb_get_line_number " end inc_dec_tests "]
55 gdb_reinitialize_dir $srcdir/$subdir
59 if [target_info exists gdb,use_precord] {
60 # Activate process record/replay
61 gdb_test_no_output "record" "Turn on process record"
67 gdb_test "step" "inc .eax.*" "step to inc eax 1st time"
68 send_gdb "info reg eax\n"
70 -re "eax *($hex)\t.*$gdb_prompt " {
71 set preinc_eax $expect_out(1,string)
75 gdb_test "step" "inc .ecx.*" "step to inc ecx 1st time"
76 send_gdb "info reg ecx\n"
78 -re "ecx *($hex)\t.*$gdb_prompt " {
79 set preinc_ecx $expect_out(1,string)
83 gdb_test "step" "inc .edx.*" "step to inc edx 1st time"
84 send_gdb "info reg edx\n"
86 -re "edx *($hex)\t.*$gdb_prompt " {
87 set preinc_edx $expect_out(1,string)
91 gdb_test "step" "inc .ebx.*" "step to inc ebx 1st time"
92 send_gdb "info reg ebx\n"
94 -re "ebx *($hex)\t.*$gdb_prompt " {
95 set preinc_ebx $expect_out(1,string)
99 gdb_test "step" "inc .esp.*" "step to inc esp 1st time"
100 send_gdb "info reg esp\n"
102 -re "esp *($hex)\t.*$gdb_prompt " {
103 set preinc_esp $expect_out(1,string)
107 gdb_test "step" "inc .ebp.*" "step to inc ebp 1st time"
108 send_gdb "info reg ebp\n"
110 -re "ebp *($hex)\t.*$gdb_prompt " {
111 set preinc_ebp $expect_out(1,string)
115 gdb_test "step" "inc .esi.*" "step to inc esi 1st time"
116 send_gdb "info reg esi\n"
118 -re "esi *($hex)\t.*$gdb_prompt " {
119 set preinc_esi $expect_out(1,string)
123 gdb_test "step" "inc .edi.*" "step to inc edi 1st time"
124 send_gdb "info reg edi\n"
126 -re "edi *($hex)\t.*$gdb_prompt " {
127 set preinc_edi $expect_out(1,string)
131 gdb_test "step" "dec .eax.*" "step to dec eax 1st time"
132 send_gdb "info reg eax\n"
134 -re "eax *($hex)\t.*$gdb_prompt " {
135 set predec_eax $expect_out(1,string)
139 gdb_test "step" "dec .ecx.*" "step to dec ecx 1st time"
140 send_gdb "info reg ecx\n"
142 -re "ecx *($hex)\t.*$gdb_prompt " {
143 set predec_ecx $expect_out(1,string)
147 gdb_test "step" "dec .edx.*" "step to dec edx 1st time"
148 send_gdb "info reg edx\n"
150 -re "edx *($hex)\t.*$gdb_prompt " {
151 set predec_edx $expect_out(1,string)
155 gdb_test "step" "dec .ebx.*" "step to dec ebx 1st time"
156 send_gdb "info reg ebx\n"
158 -re "ebx *($hex)\t.*$gdb_prompt " {
159 set predec_ebx $expect_out(1,string)
163 gdb_test "step" "dec .esp.*" "step to dec esp 1st time"
164 send_gdb "info reg esp\n"
166 -re "esp *($hex)\t.*$gdb_prompt " {
167 set predec_esp $expect_out(1,string)
171 gdb_test "step" "dec .ebp.*" "step to dec ebp 1st time"
172 send_gdb "info reg ebp\n"
174 -re "ebp *($hex)\t.*$gdb_prompt " {
175 set predec_ebp $expect_out(1,string)
179 gdb_test "step" "dec .esi.*" "step to dec esi 1st time"
180 send_gdb "info reg esi\n"
182 -re "esi *($hex)\t.*$gdb_prompt " {
183 set predec_esi $expect_out(1,string)
187 gdb_test "step" "dec .edi.*" "step to dec edi 1st time"
188 send_gdb "info reg edi\n"
190 -re "edi *($hex)\t.*$gdb_prompt " {
191 set predec_edi $expect_out(1,string)
195 # gdb_test "step" "end inc_dec_tests .*" "step to end inc_dec_tests 1st time"
197 gdb_test "break $end_of_main" \
198 "Breakpoint $decimal at .* line $end_of_main\." \
199 "set breakpoint at end of main"
201 gdb_test "continue" \
203 "continue to end of main"
205 gdb_test "break $end_of_inc_dec_tests" \
206 "Breakpoint $decimal at .* line $end_of_inc_dec_tests\." \
207 "set breakpoint at end of inc_dec_tests"
209 gdb_test "reverse-continue" \
210 " end inc_dec_tests .*" \
211 "reverse to inc_dec_tests"
214 # Now reverse step, and check register values.
217 gdb_test "info reg edi" "edi *$preinc_edi\t.*" "edi before reverse-dec"
218 gdb_test "reverse-step" "dec .edi.*" "reverse-step to dec edi"
219 gdb_test "info reg edi" "edi *$predec_edi\t.*" "edi after reverse-dec"
221 gdb_test "info reg esi" "esi *$preinc_esi\t.*" "esi before reverse-dec"
222 gdb_test "reverse-step" "dec .esi.*" "reverse-step to dec esi"
223 gdb_test "info reg esi" "esi *$predec_esi\t.*" "esi after reverse-dec"
225 gdb_test "info reg ebp" "ebp *$preinc_ebp\t.*" "ebp before reverse-dec"
226 gdb_test "reverse-step" "dec .ebp.*" "reverse-step to dec ebp"
227 gdb_test "info reg ebp" "ebp *$predec_ebp\t.*" "ebp after reverse-dec"
229 gdb_test "info reg esp" "esp *$preinc_esp\t.*" "esp before reverse-dec"
230 gdb_test "reverse-step" "dec .esp.*" "reverse-step to dec esp"
231 gdb_test "info reg esp" "esp *$predec_esp\t.*" "esp after reverse-dec"
233 gdb_test "info reg ebx" "ebx *$preinc_ebx\t.*" "ebx before reverse-dec"
234 gdb_test "reverse-step" "dec .ebx.*" "reverse-step to dec ebx"
235 gdb_test "info reg ebx" "ebx *$predec_ebx\t.*" "ebx after reverse-dec"
237 gdb_test "info reg edx" "edx *$preinc_edx\t.*" "edx before reverse-dec"
238 gdb_test "reverse-step" "dec .edx.*" "reverse-step to dec edx"
239 gdb_test "info reg edx" "edx *$predec_edx\t.*" "edx after reverse-dec"
241 gdb_test "info reg ecx" "ecx *$preinc_ecx\t.*" "ecx before reverse-dec"
242 gdb_test "reverse-step" "dec .ecx.*" "reverse-step to dec ecx"
243 gdb_test "info reg ecx" "ecx *$predec_ecx\t.*" "ecx after reverse-dec"
245 gdb_test "info reg eax" "eax *$preinc_eax\t.*" "eax before reverse-dec"
246 gdb_test "reverse-step" "dec .eax.*" "reverse-step to dec eax"
247 gdb_test "info reg eax" "eax *$predec_eax\t.*" "eax after reverse-dec"
249 gdb_test "info reg edi" "edi *$predec_edi\t.*" "edi before reverse-inc"
250 gdb_test "reverse-step" "inc .edi.*" "reverse-step to inc edi"
251 gdb_test "info reg edi" "edi *$preinc_edi\t.*" "edi after reverse-inc"
253 gdb_test "info reg esi" "esi *$predec_esi\t.*" "esi before reverse-inc"
254 gdb_test "reverse-step" "inc .esi.*" "reverse-step to inc esi"
255 gdb_test "info reg esi" "esi *$preinc_esi\t.*" "esi after reverse-inc"
257 gdb_test "info reg ebp" "ebp *$predec_ebp\t.*" "ebp before reverse-inc"
258 gdb_test "reverse-step" "inc .ebp.*" "reverse-step to inc ebp"
259 gdb_test "info reg ebp" "ebp *$preinc_ebp\t.*" "ebp after reverse-inc"
261 gdb_test "info reg esp" "esp *$predec_esp\t.*" "esp before reverse-inc"
262 gdb_test "reverse-step" "inc .esp.*" "reverse-step to inc esp"
263 gdb_test "info reg esp" "esp *$preinc_esp\t.*" "esp after reverse-inc"
265 gdb_test "info reg ebx" "ebx *$predec_ebx\t.*" "ebx before reverse-inc"
266 gdb_test "reverse-step" "inc .ebx.*" "reverse-step to inc ebx"
267 gdb_test "info reg ebx" "ebx *$preinc_ebx\t.*" "ebx after reverse-inc"
269 gdb_test "info reg edx" "edx *$predec_edx\t.*" "edx before reverse-inc"
270 gdb_test "reverse-step" "inc .edx.*" "reverse-step to inc edx"
271 gdb_test "info reg edx" "edx *$preinc_edx\t.*" "edx after reverse-inc"
273 gdb_test "info reg ecx" "ecx *$predec_ecx\t.*" "ecx before reverse-inc"
274 gdb_test "reverse-step" "inc .ecx.*" "reverse-step to inc ecx"
275 gdb_test "info reg ecx" "ecx *$preinc_ecx\t.*" "ecx after reverse-inc"
277 gdb_test "info reg eax" "eax *$predec_eax\t.*" "eax before reverse-inc"
278 gdb_test "reverse-step" "inc .eax.*" "reverse-step to inc eax"
279 gdb_test "info reg eax" "eax *$preinc_eax\t.*" "eax after reverse-inc"