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