diff options
| -rw-r--r-- | test/Analysis/ScalarEvolution/avoid-smax-1.ll | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/test/Analysis/ScalarEvolution/avoid-smax-1.ll b/test/Analysis/ScalarEvolution/avoid-smax-1.ll index e90a55559d..d9b83a929a 100644 --- a/test/Analysis/ScalarEvolution/avoid-smax-1.ll +++ b/test/Analysis/ScalarEvolution/avoid-smax-1.ll @@ -1,14 +1,12 @@ -; RUN: opt < %s -indvars -S -enable-iv-rewrite | FileCheck %s - -; Indvars should be able to insert a canonical induction variable -; for the bb6 loop without using a maximum calculation (icmp, select) -; because it should be able to prove that the comparison is guarded -; by an appropriate conditional branch. Unfortunately, indvars is -; not yet able to find the comparison for the other two loops in -; this testcase. -; CHECK: entry: -; CHECK-NOT: select -; CHECK: bb6: +; RUN: opt < %s -analyze -scalar-evolution -S | FileCheck %s + +; Indvars should be able to find the trip count for the bb6 loop +; without using a maximum calculation (icmp, select) because it should +; be able to prove that the comparison is guarded by an appropriate +; conditional branch. Unfortunately, indvars is not yet able to find +; the comparison for the other two loops in this testcase. +; +; CHECK: Loop %bb6: backedge-taken count is (-1 + %w) target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target triple = "i386-apple-darwin9" |