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

[Jatin Bhateja]

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

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

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