fhahn wrote: > Can you please provide some more details on what happens in the test case? Like which SCEV with which SCEVAtScope gets invalidated where? Added more details for the test, thanks https://github.com/llvm/llvm-project/pull/119897