[llvm] [ValueTracking] Infer operand bound from mul nuw square predicates (PR #173127)

[Yingwei Zheng via llvm-commits]

================
@@ -976,6 +995,9 @@ static void computeKnownBitsFromICmpCond(const Value *V, ICmpInst *Cmp,
   Value *LHS = Cmp->getOperand(0);
   Value *RHS = Cmp->getOperand(1);
 
+  if (auto Range = getRangeForNuwMulSquare(V, LHS, RHS))
----------------
dtcxzyw wrote:

KnownBits is not used by CVP. There are no tests to cover the change.

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