blob: 98cab32a42a69a47c3fde4c680c15fb8fbd8f30c (
plain)
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
|
; RUN: opt -loop-unroll -S %s | FileCheck %s
; extern void f(int);
; void test1(int v) {
; for (int i=v; i<=v+1; ++i)
; f(i);
; }
;
; We can use the nsw information to see that the tripcount will be 2, so the
; loop should be unrolled as this is always beneficial
declare void @f(i32)
; CHECK-LABEL: @test1
define void @test1(i32 %v) {
entry:
%add = add nsw i32 %v, 1
br label %for.body
for.body:
%i.04 = phi i32 [ %v, %entry ], [ %inc, %for.body ]
tail call void @f(i32 %i.04)
%inc = add nsw i32 %i.04, 1
%cmp = icmp slt i32 %i.04, %add
br i1 %cmp, label %for.body, label %for.end
; CHECK: call void @f
; CHECK-NOT: br i1
; CHECK: call void @f
for.end:
ret void
}
|