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

[Dean Long]

On Fri, 6 Sep 2024 00:03:51 GMT, Dean Long <dlong at openjdk.org> wrote:

>> My understanding is "join" means "union", "meet" means "intersection", and "dual" means "complement".
>
> "Complement" may not be quite right, or at least I don't see how it applies to TypeF and TypeD, whose xdual() functions are "self-symmetric" and do nothing except return the original type unchanged..

https://en.wikipedia.org/wiki/Duality_(order_theory)

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

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