[llvm] InstSimplify: support floating-point equivalences (PR #115152)

[Nikita Popov via llvm-commits]

================
@@ -4635,33 +4635,29 @@ static Value *simplifySelectWithICmpEq(Value *CmpLHS, Value *CmpRHS,
 
 /// Try to simplify a select instruction when its condition operand is an
 /// integer comparison.
-static Value *simplifySelectWithICmpCond(Value *CondVal, Value *TrueVal,
-                                         Value *FalseVal,
-                                         const SimplifyQuery &Q,
-                                         unsigned MaxRecurse) {
+static Value *simplifySelectWithCmpCond(Value *CondVal, Value *TrueVal,
----------------
nikic wrote:

I don't think there is any substantial amount of overlap between the functions. Note that while this function contains a lot of calls to simplifySelectWithICmpEq, only the plain variant of them is relevant to the FP case. The ones involving and/or are integer-only.

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