i386 floating point test case integration with gdb.reverse test-suite

i386 floating point test case integration with gdb.reverse test-suite

[paawan oza]

[-- Attachment #1: Type: text/plain, Size: 520 bytes --]

Hi Michael,

please find the test case patch attached. Mainly the patch is intending to test floating point patch which I have submitted earlier.

tests are as follws.

1) first test tests basic testing of FPU stack (st0-st7) and its restoring while reverse execution,
2) second test is testing FPU environment specially fstatus and ftag register.

please find the patch attached. (I am not pasting patch in email text because of space and tab issue)

please review and let me know your comments.

Regards,
Oza.


      

[-- Attachment #2: i386-floats-testsuite.patch --]
[-- Type: application/octet-stream, Size: 17942 bytes --]

diff -urN gdb.orig/Makefile.in gdb.new/Makefile.in
--- gdb.orig/Makefile.in	2009-06-27 14:49:20.000000000 -0400
+++ gdb.new/Makefile.in	2009-08-08 18:27:28.000000000 -0400
@@ -3,7 +3,7 @@
 
 EXECUTABLES   = break-reverse consecutive-reverse finish-reverse \
 	machinestate solib-reverse step-reverse until-reverse \
-	watch-reverse 
+	watch-reverse fpu-stack-test-reverse fpu-env-test-reverse
 
 MISCELLANEOUS = 
 
diff -urN gdb.orig/fpu-env-test-reverse.c gdb.new/fpu-env-test-reverse.c
--- gdb.orig/fpu-env-test-reverse.c	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/fpu-env-test-reverse.c	2009-08-08 18:30:38.000000000 -0400
@@ -0,0 +1,60 @@
+#include <stdio.h>
+#include <math.h>
+#include <stdlib.h>
+
+
+float no1,no2,no3,no4,no5,no6,no7;
+float result,resultd,resultld; 
+float *float_memory;
+long double ldx = 88888888888888888888.88, ldy = 9999999999999999999.99;
+double x = 100.345, y = 25.7789;
+/* marks FPU stack as empty */
+void empty_fpu_stack()
+{
+  asm ("ffree %st(1) \n\t"
+       "ffree %st(2) \n\t"
+       "ffree %st(3) \n\t"
+       "ffree %st(4) \n\t"
+       "ffree %st(5) \n\t"
+       "ffree %st(6) \n\t"
+       "ffree %st(7)");
+}   
+
+/* initialization of floats */
+void init_floats()
+{
+  no1 = 10.45;
+  no2 = 20.77;
+  no3 = 156.89874646;
+  no4 = 14.56;
+  no5 = 11.11;
+  no6 = 66.77;
+  no7 = 88.88;
+  float_memory = malloc(sizeof(float) * 4);
+  *float_memory = 256.256;
+  *(float_memory + 1) = 356.356;
+  *(float_memory + 2) = 456.456;
+  *(float_memory + 3) = 556.556;
+}
+
+int main()
+{
+  init_floats();
+  empty_fpu_stack();    /* BEGIN I387-FLOAT-REVERSE */  
+  
+  asm("nop");   /* TEST ENV */
+  asm ("fsave %0" : "=m"(*float_memory) : );   
+  asm ("frstor %0" : : "m"(*float_memory));
+  asm ("fstsw %ax");     /* test eax register */
+
+  asm ("fld1");
+  asm ("fldl2t");
+  asm ("fldl2e");
+  asm ("fldpi");
+  asm ("fldlg2");
+  asm ("fldln2");
+  asm ("fldz");
+  asm ("nop");
+  
+  return 1;             /* END I387-FLOAT-REVERSE */
+}
diff -urN gdb.orig/fpu-env-test-reverse.exp gdb.new/fpu-env-test-reverse.exp
--- gdb.orig/fpu-env-test-reverse.exp	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/fpu-env-test-reverse.exp	2009-08-08 18:23:18.000000000 -0400
@@ -0,0 +1,147 @@
+# Copyright 2009 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file is part of the gdb testsuite.
+
+if $tracelevel {
+    strace $tracelevel
+}
+
+set prms_id 0
+set bug_id 0
+
+if ![istarget "i?86-*linux*"] then {
+    verbose "Skipping i387 reverse float tests."
+    return
+}
+
+set testfile "fpu-env-test-reverse"
+set srcfile ${testfile}.c
+set binfile ${objdir}/${subdir}/${testfile}
+
+# some targets have leading underscores on assembly symbols.
+# TODO: detect this automatically
+set additional_flags ""
+if [istarget "i?86-*-cygwin*"] then {
+  set additional_flags "additional_flags=-DSYMBOL_PREFIX=\"_\""
+}
+
+if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
+    untested i387-float-reverse
+    return -1
+}
+
+# Get things started.
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+runto main
+
+# Record to end of main
+
+set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
+gdb_test "record" "" "Turn on process record"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "record to end of main"
+
+# Now rewind to beginning so we can begin testing.
+
+set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
+gdb_test "set exec-dir reverse" "" "set reverse direction"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "rewind to beginning of main"
+gdb_test "set exec-dir forward" "" "set forward direction"
+
+# Test FPU env particularly ftag and fstatus reigters.
+
+set location [gdb_get_line_number "TEST ENV"]
+gdb_test "until $location" ".*/$srcfile:$location.*asm.*nop.*" \
+    "begin testing fpu env"       
+
+gdb_test "n" "asm.*fsave.*"               "save FPU env in memory"    
+gdb_test "n" "asm.*frstor.*"              "restore FPU env"
+gdb_test "n" "asm.*fstsw.*"               "store status word in EAX"
+gdb_test "n" "asm.*fld1.*"                "push st0"
+
+gdb_test "info register eax" "eax *0x8040000.*"  "verify eax == 0x8040000"
+gdb_test "info register fstat" "fstat *0.*"      "verify fstat == 0"
+gdb_test "info register ftag" "ftag *0xffff.*"   "verify ftag == 0xffff"
+
+gdb_test "stepi" "asm.*fldl2t.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x3800.*"  "verify fstat == 0x3800"
+gdb_test "info register ftag" "ftag *0x3fff.*"    "verify ftag  == 0x3fff"
+
+gdb_test "stepi" "asm.*fldl2e.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x3000.*"  "verify fstat == 0x3000"
+gdb_test "info register ftag" "ftag *0xfff.*"     "verify ftag  == 0xfff"
+
+gdb_test "stepi" "asm.*fldpi.*"                   "push st0"
+gdb_test "info register fstat" "fstat *0x2800.*"  "verify fstat == 0x2800"
+gdb_test "info register ftag" "ftag *0x3ff.*"     "verify ftag  == 0x3ff"
+
+gdb_test "stepi" "asm.*fldlg2.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x2000.*"  "verify fstat == 0x2000"
+gdb_test "info register ftag" "ftag *0xff.*"      "verify ftag  == 0xff"
+
+gdb_test "stepi" "asm.*fldln2.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x1800.*"  "verify fstat == 0x1800"
+gdb_test "info register ftag" "ftag *0x3f.*"      "verify ftag  == 0x3f"
+
+gdb_test "stepi" "asm.*fldz.*"                    "push st0"
+gdb_test "info register fstat" "fstat *0x1000.*"  "verify fstat == 0x1000"
+gdb_test "info register ftag" "ftag *0xf.*"       "verify ftag  == 0xf"
+
+gdb_test "stepi" "asm.*nop.*"                    "push st0"
+gdb_test "info register fstat" "fstat *0x800.*"  "verify fstat == 0x800"
+gdb_test "info register ftag" "ftag *0x7.*"      "verify ftag  == 0x7"
+
+
+# move backward and ehck we get the same registers back.
+
+gdb_test "reverse-stepi" "asm.*fldz.*"           "push st0"
+gdb_test "info register fstat" "fstat *0x1000.*" "verify fstat == 0x1000"
+gdb_test "info register ftag" "ftag *0xf.*"      "verify ftag  == 0xf"
+
+gdb_test "reverse-stepi" "asm.*fldln2.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x1800.*"  "verify fstat == 0x1800"
+gdb_test "info register ftag" "ftag *0x3f.*"      "verify ftag  == 0x3f"
+
+gdb_test "reverse-stepi" "asm.*fldlg2.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x2000.*"  "verify fstat == 0x2000"
+gdb_test "info register ftag" "ftag *0xff.*"      "verify ftag  == 0xff"
+
+gdb_test "reverse-stepi" "asm.*fldpi.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x2800.*" "verify fstat == 0x2800"
+gdb_test "info register ftag" "ftag *0x3ff.*"    "verify ftag  == 0x3ff"
+
+gdb_test "reverse-stepi" "asm.*fldl2e.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x3000.*"  "verify fstat == 0x3000"
+gdb_test "info register ftag" "ftag *0xfff.*"     "verify ftag  == 0xfff"
+
+gdb_test "reverse-stepi" "asm.*fldl2t.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x3800.*"  "verify fstat == 0x3800"
+gdb_test "info register ftag" "ftag *0x3fff.*"    "verify ftag  == 0x3fff"
+
+gdb_test "reverse-stepi" "asm.*fld1.*"            "push st0"
+gdb_test "info register fstat" "fstat *0.*"       "verify fstat == 0"
+gdb_test "info register ftag" "ftag *0xffff.*"    "verify ftag == 0xffff"
+
+
+
+
+
+
diff -urN gdb.orig/fpu-stack-test-reverse.c gdb.new/fpu-stack-test-reverse.c
--- gdb.orig/fpu-stack-test-reverse.c	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/fpu-stack-test-reverse.c	2009-08-08 18:23:17.000000000 -0400
@@ -0,0 +1,38 @@
+#include <stdio.h>
+#include <math.h>
+#include <stdlib.h>
+
+/* marks FPU stack as empty */
+void empty_fpu_stack()
+{
+  asm ("ffree %st(1) \n\t"
+       "ffree %st(2) \n\t"
+       "ffree %st(3) \n\t"
+       "ffree %st(4) \n\t"
+       "ffree %st(5) \n\t"
+       "ffree %st(6) \n\t"
+       "ffree %st(7)");
+}   
+
+/* tests floating point arithmatic */
+void test_arith_floats()
+{
+  
+}
+
+int main()
+{
+  empty_fpu_stack();    /* BEGIN I387-FLOAT-REVERSE */
+  
+  asm ("fld1");   /* test st0 register */
+  asm ("fldl2t"); /* test st0, st1 */
+  asm ("fldl2e"); /* test st0, st1, st2 */
+  asm ("fldpi");  /* test st0, st1, st2, st3 */
+  asm ("fldlg2"); /* test st0, st1, st2, st3, st4 */
+  asm ("fldln2"); /* test st0, st1, st2, st3, st4, st5 */
+  asm ("fldz");   /* test st0, st1, st2, st3, st4, st5, st6 */
+  asm ("fld1");   /* test st0, st1, st2, st3, st4, st5, st6, st7 */
+  asm ("nop");
+  
+  return 1;             /* END I387-FLOAT-REVERSE */
+}
diff -urN gdb.orig/fpu-stack-test-reverse.exp gdb.new/fpu-stack-test-reverse.exp
--- gdb.orig/fpu-stack-test-reverse.exp	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/fpu-stack-test-reverse.exp	2009-08-08 18:23:17.000000000 -0400
@@ -0,0 +1,177 @@
+# Copyright 2009 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file is part of the gdb testsuite.
+
+if $tracelevel {
+    strace $tracelevel
+}
+
+set prms_id 0
+set bug_id 0
+
+if ![istarget "i?86-*linux*"] then {
+    verbose "Skipping i387 reverse float tests."
+    return
+}
+
+set testfile "fpu-stack-test-reverse"
+set srcfile ${testfile}.c
+set binfile ${objdir}/${subdir}/${testfile}
+
+# some targets have leading underscores on assembly symbols.
+# TODO: detect this automatically
+set additional_flags ""
+if [istarget "i?86-*-cygwin*"] then {
+  set additional_flags "additional_flags=-DSYMBOL_PREFIX=\"_\""
+}
+
+if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
+    untested i387-float-reverse
+    return -1
+}
+
+# Get things started.
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+runto main
+
+# Record to end of main
+
+set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
+gdb_test "record" "" "Turn on process record"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "record to end of main"
+
+# Now rewind to beginning so we can begin testing.
+
+set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
+gdb_test "set exec-dir reverse" "" "set reverse direction"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "rewind to beginning of main"
+gdb_test "set exec-dir forward" "" "set forward direction"
+
+# Test FPU stack. FPU stack includes st0, st1, st2, st3, st4, 
+# st5, st6, st7. We push 8 values to FPU stack in record mode
+# and see whether all are getting recorded.
+
+set location [gdb_get_line_number "test st0 register"]
+gdb_test "until $location" ".*/$srcfile:$location.*asm.*fld1.*" \
+    "begin test st0"
+gdb_test "stepi" "asm.*fldl2t.*"              "push st0 == 1"
+gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"
+
+
+gdb_test "stepi" "asm.*fldl2e.*"              "push st0 == 3.3219280948*"
+gdb_test "info register st0" "st0 *3.32192.*" "verify st0 == 3.3219280948*"
+gdb_test "info register st1" "st1 *1.*"       "verify st1 == 1"
+
+gdb_test "stepi" "asm.*fldpi.*"               "push st0 == 1.44269504088896*"
+gdb_test "info register st0" "st0 *1.44269.*" "verify st0 == 1.44269504088896*"
+gdb_test "info register st1" "st1 *3.32192.*" "verify st1 == 3.3219280948*"
+gdb_test "info register st2" "st2 *1.*"       "verify st2 == 1"
+                                               
+gdb_test "stepi" "asm.*fldlg2.*"              "push st0 == 3.14159265*"
+gdb_test "info register st0" "st0 *3.14159.*" "verify st0 == 3.14159265*"
+gdb_test "info register st1" "st1 *1.44269.*" "verify st1 == 1.44269504088896*"
+gdb_test "info register st2" "st2 *3.32192.*" "verify st2 == 3.3219280948*"
+gdb_test "info register st3" "st3 *1.*"       "verify st3 == 1"
+
+gdb_test "stepi" "asm.*fldln2.*"              "push st0 == 0.301029*"
+gdb_test "info register st0" "st0 *0.30102.*" "verify st0 == 0.301029*"
+gdb_test "info register st1" "st1 *3.14159.*" "verify st1 == 3.14159265*"
+gdb_test "info register st2" "st2 *1.44269.*" "verify st2 == 1.44269504088896*"
+gdb_test "info register st3" "st3 *3.32192.*" "verify st3 == 3.3219280948*"
+gdb_test "info register st4" "st4 *1.*"       "verify st4 == 1"
+
+gdb_test "stepi" "asm.*fldz.*"                "push st0 == 0.69314*"
+gdb_test "info register st0" "st0 *0.69314.*" "verify st0 == 0.69314*"
+gdb_test "info register st1" "st1 *0.30102.*" "verify st1 == 0.301029*"
+gdb_test "info register st2" "st2 *3.14159.*" "verify st2 == 3.14159265*"
+gdb_test "info register st3" "st3 *1.44269.*" "verify st3 == 1.44269504088896*"
+gdb_test "info register st4" "st4 *3.32192.*" "verify st4 == 3.3219280948*"
+gdb_test "info register st5" "st5 *1.*"       "verify st5 == 1"
+
+gdb_test "stepi" "asm.*fld1.*"                "push st0 == 0"
+gdb_test "info register st0" "st0 *0\t.*"     "verify st0 == 0"
+gdb_test "info register st1" "st1 *0.69314.*" "verify st1 == 0.69314*"
+gdb_test "info register st2" "st2 *0.30102.*" "verify st2 == 0.301029*"
+gdb_test "info register st3" "st3 *3.14159.*" "verify st3 == 3.14159265*"
+gdb_test "info register st4" "st4 *1.44269.*" "verify st4 == 1.44269504088896*"
+gdb_test "info register st5" "st5 *3.32192.*" "verify st5 == 3.3219280948*"
+gdb_test "info register st6" "st6 *1.*"       "verify st6 == 1"
+
+gdb_test "stepi" "asm.*nop.*"                 "push st0 == 0"
+gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"
+gdb_test "info register st1" "st1 *0\t.*"     "verify st1 == 0"
+gdb_test "info register st2" "st2 *0.69314.*" "verify st2 == 0.69314*"
+gdb_test "info register st3" "st3 *0.30102.*" "verify st3 == 0.301029*"
+gdb_test "info register st4" "st4 *3.14159.*" "verify st4 == 3.14159265*"
+gdb_test "info register st5" "st5 *1.44269.*" "verify st5 == 1.44269504088896*"
+gdb_test "info register st6" "st6 *3.32192.*" "verify st6 == 3.3219280948*"
+gdb_test "info register st7" "st7 *1.*"       "verify st7 == 1"
+
+# Now step backward, and check that st0 value reverts to zero.
+
+gdb_test "reverse-stepi" "asm.*fld1.*"    "undo registers, st0-st7"
+gdb_test "info register st0" "st0 *0\t.*"     "verify st0 == 0"
+gdb_test "info register st1" "st1 *0.69314.*" "verify st1 == 0.69314*"
+gdb_test "info register st2" "st2 *0.30102.*" "verify st2 == 0.301029*"
+gdb_test "info register st3" "st3 *3.14159.*" "verify st3 == 3.14159265*"
+gdb_test "info register st4" "st4 *1.44269.*" "verify st4 == 1.44269504088896*"
+gdb_test "info register st5" "st5 *3.32192.*" "verify st5 == 3.3219280948*"
+gdb_test "info register st6" "st6 *1.*"       "verify st6 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldz.*"                "push st0 == 0.69314*"
+gdb_test "info register st0" "st0 *0.69314.*" "verify st0 == 0.69314*"
+gdb_test "info register st1" "st1 *0.30102.*" "verify st1 == 0.301029*"
+gdb_test "info register st2" "st2 *3.14159.*" "verify st2 == 3.14159265*"
+gdb_test "info register st3" "st3 *1.44269.*" "verify st3 == 1.44269504088896*"
+gdb_test "info register st4" "st4 *3.32192.*" "verify st4 == 3.3219280948*"
+gdb_test "info register st5" "st5 *1.*"       "verify st5 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldln2.*"      "push st0 == 0.301029*"
+gdb_test "info register st0" "st0 *0.30102.*" "verify st0 == 0.301029*"
+gdb_test "info register st1" "st1 *3.14159.*" "verify st1 == 3.14159265*"
+gdb_test "info register st2" "st2 *1.44269.*" "verify st2 == 1.44269504088896*"
+gdb_test "info register st3" "st3 *3.32192.*" "verify st3 == 3.3219280948*"
+gdb_test "info register st4" "st4 *1.*"       "verify st4 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldlg2.*"      "push st0 == 3.14159265*"
+gdb_test "info register st0" "st0 *3.14159.*" "verify st0 == 3.14159265*"
+gdb_test "info register st1" "st1 *1.44269.*" "verify st1 == 1.44269504088896*"
+gdb_test "info register st2" "st2 *3.32192.*" "verify st2 == 3.3219280948*"
+gdb_test "info register st3" "st3 *1.*"       "verify st3 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldpi.*"       "push st0 == 1.44269504088896*"
+gdb_test "info register st0" "st0 *1.44269.*" "verify st0 == 1.44269504088896*"
+gdb_test "info register st1" "st1 *3.32192.*" "verify st1 == 3.3219280948*"
+gdb_test "info register st2" "st2 *1.*"       "verify st2 == 1"
+
+
+gdb_test "reverse-stepi" "asm.*fldl2e.*"      "push st0 == 3.3219280948*"
+gdb_test "info register st0" "st0 *3.32192.*" "verify st0 == 3.3219280948*"
+gdb_test "info register st1" "st1 *1\t.*"       "verify st1 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldl2t.*"      "push st0 == 1"
+gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"                                               
+
+
+
+
+

