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

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