[PATCH] D67941: Invalidate assumption cache before outlining.

[Aditya Kumar via Phabricator via llvm-commits]

hiraditya marked an inline comment as done.
hiraditya added inline comments.


================
Comment at: llvm/lib/Transforms/Utils/CodeExtractor.cpp:1569
+  if (AC)
+    LLVM_DEBUG(if (verifyAssumptionCache(*oldFunction, AC))
+               report_fatal_error("Stale Asumption cache for old Function!"));
----------------
fhahn wrote:
> Can we just use `AC->verifyAnalysis()`?
It seems, verifyAnalysis only checks if the AssumptionCache has the entry for a llvm.assume instruction or not.
```
AssumptionCache.cpp:268
        if (match(&II, m_Intrinsic<Intrinsic::assume>()) &&
            !AssumptionSet.count(cast<CallInst>(&II)))
          report_fatal_error("Assumption in scanned function not in cache");
```


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67941/new/

https://reviews.llvm.org/D67941