[llvm] [InstCombine] Canonicalize `icmp pred (X +/- C1), C2` into `icmp pred X, C2 -/+ C1` with nowrap flag implied by with.overflow intrinsic (PR #75511)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri Dec 15 01:06:14 PST 2023

Previous message: [llvm] [InstCombine] Canonicalize `icmp pred (X +/- C1), C2` into `icmp pred X, C2 -/+ C1` with nowrap flag implied by with.overflow intrinsic (PR #75511)
Next message: [llvm] [InstCombine] Canonicalize `icmp pred (X +/- C1), C2` into `icmp pred X, C2 -/+ C1` with nowrap flag implied by with.overflow intrinsic (PR #75511)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/nikic approved this pull request.

LGTM. Can you please add a test with commuted or operands?

https://github.com/llvm/llvm-project/pull/75511

Previous message: [llvm] [InstCombine] Canonicalize `icmp pred (X +/- C1), C2` into `icmp pred X, C2 -/+ C1` with nowrap flag implied by with.overflow intrinsic (PR #75511)
Next message: [llvm] [InstCombine] Canonicalize `icmp pred (X +/- C1), C2` into `icmp pred X, C2 -/+ C1` with nowrap flag implied by with.overflow intrinsic (PR #75511)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list