Add a few testcases that exercise the s390_calculate_icc helper.

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

diff --git a/none/tests/s390x/Makefile.am b/none/tests/s390x/Makefile.am
index 6f5b95a2fec4c6cd592b665e0fb016e43daa41b4..ddb4f4ed61739732fbf3c3f9cdd69e6aa84cc3fa 100644 (file)
--- a/none/tests/s390x/Makefile.am
+++ b/none/tests/s390x/Makefile.am
@@ -6,7 +6,7 @@ INSN_TESTS = clc clcle cvb cvd icm lpr tcxb lam_stam xc mvst add sub mul \
              and or xor insert div srst fold_And16 flogr sub_EI add_EI \
              and_EI or_EI xor_EI insert_EI mul_GE add_GE condloadstore \
              op_exception fgx stck stckf stcke stfle cksm mvcl clcl troo \
-             trto trot trtt tr tre
+             trto trot trtt tr tre cij cgij clij clgij crj cgrj clrj clgrj
 
 check_PROGRAMS = $(INSN_TESTS) \
                 allexec \

diff --git a/none/tests/s390x/cgij.c b/none/tests/s390x/cgij.c
new file mode 100644 (file)
index 0000000..d760a5d
--- /dev/null
+++ b/none/tests/s390x/cgij.c
@@ -0,0 +1,167 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,NEVER,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,ALWAYS,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le42(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,LE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge42(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,GE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt42(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,GT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt42(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,LT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq42(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,EQ,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne42(int64_t value)
+{
+   register int64_t val asm("r7") = value;
+
+   asm volatile(
+                CGIJ(7,NE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq42(-12);
+   compare_eq42(42);
+   compare_eq42(100);
+
+   compare_ne42(-12);
+   compare_ne42(42);
+   compare_ne42(100);
+
+   compare_gt42(-12);
+   compare_gt42(42);
+   compare_gt42(100);
+
+   compare_lt42(-12);
+   compare_lt42(42);
+   compare_lt42(100);
+
+   compare_le42(-12);
+   compare_le42(42);
+   compare_le42(100);
+
+   compare_ge42(-12);
+   compare_ge42(42);
+   compare_ge42(100);
+
+   compare_never(-12);
+   compare_never(42);
+   compare_never(100);
+
+   compare_always(-12);
+   compare_always(42);
+   compare_always(100);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/cgij.stdout.exp b/none/tests/s390x/cgij.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/cgij.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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

diff --git a/none/tests/s390x/cgrj.c b/none/tests/s390x/cgrj.c
new file mode 100644 (file)
index 0000000..84d4f2f
--- /dev/null
+++ b/none/tests/s390x/cgrj.c
@@ -0,0 +1,175 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,NEVER) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,ALWAYS) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,LE) "\n\t"
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,GE) "\n\t"
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,GT) "\n\t"
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,LT) "\n\t"
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,EQ) "\n\t"
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne(int64_t value1, int64_t value2)
+{
+   register int64_t val1 asm("r7") = value1;
+   register int64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CGRJ(7,8,8,NE) "\n\t"
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq(-12, 42);
+   compare_eq(42, 42);
+   compare_eq(100, 42);
+
+   compare_ne(-12, 42);
+   compare_ne(42, 42);
+   compare_ne(100, 42);
+
+   compare_gt(-12, 42);
+   compare_gt(42, 42);
+   compare_gt(100, 42);
+
+   compare_lt(-12, 42);
+   compare_lt(42, 42);
+   compare_lt(100, 42);
+
+   compare_le(-12, 42);
+   compare_le(42, 42);
+   compare_le(100, 42);
+
+   compare_ge(-12, 42);
+   compare_ge(42, 42);
+   compare_ge(100, 42);
+
+   compare_never(-12, 42);
+   compare_never(42, 42);
+   compare_never(100, 42);
+
+   compare_always(-12, 42);
+   compare_always(42, 42);
+   compare_always(100, 42);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/cgrj.stdout.exp b/none/tests/s390x/cgrj.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/cgrj.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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

diff --git a/none/tests/s390x/cij.c b/none/tests/s390x/cij.c
new file mode 100644 (file)
index 0000000..4e47d98
--- /dev/null
+++ b/none/tests/s390x/cij.c
@@ -0,0 +1,167 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,NEVER,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,ALWAYS,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le42(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,LE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge42(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,GE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt42(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,GT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt42(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,LT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq42(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,EQ,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne42(int32_t value)
+{
+   register int32_t val asm("r7") = value;
+
+   asm volatile(
+                CIJ(7,NE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq42(-12);
+   compare_eq42(42);
+   compare_eq42(100);
+
+   compare_ne42(-12);
+   compare_ne42(42);
+   compare_ne42(100);
+
+   compare_gt42(-12);
+   compare_gt42(42);
+   compare_gt42(100);
+
+   compare_lt42(-12);
+   compare_lt42(42);
+   compare_lt42(100);
+
+   compare_le42(-12);
+   compare_le42(42);
+   compare_le42(100);
+
+   compare_ge42(-12);
+   compare_ge42(42);
+   compare_ge42(100);
+
+   compare_never(-12);
+   compare_never(42);
+   compare_never(100);
+
+   compare_always(-12);
+   compare_always(42);
+   compare_always(100);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/cij.stdout.exp b/none/tests/s390x/cij.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/cij.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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

diff --git a/none/tests/s390x/clgij.c b/none/tests/s390x/clgij.c
new file mode 100644 (file)
index 0000000..11a8bf5
--- /dev/null
+++ b/none/tests/s390x/clgij.c
@@ -0,0 +1,167 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,NEVER,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,ALWAYS,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le42(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,LE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge42(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,GE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt42(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,GT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt42(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,LT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq42(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,EQ,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne42(uint64_t value)
+{
+   register uint64_t val asm("r7") = value;
+
+   asm volatile(
+                CLGIJ(7,NE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq42(12);
+   compare_eq42(42);
+   compare_eq42(100);
+
+   compare_ne42(12);
+   compare_ne42(42);
+   compare_ne42(100);
+
+   compare_gt42(12);
+   compare_gt42(42);
+   compare_gt42(100);
+
+   compare_lt42(12);
+   compare_lt42(42);
+   compare_lt42(100);
+
+   compare_le42(12);
+   compare_le42(42);
+   compare_le42(100);
+
+   compare_ge42(12);
+   compare_ge42(42);
+   compare_ge42(100);
+
+   compare_never(12);
+   compare_never(42);
+   compare_never(100);
+
+   compare_always(12);
+   compare_always(42);
+   compare_always(100);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/clgij.stdout.exp b/none/tests/s390x/clgij.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/clgij.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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

diff --git a/none/tests/s390x/clgrj.c b/none/tests/s390x/clgrj.c
new file mode 100644 (file)
index 0000000..24c7c76
--- /dev/null
+++ b/none/tests/s390x/clgrj.c
@@ -0,0 +1,175 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,NEVER) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,ALWAYS) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,LE) "\n\t"
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,GE) "\n\t"
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,GT) "\n\t"
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,LT) "\n\t"
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,EQ) "\n\t"
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne(uint64_t value1, uint64_t value2)
+{
+   register uint64_t val1 asm("r7") = value1;
+   register uint64_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLGRJ(7,8,8,NE) "\n\t"
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq(12, 42);
+   compare_eq(42, 42);
+   compare_eq(100, 42);
+
+   compare_ne(12, 42);
+   compare_ne(42, 42);
+   compare_ne(100, 42);
+
+   compare_gt(12, 42);
+   compare_gt(42, 42);
+   compare_gt(100, 42);
+
+   compare_lt(12, 42);
+   compare_lt(42, 42);
+   compare_lt(100, 42);
+
+   compare_le(12, 42);
+   compare_le(42, 42);
+   compare_le(100, 42);
+
+   compare_ge(12, 42);
+   compare_ge(42, 42);
+   compare_ge(100, 42);
+
+   compare_never(12, 42);
+   compare_never(42, 42);
+   compare_never(100, 42);
+
+   compare_always(12, 42);
+   compare_always(42, 42);
+   compare_always(100, 42);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/clgrj.stdout.exp b/none/tests/s390x/clgrj.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/clgrj.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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

diff --git a/none/tests/s390x/clij.c b/none/tests/s390x/clij.c
new file mode 100644 (file)
index 0000000..d898d6f
--- /dev/null
+++ b/none/tests/s390x/clij.c
@@ -0,0 +1,167 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,NEVER,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,ALWAYS,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le42(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,LE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge42(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,GE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt42(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,GT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt42(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,LT,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq42(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,EQ,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne42(uint32_t value)
+{
+   register uint32_t val asm("r7") = value;
+
+   asm volatile(
+                CLIJ(7,NE,8,2a) "\n\t"    /* 0x2a == 42 */
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq42(12);
+   compare_eq42(42);
+   compare_eq42(100);
+
+   compare_ne42(12);
+   compare_ne42(42);
+   compare_ne42(100);
+
+   compare_gt42(12);
+   compare_gt42(42);
+   compare_gt42(100);
+
+   compare_lt42(12);
+   compare_lt42(42);
+   compare_lt42(100);
+
+   compare_le42(12);
+   compare_le42(42);
+   compare_le42(100);
+
+   compare_ge42(12);
+   compare_ge42(42);
+   compare_ge42(100);
+
+   compare_never(12);
+   compare_never(42);
+   compare_never(100);
+
+   compare_always(12);
+   compare_always(42);
+   compare_always(100);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/clij.stdout.exp b/none/tests/s390x/clij.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/clij.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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

diff --git a/none/tests/s390x/clrj.c b/none/tests/s390x/clrj.c
new file mode 100644 (file)
index 0000000..3c73247
--- /dev/null
+++ b/none/tests/s390x/clrj.c
@@ -0,0 +1,175 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,NEVER) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,ALWAYS) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,LE) "\n\t"
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,GE) "\n\t"
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,GT) "\n\t"
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,LT) "\n\t"
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,EQ) "\n\t"
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne(uint32_t value1, uint32_t value2)
+{
+   register uint32_t val1 asm("r7") = value1;
+   register uint32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CLRJ(7,8,8,NE) "\n\t"
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq(12, 42);
+   compare_eq(42, 42);
+   compare_eq(100, 42);
+
+   compare_ne(12, 42);
+   compare_ne(42, 42);
+   compare_ne(100, 42);
+
+   compare_gt(12, 42);
+   compare_gt(42, 42);
+   compare_gt(100, 42);
+
+   compare_lt(12, 42);
+   compare_lt(42, 42);
+   compare_lt(100, 42);
+
+   compare_le(12, 42);
+   compare_le(42, 42);
+   compare_le(100, 42);
+
+   compare_ge(12, 42);
+   compare_ge(42, 42);
+   compare_ge(100, 42);
+
+   compare_never(12, 42);
+   compare_never(42, 42);
+   compare_never(100, 42);
+
+   compare_always(12, 42);
+   compare_always(42, 42);
+   compare_always(100, 42);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/clrj.stdout.exp b/none/tests/s390x/clrj.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/clrj.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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

diff --git a/none/tests/s390x/crj.c b/none/tests/s390x/crj.c
new file mode 100644 (file)
index 0000000..97acc85
--- /dev/null
+++ b/none/tests/s390x/crj.c
@@ -0,0 +1,175 @@
+#include <stdio.h>
+#include <stdint.h>
+#include "opcodes.h"
+
+#define BRASLCLOBBER "0","1","2","3","4","5","14", \
+                    "f0","f1","f2","f3","f4","f5","f6","f7"
+
+void if_eq(void)        { printf("equal\n");   }
+void if_ne(void)        { printf("not equal\n");   }
+void if_gt(void)        { printf("greater than\n");   }
+void if_le(void)        { printf("less or equal\n");   }
+void if_lt(void)        { printf("less than\n");   }
+void if_ge(void)        { printf("greater or equal\n");   }
+void if_taken(void)     { printf("taken\n");   }
+void if_not_taken(void) { printf("not taken\n");   }
+
+#undef LT
+#define NEVER 0
+#define GT 2
+#define LT 4
+#define NE 6
+#define EQ 8
+#define LE C
+#define GE A
+#define ALWAYS E
+
+
+void compare_never(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,NEVER) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_always(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,ALWAYS) "\n\t"
+                "brasl 14,if_not_taken\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_taken\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_le(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,LE) "\n\t"
+                "brasl 14,if_gt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_le\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ge(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,GE) "\n\t"
+                "brasl 14,if_lt\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ge\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_gt(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,GT) "\n\t"
+                "brasl 14,if_le\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_gt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_lt(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,LT) "\n\t"
+                "brasl 14,if_ge\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_lt\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_eq(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,EQ) "\n\t"
+                "brasl 14,if_ne\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_eq\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+void compare_ne(int32_t value1, int32_t value2)
+{
+   register int32_t val1 asm("r7") = value1;
+   register int32_t val2 asm("r8") = value2;
+
+   asm volatile(
+                CRJ(7,8,8,NE) "\n\t"
+                "brasl 14,if_eq\n\t"
+                "j     0f\n\t"
+                "brasl 14,if_ne\n\t"
+                "0: nopr 0\n\t" : : "d"(val1), "d"(val2) : BRASLCLOBBER);
+   return;
+}
+
+int main()
+{
+   compare_eq(-12, 42);
+   compare_eq(42, 42);
+   compare_eq(100, 42);
+
+   compare_ne(-12, 42);
+   compare_ne(42, 42);
+   compare_ne(100, 42);
+
+   compare_gt(-12, 42);
+   compare_gt(42, 42);
+   compare_gt(100, 42);
+
+   compare_lt(-12, 42);
+   compare_lt(42, 42);
+   compare_lt(100, 42);
+
+   compare_le(-12, 42);
+   compare_le(42, 42);
+   compare_le(100, 42);
+
+   compare_ge(-12, 42);
+   compare_ge(42, 42);
+   compare_ge(100, 42);
+
+   compare_never(-12, 42);
+   compare_never(42, 42);
+   compare_never(100, 42);
+
+   compare_always(-12, 42);
+   compare_always(42, 42);
+   compare_always(100, 42);
+
+   return 0;
+}

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

diff --git a/none/tests/s390x/crj.stdout.exp b/none/tests/s390x/crj.stdout.exp
new file mode 100644 (file)
index 0000000..bd98295
--- /dev/null
+++ b/none/tests/s390x/crj.stdout.exp
@@ -0,0 +1,24 @@
+not equal
+equal
+not equal
+not equal
+equal
+not equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+less or equal
+less or equal
+greater than
+less than
+greater or equal
+greater or equal
+not taken
+not taken
+not taken
+taken
+taken
+taken

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