Minimal update to recognise z13 (s390).

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

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

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;

tests/s390x_features.c

@@ -88,6 +88,7 @@ model_info models[] = {
    { "2818", "z114"   },
    { "2827", "zEC12"  },
    { "2828", "zBC12"  },
+   { "2964", "z13"    },
 };