[llvm] [InstCombine] Use known bits to simplify mask in foldSelectICmpAnd (PR #128741)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Tue Feb 25 21:09:43 PST 2025

Previous message: [llvm] [InstCombine] Use known bits to simplify mask in foldSelectICmpAnd (PR #128741)
Next message: [clang] [llvm] [Clang] [OpenMP] Support NOWAIT with optional argument (PR #128742)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/dtcxzyw commented:

Can you please provide a generalized alive2 proof?


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

Previous message: [llvm] [InstCombine] Use known bits to simplify mask in foldSelectICmpAnd (PR #128741)
Next message: [clang] [llvm] [Clang] [OpenMP] Support NOWAIT with optional argument (PR #128742)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list