RFR: 8315066: Add unsigned bounds and known bits to TypeInt/Long [v12]

[Quan Anh Mai]

On Sat, 7 Sep 2024 17:38:08 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> You are a bit confused, the `zeros` and `ones` answer the question: Must this bit be 0 (or 1). Which means that `zero[i] = 1` means that the bit must be a `0`.
>
> The condition could be converted to `(v & ones) == ones && (v & zeros) == 0`. 
> It is matching your statement and easy to understand. I would let C++ compiler to optimize it instead of encoding it in confusing way.

That's a good idea, I have made that change.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/17508#discussion_r1749078182