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

[Emanuel Peter]

On Tue, 6 May 2025 08:53:48 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:

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

@jatin-bhateja Maybe it is not very clear to you what I mean by "proof".

Here an example I worked on with @merykitty : https://github.com/openjdk/jdk/pull/17508, especially see the explanations and proofs in `adjust_lo`. Basically every line has an explanation, and a proof.

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

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