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

Sat Jan 27 23:16:34 UTC 2024

On Thu, 25 Jan 2024 02:57:08 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

> Regarding `contains` vs `higher_equal`, it is mainly due to the fact that `contains` being a much cheaper operation while `higher_equal` will do a `meet` followed by a hash table indexing.

I forgot that `higher_equal` requires hashconsing- that makes sense to me!

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

PR Comment: https://git.openjdk.org/jdk/pull/17508#issuecomment-1913363510