[llvm] [InstSimplify][ValueTracking] Fold `p||q` to `q` and `p&&q` to `p` under `llvm.assume(p => q)` (PR #199868)

via llvm-commits llvm-commits at lists.llvm.org
Sat Oct 3 06:40:58 PDT 2026

Previous message: [llvm] [InstSimplify][ValueTracking] Fold `p||q` to `q` and `p&&q` to `p` under `llvm.assume(p => q)` (PR #199868)
Next message: [llvm] [X86] Swap CMP operands for COND_A in ADC/SBB fold (PR #228710)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

VachanVY wrote:

Closing due to no response. Probably not a useful fold. A brief reply would've prevented wasted effort.

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

Previous message: [llvm] [InstSimplify][ValueTracking] Fold `p||q` to `q` and `p&&q` to `p` under `llvm.assume(p => q)` (PR #199868)
Next message: [llvm] [X86] Swap CMP operands for COND_A in ADC/SBB fold (PR #228710)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list