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

[Jatin Bhateja]

On Mon, 5 May 2025 14:22:57 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:

>>>  Let me tune this check and update the test.
>> 
>> For me to approve this code, you will have to do more than that. I will need:
>> - Proof of the implemented logic.
>> - More tests.
>
> Hi @eme64 , can you kindly run this latest version through your testing, please.

> @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

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

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