[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
Thu Sep 10 23:07:30 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] [InstSimplify][ValueTracking] Fold `p||q` to `q` and `p&&q` to `p` under `llvm.assume(p => q)` (PR #199868)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

VachanVY wrote:

@antoniofrighetto @dtcxzyw ping for review

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] [InstSimplify][ValueTracking] Fold `p||q` to `q` and `p&&q` to `p` under `llvm.assume(p => q)` (PR #199868)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list