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

[Emanuel Peter]

On Tue, 3 Sep 2024 20:29:06 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Can you explain the semantics of the combination of these? Each of these defines a subset of the whole int-range. Is the resulting type the intersection of all of these three?
>
> That's what I thought too, but considering they are constants I think exposing them directly is fine. I have added explanation regarding the meaning of these constraints.

About the bit constraints: can you please specify what the set bits mean for `zeros` and `ones`, possibly with some examples?

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

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