test/CodeGen/X86/store_op_load_fold.ll

   1 ; RUN: llc < %s -mtriple=i686-darwin | FileCheck %s
   2 ;
   3 ; Test the add and load are folded into the store instruction.
   4
   5 @X = internal global i16 0              ; <i16*> [#uses=2]
   6
   7 define void @foo() nounwind {
   8 ; CHECK-LABEL: foo:
   9 ; CHECK-NOT: mov
  10 ; CHECK: add
  11 ; CHECK-NEXT: ret
  12         %tmp.0 = load i16, i16* @X           ; <i16> [#uses=1]
  13         %tmp.3 = add i16 %tmp.0, 329            ; <i16> [#uses=1]
  14         store i16 %tmp.3, i16* @X
  15         ret void
  16 }
  17
  18 ; rdar://12838504
  19 %struct.S2 = type { i64, i16, [2 x i8], i8, [3 x i8], [7 x i8], i8, [8 x i8] }
  20 @s2 = external global %struct.S2, align 16
  21 define void @test2() nounwind uwtable ssp {
  22 ; CHECK-LABEL: test2:
  23 ; CHECK: mov
  24 ; CHECK-NEXT: and
  25 ; CHECK-NEXT: ret
  26   %bf.load35 = load i56, i56* bitcast ([7 x i8]* getelementptr inbounds (%struct.S2, %struct.S2* @s2, i32 0, i32 5) to i56*), align 16
  27   %bf.clear36 = and i56 %bf.load35, -1125895611875329
  28   store i56 %bf.clear36, i56* bitcast ([7 x i8]* getelementptr inbounds (%struct.S2, %struct.S2* @s2, i32 0, i32 5) to i56*), align 16
  29   ret void
  30 }