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

[Quan Anh Mai]

On Thu, 5 Sep 2024 16:04:34 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> It is useless, we use `Compile::current()` inside `type.hpp`, which means that `compile.hpp` must be included before `type.hpp` anyway.
>
> `useless` -> `useful`
> You are right. But how it works now? Usually C++ compilers complain about missing definitions.

It seems that in all source files that include `type.hpp`, `compile.hpp` is also included either directly or indirectly before. So, there is no compilation error. It only arises when `rangeinference.cpp` only includes `type.hpp` and not many things else.

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

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