Don't refuse to transform constexpr(call(arg, ...)) to call(constexpr(arg), ...)...

[oota-llvm.git] / test / Analysis / ScalarEvolution / 2008-11-18-Stride2.ll

diff --git a/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll b/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll
index 4a76970ce19adf8632082e9ccfb7ea0ddb5595d4..2b2296a3a24fa665fa795344f39d3b07ebc73c5e 100644 (file)
--- a/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll
+++ b/test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll
@@ -1,5 +1,11 @@
-; RUN: llvm-as < %s | opt -analyze -scalar-evolution |& grep {/u 3}
-; XFAIL: *
+; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
+
+; CHECK: Loop %bb: backedge-taken count is ((999 + (-1 * %x)) /u 3)
+; CHECK: Loop %bb: max backedge-taken count is 334
+
+
+; This is a tricky testcase for unsigned wrap detection which ScalarEvolution
+; doesn't yet know how to do.
 
 define i32 @f(i32 %x) nounwind readnone {
 entry: