From: Florian Krohm <florian@eich-krohm.de>
Date: Thu, 12 Sep 2013 11:32:05 +0000 (+0000)
Subject: Remove dead code.
X-Git-Tag: svn/VALGRIND_3_9_0^2~36
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8d54830112f9afce023943bd7d33ca7694d504b7;p=thirdparty%2Fvalgrind.git

Remove dead code.


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

diff --git a/VEX/pub/libvex_guest_amd64.h b/VEX/pub/libvex_guest_amd64.h
index d9e5cbb986..cd80d19adb 100644
--- a/VEX/pub/libvex_guest_amd64.h
+++ b/VEX/pub/libvex_guest_amd64.h
@@ -196,32 +196,6 @@ LibVEX_GuestAMD64_put_rflag_c ( ULong new_carry_flag,
                                 /*MOD*/VexGuestAMD64State* vex_state );
 
 
-#if 0
-/* Convert a saved x87 FPU image (as created by fsave) and write it
-   into the supplied VexGuestX86State structure.  The non-FP parts of
-   said structure are left unchanged.  
-*/
-extern 
-void LibVEX_GuestX86_put_x87 ( /*IN*/UChar* x87_state, 
-                               /*OUT*/VexGuestX86State* vex_state );
-
-/* Extract from the supplied VexGuestX86State structure, an x87 FPU
-   image. */
-extern 
-void LibVEX_GuestX86_get_x87 ( /*IN*/const VexGuestX86State* vex_state, 
-                               /*OUT*/UChar* x87_state );
-
-
-/* Given a 32-bit word containing native x86 %eflags values, set the
-   eflag-related fields in the supplied VexGuestX86State accordingly.
-   All other fields are left unchanged.  */
-
-extern
-void LibVEX_GuestX86_put_eflags ( UInt eflags_native,
-                                  /*OUT*/VexGuestX86State* vex_state );
-
-#endif /* 0 */
-
 #endif /* ndef __LIBVEX_PUB_GUEST_AMD64_H */
 
 /*---------------------------------------------------------------*/