diff options
Diffstat (limited to 'gdb/testsuite/gdb.reverse/i387-env-reverse.exp')
-rw-r--r-- | gdb/testsuite/gdb.reverse/i387-env-reverse.exp | 121 |
1 files changed, 59 insertions, 62 deletions
diff --git a/gdb/testsuite/gdb.reverse/i387-env-reverse.exp b/gdb/testsuite/gdb.reverse/i387-env-reverse.exp index 43c493d..a0a79c2 100644 --- a/gdb/testsuite/gdb.reverse/i387-env-reverse.exp +++ b/gdb/testsuite/gdb.reverse/i387-env-reverse.exp @@ -16,7 +16,7 @@ # This file is part of the gdb testsuite. -if ![istarget "i?86-*linux*"] then { +if ![is_x86_like_target] then { verbose "Skipping i387 reverse float tests." return } @@ -52,82 +52,79 @@ gdb_test "until $location" ".*$srcfile:$location.*" \ "rewind to beginning of main" gdb_test_no_output "set exec-dir forward" "set forward direction" -# Test FPU env particularly ftag and fstatus reigters. +with_test_prefix "forward" { + # 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" + 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 "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 "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.*fldl2t.*" "step to fldl2t" + 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.*fldl2e.*" "step to fldl2e" + 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.*fldpi.*" "step to fldpi" + 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.*fldlg2.*" "step to fldlg2" + 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.*fldln2.*" "step to fldln2" + 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.*fldz.*" "step to fldz" + 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 "stepi" "asm.*nop.*" "step to nop" + gdb_test "info register fstat" "fstat *0x800.*\[ \t\]+.*" "verify fstat == 0x800" + gdb_test "info register ftag" "ftag *0x7.*\[ \t\]+.*" "verify ftag == 0x7" +} -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" +# Move backward and check we get the same registers back. -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" +with_test_prefix "backward" { + gdb_test "reverse-stepi" "asm.*fldz.*" "step to fldz" + 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.*" "step to fldln2" + 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.*" "step to fldlg2" + 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.*" "step to fldpi" + 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.*" "step tp fldl2d" + 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.*" "step to fldl2t" + 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.*" "step to fld1" + gdb_test "info register fstat" "fstat *0.*\[ \t\]+.*" "verify fstat == 0" + gdb_test "info register ftag" "ftag *0xffff.*\[ \t\]+.*" "verify ftag == 0xffff" +} |