gdb/testsuite/gdb.reverse/machinestate.exp

   1 # Copyright 2008-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 # This test tests the restoration of various kinds of machine state
  18 # to their original values by reverse execution.  We will execute
  19 # the program forward while it changes various types of data, and
  20 # then execute it backward to see if their values get restored.
  21 #
  22 # The types of machine state (data) that are tested are:
  23 #   register variable
  24 #   auto variable
  25 #   function static variable
  26 #   module static variable
  27 #   module global variable
  28 #
  29 # TODO:
  30 # various, possibly including...
  31 #   .bss variable, .data variable, ...
  32 #   shared library variable
  33 #   heap variable (pointer)...
  34 #   overlay variables...
  35 #   Test forward replay
  36 #
  37
  38 if ![supports_reverse] {
  39     return
  40 }
  41
  42 standard_testfile .c ms1.c
  43
  44 if { [prepare_for_testing "failed to prepare" $testfile \
  45           [list $srcfile $srcfile2]] } {
  46     return -1
  47 }
  48
  49 set newline "\[\r\n\]+"
  50
  51 set beginmain [gdb_get_line_number " begin main " $srcfile]
  52 set endmain   [gdb_get_line_number " end main "   $srcfile]
  53
  54 # Test begins
  55
  56 runto_main
  57
  58 if [supports_process_record] {
  59     # Activate process record/replay
  60     gdb_test_no_output "record" "turn on process record"
  61 }
  62
  63 # Proceed to end of main
  64
  65 gdb_test "break $endmain" \
  66     "Breakpoint.* file .*$srcfile, line $endmain.*" \
  67     "break at end of main"
  68 gdb_continue_to_breakpoint "end of main" ".*$srcfile:$endmain.*"
  69
  70 ###
  71 ###
  72 ###
  73
  74 # Now run backward to each of several points where data is changed.
  75 #
  76
  77 # Module global variable, reverse
  78 with_test_prefix "module global variable, reverse" {
  79     set breakloc [gdb_get_line_number \
  80                       "module_global_state: set breakpoint here" $srcfile]
  81
  82     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
  83     gdb_test "reverse-continue" "$srcfile:$breakloc.*" "reverse to $breakloc"
  84
  85     gdb_test "print aglobal" " = 0$newline"  "module global reverse-breakpoint"
  86     gdb_test "step"          " module global post-change .*"
  87     gdb_test "print aglobal" " = 1$newline"  "module global forward past bp"
  88     gdb_test "reverse-step"  "$newline$breakloc.*"
  89     gdb_test "print aglobal" " = 0$newline"  "module global reverse-step to bp"
  90 }
  91
  92 # Module static variable, reverse
  93 with_test_prefix "module static variable, reverse" {
  94     set breakloc [gdb_get_line_number \
  95                       "module_static_state: set breakpoint here" $srcfile]
  96
  97     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
  98     gdb_test "reverse-continue" "$srcfile:$breakloc.*" "reverse to $breakloc"
  99
 100     gdb_test "print astatic" " = 0$newline"  "module static reverse-breakpoint"
 101     gdb_test "step"          " module static post-change .*"
 102     gdb_test "print astatic" " = 1$newline"  "module static forward"
 103     gdb_test "reverse-step"  "$newline$breakloc.*"
 104     gdb_test "print astatic" " = 0$newline"  "module static reverse-step"
 105 }
 106
 107 # Function static variable, reverse
 108 with_test_prefix "function static variable, reverse" {
 109     set breakloc [gdb_get_line_number \
 110                       "function_static_state: set breakpoint here" $srcfile]
 111
 112     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 113     gdb_test "reverse-continue" "$srcfile:$breakloc.*" "reverse to $breakloc"
 114
 115     gdb_test "print a"      " = 0$newline"  "function static reverse-breakpoint"
 116     gdb_test "step"         " function static post-change .*"
 117     gdb_test "print a"      " = 1$newline"  "function static forward"
 118     gdb_test "reverse-step" "$newline$breakloc.*"
 119     gdb_test "print a"      " = 0$newline"  "function static reverse-step"
 120 }
 121
 122 # Auto variable, reverse
 123 with_test_prefix "auto variable, reverse" {
 124     set breakloc [gdb_get_line_number \
 125                       "auto_state: set breakpoint here" $srcfile]
 126
 127     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 128     gdb_test "reverse-continue" "$srcfile:$breakloc.*" "reverse to $breakloc"
 129
 130     gdb_test "print a"      " = 0$newline"  "auto var reverse-breakpoint"
 131     gdb_test "step"         " auto post-change .*"
 132     gdb_test "print a"      " = 1$newline"  "auto var forward"
 133     gdb_test "reverse-step" "$newline$breakloc.*"
 134     gdb_test "print a"      " = 0$newline"  "auto var reverse-step"
 135 }
 136
 137 # Register variable, reverse
 138 with_test_prefix "register variable, reverse" {
 139     set breakloc [gdb_get_line_number \
 140                       "register_state: set breakpoint here" $srcfile]
 141
 142     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 143     gdb_test "reverse-continue" "$srcfile:$breakloc.*" "reverse to $breakloc"
 144
 145     gdb_test "print a"      " = 0$newline"  "register var reverse-breakpoint"
 146     gdb_test "step"         " register post-change .*"
 147     gdb_test "print a"      " = 1$newline"  "register var step post-change"
 148     gdb_test "reverse-step" "$newline$breakloc.*"
 149     gdb_test "print a"      " = 0$newline" \
 150         "register var reverse step-to, first time"
 151 }
 152
 153 # Proceed to beginning of main
 154
 155 gdb_test "tbreak $beginmain" "$srcfile, line $beginmain.*"
 156 gdb_test "reverse-continue"  "$srcfile:$beginmain.*" "reverse to main"
 157
 158 # Now repeat tests while replaying forward.
 159
 160 # Register variable, forward
 161
 162 with_test_prefix "register variable, forward" {
 163     set breakloc [gdb_get_line_number \
 164                       "register_state: set breakpoint here" $srcfile]
 165
 166     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 167     gdb_test "continue"         "$srcfile:$breakloc.*" "forward to $breakloc"
 168
 169     gdb_test "print a"      " = 0$newline"  "register var forward-breakpoint"
 170     gdb_test "reverse-step" "hide.*"
 171     gdb_test "step"         "$newline$breakloc.*" "step, 1"
 172     gdb_test "print a"      " = 0$newline"  "register var forward step-to"
 173     gdb_test "step"         " register post-change .*" "step, 2"
 174     gdb_test "print a"      " = 1$newline" \
 175         "register var step post-change, second time"
 176 }
 177
 178 # Auto variable, forward
 179 with_test_prefix "auto variable, forward" {
 180     set breakloc [gdb_get_line_number \
 181                       "auto_state: set breakpoint here" $srcfile]
 182
 183     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 184     gdb_test "continue"         "$srcfile:$breakloc.*" "forward to $breakloc"
 185
 186     gdb_test "print a"      " = 0$newline"  "auto var forward-breakpoint"
 187     gdb_test "reverse-step" "hide.*"
 188     gdb_test "step"         "$newline$breakloc.*" "step, 1"
 189     gdb_test "print a"      " = 0$newline"  "auto var forward step-to"
 190     gdb_test "step"         " auto post-change .*" "step, 2"
 191     gdb_test "print a"      " = 1$newline"  "auto var step post-change"
 192 }
 193
 194 # Function static variable, forward
 195 with_test_prefix "function static variable, forward" {
 196     set breakloc [gdb_get_line_number \
 197                       "function_static_state: set breakpoint here" $srcfile]
 198
 199     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 200     gdb_test "continue"         "$srcfile:$breakloc.*" "forward to $breakloc"
 201
 202     gdb_test "print a"      " = 0$newline"  "function static forward-breakpoint"
 203     gdb_test "reverse-step" "hide.*"
 204     gdb_test "step"         "$newline$breakloc.*" "step, 1"
 205     gdb_test "print a"      " = 0$newline"  "function static forward step-to"
 206     gdb_test "step"         " function static post-change .*" "step, 2"
 207     gdb_test "print a"      " = 1$newline"  "function static step post-change"
 208 }
 209
 210 # Module static variable, forward
 211 with_test_prefix "module static variable, forward" {
 212     set breakloc [gdb_get_line_number \
 213                       "module_static_state: set breakpoint here" $srcfile]
 214
 215     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 216     gdb_test "continue"         "$srcfile:$breakloc.*" "forward to $breakloc"
 217
 218     gdb_test "print astatic" " = 0$newline"  "module static forward-breakpoint"
 219     gdb_test "reverse-step"  "hide.*"
 220     gdb_test "step"          "$newline$breakloc.*" "step, 1"
 221     gdb_test "print astatic" " = 0$newline"  "module static forward step-to"
 222     gdb_test "step"          " module static post-change .*" "step, 2"
 223     gdb_test "print astatic" " = 1$newline"  "module static step post-change"
 224 }
 225
 226 # Module global variable, forward
 227 with_test_prefix "module global variable, forward" {
 228     set breakloc [gdb_get_line_number \
 229                       "module_global_state: set breakpoint here" $srcfile]
 230
 231     gdb_test "tbreak $breakloc" "$srcfile, line $breakloc.*"
 232     gdb_test "continue"         "$srcfile:$breakloc.*" "forward to $breakloc"
 233
 234     gdb_test "print aglobal" " = 0$newline"  "module global forward-breakpoint"
 235     gdb_test "reverse-step"  "hide.*"
 236     gdb_test "step"          "$newline$breakloc.*" "step, 1"
 237     gdb_test "print aglobal" " = 0$newline"  "module global forward step-to"
 238     gdb_test "step"          " module global post-change .*" "step, 2"
 239     gdb_test "print aglobal" " = 1$newline"  "module global step post-change"
 240 }