[llvm] [InstCombine] Improve select equiv fold for plain condition (PR #83405)

via llvm-commits llvm-commits at lists.llvm.org
Sun Apr 7 01:48:15 PDT 2024


================
@@ -500,6 +500,44 @@ static bool isSelect01(const APInt &C1I, const APInt &C2I) {
   return C1I.isOne() || C1I.isAllOnes() || C2I.isOne() || C2I.isAllOnes();
 }
 
+/// Try to simplify a select instruction when the user of its select user
+/// indicates the condition.
+static bool simplifySeqSelectWithSameCond(SelectInst &SI,
+                                          const SimplifyQuery &SQ,
+                                          InstCombinerImpl &IC) {
+  Value *CondVal = SI.getCondition();
+  if (match(CondVal, m_ImmConstant()))
+    return false;
----------------
vfdff wrote:

Yes, it isn't.
[#85663](https://github.com/llvm/llvm-project/pull/85663) is a more general improvement by nikic, and it has some compile time regression, so I continue on this solution.

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


More information about the llvm-commits mailing list