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

diff --git a/test/CodeGen/X86/store_op_load_fold.ll b/test/CodeGen/X86/store_op_load_fold.ll
index 64d8da5..8aa971e 100644 (file)
--- 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 (file)
index 0000000..53733e1
--- /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
+}