Add a comment noting that the fdiv -> fmul conversion won't generate
[oota-llvm.git] / test / CodeGen / X86 / loop-strength-reduce4.ll
1 ; RUN: llc < %s -mtriple=i686-apple-darwin -relocation-model=static | FileCheck %s -check-prefix=STATIC
2 ; RUN: llc < %s -mtriple=i686-apple-darwin -relocation-model=pic | FileCheck %s -check-prefix=PIC
3
4 ; By starting the IV at -64 instead of 0, a cmp is eliminated,
5 ; as the flags from the add can be used directly.
6
7 ; STATIC: movl    $-64, [[ECX:%e..]]
8
9 ; STATIC: movl    [[EAX:%e..]], _state+76([[ECX]])
10 ; STATIC: addl    $16, [[ECX]]
11 ; STATIC: jne
12
13 ; In PIC mode the symbol can't be folded, so the change-compare-stride
14 ; trick applies.
15
16 ; PIC: cmpl $64
17
18 @state = external global [0 x i32]              ; <[0 x i32]*> [#uses=4]
19 @S = external global [0 x i32]          ; <[0 x i32]*> [#uses=4]
20
21 define i32 @foo() nounwind {
22 entry:
23         br label %bb
24
25 bb:             ; preds = %bb, %entry
26         %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]          ; <i32> [#uses=2]
27         %t.063.0 = phi i32 [ 0, %entry ], [ %tmp47, %bb ]               ; <i32> [#uses=1]
28         %j.065.0 = shl i32 %indvar, 2           ; <i32> [#uses=4]
29         %tmp3 = getelementptr [0 x i32]* @state, i32 0, i32 %j.065.0            ; <i32*> [#uses=2]
30         %tmp4 = load i32* %tmp3, align 4                ; <i32> [#uses=1]
31         %tmp6 = getelementptr [0 x i32]* @S, i32 0, i32 %t.063.0                ; <i32*> [#uses=1]
32         %tmp7 = load i32* %tmp6, align 4                ; <i32> [#uses=1]
33         %tmp8 = xor i32 %tmp7, %tmp4            ; <i32> [#uses=2]
34         store i32 %tmp8, i32* %tmp3, align 4
35         %tmp1378 = or i32 %j.065.0, 1           ; <i32> [#uses=1]
36         %tmp16 = getelementptr [0 x i32]* @state, i32 0, i32 %tmp1378           ; <i32*> [#uses=2]
37         %tmp17 = load i32* %tmp16, align 4              ; <i32> [#uses=1]
38         %tmp19 = getelementptr [0 x i32]* @S, i32 0, i32 %tmp8          ; <i32*> [#uses=1]
39         %tmp20 = load i32* %tmp19, align 4              ; <i32> [#uses=1]
40         %tmp21 = xor i32 %tmp20, %tmp17         ; <i32> [#uses=2]
41         store i32 %tmp21, i32* %tmp16, align 4
42         %tmp2680 = or i32 %j.065.0, 2           ; <i32> [#uses=1]
43         %tmp29 = getelementptr [0 x i32]* @state, i32 0, i32 %tmp2680           ; <i32*> [#uses=2]
44         %tmp30 = load i32* %tmp29, align 4              ; <i32> [#uses=1]
45         %tmp32 = getelementptr [0 x i32]* @S, i32 0, i32 %tmp21         ; <i32*> [#uses=1]
46         %tmp33 = load i32* %tmp32, align 4              ; <i32> [#uses=1]
47         %tmp34 = xor i32 %tmp33, %tmp30         ; <i32> [#uses=2]
48         store i32 %tmp34, i32* %tmp29, align 4
49         %tmp3982 = or i32 %j.065.0, 3           ; <i32> [#uses=1]
50         %tmp42 = getelementptr [0 x i32]* @state, i32 0, i32 %tmp3982           ; <i32*> [#uses=2]
51         %tmp43 = load i32* %tmp42, align 4              ; <i32> [#uses=1]
52         %tmp45 = getelementptr [0 x i32]* @S, i32 0, i32 %tmp34         ; <i32*> [#uses=1]
53         %tmp46 = load i32* %tmp45, align 4              ; <i32> [#uses=1]
54         %tmp47 = xor i32 %tmp46, %tmp43         ; <i32> [#uses=3]
55         store i32 %tmp47, i32* %tmp42, align 4
56         %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
57         %exitcond = icmp eq i32 %indvar.next, 4         ; <i1> [#uses=1]
58         br i1 %exitcond, label %bb57, label %bb
59
60 bb57:           ; preds = %bb
61         %tmp59 = and i32 %tmp47, 255            ; <i32> [#uses=1]
62         ret i32 %tmp59
63 }