[Polly] Fix a testcase after LLVM commit r334318
ScalarEvolution has become slightly more intelligent, so obfuscate the
exit condition in the testcase some more to keep it working.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@334327 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Simplify/notredundant_synthesizable_unknownit.ll b/test/Simplify/notredundant_synthesizable_unknownit.ll
index 5cc42e1..c1dba95 100644
--- a/test/Simplify/notredundant_synthesizable_unknownit.ll
+++ b/test/Simplify/notredundant_synthesizable_unknownit.ll
@@ -20,11 +20,11 @@
; This loop has some unusual properties:
- ; * It has a known iteration count (8), therefore SCoP-compatible.
+ ; * It has a known iteration count (1), therefore SCoP-compatible.
; * %i.trunc is synthesizable within the loop ({1,+,1}<%while.body>).
; * %i.trunc is not synthesizable outside of the loop, because its value is
; unknown when exiting.
- ; (should be 8, but ScalarEvolution currently seems unable to derive that)
+ ; (should be 1, but ScalarEvolution currently seems unable to derive that)
;
; ScalarEvolution currently seems to not able to handle the %zero.
; If it becomes more intelligent, there might be other such loop constructs.
@@ -32,7 +32,7 @@
%i = phi i64 [%zero, %for], [%i.inc, %inner.for]
%i.inc = add nuw nsw i64 %i, 1
%i.trunc = trunc i64 %i.inc to i32
- %i.and = and i32 %i.trunc, 7
+ %i.and = and i32 %i.trunc, 6
%inner.cond = icmp eq i32 %i.and, 0
br i1 %inner.cond, label %body, label %inner.for
