https://github.com/fhahn commented: It looks like we are missing an IndVarSimplify fold with the changes for something like https://llvm.godbolt.org/z/sPM9sdnMv Not sure if there's anything we can do about it though https://github.com/llvm/llvm-project/pull/214014