[llvm] [ValueTracking] X ^ Y != 0 if X != Y (PR #146975)

via llvm-commits llvm-commits at lists.llvm.org
Sat Jul 5 08:32:09 PDT 2025

Previous message: [llvm] [ValueTracking] X ^ Y != 0 if X != Y (PR #146975)
Next message: [llvm] [ValueTracking] Have sub and xor in KnownNonZero take the same exact path (PR #146975)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

AZero13 wrote:

@nikic I am going to have XOR and sub take the same path:

https://alive2.llvm.org/ce/z/MtBRoj

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

Previous message: [llvm] [ValueTracking] X ^ Y != 0 if X != Y (PR #146975)
Next message: [llvm] [ValueTracking] Have sub and xor in KnownNonZero take the same exact path (PR #146975)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list