https://github.com/ThomasRaoux requested changes to this pull request. That seems like a big gun, could you point out which math operation overflows? I expect most of them cannot overflow (assume the original induction variable doesn't overflow) https://github.com/llvm/llvm-project/pull/172066