blob: f4847a31c81fc15e88f61699dea59608f10d4b0c [file] [log] [blame]
Dan Gohman0a063102009-09-08 23:54:48 +00001; RUN: llc < %s -march=x86 -relocation-model=static | not grep lea
2; RUN: llc < %s -march=x86-64 | not grep lea
Dan Gohman5766ac72007-10-22 20:40:42 +00003
Dan Gohman01c2ee72009-04-16 03:18:22 +00004; P should be sunk into the loop and folded into the address mode. There
Evan Chengf2704c02009-02-21 02:06:47 +00005; shouldn't be any lea instructions inside the loop.
Dan Gohman5766ac72007-10-22 20:40:42 +00006
7@B = external global [1000 x i8], align 32
8@A = external global [1000 x i8], align 32
9@P = external global [1000 x i8], align 32
Dan Gohmanc7e38a82010-01-12 04:52:47 +000010@Q = external global [1000 x i8], align 32
Dan Gohman5766ac72007-10-22 20:40:42 +000011
Evan Chengf2704c02009-02-21 02:06:47 +000012define void @foo(i32 %m, i32 %p) nounwind {
Dan Gohman5766ac72007-10-22 20:40:42 +000013entry:
14 %tmp1 = icmp sgt i32 %m, 0
15 br i1 %tmp1, label %bb, label %return
16
17bb:
18 %i.019.0 = phi i32 [ %indvar.next, %bb ], [ 0, %entry ]
19 %tmp2 = getelementptr [1000 x i8]* @B, i32 0, i32 %i.019.0
20 %tmp3 = load i8* %tmp2, align 4
21 %tmp4 = mul i8 %tmp3, 2
22 %tmp5 = getelementptr [1000 x i8]* @A, i32 0, i32 %i.019.0
23 store i8 %tmp4, i8* %tmp5, align 4
24 %tmp8 = mul i32 %i.019.0, 9
25 %tmp0 = add i32 %tmp8, %p
26 %tmp10 = getelementptr [1000 x i8]* @P, i32 0, i32 %tmp0
27 store i8 17, i8* %tmp10, align 4
Dan Gohmanc7e38a82010-01-12 04:52:47 +000028 %tmp11 = getelementptr [1000 x i8]* @Q, i32 0, i32 %tmp0
29 store i8 19, i8* %tmp11, align 4
Dan Gohman5766ac72007-10-22 20:40:42 +000030 %indvar.next = add i32 %i.019.0, 1
31 %exitcond = icmp eq i32 %indvar.next, %m
32 br i1 %exitcond, label %return, label %bb
33
34return:
35 ret void
36}
37