Menu
▾
▴
[Valgrind-developers] valgrind: r12561: Add a few testcases that exercise the s390_calculate_icc helper.
|
From: <sv...@va...> - 2012-05-12 00:05:23
|
florian 2012-05-12 01:05:14 +0100 (Sat, 12 May 2012)
New Revision: 12561
Log:
Add a few testcases that exercise the s390_calculate_icc helper.
Added files:
trunk/none/tests/s390x/cgij.c
trunk/none/tests/s390x/cgij.stderr.exp
trunk/none/tests/s390x/cgij.stdout.exp
trunk/none/tests/s390x/cgij.vgtest
trunk/none/tests/s390x/cgrj.c
trunk/none/tests/s390x/cgrj.stderr.exp
trunk/none/tests/s390x/cgrj.stdout.exp
trunk/none/tests/s390x/cgrj.vgtest
trunk/none/tests/s390x/cij.c
trunk/none/tests/s390x/cij.stderr.exp
trunk/none/tests/s390x/cij.stdout.exp
trunk/none/tests/s390x/cij.vgtest
trunk/none/tests/s390x/clgij.c
trunk/none/tests/s390x/clgij.stderr.exp
trunk/none/tests/s390x/clgij.stdout.exp
trunk/none/tests/s390x/clgij.vgtest
trunk/none/tests/s390x/clgrj.c
trunk/none/tests/s390x/clgrj.stderr.exp
trunk/none/tests/s390x/clgrj.stdout.exp
trunk/none/tests/s390x/clgrj.vgtest
trunk/none/tests/s390x/clij.c
trunk/none/tests/s390x/clij.stderr.exp
trunk/none/tests/s390x/clij.stdout.exp
trunk/none/tests/s390x/clij.vgtest
trunk/none/tests/s390x/clrj.c
trunk/none/tests/s390x/clrj.stderr.exp
trunk/none/tests/s390x/clrj.stdout.exp
trunk/none/tests/s390x/clrj.vgtest
trunk/none/tests/s390x/crj.c
trunk/none/tests/s390x/crj.stderr.exp
trunk/none/tests/s390x/crj.stdout.exp
trunk/none/tests/s390x/crj.vgtest
Modified directories:
trunk/none/tests/s390x/
Modified files:
trunk/none/tests/s390x/Makefile.am
Modified: trunk/none/tests/s390x/
Added: trunk/none/tests/s390x/clij.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/clij.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clij.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/clgij.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/clgij.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgij.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/cij.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/cij.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cij.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/cgij.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/cgij.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgij.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: cgij
Added: trunk/none/tests/s390x/clrj.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/clrj.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clrj.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: clrj
Added: trunk/none/tests/s390x/cgij.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/cgij.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgij.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/clgrj.c (+175 -0)
===================================================================
--- trunk/none/tests/s390x/clgrj.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgrj.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Added: trunk/none/tests/s390x/cgrj.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/cgrj.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgrj.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/clgrj.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/clgrj.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgrj.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/cij.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/cij.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cij.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: cij
Added: trunk/none/tests/s390x/cgij.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/cgij.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgij.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/clij.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/clij.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clij.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: clij
Added: trunk/none/tests/s390x/clij.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/clij.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clij.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/clgrj.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/clgrj.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgrj.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: clgrj
Added: trunk/none/tests/s390x/cij.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/cij.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cij.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/cgrj.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/cgrj.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgrj.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/cgrj.c (+175 -0)
===================================================================
--- trunk/none/tests/s390x/cgrj.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgrj.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Added: trunk/none/tests/s390x/clij.c (+167 -0)
===================================================================
--- trunk/none/tests/s390x/clij.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clij.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Added: trunk/none/tests/s390x/clgrj.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/clgrj.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgrj.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/cij.c (+167 -0)
===================================================================
--- trunk/none/tests/s390x/cij.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cij.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Modified: trunk/none/tests/s390x/Makefile.am (+1 -1)
===================================================================
--- trunk/none/tests/s390x/Makefile.am 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/Makefile.am 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -6,7 +6,7 @@
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 \
Added: trunk/none/tests/s390x/crj.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/crj.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/crj.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/clrj.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/clrj.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clrj.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/clgij.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/clgij.stderr.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgij.stderr.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/cgrj.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/cgrj.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgrj.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: cgrj
Added: trunk/none/tests/s390x/cgij.c (+167 -0)
===================================================================
--- trunk/none/tests/s390x/cgij.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/cgij.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Added: trunk/none/tests/s390x/crj.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/crj.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/crj.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: crj
Added: trunk/none/tests/s390x/crj.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/crj.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/crj.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/crj.c (+175 -0)
===================================================================
--- trunk/none/tests/s390x/crj.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/crj.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Added: trunk/none/tests/s390x/clrj.stdout.exp (+24 -0)
===================================================================
--- trunk/none/tests/s390x/clrj.stdout.exp 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clrj.stdout.exp 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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
Added: trunk/none/tests/s390x/clrj.c (+175 -0)
===================================================================
--- trunk/none/tests/s390x/clrj.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clrj.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Added: trunk/none/tests/s390x/clgij.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/clgij.vgtest 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgij.vgtest 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -0,0 +1 @@
+prog: clgij
Added: trunk/none/tests/s390x/clgij.c (+167 -0)
===================================================================
--- trunk/none/tests/s390x/clgij.c 2012-05-11 23:10:39 +01:00 (rev 12560)
+++ trunk/none/tests/s390x/clgij.c 2012-05-12 01:05:14 +01:00 (rev 12561)
@@ -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;
+}
Property changed: trunk/none/tests/s390x (+0 -0)
___________________________________________________________________
Name: svn:ignore
- .deps
add
add_EI
add_GE
allexec
and
and_EI
clc
clcle
cvb
cvd
div
ex_clone
ex_sig
flogr
icm
insert
insert_EI
lam_stam
lpr
Makefile
Makefile.in
mul
mul_GE
mvst
or
or_EI
srst
sub
sub_EI
tcxb
xc
xor
xor_EI
stck
stcke
stckf
op_exception
fgx
condloadstore
fold_And16
stfle
op00
cksm
clcl
mvcl
troo
trot
trto
trtt
tr
tre
+ .deps
add
add_EI
add_GE
allexec
and
and_EI
clc
clcle
cvb
cvd
div
ex_clone
ex_sig
flogr
icm
insert
insert_EI
lam_stam
lpr
Makefile
Makefile.in
mul
mul_GE
mvst
or
or_EI
srst
sub
sub_EI
tcxb
xc
xor
xor_EI
stck
stcke
stckf
op_exception
fgx
condloadstore
fold_And16
stfle
op00
cksm
clcl
mvcl
troo
trot
trto
trtt
tr
tre
clrj
clgrj
crj
cgrj
clij
clgij
cij
cgij
|
