[llvm] [InstCombine] Fold `(x < y) ? -1 : zext(x != y)` into `u/scmp(x,y)` (PR #101049)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 14 08:09:02 PDT 2024
github-actions[bot] wrote:
<!--LLVM CODE FORMAT COMMENT: {clang-format}-->
:warning: C/C++ code formatter, clang-format found issues in your code. :warning:
<details>
<summary>
You can test this locally with the following command:
</summary>
``````````bash
git-clang-format --diff 8320b97ab9f25d726379832342f3d5d48962368d 498684388702680302832e670ffdd92ff5d1339b --extensions cpp,h -- llvm/lib/Transforms/InstCombine/InstCombineInternal.h llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
``````````
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp b/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
index ecec0a61a4..314fe65064 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
@@ -3592,12 +3592,14 @@ Instruction *InstCombinerImpl::foldSelectToCmp(SelectInst &SI) {
CallInst *Intrinsic = nullptr;
// (x < y) ? -1 : zext(x != y)
if (ICmpInst::isLT(Pred) && match(TV, m_AllOnes()) &&
- match(FV, m_ZExt(m_c_SpecificICmp(ICmpInst::ICMP_NE, m_Specific(LHS), m_Specific(RHS)))))
+ match(FV, m_ZExt(m_c_SpecificICmp(ICmpInst::ICMP_NE, m_Specific(LHS),
+ m_Specific(RHS)))))
Intrinsic = Builder.CreateIntrinsic(SI.getType(), IID, {LHS, RHS});
// (x > y) ? 1 : sext(x != y)
if (ICmpInst::isGT(Pred) && match(TV, m_One()) &&
- match(FV, m_SExt(m_c_SpecificICmp(ICmpInst::ICMP_NE, m_Specific(LHS), m_Specific(RHS)))))
+ match(FV, m_SExt(m_c_SpecificICmp(ICmpInst::ICMP_NE, m_Specific(LHS),
+ m_Specific(RHS)))))
Intrinsic = Builder.CreateIntrinsic(SI.getType(), IID, {LHS, RHS});
if (Intrinsic)
``````````
</details>
https://github.com/llvm/llvm-project/pull/101049
More information about the llvm-commits
mailing list