fhahn wrote: Why can't this be fixed in SCEV? > Post it here to see if it is the right way to fix this isssue in LV, because I can't fix it in SCEV. could you elaborate on why this can't be fixed in SCEV? https://github.com/llvm/llvm-project/pull/102575