| ; 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 |
| } |
