[PATCH] D120033: [SCEV] Fully invalidate SCEVUnknown on RAUW

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

I don't think is quite right.  We can have SCEV forget all of it's memoized results, but we can't disallow a client hanging onto an expression containing a SCEVUnknown over a RAUW.  Given that, I think we need to explicitly forget, but keep the bit about changing the value pointer to the new value.


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

https://reviews.llvm.org/D120033