CodeGen peephole: fold redundant phys reg copies
[oota-llvm.git] / test / CodeGen / X86 / store_op_load_fold.ll
index 64d8da59eed8c5a074a08e98fbac40613bf06dac..c4cdc0e9932a751d2f40fcefcb2e31a7ffc9457f 100644 (file)
@@ -1,14 +1,30 @@
-; RUN: llvm-as < %s | llc -march=x86 | not grep 'mov'
+; RUN: llc < %s -mtriple=i686-darwin | FileCheck %s
 ;
 ; Test the add and load are folded into the store instruction.
 
-target triple = "i686-pc-linux-gnu"
+@X = internal global i16 0              ; <i16*> [#uses=2]
 
-%X = weak global short 0
+define void @foo() nounwind {
+; CHECK-LABEL: foo:
+; CHECK-NOT: mov
+; CHECK: add
+; CHECK-NEXT: ret
+        %tmp.0 = load i16, i16* @X           ; <i16> [#uses=1]
+        %tmp.3 = add i16 %tmp.0, 329            ; <i16> [#uses=1]
+        store i16 %tmp.3, i16* @X
+        ret void
+}
 
-void %foo() {
-       %tmp.0 = load short* %X
-       %tmp.3 = add short %tmp.0, 329
-       store short %tmp.3, short* %X
-       ret void
+; rdar://12838504
+%struct.S2 = type { i64, i16, [2 x i8], i8, [3 x i8], [7 x i8], i8, [8 x i8] }
+@s2 = external global %struct.S2, align 16
+define void @test2() nounwind uwtable ssp {
+; CHECK-LABEL: test2:
+; CHECK: mov
+; CHECK-NEXT: and
+; CHECK-NEXT: ret
+  %bf.load35 = load i56, i56* bitcast ([7 x i8]* getelementptr inbounds (%struct.S2, %struct.S2* @s2, i32 0, i32 5) to i56*), align 16
+  %bf.clear36 = and i56 %bf.load35, -1125895611875329
+  store i56 %bf.clear36, i56* bitcast ([7 x i8]* getelementptr inbounds (%struct.S2, %struct.S2* @s2, i32 0, i32 5) to i56*), align 16
+  ret void
 }