commit c212bea692511454b55dfd4197ac042b2681cd90
author Michael Kruse <llvm-project@meinersbur.de> Thu Feb 11 12:03:20 2021 -0600
committer Copybara-Service <copybara-worker@google.com> Fri Feb 19 04:05:04 2021 -0800
tree 1bc950eb76c012b4607d81ed0dc713b82adc4111
parent fbc4add680d9a1f6659b2b8d653c1cffbc0c8c9a

Revert "[AssumptionCache] Avoid dangling llvm.assume calls in the cache"

This reverts commit b7d870eae7fdadcf10d0f177faa7409c2e37d776 and the
subsequent fix "[Polly] Fix build after AssumptionCache change (D96168)"
(commit e6810cab09fcbc87b6e5e4d226de0810e2f2ea38).

It caused indeterminism in the output, such that e.g. the
polly-x86_64-linux buildbot failed accasionally.

GitOrigin-RevId: 606aa622b23855784c5db5b48b1c4800467fd851

lib/Analysis/ScopBuilder.cpp

diff --git a/lib/Analysis/ScopBuilder.cpp b/lib/Analysis/ScopBuilder.cpp
index af81862..96557db 100644
--- a/lib/Analysis/ScopBuilder.cpp
+++ b/lib/Analysis/ScopBuilder.cpp
@@ -1527,7 +1527,7 @@
 void ScopBuilder::addUserAssumptions(
     AssumptionCache &AC, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
   for (auto &Assumption : AC.assumptions()) {
-    auto *CI = dyn_cast_or_null<CallInst>(Assumption.getAssumeCI());
+    auto *CI = dyn_cast_or_null<CallInst>(Assumption);
     if (!CI || CI->getNumArgOperands() != 1)
       continue;