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

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