Re: i386 floating point test case integration with gdb.reverse test-suite

[Michael Snyder]

paawan oza wrote:
> Hi Michael,
> 
> please find the test case patch attached. Mainly the patch is intending to test floating point patch which I have submitted earlier.
> 
> tests are as follws.
> 
> 1) first test tests basic testing of FPU stack (st0-st7) and its restoring while reverse execution,
> 2) second test is testing FPU environment specially fstatus and ftag register.
> 
> please find the patch attached. (I am not pasting patch in email text because of space and tab issue)
> 
> please review and let me know your comments.

Thanks, Oza.  Just to let you know, I will not have the time
to look at them until at least next weekend.

Michael

Re: i386 floating point test case integration with gdb.reverse test-suite

[Michael Snyder]

paawan oza wrote:
> Hi Michael,
> 
> please find the test case patch attached. Mainly the patch is intending to test floating point patch which I have submitted earlier.
> 
> tests are as follws.
> 
> 1) first test tests basic testing of FPU stack (st0-st7) and its restoring while reverse execution,
> 2) second test is testing FPU environment specially fstatus and ftag register.
> 
> please find the patch attached. (I am not pasting patch in email text because of space and tab issue)
> 
> please review and let me know your comments.
> 
> Regards,
> Oza.

These are very good!  Congratulations on getting the hang of dejagnu so 
quickly.

