[PATCH] D108992: [KnownBits] Add support for X*X self-multiplication

[Craig Topper via Phabricator via llvm-commits]

craig.topper added a comment.

In D108992#3264899 <https://reviews.llvm.org/D108992#3264899>, @RKSimon wrote:

> OK, I'll add isGuaranteedNotToBeUndefOrPoison handling

Is the "The product of a number with itself is non-negative." case in ValueTracking.cpp's `computeKnownBitsMul` also broken for the same reason?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D108992/new/

https://reviews.llvm.org/D108992