================
@@ -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
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

Reply via email to