Fix debug print for hwcaps adding stfle ad etf2. 
Add VEX_HWCAPS_S390X_STFLE. This should have been part of r2237.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2303 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/priv/host_s390_defs.h b/priv/host_s390_defs.h
index ce4a197..ba3b327 100644
--- a/priv/host_s390_defs.h
+++ b/priv/host_s390_defs.h
@@ -562,6 +562,8 @@
                       (s390_host_hwcaps & (VEX_HWCAPS_S390X_FGX))
 #define s390_host_has_etf2 \
                       (s390_host_hwcaps & (VEX_HWCAPS_S390X_ETF2))
+#define s390_host_has_stfle \
+                      (s390_host_hwcaps & (VEX_HWCAPS_S390X_STFLE))
 
 #endif /* ndef __VEX_HOST_S390_DEFS_H */
 
diff --git a/priv/main_main.c b/priv/main_main.c
index cf6e2f5..a8c3968 100644
--- a/priv/main_main.c
+++ b/priv/main_main.c
@@ -1168,6 +1168,8 @@
      { "gie" },
      { "dfp" },
      { "fgx" },
+     { "stfle" },
+     { "etf2" },
    };
    static HChar buf[sizeof facilities + sizeof prefix + 1];
    static HChar *p;
@@ -1187,6 +1189,10 @@
      p = p + vex_sprintf(p, "-%s", facilities[3]);
    if (hwcaps & VEX_HWCAPS_S390X_FGX)
      p = p + vex_sprintf(p, "-%s", facilities[4]);
+   if (hwcaps & VEX_HWCAPS_S390X_STFLE)
+     p = p + vex_sprintf(p, "-%s", facilities[5]);
+   if (hwcaps & VEX_HWCAPS_S390X_ETF2)
+     p = p + vex_sprintf(p, "-%s", facilities[6]);
 
    /* If there are no facilities, add "zarch" */
    if (hwcaps == 0)
diff --git a/pub/libvex.h b/pub/libvex.h
index 0466801..e229562 100644
--- a/pub/libvex.h
+++ b/pub/libvex.h
@@ -132,6 +132,7 @@
 #define VEX_HWCAPS_S390X_DFP   (1<<9)   /* Decimal floating point facility */
 #define VEX_HWCAPS_S390X_FGX   (1<<10)  /* FPR-GR transfer facility */
 #define VEX_HWCAPS_S390X_ETF2  (1<<11)  /* ETF2-enhancement facility */
+#define VEX_HWCAPS_S390X_STFLE (1<<12)  /* STFLE facility */
 
 /* Special value representing all available s390x hwcaps */
 #define VEX_HWCAPS_S390X_ALL   (VEX_HWCAPS_S390X_LDISP | \
@@ -139,6 +140,7 @@
                                 VEX_HWCAPS_S390X_GIE   | \
                                 VEX_HWCAPS_S390X_DFP   | \
                                 VEX_HWCAPS_S390X_FGX   | \
+                                VEX_HWCAPS_S390X_STFLE | \
                                 VEX_HWCAPS_S390X_ETF2)
 
 #define VEX_HWCAPS_S390X(x)  ((x) & ~VEX_S390X_MODEL_MASK)