[PATCH] D111533: [SCEV] Invalidate user SCEVs along with operand SCEVs to avoid cache corruption

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Just looking at the trace, I suspect we leave behind invalid SCEVs in ValuesAtScope. This is basically a `(SCEV, Loop) -> SCEV` map, and while we do clear entries if the SCEV on the left side is invalidated, we don't if the SCEV on the right is.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111533