valgrind part to VEX:3083 Fix bugzilla 343802, also extend testcase

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

diff --git a/NEWS b/NEWS
index 1ac7bc52ddc2190763f317397200e0473b89ca0f..a863cfff383d4bbe419a9c1af223e32e56b6cfb2 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -78,6 +78,8 @@ where XXXXXX is the bug number as listed below.
 343012  Unhandled syscall 319 (memfd_create)
 343303  Fix known deliberate memory leak in setenv() on Mac OS X 10.10
 343306  OS X 10.10: UNKNOWN mach_msg unhandled MACH_SEND_TRAILER option (partial fix)
+343802  s390x: Fix false positives "conditional jump or move depends on
+        unitialised value(s)"
 n-i-bz  Provide implementations of certain compiler builtins to support
         compilers who may not provide those
 n-i-bz  Old STABS code is still being compiled, but never used. Remove it.

diff --git a/memcheck/tests/s390x/ltgjhe.c b/memcheck/tests/s390x/ltgjhe.c
index de0104cfe9d8e378bb5a9b9cafca67b55104609b..ee5b1886f9187551cc918d54f9815ea20a02985f 100644 (file)
--- a/memcheck/tests/s390x/ltgjhe.c
+++ b/memcheck/tests/s390x/ltgjhe.c
@@ -17,7 +17,7 @@ int main()
                        "jhe 1f\n\t"
                        "lghi %0,0\n\t"
                        "j 2f\n\t"
-                       "1:lghi %0,0\n\t"
+                       "1:lghi %0,1\n\t"
                        "2:\n\t"
                        :"=d" (result)
                        :"Q" (field1)
@@ -32,6 +32,36 @@ int main()
                        "jhe 1f\n\t"
                        "lghi %0,0\n\t"
                        "j 2f\n\t"
+                       "1:lghi %0,1\n\t"
+                       "2:\n\t"
+                       :"=d" (result)
+                       :"Q" (field2)
+                       :"0","cc");
+
+       if (result)
+               printf("Error\n");
+
+       asm volatile(   "oi %1,128\n\t"
+                       "la 1,%1\n\t"
+                       LTG(0,0,1,000,00)
+                       "jl 1f\n\t"
+                       "lghi %0,1\n\t"
+                       "j 2f\n\t"
+                       "1:lghi %0,0\n\t"
+                       "2:\n\t"
+                       :"=d" (result)
+                       :"Q" (field1)
+                       :"0","cc");
+
+       if (result)
+               printf("Error\n");
+
+       asm volatile(   "oi %1,128\n\t"
+                       "la 1,%1\n\t"
+                       LT(0,0,1,000,00)
+                       "jl 1f\n\t"
+                       "lghi %0,1\n\t"
+                       "j 2f\n\t"
                        "1:lghi %0,0\n\t"
                        "2:\n\t"
                        :"=d" (result)