s390: Add floating point extension facility to hwcaps.

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

diff --git a/VEX/priv/host_s390_defs.h b/VEX/priv/host_s390_defs.h
index fc0b86325e732a1529f62456e5b888543446d1a3..c967b0e7e0ba5cd104dd1c6176ce5f37ebfb2624 100644 (file)
--- a/VEX/priv/host_s390_defs.h
+++ b/VEX/priv/host_s390_defs.h
@@ -583,6 +583,8 @@ extern UInt s390_host_hwcaps;
                       (s390_host_hwcaps & (VEX_HWCAPS_S390X_ETF3))
 #define s390_host_has_stckf \
                       (s390_host_hwcaps & (VEX_HWCAPS_S390X_STCKF))
+#define s390_host_has_fpext \
+                      (s390_host_hwcaps & (VEX_HWCAPS_S390X_FPEXT))
 
 #endif /* ndef __VEX_HOST_S390_DEFS_H */
 

diff --git a/VEX/priv/main_main.c b/VEX/priv/main_main.c
index 58e166b03c947ad9c6ad70c82ea4ea8578cd3571..ef2c121c67367509a48537b53d1834a9df2a7a27 100644 (file)
--- a/VEX/priv/main_main.c
+++ b/VEX/priv/main_main.c
@@ -1252,6 +1252,7 @@ static HChar* show_hwcaps_s390x ( UInt hwcaps )
      { "etf2" },
      { "etf3" },
      { "stckf" },
+     { "fpext" },
    };
    static HChar buf[sizeof facilities + sizeof prefix + 1];
    static HChar *p;
@@ -1279,6 +1280,8 @@ static HChar* show_hwcaps_s390x ( UInt hwcaps )
      p = p + vex_sprintf(p, "-%s", facilities[7]);
    if (hwcaps & VEX_HWCAPS_S390X_STCKF)
      p = p + vex_sprintf(p, "-%s", facilities[8]);
+   if (hwcaps & VEX_HWCAPS_S390X_FPEXT)
+     p = p + vex_sprintf(p, "-%s", facilities[9]);
 
    /* If there are no facilities, add "zarch" */
    if (hwcaps == 0)

diff --git a/VEX/pub/libvex.h b/VEX/pub/libvex.h
index d175f731a3f3564291e70f399b9e7c870e43817e..24a14b4c2bbf955cd6a91fb7313966d9d6dca997 100644 (file)
--- a/VEX/pub/libvex.h
+++ b/VEX/pub/libvex.h
@@ -132,6 +132,7 @@ typedef
 #define VEX_HWCAPS_S390X_STFLE (1<<12)  /* STFLE facility */
 #define VEX_HWCAPS_S390X_ETF3  (1<<13)  /* ETF3-enhancement facility */
 #define VEX_HWCAPS_S390X_STCKF (1<<14)  /* STCKF facility */
+#define VEX_HWCAPS_S390X_FPEXT (1<<15)  /* Floating point extension facility */
 
 /* Special value representing all available s390x hwcaps */
 #define VEX_HWCAPS_S390X_ALL   (VEX_HWCAPS_S390X_LDISP | \
@@ -141,6 +142,7 @@ typedef
                                 VEX_HWCAPS_S390X_FGX   | \
                                 VEX_HWCAPS_S390X_STFLE | \
                                 VEX_HWCAPS_S390X_STCKF | \
+                                VEX_HWCAPS_S390X_FPEXT | \
                                 VEX_HWCAPS_S390X_ETF3  | \
                                 VEX_HWCAPS_S390X_ETF2)