RFR: 8350896: Integer/Long.compress gets wrong type from CompressBitsNode::Value [v5]

[Christian Hagedorn]

On Tue, 6 May 2025 10:28:59 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:

>>> @jatin-bhateja I think I'd rather wait until you have more thorough testing and the proofs I asked for, otherwise I would need to run the testing twice ;)
>> 
>> I have added comments in the code which give sufficient details, let me know if you still need more explanation
>
>> @jatin-bhateja I really don't want you to feel forced to do anything here. If you don't want to write the tests or proofs, then I would suggest just to "backout" the problematic changes ☺️ I'm sure someone else will do both proofs and tests once we can do these optimizations even more powerfully with `KnownBits`.
> 
> Hi @eme64 , Thanks for your pointers, let me do the needful.

Hi @jatin-bhateja, any update on this? Just to let you know, the fork is coming up next Thursday but we would still have time to fix it in RDP 1.

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

PR Comment: https://git.openjdk.org/jdk/pull/23947#issuecomment-2915466367