[llvm-branch-commits] [llvm] [SCCP] Call correct simplifyBinOp in FP operation (PR #225992)

[Nikita Popov via llvm-branch-commits]

================
@@ -1809,9 +1815,9 @@ void SCCPInstVisitor::visitBinaryOperator(Instruction &I) {
   ConstantRange R = A.binaryOp(*BO, B);
   mergeInValue(ValueState[&I], &I, ValueLatticeElement::getRange(R));
 
-  // TODO: Currently we do not exploit special values that produce something
-  // better than overdefined with an overdefined operand for vector or floating
-  // point types, like and <4 x i32> overdefined, zeroinitializer.
+  // TODO: The lattice has no per-element information for vectors, so special
+  // values that only apply to some of the elements cannot be exploited, e.g.
+  // and <4 x i32> overdefined, <i32 0, i32 -1, i32 0, i32 -1>.
----------------
nikic wrote:

Remove this TODO please, we have no interest in supporting this.

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