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

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added a comment.

While i agree it's troubling, it's interesting to note that we have that behavior elsewhere.

For example memdep caches, but not in a way that invalidates fully.

Thus, opt -gvn -gvn will give different answers than opt -gvn | opt -gvn
both are "correct" answers, just the former is more conservative than the latter.


Repository:
  rL LLVM

https://reviews.llvm.org/D30003