goldsteinn wrote: LGTM. Wait for 1 more signoff. My only concern is there is some case we prove the `nuw` (or are carrying around a `nuw`) without inspecting the operands, but I guess if there where zero changes on your benchmark thats unfounded. https://github.com/llvm/llvm-project/pull/86295