From: Julian Seward <jseward@acm.org>
Date: Thu, 28 Dec 2006 00:16:51 +0000 (+0000)
Subject: Add regtest for bug129390 (altivec cache hint insns)
X-Git-Tag: svn/VALGRIND_3_3_0~457
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d3f2db6a1efa0fdeec9c688f60f4f5e343e5db41;p=thirdparty%2Fvalgrind.git

Add regtest for bug129390 (altivec cache hint insns)


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

diff --git a/none/tests/ppc32/Makefile.am b/none/tests/ppc32/Makefile.am
index 7dac2b045c..9534b74cfe 100644
--- a/none/tests/ppc32/Makefile.am
+++ b/none/tests/ppc32/Makefile.am
@@ -2,6 +2,8 @@
 noinst_SCRIPTS = filter_stderr
 
 EXTRA_DIST = $(noinst_SCRIPTS) \
+	bug129390-ppc32.stdout.exp bug129390-ppc32.stderr.exp \
+	bug129390-ppc32.vgtest \
 	bug139050-ppc32.stdout.exp bug139050-ppc32.stderr.exp \
 	bug139050-ppc32.vgtest \
 	ldstrev.stderr.exp ldstrev.stdout.exp ldstrev.vgtest \
@@ -19,6 +21,7 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
 	xlc_dbl_u32.stderr.exp xlc_dbl_u32.stdout.exp xlc_dbl_u32.vgtest
 
 check_PROGRAMS = \
+	bug129390-ppc32 \
 	bug139050-ppc32 \
 	ldstrev lsw jm-insns mftocrf mcrfs round test_fx test_gx \
 	testVMX twi xlc_dbl_u32
diff --git a/none/tests/ppc32/bug129390-ppc32.c b/none/tests/ppc32/bug129390-ppc32.c
new file mode 100644
index 0000000000..e83aafe8ac
--- /dev/null
+++ b/none/tests/ppc32/bug129390-ppc32.c
@@ -0,0 +1,52 @@
+
+#include <stdio.h>
+
+int main ( void )
+{
+  printf("vmxcache: start\n");
+  __asm__ __volatile__(
+     "dss 0\n\t"
+     "dss 1\n\t"
+     "dss 2\n\t"
+     "dss 3\n\t"
+     "dssall\n\t"
+
+     "dst 0,0,0\n\t"
+     "dst 0,0,3\n\t"
+     "dst 0,31,0\n\t"
+     "dst 0,31,3\n\t"
+     "dst 31,0,0\n\t"
+     "dst 31,0,3\n\t"
+     "dst 31,31,0\n\t"
+     "dst 31,31,3\n\t"
+
+     "dstt 0,0,0\n\t"
+     "dstt 0,0,3\n\t"
+     "dstt 0,31,0\n\t"
+     "dstt 0,31,3\n\t"
+     "dstt 31,0,0\n\t"
+     "dstt 31,0,3\n\t"
+     "dstt 31,31,0\n\t"
+     "dstt 31,31,3\n\t"
+
+     "dstst 0,0,0\n\t"
+     "dstst 0,0,3\n\t"
+     "dstst 0,31,0\n\t"
+     "dstst 0,31,3\n\t"
+     "dstst 31,0,0\n\t"
+     "dstst 31,0,3\n\t"
+     "dstst 31,31,0\n\t"
+     "dstst 31,31,3\n\t"
+
+     "dststt 0,0,0\n\t"
+     "dststt 0,0,3\n\t"
+     "dststt 0,31,0\n\t"
+     "dststt 0,31,3\n\t"
+     "dststt 31,0,0\n\t"
+     "dststt 31,0,3\n\t"
+     "dststt 31,31,0\n\t"
+     "dststt 31,31,3\n\t"
+  );
+  printf("vmxcache: done\n");
+  return 0;
+}
diff --git a/none/tests/ppc32/bug129390-ppc32.stderr.exp b/none/tests/ppc32/bug129390-ppc32.stderr.exp
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/none/tests/ppc32/bug129390-ppc32.stdout.exp b/none/tests/ppc32/bug129390-ppc32.stdout.exp
new file mode 100644
index 0000000000..42be2df737
--- /dev/null
+++ b/none/tests/ppc32/bug129390-ppc32.stdout.exp
@@ -0,0 +1,2 @@
+vmxcache: start
+vmxcache: done
diff --git a/none/tests/ppc32/bug129390-ppc32.vgtest b/none/tests/ppc32/bug129390-ppc32.vgtest
new file mode 100644
index 0000000000..a4fb6ba679
--- /dev/null
+++ b/none/tests/ppc32/bug129390-ppc32.vgtest
@@ -0,0 +1,2 @@
+prog: bug129390-ppc32
+vgopts: -q