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

[Quan Anh Mai]

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

> So why you can't do next?:
>
>     const Type* TypeInt::make(jint lo, jint hi, int w) {
>       return make(TypeIntPrototype<jint, juint>{{lo, hi}, {0, max_juint}, {0, 0}}, w)->is_int();
>     }

I think it would make sense if at all the use sites we ensure that `lo <= hi`. This, however, is not true and there are places where we do have `lo > hi`. As a result, I think it would make sense to defer the decision to deal with that case to the callers. What do you think?

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

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