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 7dac2b045c1fc8c29b29ca41b0fbef4c0071d95e..9534b74cfed82dc969466f469a4b77e20032e8e5 100644 (file)
--- 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 (file)
index 0000000..e83aafe
--- /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 (file)
index 0000000..e69de29

diff --git a/none/tests/ppc32/bug129390-ppc32.stdout.exp b/none/tests/ppc32/bug129390-ppc32.stdout.exp
new file mode 100644 (file)
index 0000000..42be2df
--- /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 (file)
index 0000000..a4fb6ba
--- /dev/null
+++ b/none/tests/ppc32/bug129390-ppc32.vgtest
@@ -0,0 +1,2 @@
+prog: bug129390-ppc32
+vgopts: -q