A few pretty minor suggestions...

1) There are some tests that look like this:
    gdb_test "info register st2" "st2 *1.*"
and some that look like this:
    gdb_test "info register st1" "st1 *1\t.*"
(with a tab in the regular expression).

I like the ones with the tab better -- its more exact, and it
makes certain that the value is really "1", and not eg. "1.1".
Could you make them all like that?  Just the single-digit values.
I'm not worried about the multi-digit ones.

2) The file names should reflect the Intel architecture, since
eventually we will have process record for other architectures.
In fact, maybe these tests should go in gdb.arch instead of in
gdb.reverse, since all the other tests in gdb.reverse are
architecture independent.

How about testsuite/gdb.arch/i387-stack-reverse.exp, etc?

3) I'm not an Intel expert, but you had mentioned a few
other registers in an earlier post, namely:
   fstat
   ftag
   fiseg
   fioff
   foseg
   fooff
   fop

Are all of those handled now?  If so, could we include them in the test?

Thanks again for your hard work and patience.
Michael

Re: i386 floating point test case integration with gdb.reverse test-suite

[Michael Snyder]

Michael Snyder wrote:

> Thanks again for your hard work and patience.
> Michael

Oh, and I forgot -- can we have a change log entry for these?
There is a separate ChangeLog file for the test suite -- at
gdb/testsuite/ChangeLog.  All it needs is a mention of adding
the new files.

Re: i386 floating point test case integration with gdb.reverse test-suite

[paawan oza]

Hi,

please find my comments below.

1) There are some tests that look like this:
   gdb_test "info register st1" "st1 *1\t.*"
(with a tab in the regular expression).

I like the ones with the tab better -- its more exact, and it
makes certain that the value is really "1", and not eg. "1.1".
Could you make them all like that?  Just the single-digit values.
I'm not worried about the multi-digit ones.

Oza : I will correct this in next patch.

2) The file names should reflect the Intel architecture, since
eventually we will have process record for other architectures.
In fact, maybe these tests should go in gdb.arch instead of in
gdb.reverse, since all the other tests in gdb.reverse are
architecture independent.

How about testsuite/gdb.arch/i387-stack-reverse.exp, etc?

Oza : I will change the names.

3) I'm not an Intel expert, but you had mentioned a few
other registers in an earlier post, namely:
  fstat
  ftag
  fiseg
  fioff
  foseg
  fooff
  fop

Oza: second test case test some of above registers, such as fstat and ftag..these two registers are most frequently used as trackkers by intel.
In my opinion, If we test above it is sufficient as it gives us gurantee
of I387 FPU is working and recorded as expected. other registers are not of direct interest to us.

If you still feel then we can include one test.

Regards,
Oza.

--- On Mon, 8/17/09, Michael Snyder <msnyder@vmware.com> wrote:

