[PATCH] D30003: AssumptionCache: Disable the verifier by default, move it behind a hidden cl::opt and verify from releaseMemory().

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

I guess I'm late to the party here, but checking my assumptions (no pun intended!) -- if `AssumptionCacheTracker::verifyAnalysis` fails after a pass `Frobnicate` then we're in a situation where `opt -frobnicate -other-pass` may have different behavior than `opt -frobnicate | opt -other-pass` (assuming `other-pass` uses `AssumptionCache`), right?  If so, that's troubling.


Repository:
  rL LLVM

https://reviews.llvm.org/D30003