gdb/testsuite/gdb.reverse/i387-env-reverse.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 require is_x86_like_target
  20
  21 standard_testfile
  22
  23 # some targets have leading underscores on assembly symbols.
  24 set additional_flags [gdb_target_symbol_prefix_flags]
  25
  26 if {[prepare_for_testing "failed to prepare" $testfile $srcfile \
  27          [list debug $additional_flags]]} {
  28     return -1
  29 }
  30
  31 runto_main
  32
  33 # Record to end of main
  34
  35 set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
  36 gdb_test_no_output "record"  "Turn on process record"
  37 # This can take awhile.
  38 set oldtimeout $timeout
  39 set timeout [expr $oldtimeout + 120]
  40 gdb_test "until $location" ".*$srcfile:$location.*" \
  41     "record to end of main"
  42 set timeout $oldtimeout
  43
  44 # Now rewind to beginning so we can begin testing.
  45
  46 set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
  47 gdb_test_no_output "set exec-dir reverse" "set reverse direction"
  48 gdb_test "until $location" ".*$srcfile:$location.*" \
  49     "rewind to beginning of main"
  50 gdb_test_no_output "set exec-dir forward" "set forward direction"
  51
  52 with_test_prefix "forward" {
  53     # Test FPU env particularly ftag and fstatus reigters.
  54
  55     set location [gdb_get_line_number "TEST ENV"]
  56     gdb_test "until $location" ".*$srcfile:$location.*asm.*nop.*" \
  57         "begin testing fpu env"
  58
  59     gdb_test "n" "asm.*fsave.*"               "save FPU env in memory"
  60     gdb_test "n" "asm.*frstor.*"              "restore FPU env"
  61     gdb_test "n" "asm.*fstsw.*"               "store status word in EAX"
  62     gdb_test "n" "asm.*fld1.*"                "push st0"
  63
  64     gdb_test "info register ax" "ax *0x0.*\[ \t\]+.*"  "verify eax == 0x0"
  65     gdb_test "info register fstat" "fstat *0.*\[ \t\]+.*"      "verify fstat == 0"
  66     gdb_test "info register ftag" "ftag *0xffff.*\[ \t\]+.*"   "verify ftag == 0xffff"
  67
  68     gdb_test "stepi" "asm.*fldl2t.*"                      "step to fldl2t"
  69     gdb_test "info register fstat" "fstat *0x3800.*\[ \t\]+.*"  "verify fstat == 0x3800"
  70     gdb_test "info register ftag" "ftag *0x3fff.*\[ \t\]+.*"    "verify ftag  == 0x3fff"
  71
  72     gdb_test "stepi" "asm.*fldl2e.*"                  "step to fldl2e"
  73     gdb_test "info register fstat" "fstat *0x3000.*\[ \t\]+.*"  "verify fstat == 0x3000"
  74     gdb_test "info register ftag" "ftag *0xfff.*\[ \t\]+.*"     "verify ftag  == 0xfff"
  75
  76     gdb_test "stepi" "asm.*fldpi.*"                   "step to fldpi"
  77     gdb_test "info register fstat" "fstat *0x2800.*\[ \t\]+.*"  "verify fstat == 0x2800"
  78     gdb_test "info register ftag" "ftag *0x3ff.*\[ \t\]+.*"     "verify ftag  == 0x3ff"
  79
  80     gdb_test "stepi" "asm.*fldlg2.*"                  "step to fldlg2"
  81     gdb_test "info register fstat" "fstat *0x2000.*\[ \t\]+.*"  "verify fstat == 0x2000"
  82     gdb_test "info register ftag" "ftag *0xff.*\[ \t\]+.*"      "verify ftag  == 0xff"
  83
  84     gdb_test "stepi" "asm.*fldln2.*"                  "step to fldln2"
  85     gdb_test "info register fstat" "fstat *0x1800.*\[ \t\]+.*"  "verify fstat == 0x1800"
  86     gdb_test "info register ftag" "ftag *0x3f.*\[ \t\]+.*"      "verify ftag  == 0x3f"
  87
  88     gdb_test "stepi" "asm.*fldz.*"                    "step to fldz"
  89     gdb_test "info register fstat" "fstat *0x1000.*\[ \t\]+.*"  "verify fstat == 0x1000"
  90     gdb_test "info register ftag" "ftag *0xf.*\[ \t\]+.*"       "verify ftag  == 0xf"
  91
  92     gdb_test "stepi" "asm.*nop.*"                    "step to nop"
  93     gdb_test "info register fstat" "fstat *0x800.*\[ \t\]+.*"  "verify fstat == 0x800"
  94     gdb_test "info register ftag" "ftag *0x7.*\[ \t\]+.*"      "verify ftag  == 0x7"
  95 }
  96
  97 # Move backward and check we get the same registers back.
  98
  99 with_test_prefix "backward" {
 100     gdb_test "reverse-stepi" "asm.*fldz.*"           "step to fldz"
 101     gdb_test "info register fstat" "fstat *0x1000.*\[ \t\]+.*" "verify fstat == 0x1000"
 102     gdb_test "info register ftag" "ftag *0xf.*\[ \t\]+.*"      "verify ftag  == 0xf"
 103
 104     gdb_test "reverse-stepi" "asm.*fldln2.*"          "step to fldln2"
 105     gdb_test "info register fstat" "fstat *0x1800.*\[ \t\]+.*"  "verify fstat == 0x1800"
 106     gdb_test "info register ftag" "ftag *0x3f.*\[ \t\]+.*"      "verify ftag  == 0x3f"
 107
 108     gdb_test "reverse-stepi" "asm.*fldlg2.*"          "step to fldlg2"
 109     gdb_test "info register fstat" "fstat *0x2000.*\[ \t\]+.*"  "verify fstat == 0x2000"
 110     gdb_test "info register ftag" "ftag *0xff.*\[ \t\]+.*"      "verify ftag  == 0xff"
 111
 112     gdb_test "reverse-stepi" "asm.*fldpi.*"          "step to fldpi"
 113     gdb_test "info register fstat" "fstat *0x2800.*\[ \t\]+.*" "verify fstat == 0x2800"
 114     gdb_test "info register ftag" "ftag *0x3ff.*\[ \t\]+.*"    "verify ftag  == 0x3ff"
 115
 116     gdb_test "reverse-stepi" "asm.*fldl2e.*"          "step tp fldl2d"
 117     gdb_test "info register fstat" "fstat *0x3000.*\[ \t\]+.*"  "verify fstat == 0x3000"
 118     gdb_test "info register ftag" "ftag *0xfff.*\[ \t\]+.*"     "verify ftag  == 0xfff"
 119
 120     gdb_test "reverse-stepi" "asm.*fldl2t.*"          "step to fldl2t"
 121     gdb_test "info register fstat" "fstat *0x3800.*\[ \t\]+.*"  "verify fstat == 0x3800"
 122     gdb_test "info register ftag" "ftag *0x3fff.*\[ \t\]+.*"    "verify ftag  == 0x3fff"
 123
 124     gdb_test "reverse-stepi" "asm.*fld1.*"            "step to fld1"
 125     gdb_test "info register fstat" "fstat *0.*\[ \t\]+.*"       "verify fstat == 0"
 126     gdb_test "info register ftag" "ftag *0xffff.*\[ \t\]+.*"    "verify ftag == 0xffff"
 127 }