1; RUN: llc < %s -march=x86 -relocation-model=static | FileCheck %s
2; RUN: llc < %s -mtriple=x86_64-linux               | FileCheck %s
3; CHECK-NOT:     lea
4
5; P should be sunk into the loop and folded into the address mode. There
6; shouldn't be any lea instructions inside the loop.
7
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
11@Q = external global [1000 x i8], align 32
12
13define void @foo(i32 %m, i32 %p) nounwind {
14entry:
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
29	%tmp11 = getelementptr [1000 x i8]* @Q, i32 0, i32 %tmp0
30	store i8 19, i8* %tmp11, align 4
31	%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
39