Add regtest against vex cse failure that surfaced in 3.2.2.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6557 a5019735-40e9-0310-863c-91ae7b9d1cf9

5 files changed, 69 insertions, 1 deletions

diff --git a/none/tests/x86/Makefile.am b/none/tests/x86/Makefile.am
index 6c752106..bee31947 100644
--- a/none/tests/x86/Makefile.am
+++ b/none/tests/x86/Makefile.am
@@ -15,6 +15,7 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
 	bug137714-x86.stderr.exp bug137714-x86.stdout.exp bug137714-x86.vgtest \
 	cpuid.stderr.exp cpuid.stdout.exp cpuid.vgtest \
 	cmpxchg8b.stderr.exp cmpxchg8b.stdout.exp cmpxchg8b.vgtest \
+	cse_fail.stderr.exp cse_fail.stdout.exp cse_fail.vgtest \
 	faultstatus.disabled faultstatus.stderr.exp \
 	fcmovnu.vgtest fcmovnu.stderr.exp fcmovnu.stdout.exp \
 	fpu_lazy_eflags.stderr.exp fpu_lazy_eflags.stdout.exp \
@@ -44,7 +45,7 @@ check_PROGRAMS = \
 	bug132813-x86 \
 	bug135421-x86 \
 	bug137714-x86 \
-	cmpxchg8b cpuid \
+	cmpxchg8b cpuid cse_fail \
 	faultstatus fcmovnu fpu_lazy_eflags fxtract \
 	getseg incdec_alt $(INSN_TESTS) \
 	jcxz \
diff --git a/none/tests/x86/cse_fail.c b/none/tests/x86/cse_fail.c
new file mode 100644
index 00000000..488963f7
--- /dev/null
+++ b/none/tests/x86/cse_fail.c
@@ -0,0 +1,62 @@
+
+/* This isn't really an x86 specific test.  It checks for an
+   iropt CSE failure that appeared in 3.2.2:
+
+ex: the `impossible' happened:
+   eqIRConst
+vex storage: T total 68337344 bytes allocated
+
+valgrind: the 'impossible' happened:
+   LibVEX called failure_exit().
+==23986==    at 0x38017803: report_and_quit (m_libcassert.c:136)
+==23986==    by 0x38017941: panic (m_libcassert.c:210)
+==23986==    by 0x38017997: vgPlain_core_panic_at (m_libcassert.c:215)
+==23986==    by 0x380179B5: vgPlain_core_panic (m_libcassert.c:220)
+==23986==    by 0x3802A650: failure_exit (m_translate.c:487)
+==23986==    by 0x38071678: vpanic (vex_util.c:225)
+==23986==    by 0x3806A1B0: eqIRConst (irdefs.c:2576)
+==23986==    by 0x3810BB84: do_cse_BB (iropt.c:2279)
+==23986==    by 0x3810CBBD: do_iropt_BB (iropt.c:4208)
+==23986==    by 0x3807010B: LibVEX_Translate (vex_main.c:478)
+==23986==    by 0x38029365: vgPlain_translate (m_translate.c:1097)
+==23986==    by 0x38037610: vgPlain_scheduler (scheduler.c:693)
+==23986==    by 0x38052FBE: run_a_thread_NORETURN (syswrap-linux.c:87)
+*/
+
+#include <stdio.h>
+
+int main ( void )
+{
+   /* This bombs 3.2.2 w/ V128 non-match in eqIRConst. */
+   printf("V128 cse:\n");
+   __asm__ __volatile__(
+      "pxor   %%xmm0,%%xmm0\n\t"
+      "movaps %%xmm1,%%xmm2\n\t"
+      "addps  %%xmm0,%%xmm1\n\t"
+      "addps  %%xmm0,%%xmm2\n\t"
+      "addps  %%xmm1,%%xmm2\n\t"
+      : : : "xmm0","xmm1", "st"
+   );
+
+   /* This ought to cause it to fail w/ F64i non-match in eqIRConst,
+      but it doesn't.  I don't understand why not. */
+   printf("F64i cse:\n");
+   __asm__ __volatile__(
+      "fninit\n\t"
+
+      "fldz\n\t"
+      "fldz\n\t"
+      "fstp %%st(4)\n\t"
+      "fstp %%st(3)\n\t"
+
+      "fldpi\n\t"
+      "fldpi\n\t"
+      "fsqrt\n\t"
+      "fxch %%st(1)\n\t"
+      "fsqrt\n\t"
+      "faddp %%st(1)\n\t"
+
+      : : : "st"
+      );
+   return 0;
+}
diff --git a/none/tests/x86/cse_fail.stderr.exp b/none/tests/x86/cse_fail.stderr.exp
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/none/tests/x86/cse_fail.stderr.exp
diff --git a/none/tests/x86/cse_fail.stdout.exp b/none/tests/x86/cse_fail.stdout.exp
new file mode 100644
index 00000000..879d665d
--- /dev/null
+++ b/none/tests/x86/cse_fail.stdout.exp
@@ -0,0 +1,2 @@
+V128 cse:
+F64i cse:
diff --git a/none/tests/x86/cse_fail.vgtest b/none/tests/x86/cse_fail.vgtest
new file mode 100644
index 00000000..13e64bd0
--- /dev/null
+++ b/none/tests/x86/cse_fail.vgtest
@@ -0,0 +1,3 @@
+prog: cse_fail
+prereq: ../../../tests/cputest x86-sse
+vgopts: -q