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

Tue Apr 22 16:41:21 UTC 2025

On Tue, 22 Apr 2025 16:11:00 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> And why is this number relevant?
>
> Ah yes, I see you name it again. But maybe it could be good to give some intuition / motivation why this `i` is relevant.
> 
> Maybe something along the line of "which is the bit we need to flip", see comments below?

Yeah I added some more to explain that we are referring to the `i` value in the formality section.

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

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