[llvm] [InstCombine] Select of Symmetric Selects (PR #99245)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Wed Jul 17 07:02:42 PDT 2024

Previous message: [llvm] [InstCombine] Select of Symmetric Selects (PR #99245)
Next message: [llvm] [InstCombine] Select of Symmetric Selects (PR #99245)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/dtcxzyw approved this pull request.

LGTM. Thank you!
Please attach the alive2 proof to the PR description.


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

Previous message: [llvm] [InstCombine] Select of Symmetric Selects (PR #99245)
Next message: [llvm] [InstCombine] Select of Symmetric Selects (PR #99245)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list