gdb/testsuite/gdb.reverse/maint-print-instruction.exp

   1 #   Copyright 2022-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 the functionality of
  17 # the maintenance print record-instruction command, but does not check the
  18 # syntax, only if the command finds or fails to find recorded history.
  19 # This is done by putting the inferior in mulpitle states with and without
  20 # history to be printed, then checking if GDB is able to print an
  21 # instruction or not.
  22 # To identify if GDB has printed an instruction, we can see if some
  23 # change is printed, since any instruction must have at least a change
  24 # to the PC.
  25
  26 if ![supports_reverse] {
  27     return
  28 }
  29
  30 standard_testfile
  31
  32 if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } {
  33     return -1
  34 }
  35
  36 proc test_print { has_history level test_name } {
  37     gdb_test_multiple "maint print record-instruction $level" $test_name {
  38         -re -wrap ".*Not enough recorded history.*" {
  39             gdb_assert !$has_history $test_name
  40         }
  41
  42     -re -wrap ".*changed.*" {
  43             gdb_assert $has_history $test_name
  44         }
  45     }
  46 }
  47
  48 if { ![runto_main] } {
  49     return 0
  50 }
  51
  52 #confirm that GDB doesn't go crazy if recording isn't enabled
  53 test_print false "" "print before starting to record"
  54
  55 if ![supports_process_record] {
  56     # No point in testing the rest if we can't record anything
  57     return
  58 }
  59
  60 gdb_test_no_output "record" "turn on process record"
  61
  62 test_print false "" "print before any instruction"
  63
  64 gdb_test "stepi 3" ".*" "collecting history"
  65 test_print true "" "print current after executing a bit"
  66 test_print true "-1" "print previous after executing a bit"
  67 test_print false "1" "print following after executing a bit"
  68
  69 gdb_test "reverse-stepi" ".*" "moving back"
  70 test_print true "" "print current after reversing"
  71 test_print true "-1" "print previous after reversing"
  72 test_print true "1" "print following after reversing"
  73
  74 test_print false "-10" "trying to print too far back"
  75 test_print false "10" "trying to print too far forward"