[llvm] [ConstantRange] Bail out early in unsignedMulMayOverflow for wide integer types (PR #192275)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 16 07:26:02 PDT 2026
Firebear518 wrote:
Thanks @MaxGraey and @RKSimon. Applied both suggestions in the latest commit:
▎ - Added the no-overflow lower-bound check (LZ >= BitWidth → return false) as suggested by @MaxGraey. The slow path is now only reached when LZ ==
▎ BitWidth-1.
▎ - Added APIntTest.umul_overflows covering exhaustive 1–5-bit agreement with umul_ov, 64-bit spot checks, edge cases (0, 1, UINT64_MAX), and a
▎ 2048-bit smoke test.
https://github.com/llvm/llvm-project/pull/192275
More information about the llvm-commits
mailing list