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 13 define void @foo(i32 %m, i32 %p) nounwind { 14 entry: 15 %tmp1 = icmp sgt i32 %m, 0 16 br i1 %tmp1, label %bb, label %return 17 18 bb: 19 %i.019.0 = phi i32 [ %indvar.next, %bb ], [ 0, %entry ] 20 %tmp2 = getelementptr [1000 x i8], [1000 x i8]* @B, i32 0, i32 %i.019.0 21 %tmp3 = load i8, i8* %tmp2, align 4 22 %tmp4 = mul i8 %tmp3, 2 23 %tmp5 = getelementptr [1000 x i8], [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], [1000 x i8]* @P, i32 0, i32 %tmp0 28 store i8 17, i8* %tmp10, align 4 29 %tmp11 = getelementptr [1000 x i8], [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 35 return: 36 ret void 37 } 38 39
