[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


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


More information about the llvm-commits mailing list