blob: ddf059c675df02799dc4bd9f79826b12701306fd [file] [log] [blame]
NAKAMURA Takumiddbfbcf2011-03-16 13:52:38 +00001; RUN: llc < %s -march=x86 -relocation-model=static | FileCheck %s
2; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
3; CHECK-NOT: lea
Dan Gohman02e4fa72007-10-22 20:40:42 +00004
Dan Gohman2d1be872009-04-16 03:18:22 +00005; P should be sunk into the loop and folded into the address mode. There
Evan Chengd9fb7122009-02-21 02:06:47 +00006; shouldn't be any lea instructions inside the loop.
Dan Gohman02e4fa72007-10-22 20:40:42 +00007
8@B = external global [1000 x i8], align 32
9@A = external global [1000 x i8], align 32
10@P = external global [1000 x i8], align 32
Dan Gohmanad4f7a62010-01-12 04:52:47 +000011@Q = external global [1000 x i8], align 32
Dan Gohman02e4fa72007-10-22 20:40:42 +000012
Evan Chengd9fb7122009-02-21 02:06:47 +000013define void @foo(i32 %m, i32 %p) nounwind {
Dan Gohman02e4fa72007-10-22 20:40:42 +000014entry:
15 %tmp1 = icmp sgt i32 %m, 0
16 br i1 %tmp1, label %bb, label %return
17
18bb:
19 %i.019.0 = phi i32 [ %indvar.next, %bb ], [ 0, %entry ]
20 %tmp2 = getelementptr [1000 x i8]* @B, i32 0, i32 %i.019.0
21 %tmp3 = load i8* %tmp2, align 4
22 %tmp4 = mul i8 %tmp3, 2
23 %tmp5 = getelementptr [1000 x i8]* @A, i32 0, i32 %i.019.0
24 store i8 %tmp4, i8* %tmp5, align 4
25 %tmp8 = mul i32 %i.019.0, 9
26 %tmp0 = add i32 %tmp8, %p
27 %tmp10 = getelementptr [1000 x i8]* @P, i32 0, i32 %tmp0
28 store i8 17, i8* %tmp10, align 4
Dan Gohmanad4f7a62010-01-12 04:52:47 +000029 %tmp11 = getelementptr [1000 x i8]* @Q, i32 0, i32 %tmp0
30 store i8 19, i8* %tmp11, align 4
Dan Gohman02e4fa72007-10-22 20:40:42 +000031 %indvar.next = add i32 %i.019.0, 1
32 %exitcond = icmp eq i32 %indvar.next, %m
33 br i1 %exitcond, label %return, label %bb
34
35return:
36 ret void
37}
38