> From: Michael Snyder <msnyder@vmware.com>
> Subject: Re: i386 floating point test case integration with gdb.reverse test-suite
> To: "paawan oza" <paawan1982@yahoo.com>
> Cc: "Hui Zhu" <teawater@gmail.com>, "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
> Date: Monday, August 17, 2009, 3:08 AM
> paawan oza wrote:
> > Hi Michael,
> > 
> > please find the test case patch attached. Mainly the
> patch is intending to test floating point patch which I have
> submitted earlier.
> > 
> > tests are as follws.
> > 
> > 1) first test tests basic testing of FPU stack
> (st0-st7) and its restoring while reverse execution,
> > 2) second test is testing FPU environment specially
> fstatus and ftag register.
> > 
> > please find the patch attached. (I am not pasting
> patch in email text because of space and tab issue)
> > 
> > please review and let me know your comments.
> > 
> > Regards,
> > Oza.
> 
> These are very good!  Congratulations on getting the
> hang of dejagnu so quickly.
> 
> A few pretty minor suggestions...
> 
> 1) There are some tests that look like this:
>    gdb_test "info register st2" "st2 *1.*"
> and some that look like this:
>    gdb_test "info register st1" "st1
> *1\t.*"
> (with a tab in the regular expression).
> 
> I like the ones with the tab better -- its more exact, and
> it
> makes certain that the value is really "1", and not eg.
> "1.1".
> Could you make them all like that?  Just the
> single-digit values.
> I'm not worried about the multi-digit ones.
> 
> 2) The file names should reflect the Intel architecture,
> since
> eventually we will have process record for other
> architectures.
> In fact, maybe these tests should go in gdb.arch instead of
> in
> gdb.reverse, since all the other tests in gdb.reverse are
> architecture independent.
> 
> How about testsuite/gdb.arch/i387-stack-reverse.exp, etc?
> 
> 3) I'm not an Intel expert, but you had mentioned a few
> other registers in an earlier post, namely:
>   fstat
>   ftag
>   fiseg
>   fioff
>   foseg
>   fooff
>   fop
> 
> Are all of those handled now?  If so, could we include
> them in the test?
> 
> Thanks again for your hard work and patience.
> Michael
> 

Re: i386 floating point test case integration with gdb.reverse test-suite

[Hui Zhu]

