test/CodeGen/X86/2007-02-04-OrAddrMode.ll

   1 ; RUN: llc < %s -march=x86 | FileCheck %s
   2
   3 ;; This example can't fold the or into an LEA.
   4 define i32 @test(float ** %tmp2, i32 %tmp12) nounwind {
   5 ; CHECK-LABEL: test:
   6 ; CHECK-NOT: ret
   7 ; CHECK: orl $1, %{{.*}}
   8 ; CHECK: ret
   9
  10         %tmp3 = load float*, float** %tmp2
  11         %tmp132 = shl i32 %tmp12, 2             ; <i32> [#uses=1]
  12         %tmp4 = bitcast float* %tmp3 to i8*             ; <i8*> [#uses=1]
  13         %ctg2 = getelementptr i8, i8* %tmp4, i32 %tmp132                ; <i8*> [#uses=1]
  14         %tmp6 = ptrtoint i8* %ctg2 to i32               ; <i32> [#uses=1]
  15         %tmp14 = or i32 %tmp6, 1                ; <i32> [#uses=1]
  16         ret i32 %tmp14
  17 }
  18
  19 ;; This can!
  20 define i32 @test2(i32 %a, i32 %b) nounwind {
  21 ; CHECK-LABEL: test2:
  22 ; CHECK-NOT: ret
  23 ; CHECK: leal 3(,%{{.*}},8)
  24 ; CHECK: ret
  25
  26         %c = shl i32 %a, 3
  27         %d = or i32 %c, 3
  28         ret i32 %d
  29 }