s390: Recognise machine model z13s (2965).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15789

diff --git a/coregrind/m_machine.c b/coregrind/m_machine.c
index cd4606b6e9951a715cd57b1ff2e4e6dcb29c5c37..ae8b9295346a550a3ec4d6be54b8c59303d6c5fa 100644 (file)
--- a/coregrind/m_machine.c
+++ b/coregrind/m_machine.c
@@ -616,6 +616,7 @@ static UInt VG_(get_machine_model)(void)
       { "2827", VEX_S390X_MODEL_ZEC12 },
       { "2828", VEX_S390X_MODEL_ZBC12 },
       { "2964", VEX_S390X_MODEL_Z13 },
+      { "2965", VEX_S390X_MODEL_Z13S },
    };
 
    Int    model, n, fh;

diff --git a/tests/s390x_features.c b/tests/s390x_features.c
index de34a98594645674c7bdafcf8fa53a644df4c41f..bc671c6779773a2c546173126e0f287ee2c88db4 100644 (file)
--- a/tests/s390x_features.c
+++ b/tests/s390x_features.c
@@ -89,6 +89,7 @@ model_info models[] = {
    { "2827", "zEC12"  },
    { "2828", "zBC12"  },
    { "2964", "z13"    },
+   { "2965", "z13s"   },
 };