[-- Attachment #1: Type: text/plain, Size: 1174 bytes --]

Hi guys,

The attachment is a small update follow cvs.

I try this patch with x86 fp patch in ubuntu x86, everything is OK.
So..

Thanks,
Hui

On Sat, Aug 22, 2009 at 03:52, paawan oza <paawan1982@yahoo.com> wrote:
> Hi Michael,
> I have taken care most of your comments.
> please find the gdb.reverse test suite patch attached. and Changelog patch as well.
> Regards,
> Oza.
>
> --- On Mon, 8/17/09, Michael Snyder <msnyder@vmware.com> wrote:
>
>> From: Michael Snyder <msnyder@vmware.com>
>> Subject: Re: i386 floating point test case integration with gdb.reverse test-suite
>> To: "Michael Snyder" <msnyder@vmware.com>
>> Cc: "paawan oza" <paawan1982@yahoo.com>, "Hui Zhu" <teawater@gmail.com>, "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
>> Date: Monday, August 17, 2009, 3:11 AM
>> Michael Snyder wrote:
>>
>> > Thanks again for your hard work and patience.
>> > Michael
>>
>> Oh, and I forgot -- can we have a change log entry for
>> these?
>> There is a separate ChangeLog file for the test suite --
>> at
>> gdb/testsuite/ChangeLog.  All it needs is a mention of
>> adding
>> the new files.
>>
>>
>>
>>
>
>
>

[-- Attachment #2: i386-floats-testsuite.patch --]
[-- Type: text/x-patch, Size: 17645 bytes --]

---
 Makefile.in            |    2 
 i387-env-reverse.c     |   60 ++++++++++++++++
 i387-env-reverse.exp   |  147 ++++++++++++++++++++++++++++++++++++++++
 i387-stack-reverse.c   |   38 ++++++++++
 i387-stack-reverse.exp |  177 +++++++++++++++++++++++++++++++++++++++++++++++++
 5 files changed, 423 insertions(+), 1 deletion(-)

--- a/Makefile.in
+++ b/Makefile.in
@@ -3,7 +3,7 @@ srcdir = @srcdir@
 
 EXECUTABLES   = break-reverse consecutive-reverse finish-reverse \
 	machinestate solib-reverse step-reverse until-reverse \
-	watch-reverse i386-reverse
+	watch-reverse i386-reverse i387-stack-reverse i387-env-reverse
 
 MISCELLANEOUS = 
 
--- /dev/null
+++ b/i387-env-reverse.c
@@ -0,0 +1,60 @@
+#include <stdio.h>
+#include <math.h>
+#include <stdlib.h>
+
+
+float no1,no2,no3,no4,no5,no6,no7;
+float result,resultd,resultld;
+float *float_memory;
+long double ldx = 88888888888888888888.88, ldy = 9999999999999999999.99;
+double x = 100.345, y = 25.7789;
+/* marks FPU stack as empty */
+void empty_fpu_stack()
+{
+  asm ("ffree %st(1) \n\t"
+       "ffree %st(2) \n\t"
+       "ffree %st(3) \n\t"
+       "ffree %st(4) \n\t"
+       "ffree %st(5) \n\t"
+       "ffree %st(6) \n\t"
+       "ffree %st(7)");
+}
+
+/* initialization of floats */
+void init_floats()
+{
+  no1 = 10.45;
+  no2 = 20.77;
+  no3 = 156.89874646;
+  no4 = 14.56;
+  no5 = 11.11;
+  no6 = 66.77;
+  no7 = 88.88;
+  float_memory = malloc(sizeof(float) * 4);
+  *float_memory = 256.256;
+  *(float_memory + 1) = 356.356;
+  *(float_memory + 2) = 456.456;
+  *(float_memory + 3) = 556.556;
+}
+
+int main()
+{
+  init_floats();
+  empty_fpu_stack();    /* BEGIN I387-FLOAT-REVERSE */
+
+  asm("nop");   /* TEST ENV */
+  asm ("fsave %0" : "=m"(*float_memory) : );
+  asm ("frstor %0" : : "m"(*float_memory));
+  asm ("fstsw %ax");     /* test eax register */
+
+  asm ("fld1");
+  asm ("fldl2t");
+  asm ("fldl2e");
+  asm ("fldpi");
+  asm ("fldlg2");
+  asm ("fldln2");
+  asm ("fldz");
+  asm ("nop");
+
+  return 1;             /* END I387-FLOAT-REVERSE */
+}
--- /dev/null
+++ b/i387-env-reverse.exp
@@ -0,0 +1,147 @@
+# Copyright 2009 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file is part of the gdb testsuite.
+
+if $tracelevel {
+    strace $tracelevel
+}
+
+set prms_id 0
+set bug_id 0
+
+if ![istarget "i?86-*linux*"] then {
+    verbose "Skipping i387 reverse float tests."
+    return
+}
+
+set testfile "i387-env-reverse"
+set srcfile ${testfile}.c
+set binfile ${objdir}/${subdir}/${testfile}
+
+# some targets have leading underscores on assembly symbols.
+# TODO: detect this automatically
+set additional_flags ""
+if [istarget "i?86-*-cygwin*"] then {
+  set additional_flags "additional_flags=-DSYMBOL_PREFIX=\"_\""
+}
+
+if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
+    untested i387-float-reverse
+    return -1
+}
+
+# Get things started.
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+runto main
+
+# Record to end of main
+
+set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
+gdb_test "record" "" "Turn on process record"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "record to end of main"
+
+# Now rewind to beginning so we can begin testing.
+
+set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
+gdb_test "set exec-dir reverse" "" "set reverse direction"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "rewind to beginning of main"
+gdb_test "set exec-dir forward" "" "set forward direction"
+
+# Test FPU env particularly ftag and fstatus reigters.
+
+set location [gdb_get_line_number "TEST ENV"]
+gdb_test "until $location" ".*/$srcfile:$location.*asm.*nop.*" \
+    "begin testing fpu env"
+
+gdb_test "n" "asm.*fsave.*"               "save FPU env in memory"
+gdb_test "n" "asm.*frstor.*"              "restore FPU env"
+gdb_test "n" "asm.*fstsw.*"               "store status word in EAX"
+gdb_test "n" "asm.*fld1.*"                "push st0"
+
+gdb_test "info register eax" "eax *0x8040000.*\t.*"  "verify eax == 0x8040000"
+gdb_test "info register fstat" "fstat *0.*\t.*"      "verify fstat == 0"
+gdb_test "info register ftag" "ftag *0xffff.*\t.*"   "verify ftag == 0xffff"
+
+gdb_test "stepi" "asm.*fldl2t.*"                      "push st0"
+gdb_test "info register fstat" "fstat *0x3800.*\t.*"  "verify fstat == 0x3800"
+gdb_test "info register ftag" "ftag *0x3fff.*\t.*"    "verify ftag  == 0x3fff"
+
+gdb_test "stepi" "asm.*fldl2e.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x3000.*\t.*"  "verify fstat == 0x3000"
+gdb_test "info register ftag" "ftag *0xfff.*\t.*"     "verify ftag  == 0xfff"
+
+gdb_test "stepi" "asm.*fldpi.*"                   "push st0"
+gdb_test "info register fstat" "fstat *0x2800.*\t.*"  "verify fstat == 0x2800"
+gdb_test "info register ftag" "ftag *0x3ff.*\t.*"     "verify ftag  == 0x3ff"
+
+gdb_test "stepi" "asm.*fldlg2.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x2000.*\t.*"  "verify fstat == 0x2000"
+gdb_test "info register ftag" "ftag *0xff.*\t.*"      "verify ftag  == 0xff"
+
+gdb_test "stepi" "asm.*fldln2.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x1800.*\t.*"  "verify fstat == 0x1800"
+gdb_test "info register ftag" "ftag *0x3f.*\t.*"      "verify ftag  == 0x3f"
+
+gdb_test "stepi" "asm.*fldz.*"                    "push st0"
+gdb_test "info register fstat" "fstat *0x1000.*\t.*"  "verify fstat == 0x1000"
+gdb_test "info register ftag" "ftag *0xf.*\t.*"       "verify ftag  == 0xf"
+
+gdb_test "stepi" "asm.*nop.*"                    "push st0"
+gdb_test "info register fstat" "fstat *0x800.*\t.*"  "verify fstat == 0x800"
+gdb_test "info register ftag" "ftag *0x7.*\t.*"      "verify ftag  == 0x7"
+
+
+# move backward and ehck we get the same registers back.
+
+gdb_test "reverse-stepi" "asm.*fldz.*"           "push st0"
+gdb_test "info register fstat" "fstat *0x1000.*\t.*" "verify fstat == 0x1000"
+gdb_test "info register ftag" "ftag *0xf.*\t.*"      "verify ftag  == 0xf"
+
+gdb_test "reverse-stepi" "asm.*fldln2.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x1800.*\t.*"  "verify fstat == 0x1800"
+gdb_test "info register ftag" "ftag *0x3f.*\t.*"      "verify ftag  == 0x3f"
+
+gdb_test "reverse-stepi" "asm.*fldlg2.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x2000.*\t.*"  "verify fstat == 0x2000"
+gdb_test "info register ftag" "ftag *0xff.*\t.*"      "verify ftag  == 0xff"
+
+gdb_test "reverse-stepi" "asm.*fldpi.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x2800.*\t.*" "verify fstat == 0x2800"
+gdb_test "info register ftag" "ftag *0x3ff.*\t.*"    "verify ftag  == 0x3ff"
+
+gdb_test "reverse-stepi" "asm.*fldl2e.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x3000.*\t.*"  "verify fstat == 0x3000"
+gdb_test "info register ftag" "ftag *0xfff.*\t.*"     "verify ftag  == 0xfff"
+
+gdb_test "reverse-stepi" "asm.*fldl2t.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x3800.*\t.*"  "verify fstat == 0x3800"
+gdb_test "info register ftag" "ftag *0x3fff.*\t.*"    "verify ftag  == 0x3fff"
+
+gdb_test "reverse-stepi" "asm.*fld1.*"            "push st0"
+gdb_test "info register fstat" "fstat *0.*\t.*"       "verify fstat == 0"
+gdb_test "info register ftag" "ftag *0xffff.*\t.*"    "verify ftag == 0xffff"
+
+
+
+
+
+
--- /dev/null
+++ b/i387-stack-reverse.c
@@ -0,0 +1,38 @@
+#include <stdio.h>
+#include <math.h>
+#include <stdlib.h>
+
+/* marks FPU stack as empty */
+void empty_fpu_stack()
+{
+  asm ("ffree %st(1) \n\t"
+       "ffree %st(2) \n\t"
+       "ffree %st(3) \n\t"
+       "ffree %st(4) \n\t"
+       "ffree %st(5) \n\t"
+       "ffree %st(6) \n\t"
+       "ffree %st(7)");
+}
+
+/* tests floating point arithmatic */
+void test_arith_floats()
+{
+
+}
+
+int main()
+{
+  empty_fpu_stack();    /* BEGIN I387-FLOAT-REVERSE */
+
+  asm ("fld1");   /* test st0 register */
+  asm ("fldl2t"); /* test st0, st1 */
+  asm ("fldl2e"); /* test st0, st1, st2 */
+  asm ("fldpi");  /* test st0, st1, st2, st3 */
+  asm ("fldlg2"); /* test st0, st1, st2, st3, st4 */
+  asm ("fldln2"); /* test st0, st1, st2, st3, st4, st5 */
+  asm ("fldz");   /* test st0, st1, st2, st3, st4, st5, st6 */
+  asm ("fld1");   /* test st0, st1, st2, st3, st4, st5, st6, st7 */
+  asm ("nop");
+
+  return 1;             /* END I387-FLOAT-REVERSE */
+}
--- /dev/null
+++ b/i387-stack-reverse.exp
@@ -0,0 +1,177 @@
+# Copyright 2009 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file is part of the gdb testsuite.
+
+if $tracelevel {
+    strace $tracelevel
+}
+
+set prms_id 0
+set bug_id 0
+
+if ![istarget "i?86-*linux*"] then {
+    verbose "Skipping i387 reverse float tests."
+    return
+}
+
+set testfile "i387-stack-reverse"
+set srcfile ${testfile}.c
+set binfile ${objdir}/${subdir}/${testfile}
+
+# some targets have leading underscores on assembly symbols.
+# TODO: detect this automatically
+set additional_flags ""
+if [istarget "i?86-*-cygwin*"] then {
+  set additional_flags "additional_flags=-DSYMBOL_PREFIX=\"_\""
+}
+
+if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
+    untested i387-float-reverse
+    return -1
+}
+
+# Get things started.
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+runto main
+
+# Record to end of main
+
+set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
+gdb_test "record" "" "Turn on process record"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "record to end of main"
+
+# Now rewind to beginning so we can begin testing.
+
+set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
+gdb_test "set exec-dir reverse" "" "set reverse direction"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "rewind to beginning of main"
+gdb_test "set exec-dir forward" "" "set forward direction"
+
+# Test FPU stack. FPU stack includes st0, st1, st2, st3, st4,
+# st5, st6, st7. We push 8 values to FPU stack in record mode
+# and see whether all are getting recorded.
+
+set location [gdb_get_line_number "test st0 register"]
+gdb_test "until $location" ".*/$srcfile:$location.*asm.*fld1.*" \
+    "begin test st0"
+gdb_test "stepi" "asm.*fldl2t.*"              "push st0 == 1"
+gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"
+
+
+gdb_test "stepi" "asm.*fldl2e.*"              "push st0 == 3.3219280948*"
+gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.321928094*"
+gdb_test "info register st1" "st1 *1\t.*"       "verify st1 == 1"
+
+gdb_test "stepi" "asm.*fldpi.*"                   "push st0 == 1.4426950406*"
+gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*"
+gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*"
+gdb_test "info register st2" "st2 *1\t.*"         "verify st2 == 1"
+
+gdb_test "stepi" "asm.*fldlg2.*"                  "push st0 == 3.14159265*"
+gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*"
+gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.4426950*"
+gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280*"
+gdb_test "info register st3" "st3 *1\t.*"          "verify st3 == 1"
+
+gdb_test "stepi" "asm.*fldln2.*"                  "push st0 == 0.301029*"
+gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*"
+gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*"
+gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.44269506*"
+gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*"
+gdb_test "info register st4" "st4 *1\t.*"         "verify st4 == 1"
+
+gdb_test "stepi" "asm.*fldz.*"                    "push st0 == 0.69314*"
+gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*"
+gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*"
+gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*"
+gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*"
+gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*"
+gdb_test "info register st5" "st5 *1\t.*"         "verify st5 == 1"
+
+gdb_test "stepi" "asm.*fld1.*"                    "push st0 == 0"
+gdb_test "info register st0" "st0 *0\t.*"         "verify st0 == 0"
+gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*"
+gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*"
+gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*"
+gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*"
+gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.32192809*"
+gdb_test "info register st6" "st6 *1\t.*"         "verify st6 == 1"
+
+gdb_test "stepi" "asm.*nop.*"                     "push st0 == 0"
+gdb_test "info register st0" "st0 *1\t.*"         "verify st0 == 1"
+gdb_test "info register st1" "st1 *0\t.*"         "verify st1 == 0"
+gdb_test "info register st2" "st2 *0.69314.*\t.*" "verify st2 == 0.69314*"
+gdb_test "info register st3" "st3 *0.30102.*\t.*" "verify st3 == 0.301029*"
+gdb_test "info register st4" "st4 *3.14159.*\t.*" "verify st4 == 3.14159265*"
+gdb_test "info register st5" "st5 *1.44269.*\t.*" "verify st5 == 1.44269504*"
+gdb_test "info register st6" "st6 *3.32192.*\t.*" "verify st6 == 3.3219280948*"
+gdb_test "info register st7" "st7 *1.*"           "verify st7 == 1"
+
+# Now step backward, and check that st0 value reverts to zero.
+
+gdb_test "reverse-stepi" "asm.*fld1.*"            "undo registers, st0-st7"
+gdb_test "info register st0" "st0 *0\t.*"         "verify st0 == 0"
+gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*"
+gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*"
+gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*"
+gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*"
+gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.3219280948*"
+gdb_test "info register st6" "st6 *1\t.*"         "verify st6 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldz.*"            "push st0 == 0.69314*"
+gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*"
+gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*"
+gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*"
+gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*"
+gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*"
+gdb_test "info register st5" "st5 *1\t.*"       "verify st5 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldln2.*"          "push st0 == 0.301029*"
+gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*"
+gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*"
+gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.442695040*"
+gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*"
+gdb_test "info register st4" "st4 *1\t.*"         "verify st4 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldlg2.*"          "push st0 == 3.14159265*"
+gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*"
+gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.442695040*"
+gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280948*"
+gdb_test "info register st3" "st3 *1\t.*"       "verify st3 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldpi.*"           "push st0 == 1.44269504088*"
+gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*"
+gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*"
+gdb_test "info register st2" "st2 *1\t.*"         "verify st2 == 1"
+
+
+gdb_test "reverse-stepi" "asm.*fldl2e.*"          "push st0 == 3.3219280948*"
+gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.3219280948*"
+gdb_test "info register st1" "st1 *1\t.*"         "verify st1 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldl2t.*"      "push st0 == 1"
+gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"
+
+
+
+
+

