Changeset View
Changeset View
Standalone View
Standalone View
llvm/trunk/test/Analysis/ScalarEvolution/trip-count12.ll
| 1 | ; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s | 1 | ; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s | ||
|---|---|---|---|---|---|
| 2 | 2 | | |||
| 3 | ; CHECK: Determining loop execution counts for: @test | 3 | ; CHECK: Determining loop execution counts for: @test | ||
| 4 | ; CHECK: Loop %for.body: backedge-taken count is ((-2 + %len) /u 2) | 4 | ; CHECK: Loop %for.body: backedge-taken count is ((-2 + %len)<nsw> /u 2) | ||
| 5 | ; CHECK: Loop %for.body: max backedge-taken count is 1073741823 | 5 | ; CHECK: Loop %for.body: max backedge-taken count is 1073741823 | ||
| 6 | 6 | | |||
| 7 | define zeroext i16 @test(i16* nocapture %p, i32 %len) nounwind readonly { | 7 | define zeroext i16 @test(i16* nocapture %p, i32 %len) nounwind readonly { | ||
| 8 | entry: | 8 | entry: | ||
| 9 | %cmp2 = icmp sgt i32 %len, 1 | 9 | %cmp2 = icmp sgt i32 %len, 1 | ||
| 10 | br i1 %cmp2, label %for.body.preheader, label %for.end | 10 | br i1 %cmp2, label %for.body.preheader, label %for.end | ||
| 11 | 11 | | |||
| 12 | for.body.preheader: ; preds = %entry | 12 | for.body.preheader: ; preds = %entry | ||
| Show All 23 Lines | |||||