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

   1 # Copyright 2008-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.  It tests reverse stepping.
  17 # Lots of code borrowed from "step-test.exp".
  18
  19 #
  20 # Test step and next with a reloaded process record file.
  21 #
  22
  23 # This test suitable only for process record-replay
  24 require supports_process_record
  25
  26 standard_testfile step-reverse.c
  27 set precsave [standard_output_file step.precsave]
  28
  29 if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } {
  30     return -1
  31 }
  32
  33 runto_main
  34
  35 # Activate process record/replay
  36 gdb_test_no_output "record" "turn on process record"
  37
  38 set end_of_main [gdb_get_line_number "end of main" ]
  39 gdb_test "break $end_of_main" \
  40     "Breakpoint $decimal at .*$srcfile, line $end_of_main\." \
  41     "breakpoint at end of main"
  42
  43 # This can take awhile.
  44 with_timeout_factor 20 {
  45     gdb_test_multiple "continue" "run to end of main" {
  46         -re -wrap "Breakpoint .* end of main .*" {
  47             pass $gdb_test_name
  48         }
  49         -re -wrap "Process record does not support instruction 0xc5 at.*" {
  50             kfail "record/23188" $gdb_test_name
  51         }
  52         -re -wrap "Process record does not support instruction 0xfae64 at.*" {
  53             kfail "record/25038" $gdb_test_name
  54         }
  55         -re -wrap "Process record does not support instruction 0x62 at.*" {
  56             kfail "record/30807" $gdb_test_name
  57         }
  58     }
  59 }
  60
  61 # So can this, against gdbserver, for example.
  62
  63 with_timeout_factor 10 {
  64     gdb_test "record save $precsave" \
  65         "Saved core file $precsave with execution log\."  \
  66         "save process recfile"
  67 }
  68
  69 gdb_test "kill" "" "kill process, prepare to debug log file" \
  70     "Kill the program being debugged\\? \\(y or n\\) " "y"
  71
  72 gdb_test "record restore $precsave" \
  73     "Restored records from core file .*" \
  74     "reload core file"
  75
  76 # plain vanilla step/next (no count)
  77
  78 gdb_test "next" ".*NEXT TEST 1.*" "next test 1"
  79 gdb_test "step" ".*STEP TEST 1.*" "step test 1"
  80
  81 # step/next with count
  82
  83 gdb_test "next 2" ".*NEXT TEST 2.*" "next test 2"
  84 gdb_test "step 3" ".*STEP TEST 2.*" "step test 2"
  85
  86 # step over call
  87
  88 gdb_test "step" ".*NEXT OVER THIS RECURSION.*" "step up to call"
  89 gdb_test "next" ".*NEXT OVER THIS CALL.*" "skip recursive call"
  90 gdb_test "next" ".*STEP INTO THIS CALL.*" "next over call"
  91
  92 # step into call
  93
  94 gdb_test "step" ".*ARRIVED IN CALLEE.*" "step into call"
  95
  96 # finish out of call
  97
  98 set test_message "finish out of fn call"
  99 gdb_test_multiple "finish" "$test_message" {
 100     -re "FINISH TEST.*$gdb_prompt $" {
 101         pass "$test_message"
 102     }
 103     -re "STEP INTO THIS CALL.*$gdb_prompt $" {
 104         send_gdb "step\n"
 105         exp_continue
 106     }
 107 }
 108
 109 # stepi over flat code (no calls)
 110
 111 set test_message "simple stepi"
 112 gdb_test_multiple "stepi" "$test_message" {
 113     -re "STEPI TEST.*$gdb_prompt $" {
 114         pass "$test_message"
 115     }
 116     -re "FINISH TEST.*$gdb_prompt $" {
 117         send_gdb "stepi\n"
 118         exp_continue
 119     }
 120     -re "NEXTI TEST.*$gdb_prompt $" {
 121         fail "$test_message (too far)"
 122     }
 123 }
 124
 125 # stepi into a function call
 126
 127 set alphanum_re "\[a-zA-Z0-9\]"
 128 set pic_thunk_re  "__$alphanum_re*\\.get_pc_thunk\\.$alphanum_re* \\(\\)"
 129 set test_message "stepi into function call"
 130 gdb_test_multiple "stepi" "$test_message" {
 131     -re "ARRIVED IN CALLEE.*$gdb_prompt $" {
 132         pass "$test_message"
 133     }
 134     -re "NEXTI TEST.*$gdb_prompt $" {
 135         fail "$test_message (too far)"
 136     }
 137     -re "RETURN FROM CALLEE.*$gdb_prompt $" {
 138         fail "$test_message (too far)"
 139     }
 140     -re "ENTER CALLEE.*$gdb_prompt $" {
 141         send_gdb "stepi\n"
 142         exp_continue
 143     }
 144     -re "STEPI TEST.*$gdb_prompt $" {
 145         send_gdb "stepi\n"
 146         exp_continue
 147     }
 148     -re "$pic_thunk_re.*$gdb_prompt $" {
 149         send_gdb "stepi\n"
 150         exp_continue
 151     }
 152 }
 153
 154 # stepi thru return of a function call
 155
 156 set test_message "stepi back from function call"
 157 gdb_test_multiple "stepi" "$test_message" {
 158     -re "NEXTI TEST.*$gdb_prompt $" {
 159         pass "$test_message"
 160     }
 161     -re "ARRIVED IN CALLEE.*$gdb_prompt $" {
 162         send_gdb "stepi\n"
 163         exp_continue
 164     }
 165     -re "RETURN FROM CALLEE.*$gdb_prompt $" {
 166         send_gdb "stepi\n"
 167         exp_continue
 168     }
 169     -re "STEPI TEST.*$gdb_prompt $" {
 170         send_gdb "stepi\n"
 171         exp_continue
 172     }
 173     -re "ENTER CALLEE.*$gdb_prompt $" {
 174         fail "$test_message (too far)"
 175     }
 176 }
 177
 178 ###
 179 ###
 180 ###
 181
 182 # Set reverse execution direction
 183
 184 gdb_test_no_output "set exec-dir reverse" "set reverse execution"
 185
 186 # stepi backward thru return and into a function
 187
 188 set stepi_location  [gdb_get_line_number "ARRIVED IN CALLEE" "$srcfile"]
 189 set test_message "reverse stepi thru function return"
 190 gdb_test_multiple "stepi" "$test_message" {
 191     -re "NEXTI TEST.*$gdb_prompt $" {
 192         fail "$test_message (start statement)"
 193     }
 194     -re "RETURN FROM CALLEE.*$gdb_prompt $" {
 195         send_gdb "stepi\n"
 196         exp_continue
 197     }
 198     -re "$hex\[ \t\]*$stepi_location.*ARRIVED IN CALLEE.*$gdb_prompt $" {
 199         send_gdb "stepi\n"
 200         exp_continue
 201     }
 202     -re "ARRIVED IN CALLEE.*$gdb_prompt $" {
 203         pass "$test_message"
 204     }
 205     -re "ENTER CALLEE.*$gdb_prompt $" {
 206         fail "$test_message (too far)"
 207     }
 208     -re "STEPI TEST.*$gdb_prompt $" {
 209         fail "$test_message (too far)"
 210     }
 211 }
 212
 213 # stepi backward out of a function call
 214
 215 set start_pc [get_hexadecimal_valueof "\$pc" 0 "getting PC at start of stepi backwards"]
 216 set step_count 0
 217 set stepi_location  [gdb_get_line_number "STEPI TEST" "$srcfile"]
 218 set test_message "reverse stepi from a function call"
 219 gdb_test_multiple "stepi" "$test_message" {
 220     -re "ARRIVED IN CALLEE.*$gdb_prompt $" {
 221         incr step_count
 222         if { [get_hexadecimal_valueof "\$pc" 0 "getting PC after $step_count steps"] == $start_pc } {
 223             fail "$test_message (start statement)"
 224         } else {
 225             send_gdb "stepi\n"
 226             exp_continue
 227         }
 228     }
 229     -re "ENTER CALLEE.*$gdb_prompt $" {
 230         send_gdb "stepi\n"
 231         exp_continue
 232     }
 233     -re "$pic_thunk_re.*$gdb_prompt $" {
 234         send_gdb "stepi\n"
 235         exp_continue
 236     }
 237     -re "${hex} in main .*:$stepi_location.*STEPI TEST.*$gdb_prompt $" {
 238         send_gdb "stepi\n"
 239         exp_continue
 240     }
 241     -re "STEPI TEST.*$gdb_prompt $" {
 242         pass "$test_message"
 243     }
 244     -re "STEP INTO THIS CALL.*$gdb_prompt $" {
 245         fail "$test_message (too far)"
 246     }
 247 }
 248
 249 # stepi backward over flat code (no calls)
 250
 251 set stepi_location  [gdb_get_line_number "FINISH TEST" "$srcfile"]
 252 set test_message "simple reverse stepi"
 253 gdb_test_multiple "stepi" "$test_message" {
 254     -re "STEPI TEST.*$gdb_prompt $" {
 255         fail "$test_message (start statement)"
 256     }
 257     -re "$hex\[ \t\]*$stepi_location.* FINISH TEST.*$gdb_prompt $" {
 258         send_gdb "stepi\n"
 259         exp_continue
 260     }
 261     -re "$stepi_location.* FINISH TEST.*$gdb_prompt $" {
 262         pass "$test_message"
 263     }
 264     -re "STEP INTO THIS CALL.*$gdb_prompt $" {
 265         fail "$test_message (too far)"
 266     }
 267 }
 268
 269 # step backward into function (thru return)
 270
 271 gdb_test "step" "(RETURN FROM CALLEE|ARRIVED IN CALLEE).*" \
 272     "reverse step into fn call"
 273
 274 # step backward out of called function (thru call)
 275
 276 set test_message "reverse step out of called fn"
 277 gdb_test_multiple "step" "$test_message" {
 278     -re "STEP INTO THIS CALL.*.*$gdb_prompt $" {
 279         pass "$test_message"
 280     }
 281     -re "ARRIVED IN CALLEE.*$gdb_prompt $" {
 282         send_gdb "step\n"
 283         exp_continue
 284     }
 285     -re "ENTER CALLEE.*$gdb_prompt $" {
 286         send_gdb "step\n"
 287         exp_continue
 288     }
 289 }
 290
 291 # Next backward over calls.
 292
 293 gdb_test "next" ".*NEXT OVER THIS CALL.*" "reverse next over call"
 294 gdb_test "next" ".*NEXT OVER THIS RECURSION.*" "reverse next over recursive call"
 295
 296 # step/next backward with count
 297
 298 gdb_test "step 3" ".*REVERSE STEP TEST 1.*" "reverse step test 1"
 299 gdb_test "next 2" ".*REVERSE NEXT TEST 1.*" "reverse next test 1"
 300
 301 # step/next backward without count
 302
 303 gdb_test "step" ".*STEP TEST 1.*" "reverse step test 2"
 304 gdb_test "next" ".*NEXT TEST 1.*" "reverse next test 2"
 305
 306
 307
 308 # Finish test by running forward to the end.
 309 # FIXME return to this later...
 310 # gdb_test_no_output "set exec-dir forward" "set forward execution"
 311 # gdb_continue_to_end "step-reverse.exp"
 312