From: Julian Seward <jseward@acm.org>
Date: Sat, 6 Nov 2004 12:21:23 +0000 (+0000)
Subject: x86 guest: update description of which guest state bits are always
X-Git-Tag: svn/VALGRIND_3_0_1^2~829
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ad46569acf8332932c668d257861abbf2dea0e26;p=thirdparty%2Fvalgrind.git

x86 guest: update description of which guest state bits are always
defined.



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

diff --git a/VEX/priv/guest-x86/ghelpers.c b/VEX/priv/guest-x86/ghelpers.c
index f7ff720068..2126a7ca6c 100644
--- a/VEX/priv/guest-x86/ghelpers.c
+++ b/VEX/priv/guest-x86/ghelpers.c
@@ -1480,20 +1480,21 @@ VexGuestLayout
              See detailed comment in gdefs.h on meaning of thunk
              fields. */
           .alwaysDefd[0]  = ALWAYSDEFD(guest_CC_OP),
-          .alwaysDefd[14] = ALWAYSDEFD(guest_CC_AUX),
-          .alwaysDefd[1]  = ALWAYSDEFD(guest_DFLAG),
-          .alwaysDefd[2]  = ALWAYSDEFD(guest_IDFLAG),
-          .alwaysDefd[3]  = ALWAYSDEFD(guest_EIP),
-          .alwaysDefd[4]  = ALWAYSDEFD(guest_FTOP),
-          .alwaysDefd[5]  = ALWAYSDEFD(guest_FPTAG),
-          .alwaysDefd[6]  = ALWAYSDEFD(guest_FPUCW),
-          .alwaysDefd[7]  = ALWAYSDEFD(guest_FC3210),
-          .alwaysDefd[8]  = ALWAYSDEFD(guest_CS),
-          .alwaysDefd[9]  = ALWAYSDEFD(guest_DS),
-          .alwaysDefd[10] = ALWAYSDEFD(guest_ES),
-          .alwaysDefd[11] = ALWAYSDEFD(guest_FS),
-          .alwaysDefd[12] = ALWAYSDEFD(guest_GS),
-          .alwaysDefd[13] = ALWAYSDEFD(guest_SS)
+          .alwaysDefd[1]  = ALWAYSDEFD(guest_CC_AUX),
+
+          .alwaysDefd[2]  = ALWAYSDEFD(guest_DFLAG),
+          .alwaysDefd[3]  = ALWAYSDEFD(guest_IDFLAG),
+          .alwaysDefd[4]  = ALWAYSDEFD(guest_EIP),
+          .alwaysDefd[5]  = ALWAYSDEFD(guest_FTOP),
+          .alwaysDefd[6]  = ALWAYSDEFD(guest_FPTAG),
+          .alwaysDefd[7]  = ALWAYSDEFD(guest_FPUCW),
+          .alwaysDefd[8]  = ALWAYSDEFD(guest_FC3210),
+          .alwaysDefd[9]  = ALWAYSDEFD(guest_CS),
+          .alwaysDefd[10] = ALWAYSDEFD(guest_DS),
+          .alwaysDefd[11] = ALWAYSDEFD(guest_ES),
+          .alwaysDefd[12] = ALWAYSDEFD(guest_FS),
+          .alwaysDefd[13] = ALWAYSDEFD(guest_GS),
+          .alwaysDefd[14] = ALWAYSDEFD(guest_SS)
         };
 
 
diff --git a/VEX/pub/libvex.h b/VEX/pub/libvex.h
index 0944ec1532..3902c701ee 100644
--- a/VEX/pub/libvex.h
+++ b/VEX/pub/libvex.h
@@ -98,7 +98,7 @@ extern void* LibVEX_Alloc ( Int nbytes );
 
 /* The max number of guest state chunks which we can describe as
    always defined (for the benefit of Memcheck). */
-#define VEXGLO_N_ALWAYSDEFD  15
+#define VEXGLO_N_ALWAYSDEFD  16
 
 typedef
    struct {