Re: i386 floating point test case integration with gdb.reverse test-suite

[Hui Zhu]

I think it's OK.

Thanks,
Hui

On Sat, Dec 5, 2009 at 03:03, Michael Snyder <msnyder@vmware.com> wrote:
> paawan oza wrote:
>>
>> Hi,
>> I have been trying to send pdf and zipped pdf copy right paper to
>> "gdb-patches@sourceware.org" in plain text format.
>> but I am getting delivery failure message.
>> Regards,
>> Oza.
>
> It's OK, I think we got them.
>
> Does anyone see any remaining reason why these patches
> shouldn't now be merged and checked in?
>
> Michael
>
>

Re: i386 floating point test case integration with gdb.reverse test-suite

[Michael Snyder]

paawan oza wrote:
> Hi,
> I have been trying to send pdf and zipped pdf copy right paper to "gdb-patches@sourceware.org" in plain text format.
> but I am getting delivery failure message.
> Regards,
> Oza.

It's OK, I think we got them.

Does anyone see any remaining reason why these patches
shouldn't now be merged and checked in?

Michael

Re: i386 floating point test case integration with gdb.reverse test-suite

[paawan oza]

Hi,
I have been trying to send pdf and zipped pdf copy right paper to "gdb-patches@sourceware.org" in plain text format.
but I am getting delivery failure message.
Regards,
Oza.

----- Original Message ----
From: paawan oza <paawan1982@yahoo.com>
To: Michael Snyder <msnyder@vmware.com>; "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
Cc: Hui Zhu <teawater@gmail.com>
Sent: Fri, December 4, 2009 8:46:34 AM
Subject: Re: i386 floating point test case integration with gdb.reverse test-suite

Hi All,
with reference to the mail below ;
I have finished copy-right paperwork, and received digital copy of papers yesterday from FSF.
please find the signed digital copy attached in my previous mail.
Regards,
Oza.


----- Original Message ----
From: Michael Snyder <msnyder@vmware.com>
To: paawan oza <paawan1982@yahoo.com>
Cc: Hui Zhu <teawater@gmail.com>; "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
Sent: Sun, August 23, 2009 8:41:25 AM
Subject: Re: i386 floating point test case integration with gdb.reverse test-suite

paawan oza wrote:
> Hi Michael,
> I have taken care most of your comments.
> please find the gdb.reverse test suite patch attached. and Changelog patch as well.
> Regards,
> Oza.

Thanks, Oza.  This looks great.
Do you have a copyright assignment on file?
Once we get that taken care of, I think your stuff is ready to go in.

Michael


      

Re: i386 floating point test case integration with gdb.reverse test-suite

[paawan oza]

Hi All,
with reference to the mail below ;
I have finished copy-right paperwork, and received digital copy of papers yesterday from FSF.
please find the signed digital copy attached in my previous mail.
Regards,
Oza.


----- Original Message ----
From: Michael Snyder <msnyder@vmware.com>
To: paawan oza <paawan1982@yahoo.com>
Cc: Hui Zhu <teawater@gmail.com>; "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
Sent: Sun, August 23, 2009 8:41:25 AM
Subject: Re: i386 floating point test case integration with gdb.reverse test-suite

paawan oza wrote:
> Hi Michael,
> I have taken care most of your comments.
> please find the gdb.reverse test suite patch attached. and Changelog patch as well.
> Regards,
> Oza.

Thanks, Oza.  This looks great.
Do you have a copyright assignment on file?
Once we get that taken care of, I think your stuff is ready to go in.

Michael


      

Re: i386 floating point test case integration with gdb.reverse test-suite

[Michael Snyder]

paawan oza wrote:
> Hi Michael,
> I have taken care most of your comments.
> please find the gdb.reverse test suite patch attached. and Changelog patch as well.
> Regards,
> Oza.

Thanks, Oza.  This looks great.
Do you have a copyright assignment on file?
Once we get that taken care of, I think your stuff is ready to go in.

Michael

Re: i386 floating point test case integration with gdb.reverse test-suite

[paawan oza]

