s390: Add a testcase for condition code computation for

convert-to-fixed. See VEX r2516. Part of fixing bugzilla #306054.

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

diff --git a/none/tests/s390x/Makefile.am b/none/tests/s390x/Makefile.am
index 158c08f7e0baa9fdbf9af5ee3167dd0a3f8fff3b..da22c4b78a97e51311b98e2a84ea9eac3cd66d2c 100644 (file)
--- a/none/tests/s390x/Makefile.am
+++ b/none/tests/s390x/Makefile.am
@@ -8,7 +8,8 @@ INSN_TESTS = clc clcle cvb cvd icm lpr tcxb lam_stam xc mvst add sub mul \
              op_exception fgx stck stckf stcke stfle cksm mvcl clcl troo \
              trto trot trtt tr tre cij cgij clij clgij crj cgrj clrj clgrj \
              cs csg cds cdsg cu21 cu21_1 cu24 cu24_1 cu42 cu12 cu12_1 \
-             ex_sig ex_clone cu14 cu14_1 cu41 fpconv ecag fpext fpext_warn
+             ex_sig ex_clone cu14 cu14_1 cu41 fpconv ecag fpext fpext_warn \
+            rounding-1
 
 check_PROGRAMS = $(INSN_TESTS) \
                 allexec \

diff --git a/none/tests/s390x/rounding-1.c b/none/tests/s390x/rounding-1.c
new file mode 100644 (file)
index 0000000..deb8071
--- /dev/null
+++ b/none/tests/s390x/rounding-1.c
@@ -0,0 +1,64 @@
+#include <stdlib.h>
+#include <assert.h>
+#include <stdio.h>
+#include <stdint.h>
+#include <inttypes.h>
+
+/* This testcase is to illustrate that for convert to fixed the condition
+   code depends on the rounding mode. */
+
+const char *
+rtext(unsigned round)
+{
+   switch (round) {
+   case 0: return "[fpc]";
+   case 1: return "[->near/away]";
+      /* 2 is invalid */
+   case 3: return "[prep short]";
+   case 4: return "[->near/even]";
+   case 5: return "[->0]";
+   case 6: return "[->+inf]";
+   case 7: return "[->-inf]";
+   }
+   assert(0);
+}
+
+#define convert_to_int(opcode,src_type,dst_type,dst_fmt,round,value) \
+do { \
+   src_type src = value; \
+   dst_type dst;         \
+   unsigned cc;          \
+                         \
+   __asm__ volatile (opcode " %[dst]," #round ",%[src]\n\t"     \
+                     "ipm %[cc]\n\t"                  \
+                     "srl %[cc],28\n\t"               \
+                     : [dst] "=d"(dst), [cc] "=d"(cc) \
+                     : [src] "f"(src)                 \
+                     : "cc");                         \
+                                                      \
+   printf("%s %-20s %f\t-> %"dst_fmt"\tcc = %u\n",    \
+          opcode, rtext(round), src, dst, cc);        \
+} while (0)
+
+
+#define cfdbr(round,value) \
+        convert_to_int("cfdbr",double,int32_t,PRId32,round,value)
+
+int main(void)
+{
+   double dval;
+
+   dval = -2147483648.5;  // a < MN
+
+   // f64 -> i32
+
+   cfdbr(4, dval);  // round to nearest with ties to even
+   cfdbr(5, dval);  // round to zero
+   cfdbr(6, dval);  // round to +inf
+
+   /* The next invocation needs to give cc=3. It used to give cc=1 when
+      we were considering the to-be-converted value ONLY */
+   cfdbr(7, dval);  // round to -inf
+
+   return 0;
+}

diff --git a/none/tests/s390x/rounding-1.stderr.exp b/none/tests/s390x/rounding-1.stderr.exp
new file mode 100644 (file)
index 0000000..139597f
--- /dev/null
+++ b/none/tests/s390x/rounding-1.stderr.exp
@@ -0,0 +1,2 @@
+
+

diff --git a/none/tests/s390x/rounding-1.stdout.exp b/none/tests/s390x/rounding-1.stdout.exp
new file mode 100644 (file)
index 0000000..98c3854
--- /dev/null
+++ b/none/tests/s390x/rounding-1.stdout.exp
@@ -0,0 +1,4 @@
+cfdbr [->near/even]        -2147483648.500000  -> -2147483648  cc = 1
+cfdbr [->0]                -2147483648.500000  -> -2147483648  cc = 1
+cfdbr [->+inf]             -2147483648.500000  -> -2147483648  cc = 1
+cfdbr [->-inf]             -2147483648.500000  -> -2147483648  cc = 3

diff --git a/none/tests/s390x/rounding-1.vgtest b/none/tests/s390x/rounding-1.vgtest
new file mode 100644 (file)
index 0000000..4c1e45b
--- /dev/null
+++ b/none/tests/s390x/rounding-1.vgtest
@@ -0,0 +1 @@
+prog: rounding-1