Closes https://github.com/llvm/llvm-project/issues/158326. Closes https://github.com/llvm/llvm-project/issues/59555. Proof for `(X & -Pow2) == C -> (X - C) < Pow2`: https://alive2.llvm.org/ce/z/HMgkuu
Closes https://github.com/llvm/llvm-project/issues/158326. Closes https://github.com/llvm/llvm-project/issues/59555. Proof for `(X & -Pow2) == C -> (X - C) < Pow2`: https://alive2.llvm.org/ce/z/HMgkuu