[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.



> (There remains the meta discussion of whether an analysis invalidation strategy to be conservatively correct is the most efficient approach or we should do something else, but even if we decide to do something else that seems significantly longer term to me.)

FWIW: GCC computes aliasing exactly twice, and only does conservative updates in between.
It beats us in precision :)

SO i'm not worried on the memdepish front. AC i'd be more worried about.


Repository:
  rL LLVM

https://reviews.llvm.org/D30003