gdb/testsuite/gdb.reverse/i386-reverse.exp

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