Menu
▾
▴
[Valgrind-developers] valgrind: r12595: Add testcases for "compare and swap".
|
From: <sv...@va...> - 2012-05-30 20:47:14
|
florian 2012-05-30 21:46:58 +0100 (Wed, 30 May 2012)
New Revision: 12595
Log:
Add testcases for "compare and swap".
Added directories:
trunk/memcheck/tests/s390x/
Added files:
trunk/memcheck/tests/s390x/Makefile.am
trunk/memcheck/tests/s390x/cs.c
trunk/memcheck/tests/s390x/cs.stderr.exp
trunk/memcheck/tests/s390x/cs.vgtest
trunk/memcheck/tests/s390x/csg.c
trunk/memcheck/tests/s390x/csg.stderr.exp
trunk/memcheck/tests/s390x/csg.vgtest
trunk/memcheck/tests/s390x/filter_stderr
trunk/none/tests/s390x/cs.c
trunk/none/tests/s390x/cs.stderr.exp
trunk/none/tests/s390x/cs.stdout.exp
trunk/none/tests/s390x/cs.vgtest
trunk/none/tests/s390x/csg.c
trunk/none/tests/s390x/csg.stderr.exp
trunk/none/tests/s390x/csg.stdout.exp
trunk/none/tests/s390x/csg.vgtest
Modified directories:
trunk/none/tests/s390x/
Modified files:
trunk/configure.in
trunk/memcheck/tests/Makefile.am
trunk/none/tests/s390x/Makefile.am
Added: trunk/memcheck/tests/s390x/
Modified: trunk/none/tests/s390x/
Added: trunk/none/tests/s390x/csg.c (+51 -0)
===================================================================
--- trunk/none/tests/s390x/csg.c 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/csg.c 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,51 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+void
+test(int64_t op1_init, int64_t op2_init, int64_t op3_init, int expected_cc)
+{
+ register int64_t op1 asm("8") = op1_init;
+ register int64_t op3 asm("9") = op3_init;
+
+ int64_t op2 = op2_init;
+ int cc = 1;
+
+ printf("before op1 = %#lx\n", op1);
+ printf("before op2 = %#lx\n", op2);
+ printf("before op3 = %#lx\n", op3);
+
+ __asm__ volatile (
+ "csg 8,9,%1\n\t"
+ "ipm %0\n\t"
+ "srl %0,28\n\t"
+ : "=d" (cc), "+Q" (op2), "+d"(op1), "+d"(op3)
+ :
+ : "cc");
+
+ printf("after op1 = %#lx\n", op1);
+ printf("after op2 = %#lx\n", op2);
+ printf("after op3 = %#lx\n", op3);
+ printf("cc = %d\n", cc);
+
+ if (cc != expected_cc) {
+ printf("condition code is incorrect\n");
+ }
+ if (expected_cc == 0) {
+ if (op2 != op3) {
+ printf("operand #2 not updated\n");
+ }
+ } else {
+ if (op1 != op2) {
+ printf("operand #1 not updated\n");
+ }
+ }
+}
+
+int main ()
+{
+ test(0x1000000000000000ull, 0x1000000000000000ull, 0x1234567887654321ull, 0);
+ test(0x1000000000000000ull, 0x2000000000000000ull, 0x1234567887654321ull, 1);
+
+ return 0;
+}
Added: trunk/memcheck/tests/s390x/cs.vgtest (+2 -0)
===================================================================
--- trunk/memcheck/tests/s390x/cs.vgtest 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/cs.vgtest 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,2 @@
+prog: cs
+vgopts: -q
Added: trunk/memcheck/tests/s390x/cs.c (+32 -0)
===================================================================
--- trunk/memcheck/tests/s390x/cs.c 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/cs.c 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,32 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+void
+test(int32_t op1_init, int32_t op2_init, int32_t op3_init)
+{
+ register int32_t op1 asm("8") = op1_init;
+ register int32_t op3 asm("9") = op3_init;
+
+ int32_t op2 = op2_init;
+ int cc = 1;
+
+ __asm__ volatile (
+ "cs 8,9,%1\n\t"
+ "ipm %0\n\t"
+ "srl %0,28\n\t"
+ : "=d" (cc), "+Q" (op2), "+d"(op1), "+d"(op3)
+ :
+ : "cc");
+}
+
+int main ()
+{
+ int op1, op2, op3;
+
+ test(op1, 0x10000000, 0x12345678); // complaint
+ test(0x10000000, op2, 0x12345678); // complaint
+ test(0x10000000, 0x01000000, op3); // no complaint
+
+ return 0;
+}
Modified: trunk/memcheck/tests/Makefile.am (+4 -0)
===================================================================
--- trunk/memcheck/tests/Makefile.am 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/Makefile.am 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -18,6 +18,10 @@
SUBDIRS += ppc64
endif
+if VGCONF_ARCHS_INCLUDE_S390X
+SUBDIRS += s390x
+endif
+
# OS-specific tests
if VGCONF_OS_IS_LINUX
SUBDIRS += linux
Added: trunk/none/tests/s390x/csg.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/csg.vgtest 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/csg.vgtest 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1 @@
+prog: csg
Added: trunk/none/tests/s390x/cs.stdout.exp (+14 -0)
===================================================================
--- trunk/none/tests/s390x/cs.stdout.exp 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/cs.stdout.exp 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,14 @@
+before op1 = 0x10000000
+before op2 = 0x10000000
+before op3 = 0x12345678
+after op1 = 0x10000000
+after op2 = 0x12345678
+after op3 = 0x12345678
+cc = 0
+before op1 = 0x10000000
+before op2 = 0x20000000
+before op3 = 0x12345678
+after op1 = 0x20000000
+after op2 = 0x20000000
+after op3 = 0x12345678
+cc = 1
Added: trunk/memcheck/tests/s390x/csg.c (+32 -0)
===================================================================
--- trunk/memcheck/tests/s390x/csg.c 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/csg.c 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,32 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+void
+test(int64_t op1_init, int64_t op2_init, int64_t op3_init)
+{
+ register int64_t op1 asm("8") = op1_init;
+ register int64_t op3 asm("9") = op3_init;
+
+ int64_t op2 = op2_init;
+ int cc = 1;
+
+ __asm__ volatile (
+ "csg 8,9,%1\n\t"
+ "ipm %0\n\t"
+ "srl %0,28\n\t"
+ : "=d" (cc), "+Q" (op2), "+d"(op1), "+d"(op3)
+ :
+ : "cc");
+}
+
+int main ()
+{
+ int64_t op1, op2, op3;
+
+ test(op1, 0x1000000000000000ull, 0x1234567887654321ull); // complaint
+ test(0x1000000000000000ull, op2, 0x1234567887654321ull); // complaint
+ test(0x1000000000000000ull, 0x1000000000000000ull, op3); // no complaint
+
+ return 0;
+}
Property changed: trunk/memcheck/tests/s390x/filter_stderr (+0 -0)
___________________________________________________________________
Name: svn:executable
+ *
Added: trunk/memcheck/tests/s390x/filter_stderr (+3 -0)
===================================================================
--- trunk/memcheck/tests/s390x/filter_stderr 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/filter_stderr 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,3 @@
+#! /bin/sh
+
+../filter_stderr "$@"
Modified: trunk/configure.in (+1 -0)
===================================================================
--- trunk/configure.in 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/configure.in 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -2196,6 +2196,7 @@
memcheck/tests/x86-linux/Makefile
memcheck/tests/ppc32/Makefile
memcheck/tests/ppc64/Makefile
+ memcheck/tests/s390x/Makefile
cachegrind/Makefile
cachegrind/tests/Makefile
cachegrind/tests/x86/Makefile
Added: trunk/none/tests/s390x/csg.stdout.exp (+14 -0)
===================================================================
--- trunk/none/tests/s390x/csg.stdout.exp 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/csg.stdout.exp 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,14 @@
+before op1 = 0x1000000000000000
+before op2 = 0x1000000000000000
+before op3 = 0x1234567887654321
+after op1 = 0x1000000000000000
+after op2 = 0x1234567887654321
+after op3 = 0x1234567887654321
+cc = 0
+before op1 = 0x1000000000000000
+before op2 = 0x2000000000000000
+before op3 = 0x1234567887654321
+after op1 = 0x2000000000000000
+after op2 = 0x2000000000000000
+after op3 = 0x1234567887654321
+cc = 1
Added: trunk/none/tests/s390x/csg.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/csg.stderr.exp 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/csg.stderr.exp 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/s390x/cs.c (+51 -0)
===================================================================
--- trunk/none/tests/s390x/cs.c 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/cs.c 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,51 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+void
+test(int32_t op1_init, int32_t op2_init, int32_t op3_init, int expected_cc)
+{
+ register int32_t op1 asm("8") = op1_init;
+ register int32_t op3 asm("9") = op3_init;
+
+ int32_t op2 = op2_init;
+ int cc = 1;
+
+ printf("before op1 = %#x\n", op1);
+ printf("before op2 = %#x\n", op2);
+ printf("before op3 = %#x\n", op3);
+
+ __asm__ volatile (
+ "cs 8,9,%1\n\t"
+ "ipm %0\n\t"
+ "srl %0,28\n\t"
+ : "=d" (cc), "+Q" (op2), "+d"(op1), "+d"(op3)
+ :
+ : "cc");
+
+ printf("after op1 = %#x\n", op1);
+ printf("after op2 = %#x\n", op2);
+ printf("after op3 = %#x\n", op3);
+ printf("cc = %d\n", cc);
+
+ if (cc != expected_cc) {
+ printf("condition code is incorrect\n");
+ }
+ if (expected_cc == 0) {
+ if (op2 != op3) {
+ printf("operand #2 not updated\n");
+ }
+ } else {
+ if (op1 != op2) {
+ printf("operand #1 not updated\n");
+ }
+ }
+}
+
+int main ()
+{
+ test(0x10000000, 0x10000000, 0x12345678, 0);
+ test(0x10000000, 0x20000000, 0x12345678, 1);
+
+ return 0;
+}
Added: trunk/memcheck/tests/s390x/csg.vgtest (+2 -0)
===================================================================
--- trunk/memcheck/tests/s390x/csg.vgtest 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/csg.vgtest 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,2 @@
+prog: csg
+vgopts: -q
Property changed: trunk/memcheck/tests/s390x (+0 -0)
___________________________________________________________________
Name: svn:ignore
+ .deps
Makefile
Makefile.in
cs
csg
Added: trunk/none/tests/s390x/cs.vgtest (+1 -0)
===================================================================
--- trunk/none/tests/s390x/cs.vgtest 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/cs.vgtest 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1 @@
+prog: cs
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
clrj
clgrj
crj
cgrj
clij
clgij
cij
cgij
+ .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
cs
csg
Added: trunk/memcheck/tests/s390x/csg.stderr.exp (+8 -0)
===================================================================
--- trunk/memcheck/tests/s390x/csg.stderr.exp 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/csg.stderr.exp 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,8 @@
+Conditional jump or move depends on uninitialised value(s)
+ at 0x........: test (csg.c:14)
+ by 0x........: main (csg.c:27)
+
+Conditional jump or move depends on uninitialised value(s)
+ at 0x........: test (csg.c:14)
+ by 0x........: main (csg.c:28)
+
Added: trunk/memcheck/tests/s390x/cs.stderr.exp (+8 -0)
===================================================================
--- trunk/memcheck/tests/s390x/cs.stderr.exp 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/cs.stderr.exp 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,8 @@
+Conditional jump or move depends on uninitialised value(s)
+ at 0x........: test (cs.c:14)
+ by 0x........: main (cs.c:27)
+
+Conditional jump or move depends on uninitialised value(s)
+ at 0x........: test (cs.c:14)
+ by 0x........: main (cs.c:28)
+
Added: trunk/memcheck/tests/s390x/Makefile.am (+16 -0)
===================================================================
--- trunk/memcheck/tests/s390x/Makefile.am 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/memcheck/tests/s390x/Makefile.am 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,16 @@
+include $(top_srcdir)/Makefile.tool-tests.am
+
+dist_noinst_SCRIPTS = filter_stderr
+
+INSN_TESTS = cs csg
+
+check_PROGRAMS = $(INSN_TESTS)
+
+EXTRA_DIST = \
+ $(addsuffix .stderr.exp,$(INSN_TESTS)) \
+ $(addsuffix .stdout.exp,$(INSN_TESTS)) \
+ $(addsuffix .vgtest,$(INSN_TESTS))
+
+AM_CFLAGS += @FLAG_M64@
+AM_CXXFLAGS += @FLAG_M64@
+AM_CCASFLAGS += @FLAG_M64@
Added: trunk/none/tests/s390x/cs.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/s390x/cs.stderr.exp 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/cs.stderr.exp 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -0,0 +1,2 @@
+
+
Modified: trunk/none/tests/s390x/Makefile.am (+2 -1)
===================================================================
--- trunk/none/tests/s390x/Makefile.am 2012-05-29 18:04:13 +01:00 (rev 12594)
+++ trunk/none/tests/s390x/Makefile.am 2012-05-30 21:46:58 +01:00 (rev 12595)
@@ -6,7 +6,8 @@
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 cij cgij clij clgij crj cgrj clrj clgrj
+ trto trot trtt tr tre cij cgij clij clgij crj cgrj clrj clgrj \
+ cs csg
check_PROGRAMS = $(INSN_TESTS) \
allexec \
|
