Teach LSR sink to sink the immediate portion of the common expression back into uses...
[oota-llvm.git] / test / CodeGen / X86 / loop-strength-reduce-2.ll
1 ; RUN: llvm-as < %s | llc -march=x86 -relocation-model=pic | \
2 ; RUN:   grep {, 4} | count 1
3 ; RUN: llvm-as < %s | llc -march=x86 | not grep lea
4 ;
5 ; Make sure the common loop invariant A is hoisted up to preheader,
6 ; since too many registers are needed to subsume it into the addressing modes.
7 ; It's safe to sink A in when it's not pic.
8
9 @A = global [16 x [16 x i32]] zeroinitializer, align 32         ; <[16 x [16 x i32]]*> [#uses=2]
10
11 define void @test(i32 %row, i32 %N.in) nounwind {
12 entry:
13         %N = bitcast i32 %N.in to i32           ; <i32> [#uses=1]
14         %tmp5 = icmp sgt i32 %N.in, 0           ; <i1> [#uses=1]
15         br i1 %tmp5, label %cond_true, label %return
16
17 cond_true:              ; preds = %cond_true, %entry
18         %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %cond_true ]           ; <i32> [#uses=2]
19         %i.0.0 = bitcast i32 %indvar to i32             ; <i32> [#uses=2]
20         %tmp2 = add i32 %i.0.0, 1               ; <i32> [#uses=1]
21         %tmp = getelementptr [16 x [16 x i32]]* @A, i32 0, i32 %row, i32 %tmp2          ; <i32*> [#uses=1]
22         store i32 4, i32* %tmp
23         %tmp5.upgrd.1 = add i32 %i.0.0, 2               ; <i32> [#uses=1]
24         %tmp7 = getelementptr [16 x [16 x i32]]* @A, i32 0, i32 %row, i32 %tmp5.upgrd.1         ; <i32*> [#uses=1]
25         store i32 5, i32* %tmp7
26         %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
27         %exitcond = icmp eq i32 %indvar.next, %N                ; <i1> [#uses=1]
28         br i1 %exitcond, label %return, label %cond_true
29
30 return:         ; preds = %cond_true, %entry
31         ret void
32 }