f096bf
commit 3b6e36f530120f5e30d8a81d26e04018a8d0784f
f096bf
Author: florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c>
f096bf
Date:   Tue Feb 16 21:14:47 2016 +0000
f096bf
f096bf
    s390: Add machine model z13s
f096bf
    
f096bf
    
f096bf
    git-svn-id: svn://svn.valgrind.org/vex/trunk@3208 8f6e269a-dfd6-0310-a8e1-e2731360e62c
f096bf
f096bf
diff --git a/VEX/pub/libvex.h b/pub/libvex.h
f096bf
index b2bd476..4dd23e6 100644
f096bf
--- a/VEX/pub/libvex.h
f096bf
+++ b/VEX/pub/libvex.h
f096bf
@@ -141,7 +141,8 @@ typedef
f096bf
 #define VEX_S390X_MODEL_ZEC12    10
f096bf
 #define VEX_S390X_MODEL_ZBC12    11
f096bf
 #define VEX_S390X_MODEL_Z13      12
f096bf
-#define VEX_S390X_MODEL_UNKNOWN  13     /* always last in list */
f096bf
+#define VEX_S390X_MODEL_Z13S     13
f096bf
+#define VEX_S390X_MODEL_UNKNOWN  14     /* always last in list */
f096bf
 #define VEX_S390X_MODEL_MASK     0x3F
f096bf
 
f096bf
 #define VEX_HWCAPS_S390X_LDISP (1<<6)   /* Long-displacement facility */
f096bf
commit e6d40c0b4d4e8a7007a6f2fc0c2f0aac50aba274
f096bf
Author: florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9>
f096bf
Date:   Tue Feb 16 21:15:32 2016 +0000
f096bf
f096bf
    s390: Recognise machine model z13s (2965).
f096bf
    
f096bf
    
f096bf
    git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15789 a5019735-40e9-0310-863c-91ae7b9d1cf9
f096bf
f096bf
diff --git a/coregrind/m_machine.c b/coregrind/m_machine.c
f096bf
index cd4606b..ae8b929 100644
f096bf
--- a/coregrind/m_machine.c
f096bf
+++ b/coregrind/m_machine.c
f096bf
@@ -616,6 +616,7 @@ static UInt VG_(get_machine_model)(void)
f096bf
       { "2827", VEX_S390X_MODEL_ZEC12 },
f096bf
       { "2828", VEX_S390X_MODEL_ZBC12 },
f096bf
       { "2964", VEX_S390X_MODEL_Z13 },
f096bf
+      { "2965", VEX_S390X_MODEL_Z13S },
f096bf
    };
f096bf
 
f096bf
    Int    model, n, fh;
f096bf
diff --git a/tests/s390x_features.c b/tests/s390x_features.c
f096bf
index de34a98..bc671c6 100644
f096bf
--- a/tests/s390x_features.c
f096bf
+++ b/tests/s390x_features.c
f096bf
@@ -89,6 +89,7 @@ model_info models[] = {
f096bf
    { "2827", "zEC12"  },
f096bf
    { "2828", "zBC12"  },
f096bf
    { "2964", "z13"    },
f096bf
+   { "2965", "z13s"   },
f096bf
 };
f096bf
 
f096bf