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

Wed Jan 14 13:45:16 UTC 2026

On Wed, 14 Jan 2026 12:51:50 GMT, Benoît Maillard <bmaillard at openjdk.org> wrote:

>> Quan Anh Mai has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision:
>> 
>>  - copyright year
>>  - Merge branch 'master' into addsub
>>  - Merge branch 'master' into addsub
>>  - include order
>>  - Improve Add/SubNode::Value with unsigned bounds and known bits
>
> 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.

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

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