[llvm] [InstCombine] Try optimizing with knownbits which determined from Cond (PR #91762)

[via llvm-commits]

================
@@ -1790,6 +1790,159 @@ static Instruction *foldSelectICmpEq(SelectInst &SI, ICmpInst *ICI,
   return nullptr;
 }
 
+// ICmpInst of SelectInst is not included in the calculation of KnownBits
+// so we are missing the opportunity to optimize the Value of the True or
+// False Condition via ICmpInst with KnownBits.
----------------
ParkHanbum wrote:

@goldsteinn 
I changed it to call inside foldSelectValueEquivalence.


The order is changed so that the optimizations I added are performed first, preventing the previously performed optimizations from being performed. If this happens, should I change the order of the other optimization?


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