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

Dean Long dlong at openjdk.org
Fri Sep 6 00:37:54 UTC 2024


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

>> "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)

If _lo <= x <= _hi, then I believe the dual is _hi <= x <= _lo 

If dual is really only needed for join, then it seems like we could remove the concept of dual and just implement join.

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

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


More information about the hotspot-compiler-dev mailing list