blob: b0eb1c5441bf2e878bf17daa75f2b90b215cc53c [file] [log] [blame]
Chandler Carruth327b8f12011-07-02 20:43:04 +00001; RUN: llc < %s -march=x86 | FileCheck %s
Chris Lattner2b5d75c2007-02-04 20:15:15 +00002
3;; This example can't fold the or into an LEA.
Evan Chengd9d3a892010-01-12 18:29:23 +00004define i32 @test(float ** %tmp2, i32 %tmp12) nounwind {
Chandler Carruth327b8f12011-07-02 20:43:04 +00005; CHECK: test:
6; CHECK-NOT: ret
7; CHECK: orl $1, %{{.*}}
8; CHECK: ret
9
Chris Lattner2b5d75c2007-02-04 20:15:15 +000010 %tmp3 = load float** %tmp2
11 %tmp132 = shl i32 %tmp12, 2 ; <i32> [#uses=1]
Reid Spencer1853da32007-02-05 04:00:04 +000012 %tmp4 = bitcast float* %tmp3 to i8* ; <i8*> [#uses=1]
13 %ctg2 = getelementptr i8* %tmp4, i32 %tmp132 ; <i8*> [#uses=1]
Chris Lattner2b5d75c2007-02-04 20:15:15 +000014 %tmp6 = ptrtoint i8* %ctg2 to i32 ; <i32> [#uses=1]
15 %tmp14 = or i32 %tmp6, 1 ; <i32> [#uses=1]
16 ret i32 %tmp14
17}
18
Chris Lattner2b5d75c2007-02-04 20:15:15 +000019;; This can!
Evan Chengd9d3a892010-01-12 18:29:23 +000020define i32 @test2(i32 %a, i32 %b) nounwind {
Chandler Carruth327b8f12011-07-02 20:43:04 +000021; CHECK: test2:
22; CHECK-NOT: ret
23; CHECK: leal 3(,%{{.*}},8)
24; CHECK: ret
25
Chris Lattner2b5d75c2007-02-04 20:15:15 +000026 %c = shl i32 %a, 3
27 %d = or i32 %c, 3
28 ret i32 %d
29}