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

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

I'd suggest implementing a new transition function like `ConstantRange::sqrt`, which interprets the input as unsigned integers and calculates the square root. You can reuse the existing `APInt::sqrt` utility.




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