diff options
author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2023-10-06 20:57:58 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-06 20:57:58 +0800 |
commit | b3b3336e82763d8c216c1dacf4d7c60c8513db0d (patch) | |
tree | b399c516e6ce37a4cc74de10d500450b47a9023a /llvm/lib/CodeGen/MachineBasicBlock.cpp | |
parent | 0e099faff157f63dbe47cda5634c6d66f19a7d43 (diff) | |
download | llvm-b3b3336e82763d8c216c1dacf4d7c60c8513db0d.zip llvm-b3b3336e82763d8c216c1dacf4d7c60c8513db0d.tar.gz llvm-b3b3336e82763d8c216c1dacf4d7c60c8513db0d.tar.bz2 |
[InstCombine] Simplify the pattern `a ne/eq (zext/sext (a ne/eq c))` (#65852)
This patch folds the pattern `a ne/eq (zext/sext (a ne/eq c))` into a boolean constant or a compare.
Clang vs GCC: https://godbolt.org/z/4ro817WE8
Proof for `zext`: https://alive2.llvm.org/ce/z/6z9NRF
Proof for `sext`: https://alive2.llvm.org/ce/z/tv5wuE
Fixes #65073.
Diffstat (limited to 'llvm/lib/CodeGen/MachineBasicBlock.cpp')
0 files changed, 0 insertions, 0 deletions