https://github.com/fhahn commented: If possible would be good to proceed step-by-step and try to remove overflow checks in a more targeted fashion so it's easier to reason about. https://github.com/llvm/llvm-project/pull/171605