1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
; RUN: llc < %s -mtriple=i686-- -relocation-model=static | FileCheck %s
; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
; CHECK-NOT: lea
; P should be sunk into the loop and folded into the address mode. There
; shouldn't be any lea instructions inside the loop.
@B = external dso_local global [1000 x i8], align 32
@A = external dso_local global [1000 x i8], align 32
@P = external dso_local global [1000 x i8], align 32
@Q = external dso_local global [1000 x i8], align 32
define void @foo(i32 %m, i32 %p) nounwind {
entry:
%tmp1 = icmp sgt i32 %m, 0
br i1 %tmp1, label %bb, label %return
bb:
%i.019.0 = phi i32 [ %indvar.next, %bb ], [ 0, %entry ]
%tmp2 = getelementptr [1000 x i8], ptr @B, i32 0, i32 %i.019.0
%tmp3 = load i8, ptr %tmp2, align 4
%tmp4 = mul i8 %tmp3, 2
%tmp5 = getelementptr [1000 x i8], ptr @A, i32 0, i32 %i.019.0
store i8 %tmp4, ptr %tmp5, align 4
%tmp8 = mul i32 %i.019.0, 9
%tmp0 = add i32 %tmp8, %p
%tmp10 = getelementptr [1000 x i8], ptr @P, i32 0, i32 %tmp0
store i8 17, ptr %tmp10, align 4
%tmp11 = getelementptr [1000 x i8], ptr @Q, i32 0, i32 %tmp0
store i8 19, ptr %tmp11, align 4
%indvar.next = add i32 %i.019.0, 1
%exitcond = icmp eq i32 %indvar.next, %m
br i1 %exitcond, label %return, label %bb
return:
ret void
}
|
