gdb/testsuite/gdb.btrace/stepi.exp

   1 # This testcase is part of GDB, the GNU debugger.
   2 #
   3 # Copyright 2013-2019 Free Software Foundation, Inc.
   4 #
   5 # Contributed by Intel Corp. <markus.t.metzger@intel.com>
   6 #
   7 # This program is free software; you can redistribute it and/or modify
   8 # it under the terms of the GNU General Public License as published by
   9 # the Free Software Foundation; either version 3 of the License, or
  10 # (at your option) any later version.
  11 #
  12 # This program is distributed in the hope that it will be useful,
  13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 # GNU General Public License for more details.
  16 #
  17 # You should have received a copy of the GNU General Public License
  18 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  19
  20 if { [skip_btrace_tests] } {
  21     unsupported "target does not support record-btrace"
  22     return -1
  23 }
  24
  25 # This test is stepping on instruction level.  To guarantee that we always
  26 # get the same execution trace, we use an assembly source file.
  27 #
  28 # We use different assembly sources based on the target architecture.
  29 #
  30 # Luckily, they are similar enough that a single test script can handle
  31 # both.
  32 if [info exists COMPILE] {
  33     # make check RUNTESTFLAGS="gdb.btrace/stepi.exp COMPILE=1"
  34     standard_testfile record_goto.c
  35     lappend opts debug
  36 } elseif {[istarget "i?86-*-*"] || [istarget "x86_64-*-*"]} {
  37         if {[is_amd64_regs_target]} {
  38                 standard_testfile x86_64-record_goto.S
  39         } else {
  40                 standard_testfile i686-record_goto.S
  41         }
  42 } else {
  43     unsupported "target architecture not supported"
  44     return -1
  45 }
  46
  47 if [prepare_for_testing "failed to prepare" $testfile $srcfile] {
  48     return -1
  49 }
  50
  51 if ![runto_main] {
  52     untested "failed to run to main"
  53     return -1
  54 }
  55
  56 global gdb_prompt
  57
  58 proc check_replay_at { insn } {
  59   gdb_test "info record" [multi_line \
  60     "Active record target: record-btrace" \
  61     ".*" \
  62     "Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for .*" \
  63     "Replay in progress\.  At instruction $insn\." \
  64     ]
  65 }
  66
  67 # trace the call to the test function
  68 gdb_test_no_output "record btrace"
  69 gdb_test "next"
  70
  71 # we start with stepping to make sure that the trace is fetched automatically
  72 gdb_test "reverse-stepi" ".*fun4\.5.*"
  73 gdb_test "reverse-stepi" ".*fun4\.5.*"
  74
  75 # let's check where we are in the trace
  76 with_test_prefix "reverse-stepi to 39" { check_replay_at 39 }
  77
  78 # let's step forward and check again
  79 gdb_test "stepi" ".*fun4\.5.*"
  80 with_test_prefix "stepi to 40" { check_replay_at 40 }
  81
  82 # with the next step, we stop replaying
  83 gdb_test "stepi" ".*main\.3.*"
  84 gdb_test "info record" [multi_line \
  85   "Active record target: record-btrace" \
  86   ".*" \
  87   "Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for \[^\\\r\\\n\]*" \
  88   ] "stepi to live"
  89
  90 # let's try nexti
  91 gdb_test "reverse-nexti" ".*main\.2.*"
  92 with_test_prefix "reverse-nexti - 1" { check_replay_at 1 }
  93
  94 # we can't reverse-nexti any further
  95 gdb_test "reverse-nexti" "No more reverse-execution history\.\r\n.*main\.2.*"
  96 with_test_prefix "reverse-nexti - 1" { check_replay_at 1 }
  97
  98 # but we can step back again
  99 gdb_test "nexti" ".*main\.3.*" "next, 1.5"
 100 gdb_test "info record" [multi_line \
 101   "Active record target: record-btrace" \
 102   ".*" \
 103   "Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for \[^\\\r\\\n\]*" \
 104   ] "nexti back"
 105
 106 # let's step from a goto position somewhere in the middle
 107 gdb_test "record goto 22" ".*fun3\.2.*"
 108 with_test_prefix "goto 22" { check_replay_at 22 }
 109
 110 gdb_test "stepi" ".*fun1\.1.*"
 111 with_test_prefix "stepi to 23" { check_replay_at 23 }
 112
 113 gdb_test "reverse-stepi" ".*fun3\.2.*"
 114 with_test_prefix "reverse-stepi to 22" { check_replay_at 22 }
 115
 116 gdb_test "nexti" ".*fun3\.3.*"
 117 with_test_prefix "nexti to 27" { check_replay_at 27 }
 118
 119 gdb_test "reverse-nexti" ".*fun3\.2.*"
 120 with_test_prefix "reverse-nexti to 22" { check_replay_at 22 }
 121
 122 # let's try to step off the left end
 123 gdb_test "record goto begin" ".*main\.2.*"
 124 with_test_prefix "goto begin" { check_replay_at 1 }
 125
 126 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
 127 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
 128 with_test_prefix "reverse-stepi at begin" { check_replay_at 1 }
 129
 130 gdb_test "reverse-nexti" "No more reverse-execution history\.\r\n.*main\.2.*"
 131 gdb_test "reverse-nexti" "No more reverse-execution history\.\r\n.*main\.2.*"
 132 with_test_prefix "reverse-nexti at begin" { check_replay_at 1 }
 133
 134 # we can step forward, though
 135 gdb_test "stepi" ".*fun4\.1.*"
 136 with_test_prefix "stepi to 2" { check_replay_at 2 }
 137
 138 # let's try to step off the left end again
 139 gdb_test "reverse-stepi" ".*main\.2.*"
 140 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
 141 gdb_test "reverse-stepi" "No more reverse-execution history\.\r\n.*main\.2.*"
 142 with_test_prefix "reverse-stepi at begin" { check_replay_at 1 }