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

Philip Reames via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 17 08:30:13 PST 2022


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



More information about the llvm-commits mailing list