Add a test case for (store (op (load ..) ..) ..) folding.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26656 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 45 insertions, 2 deletions

diff --git a/test/CodeGen/X86/store_op_load_fold.ll b/test/CodeGen/X86/store_op_load_fold.ll
index 64d8da59ee..8aa971e247 100644
--- a/test/CodeGen/X86/store_op_load_fold.ll
+++ b/test/CodeGen/X86/store_op_load_fold.ll
@@ -2,8 +2,6 @@
 ;
 ; Test the add and load are folded into the store instruction.
 
-target triple = "i686-pc-linux-gnu"
-
 %X = weak global short 0
 
 void %foo() {
diff --git a/test/CodeGen/X86/store_op_load_fold2.ll b/test/CodeGen/X86/store_op_load_fold2.ll
new file mode 100644
index 0000000000..53733e1f76
--- /dev/null
+++ b/test/CodeGen/X86/store_op_load_fold2.ll
@@ -0,0 +1,45 @@
+; RUN: llvm-as < %s | llc -march=x86 -x86-asm-syntax=intel | grep 'and DWORD PTR' | wc -l | grep 1
+;
+; FIXME: The number of (store (and (load ..) ..) ..) really should be 2. But the current hack
+; only allow one of the folding to happen.
+
+	%struct.Macroblock = type { int, int, int, int, int, [8 x int], %struct.Macroblock*, %struct.Macroblock*, int, [2 x [4 x [4 x [2 x int]]]], [16 x sbyte], [16 x sbyte], int, long, [4 x int], [4 x int], long, int, int, int, int, int, int, int, int, int, int, int, int, int, int, int, short, double, int, int, int, int, int, int, int, int, int }
+
+implementation   ; Functions:
+
+internal fastcc int %dct_chroma(int %uv, int %cr_cbp) {
+entry:
+	br bool false, label %bb2611, label %cond_true129
+
+cond_true129:		; preds = %entry
+	ret int 0
+
+bb2611:		; preds = %entry
+	br bool false, label %cond_true2732.preheader, label %cond_next2752
+
+cond_true2732.preheader:		; preds = %bb2611
+	%tmp2666 = getelementptr %struct.Macroblock* null, int 0, uint 13		; <long*> [#uses=2]
+	%tmp2674 = cast int 0 to ubyte		; <ubyte> [#uses=1]
+	br bool false, label %cond_true2732.preheader.split.us, label %cond_true2732.preheader.split
+
+cond_true2732.preheader.split.us:		; preds = %cond_true2732.preheader
+	br bool false, label %cond_true2732.outer.us.us, label %cond_true2732.outer.us
+
+cond_true2732.outer.us.us:		; preds = %cond_true2732.preheader.split.us
+	%tmp2667.us.us = load long* %tmp2666		; <long> [#uses=1]
+	%tmp2670.us.us = load long* null		; <long> [#uses=1]
+	%tmp2675.us.us = shl long %tmp2670.us.us, ubyte %tmp2674		; <long> [#uses=1]
+	%tmp2675not.us.us = xor long %tmp2675.us.us, -1		; <long> [#uses=1]
+	%tmp2676.us.us = and long %tmp2667.us.us, %tmp2675not.us.us		; <long> [#uses=1]
+	store long %tmp2676.us.us, long* %tmp2666
+	ret int 0
+
+cond_true2732.outer.us:		; preds = %cond_true2732.preheader.split.us
+	ret int 0
+
+cond_true2732.preheader.split:		; preds = %cond_true2732.preheader
+	ret int 0
+
+cond_next2752:		; preds = %bb2611
+	ret int 0
+}