diff options
author | Krzysztof Parzyszek <kparzysz@codeaurora.org> | 2018-06-08 21:39:55 +0000 |
---|---|---|
committer | Krzysztof Parzyszek <kparzysz@codeaurora.org> | 2018-06-08 21:39:55 +0000 |
commit | 3084e3f2d16e17925c9a602046d8136ca82b4eac (patch) | |
tree | ce7c613f28326084f5d0ad0f026beccb6badf0a6 /polly/test | |
parent | aebc99e22b055432fe77325b49eb6d6e2b16e8f1 (diff) |
[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.
Diffstat (limited to 'polly/test')
-rw-r--r-- | polly/test/Simplify/notredundant_synthesizable_unknownit.ll | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/polly/test/Simplify/notredundant_synthesizable_unknownit.ll b/polly/test/Simplify/notredundant_synthesizable_unknownit.ll index 5cc42e19bef..c1dba95563a 100644 --- a/polly/test/Simplify/notredundant_synthesizable_unknownit.ll +++ b/polly/test/Simplify/notredundant_synthesizable_unknownit.ll @@ -20,11 +20,11 @@ for: ; 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 @@ for: %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 |