[llvm] [InstSimplify] Fold `X < Y ? (X + zext(X < Y)) <= Y : false` to `X < Y` (PR #118579)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Sun Dec 15 07:45:04 PST 2024

Previous message: [llvm] [InstSimplify] Fold `X < Y ? (X + zext(X < Y)) <= Y : false` to `X < Y` (PR #118579)
Next message: [lld] [lld] Migrate away from PointerUnion::{is, get} (NFC) (PR #119993)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

dtcxzyw wrote:

> Can I hard code a generic version of the motivating case in impliesPoisonOrCond()?

Sure.


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

Previous message: [llvm] [InstSimplify] Fold `X < Y ? (X + zext(X < Y)) <= Y : false` to `X < Y` (PR #118579)
Next message: [lld] [lld] Migrate away from PointerUnion::{is, get} (NFC) (PR #119993)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list