[-- Attachment #1: Type: text/plain, Size: 919 bytes --]

Hi Michael,
I have taken care most of your comments.
please find the gdb.reverse test suite patch attached. and Changelog patch as well.
Regards,
Oza.

--- On Mon, 8/17/09, Michael Snyder <msnyder@vmware.com> wrote:

> From: Michael Snyder <msnyder@vmware.com>
> Subject: Re: i386 floating point test case integration with gdb.reverse test-suite
> To: "Michael Snyder" <msnyder@vmware.com>
> Cc: "paawan oza" <paawan1982@yahoo.com>, "Hui Zhu" <teawater@gmail.com>, "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
> Date: Monday, August 17, 2009, 3:11 AM
> Michael Snyder wrote:
> 
> > Thanks again for your hard work and patience.
> > Michael
> 
> Oh, and I forgot -- can we have a change log entry for
> these?
> There is a separate ChangeLog file for the test suite --
> at
> gdb/testsuite/ChangeLog.  All it needs is a mention of
> adding
> the new files.
> 
> 
> 
>


      

[-- Attachment #2: test-ChangeLog.patch --]
[-- Type: application/octet-stream, Size: 567 bytes --]

--- gdb.orig/ChangeLog	2009-08-22 01:18:03.000000000 -0400
+++ gdb.new/test-float-ChangeLog	2009-08-22 01:18:03.000000000 -0400
@@ -1,3 +1,11 @@
+2009-08-21  Oza Pawandeep
+
+        * gdb.reverse/i387-env-reverse.exp: New Expect file
+        * gdb.reverse/i387-env-reverse.c: New Source
+        * gdb.reverse/i387-stack-reverse.exp: New Expect file
+        * gdb.reverse/i387-stack-reverse.c: New Surce
+        * gdb.reverse/Makefile.in: Added i387-env-reverse & i387-stack-reverse
+
 2009-08-19  Doug Evans  <dje@google.com>
 
 	* gdb.base/gdbvars.c: New file.

[-- Attachment #3: i386-floats-testsuite.patch --]
[-- Type: application/octet-stream, Size: 18203 bytes --]

diff -urN gdb.orig/Makefile.in gdb.new/Makefile.in
--- gdb.orig/Makefile.in	2009-08-22 01:06:41.000000000 -0400
+++ gdb.new/Makefile.in	2009-08-22 01:00:27.000000000 -0400
@@ -3,7 +3,7 @@
 
 EXECUTABLES   = break-reverse consecutive-reverse finish-reverse \
 	machinestate solib-reverse step-reverse until-reverse \
-	watch-reverse 
+	watch-reverse i387-stack-reverse i387-env-reverse
 
 MISCELLANEOUS = 
 
diff -urN gdb.orig/i387-env-reverse.c gdb.new/i387-env-reverse.c
--- gdb.orig/i387-env-reverse.c	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/i387-env-reverse.c	2009-08-22 01:00:27.000000000 -0400
@@ -0,0 +1,60 @@
+#include <stdio.h>
+#include <math.h>
+#include <stdlib.h>
+
+
+float no1,no2,no3,no4,no5,no6,no7;
+float result,resultd,resultld; 
+float *float_memory;
+long double ldx = 88888888888888888888.88, ldy = 9999999999999999999.99;
+double x = 100.345, y = 25.7789;
+/* marks FPU stack as empty */
+void empty_fpu_stack()
+{
+  asm ("ffree %st(1) \n\t"
+       "ffree %st(2) \n\t"
+       "ffree %st(3) \n\t"
+       "ffree %st(4) \n\t"
+       "ffree %st(5) \n\t"
+       "ffree %st(6) \n\t"
+       "ffree %st(7)");
+}   
+
+/* initialization of floats */
+void init_floats()
+{
+  no1 = 10.45;
+  no2 = 20.77;
+  no3 = 156.89874646;
+  no4 = 14.56;
+  no5 = 11.11;
+  no6 = 66.77;
+  no7 = 88.88;
+  float_memory = malloc(sizeof(float) * 4);
+  *float_memory = 256.256;
+  *(float_memory + 1) = 356.356;
+  *(float_memory + 2) = 456.456;
+  *(float_memory + 3) = 556.556;
+}
+
+int main()
+{
+  init_floats();
+  empty_fpu_stack();    /* BEGIN I387-FLOAT-REVERSE */  
+  
+  asm("nop");   /* TEST ENV */
+  asm ("fsave %0" : "=m"(*float_memory) : );   
+  asm ("frstor %0" : : "m"(*float_memory));
+  asm ("fstsw %ax");     /* test eax register */
+
+  asm ("fld1");
+  asm ("fldl2t");
+  asm ("fldl2e");
+  asm ("fldpi");
+  asm ("fldlg2");
+  asm ("fldln2");
+  asm ("fldz");
+  asm ("nop");
+  
+  return 1;             /* END I387-FLOAT-REVERSE */
+}
diff -urN gdb.orig/i387-env-reverse.exp gdb.new/i387-env-reverse.exp
--- gdb.orig/i387-env-reverse.exp	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/i387-env-reverse.exp	2009-08-22 01:00:27.000000000 -0400
@@ -0,0 +1,147 @@
+# Copyright 2009 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file is part of the gdb testsuite.
+
+if $tracelevel {
+    strace $tracelevel
+}
+
+set prms_id 0
+set bug_id 0
+
+if ![istarget "i?86-*linux*"] then {
+    verbose "Skipping i387 reverse float tests."
+    return
+}
+
+set testfile "i387-env-reverse"
+set srcfile ${testfile}.c
+set binfile ${objdir}/${subdir}/${testfile}
+
+# some targets have leading underscores on assembly symbols.
+# TODO: detect this automatically
+set additional_flags ""
+if [istarget "i?86-*-cygwin*"] then {
+  set additional_flags "additional_flags=-DSYMBOL_PREFIX=\"_\""
+}
+
+if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
+    untested i387-float-reverse
+    return -1
+}
+
+# Get things started.
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+runto main
+
+# Record to end of main
+
+set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
+gdb_test "record" "" "Turn on process record"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "record to end of main"
+
+# Now rewind to beginning so we can begin testing.
+
+set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
+gdb_test "set exec-dir reverse" "" "set reverse direction"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "rewind to beginning of main"
+gdb_test "set exec-dir forward" "" "set forward direction"
+
+# Test FPU env particularly ftag and fstatus reigters.
+
+set location [gdb_get_line_number "TEST ENV"]
+gdb_test "until $location" ".*/$srcfile:$location.*asm.*nop.*" \
+    "begin testing fpu env"       
+
+gdb_test "n" "asm.*fsave.*"               "save FPU env in memory"    
+gdb_test "n" "asm.*frstor.*"              "restore FPU env"
+gdb_test "n" "asm.*fstsw.*"               "store status word in EAX"
+gdb_test "n" "asm.*fld1.*"                "push st0"
+
+gdb_test "info register eax" "eax *0x8040000.*\t.*"  "verify eax == 0x8040000"
+gdb_test "info register fstat" "fstat *0.*\t.*"      "verify fstat == 0"
+gdb_test "info register ftag" "ftag *0xffff.*\t.*"   "verify ftag == 0xffff"
+
+gdb_test "stepi" "asm.*fldl2t.*"                      "push st0"
+gdb_test "info register fstat" "fstat *0x3800.*\t.*"  "verify fstat == 0x3800"
+gdb_test "info register ftag" "ftag *0x3fff.*\t.*"    "verify ftag  == 0x3fff"
+
+gdb_test "stepi" "asm.*fldl2e.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x3000.*\t.*"  "verify fstat == 0x3000"
+gdb_test "info register ftag" "ftag *0xfff.*\t.*"     "verify ftag  == 0xfff"
+
+gdb_test "stepi" "asm.*fldpi.*"                   "push st0"
+gdb_test "info register fstat" "fstat *0x2800.*\t.*"  "verify fstat == 0x2800"
+gdb_test "info register ftag" "ftag *0x3ff.*\t.*"     "verify ftag  == 0x3ff"
+
+gdb_test "stepi" "asm.*fldlg2.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x2000.*\t.*"  "verify fstat == 0x2000"
+gdb_test "info register ftag" "ftag *0xff.*\t.*"      "verify ftag  == 0xff"
+
+gdb_test "stepi" "asm.*fldln2.*"                  "push st0"
+gdb_test "info register fstat" "fstat *0x1800.*\t.*"  "verify fstat == 0x1800"
+gdb_test "info register ftag" "ftag *0x3f.*\t.*"      "verify ftag  == 0x3f"
+
+gdb_test "stepi" "asm.*fldz.*"                    "push st0"
+gdb_test "info register fstat" "fstat *0x1000.*\t.*"  "verify fstat == 0x1000"
+gdb_test "info register ftag" "ftag *0xf.*\t.*"       "verify ftag  == 0xf"
+
+gdb_test "stepi" "asm.*nop.*"                    "push st0"
+gdb_test "info register fstat" "fstat *0x800.*\t.*"  "verify fstat == 0x800"
+gdb_test "info register ftag" "ftag *0x7.*\t.*"      "verify ftag  == 0x7"
+
+
+# move backward and ehck we get the same registers back.
+
+gdb_test "reverse-stepi" "asm.*fldz.*"           "push st0"
+gdb_test "info register fstat" "fstat *0x1000.*\t.*" "verify fstat == 0x1000"
+gdb_test "info register ftag" "ftag *0xf.*\t.*"      "verify ftag  == 0xf"
+
+gdb_test "reverse-stepi" "asm.*fldln2.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x1800.*\t.*"  "verify fstat == 0x1800"
+gdb_test "info register ftag" "ftag *0x3f.*\t.*"      "verify ftag  == 0x3f"
+
+gdb_test "reverse-stepi" "asm.*fldlg2.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x2000.*\t.*"  "verify fstat == 0x2000"
+gdb_test "info register ftag" "ftag *0xff.*\t.*"      "verify ftag  == 0xff"
+
+gdb_test "reverse-stepi" "asm.*fldpi.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x2800.*\t.*" "verify fstat == 0x2800"
+gdb_test "info register ftag" "ftag *0x3ff.*\t.*"    "verify ftag  == 0x3ff"
+
+gdb_test "reverse-stepi" "asm.*fldl2e.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x3000.*\t.*"  "verify fstat == 0x3000"
+gdb_test "info register ftag" "ftag *0xfff.*\t.*"     "verify ftag  == 0xfff"
+
+gdb_test "reverse-stepi" "asm.*fldl2t.*"          "push st0"
+gdb_test "info register fstat" "fstat *0x3800.*\t.*"  "verify fstat == 0x3800"
+gdb_test "info register ftag" "ftag *0x3fff.*\t.*"    "verify ftag  == 0x3fff"
+
+gdb_test "reverse-stepi" "asm.*fld1.*"            "push st0"
+gdb_test "info register fstat" "fstat *0.*\t.*"       "verify fstat == 0"
+gdb_test "info register ftag" "ftag *0xffff.*\t.*"    "verify ftag == 0xffff"
+
+
+
+
+
+
diff -urN gdb.orig/i387-stack-reverse.c gdb.new/i387-stack-reverse.c
--- gdb.orig/i387-stack-reverse.c	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/i387-stack-reverse.c	2009-08-22 01:00:27.000000000 -0400
@@ -0,0 +1,38 @@
+#include <stdio.h>
+#include <math.h>
+#include <stdlib.h>
+
+/* marks FPU stack as empty */
+void empty_fpu_stack()
+{
+  asm ("ffree %st(1) \n\t"
+       "ffree %st(2) \n\t"
+       "ffree %st(3) \n\t"
+       "ffree %st(4) \n\t"
+       "ffree %st(5) \n\t"
+       "ffree %st(6) \n\t"
+       "ffree %st(7)");
+}   
+
+/* tests floating point arithmatic */
+void test_arith_floats()
+{
+  
+}
+
+int main()
+{
+  empty_fpu_stack();    /* BEGIN I387-FLOAT-REVERSE */
+  
+  asm ("fld1");   /* test st0 register */
+  asm ("fldl2t"); /* test st0, st1 */
+  asm ("fldl2e"); /* test st0, st1, st2 */
+  asm ("fldpi");  /* test st0, st1, st2, st3 */
+  asm ("fldlg2"); /* test st0, st1, st2, st3, st4 */
+  asm ("fldln2"); /* test st0, st1, st2, st3, st4, st5 */
+  asm ("fldz");   /* test st0, st1, st2, st3, st4, st5, st6 */
+  asm ("fld1");   /* test st0, st1, st2, st3, st4, st5, st6, st7 */
+  asm ("nop");
+  
+  return 1;             /* END I387-FLOAT-REVERSE */
+}
diff -urN gdb.orig/i387-stack-reverse.exp gdb.new/i387-stack-reverse.exp
--- gdb.orig/i387-stack-reverse.exp	1969-12-31 19:00:00.000000000 -0500
+++ gdb.new/i387-stack-reverse.exp	2009-08-22 01:00:27.000000000 -0400
@@ -0,0 +1,177 @@
+# Copyright 2009 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+# This file is part of the gdb testsuite.
+
+if $tracelevel {
+    strace $tracelevel
+}
+
+set prms_id 0
+set bug_id 0
+
+if ![istarget "i?86-*linux*"] then {
+    verbose "Skipping i387 reverse float tests."
+    return
+}
+
+set testfile "i387-stack-reverse"
+set srcfile ${testfile}.c
+set binfile ${objdir}/${subdir}/${testfile}
+
+# some targets have leading underscores on assembly symbols.
+# TODO: detect this automatically
+set additional_flags ""
+if [istarget "i?86-*-cygwin*"] then {
+  set additional_flags "additional_flags=-DSYMBOL_PREFIX=\"_\""
+}
+
+if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
+    untested i387-float-reverse
+    return -1
+}
+
+# Get things started.
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+runto main
+
+# Record to end of main
+
+set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
+gdb_test "record" "" "Turn on process record"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "record to end of main"
+
+# Now rewind to beginning so we can begin testing.
+
+set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
+gdb_test "set exec-dir reverse" "" "set reverse direction"
+gdb_test "until $location" ".*/$srcfile:$location.*" \
+    "rewind to beginning of main"
+gdb_test "set exec-dir forward" "" "set forward direction"
+
+# Test FPU stack. FPU stack includes st0, st1, st2, st3, st4, 
+# st5, st6, st7. We push 8 values to FPU stack in record mode
+# and see whether all are getting recorded.
+
+set location [gdb_get_line_number "test st0 register"]
+gdb_test "until $location" ".*/$srcfile:$location.*asm.*fld1.*" \
+    "begin test st0"
+gdb_test "stepi" "asm.*fldl2t.*"              "push st0 == 1"
+gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"
+
+
+gdb_test "stepi" "asm.*fldl2e.*"              "push st0 == 3.3219280948*"
+gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.321928094*"
+gdb_test "info register st1" "st1 *1\t.*"       "verify st1 == 1"
+
+gdb_test "stepi" "asm.*fldpi.*"                   "push st0 == 1.4426950406*"
+gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*"
+gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*"
+gdb_test "info register st2" "st2 *1\t.*"         "verify st2 == 1"
+                                               
+gdb_test "stepi" "asm.*fldlg2.*"                  "push st0 == 3.14159265*"
+gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*"
+gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.4426950*"
+gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280*"
+gdb_test "info register st3" "st3 *1\t.*"          "verify st3 == 1"
+
+gdb_test "stepi" "asm.*fldln2.*"                  "push st0 == 0.301029*"
+gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*"
+gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*"
+gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.44269506*"
+gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*"
+gdb_test "info register st4" "st4 *1\t.*"         "verify st4 == 1"
+
+gdb_test "stepi" "asm.*fldz.*"                    "push st0 == 0.69314*"
+gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*"
+gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*"
+gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*"
+gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*"
+gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*"
+gdb_test "info register st5" "st5 *1\t.*"         "verify st5 == 1"
+
+gdb_test "stepi" "asm.*fld1.*"                    "push st0 == 0"
+gdb_test "info register st0" "st0 *0\t.*"         "verify st0 == 0"
+gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*"
+gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*"
+gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*"
+gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*"
+gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.32192809*"
+gdb_test "info register st6" "st6 *1\t.*"         "verify st6 == 1"
+
+gdb_test "stepi" "asm.*nop.*"                     "push st0 == 0"
+gdb_test "info register st0" "st0 *1\t.*"         "verify st0 == 1"
+gdb_test "info register st1" "st1 *0\t.*"         "verify st1 == 0"
+gdb_test "info register st2" "st2 *0.69314.*\t.*" "verify st2 == 0.69314*"
+gdb_test "info register st3" "st3 *0.30102.*\t.*" "verify st3 == 0.301029*"
+gdb_test "info register st4" "st4 *3.14159.*\t.*" "verify st4 == 3.14159265*"
+gdb_test "info register st5" "st5 *1.44269.*\t.*" "verify st5 == 1.44269504*"
+gdb_test "info register st6" "st6 *3.32192.*\t.*" "verify st6 == 3.3219280948*"
+gdb_test "info register st7" "st7 *1.*"           "verify st7 == 1"
+
+# Now step backward, and check that st0 value reverts to zero.
+
+gdb_test "reverse-stepi" "asm.*fld1.*"            "undo registers, st0-st7"
+gdb_test "info register st0" "st0 *0\t.*"         "verify st0 == 0"
+gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*"
+gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*"
+gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*"
+gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*"
+gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.3219280948*"
+gdb_test "info register st6" "st6 *1\t.*"         "verify st6 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldz.*"            "push st0 == 0.69314*"
+gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*"
+gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*"
+gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*"
+gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*"
+gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*"
+gdb_test "info register st5" "st5 *1\t.*"       "verify st5 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldln2.*"          "push st0 == 0.301029*"
+gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*"
+gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*"
+gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.442695040*"
+gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*"
+gdb_test "info register st4" "st4 *1\t.*"         "verify st4 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldlg2.*"          "push st0 == 3.14159265*"
+gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*"
+gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.442695040*"
+gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280948*"
+gdb_test "info register st3" "st3 *1\t.*"       "verify st3 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldpi.*"           "push st0 == 1.44269504088*"
+gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*"
+gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*"
+gdb_test "info register st2" "st2 *1\t.*"         "verify st2 == 1"
+
+
+gdb_test "reverse-stepi" "asm.*fldl2e.*"          "push st0 == 3.3219280948*"
+gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.3219280948*"
+gdb_test "info register st1" "st1 *1\t.*"         "verify st1 == 1"
+
+gdb_test "reverse-stepi" "asm.*fldl2t.*"      "push st0 == 1"
+gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"                                               
+
+
+
+
+