Do further conversions in the test.

git-svn-id: svn://svn.valgrind.org/vex/trunk@230

diff --git a/VEX/useful/x87_to_vex_and_back.c b/VEX/useful/x87_to_vex_and_back.c
index 937b29532fcb32ae5f1ab27dcd19851fdbcaf55e..ed5de3dcd287b54404472d542925d0a5e3c11811 100644 (file)
--- a/VEX/useful/x87_to_vex_and_back.c
+++ b/VEX/useful/x87_to_vex_and_back.c
@@ -134,8 +134,17 @@ void capture_convert_show ( /* preallocated storage */
    printf("\n\n");
    printVexState(vex_state);
    printf("\n\n");
+#if 0
+   asm volatile("frstor (%0) ; fsave (%0)"
+                 :
+                 : "r" (x87_state1)
+                 : "memory" );
+#endif
    printFpuState(x87_state1);
    printf("\n\n");
+   x87_to_vex(x87_state1, vex_state);
+   printVexState(vex_state);
+   printf("\n\n");
 }
 
 int main ( void )
@@ -148,6 +157,7 @@ int main ( void )
   asm volatile ("fldpi");
   capture_convert_show(x87_state0, x87_state1, vex_state);
   asm volatile ("fldz ; fld1 ; fdiv %st(1)");
+  asm volatile ("fldln2 ; fldlg2 ; fchs ; fsqrt");
   capture_convert_show(x87_state0, x87_state1, vex_state);
   return 1;
 }