From: Florian Krohm <florian@eich-krohm.de>
Date: Tue, 17 Mar 2015 13:45:29 +0000 (+0000)
Subject: Minimal update to recognise z13 (s390).
X-Git-Tag: svn/VALGRIND_3_11_0~572
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=a42eafde1e95cd27962eb6158b888b11ebba4142;p=thirdparty%2Fvalgrind.git

Minimal update to recognise z13 (s390).


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

diff --git a/README.s390 b/README.s390
index 0af33e4a65..5b3d3c0803 100644
--- a/README.s390
+++ b/README.s390
@@ -11,6 +11,8 @@ Limitations
 -----------
 - 31-bit client programs are not supported.
 - Hexadecimal floating point is not supported.
+- Transactional memory is not supported.
+- Instructions operating on vector registers are not supported.
 - memcheck, cachegrind, drd, helgrind, massif, lackey, and none are
   supported. 
 - On machine models predating z10, cachegrind will assume a z10 cache
@@ -45,6 +47,6 @@ Reading Material
 (1) Linux for zSeries ELF ABI Supplement
     http://refspecs.linuxfoundation.org/ELF/zSeries/index.html
 (2) z/Architecture Principles of Operation
-    http://publibfi.boulder.ibm.com/epubs/pdf/dz9zr009.pdf
+    http://publibfi.boulder.ibm.com/epubs/pdf/dz9zr010.pdf
 (3) z/Architecture Reference Summary
-    http://publibfi.boulder.ibm.com/epubs/pdf/dz9zs007.pdf
+    http://publibfi.boulder.ibm.com/epubs/pdf/dz9zs008.pdf
diff --git a/coregrind/m_machine.c b/coregrind/m_machine.c
index e56c715f3b..3fa403b242 100644
--- a/coregrind/m_machine.c
+++ b/coregrind/m_machine.c
@@ -552,6 +552,7 @@ static UInt VG_(get_machine_model)(void)
       { "2818", VEX_S390X_MODEL_Z114 },
       { "2827", VEX_S390X_MODEL_ZEC12 },
       { "2828", VEX_S390X_MODEL_ZBC12 },
+      { "2964", VEX_S390X_MODEL_Z13 },
    };
 
    Int    model, n, fh;
diff --git a/tests/s390x_features.c b/tests/s390x_features.c
index bb453661d1..de34a98594 100644
--- a/tests/s390x_features.c
+++ b/tests/s390x_features.c
@@ -88,6 +88,7 @@ model_info models[] = {
    { "2818", "z114"   },
    { "2827", "zEC12"  },
    { "2828", "zBC12"  },
+   { "2964", "z13"    },
 };