gdb/testsuite/gdb.reverse/i387-env-reverse.exp

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