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
39
40
41
42
43
|
; RUN: opt -passes='loop-mssa(licm<allowspeculation>)' -S %s | FileCheck --check-prefixes=COMMON,SPEC_ON %s
; RUN: opt -passes='loop-mssa(licm<no-allowspeculation>)' -S %s | FileCheck --check-prefixes=COMMON,SPEC_OFF %s
; RUN: opt -passes='licm<no-allowspeculation>' -S %s | FileCheck --check-prefixes=COMMON,SPEC_OFF %s
; RUN: opt -passes='loop-mssa(lnicm<allowspeculation>)' -S %s | FileCheck --check-prefixes=COMMON,SPEC_ON %s
; RUN: opt -passes='loop-mssa(lnicm<no-allowspeculation>)' -S %s | FileCheck --check-prefixes=COMMON,SPEC_OFF %s
; RUN: opt -passes='lnicm<no-allowspeculation>' -S %s | FileCheck --check-prefixes=COMMON,SPEC_OFF %s
define void @test(ptr %ptr, i32 %N) {
; COMMON-LABEL: @test(
; COMMON-NEXT: entry:
; SPEC_ON-NEXT: [[GEP:%.*]] = getelementptr [10 x i32], ptr [[PTR:%.*]], i32 0, i32 1
; COMMON-NEXT: br label [[LOOP_HEADER:%.*]]
; COMMON: loop.header:
; COMMON-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
; COMMON-NEXT: [[CMP:%.*]] = icmp ult i32 [[IV]], [[N:%.*]]
; COMMON-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT:%.*]]
; COMMON: loop.latch:
; SPEC_OFF-NEXT: [[GEP:%.*]] = getelementptr [10 x i32], ptr [[PTR:%.*]], i32 0, i32 1
; COMMON-NEXT: [[GEP_IV:%.*]] = getelementptr i32, ptr [[GEP]], i32 [[IV]]
; COMMON-NEXT: store i32 9999, ptr [[GEP_IV]], align 4
; COMMON-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1
; COMMON-NEXT: br label [[LOOP_HEADER]]
; COMMON: exit:
; COMMON-NEXT: ret void
;
entry:
br label %loop.header
loop.header:
%iv = phi i32 [ 0, %entry ], [ %iv.next, %loop.latch ]
%cmp = icmp ult i32 %iv, %N
br i1 %cmp, label %loop.latch, label %exit
loop.latch:
%gep = getelementptr [10 x i32], ptr %ptr, i32 0, i32 1
%gep.iv = getelementptr i32, ptr %gep, i32 %iv
store i32 9999, ptr %gep.iv
%iv.next = add i32 %iv, 1
br label %loop.header
exit:
ret void
}
|
