RFR: 8373999: C2: apply KnownBits and unsigned bounds to Add / Sub operations [v4]

[Quan Anh Mai]

On Thu, 15 Jan 2026 08:35:12 GMT, Benoît Maillard <bmaillard at openjdk.org> wrote:

>> Great work! I went through all the calculations, and tried to reproduce them independently. It all looks sound to me. I only have a few comments, mostly about notation.
>
>> @benoitmaillard Thanks a lot for your reviews! I have addressed your comments. I think this PR should wait for #28952, so it would be great if you or anyone could take a look there.
> 
> I will try to take a look today if I have time, worst case tomorrow. Thank you for adressing my comments!

@benoitmaillard I have merged the branch with master and included your suggestions.

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

PR Comment: https://git.openjdk.org/jdk/pull/28897#issuecomment-3809700643