RFR: 8373396: Min and Max Ideal missing AddNode::Ideal optimisations

[Galder Zamarreño]

On Fri, 12 Dec 2025 17:14:31 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> I don't remember. Try enabling the verification, and see if you find any test that fails. If not: great, maybe you fixed it! If it still fails, it would be nice if you added more info, but not neccessary.

It still fails with other optimisation missing, so I will revert that the commit that uncommented that:


----------messages:(7/385)----------
command: main -Xcomp -XX:VerifyIterativeGVN=1111 compiler.c2.TestVerifyIterativeGVN
reason: User specified action: run main/othervm/timeout=300 -Xcomp -XX:VerifyIterativeGVN=1111 compiler.c2.TestVerifyIterativeGVN 
started: Mon Dec 15 09:07:06.937 CET 2025
Mode: othervm [/othervm specified]
Process id: 133090
finished: Mon Dec 15 09:07:45.303 CET 2025
elapsed time (seconds): 38.366
----------configuration:(0/0)----------
----------System.out:(32/1990)----------

Missed Ideal optimization (can_reshape=false):
The node was reshaped by Ideal.
The result after Ideal:
dist dump
---------------------------------------------
   1  1612  AddI  === _ 1880 668  [[ 1258 ]]  !orig=[3471] !jvms: DirectMethodHandle::makePreparedLambdaForm @ bci:612 (line 293)
   1  1254  CastII  === 1519 1606  [[ 881 1258 1879 1607 870 2028 ]]  #int:0..maxint-1, widen: 3 !orig=[5228],[3463] !jvms: DirectMethodHandle::makePreparedLambdaForm @ bci:612 (line 293)
   0  1258  MinI  === _ 1254 1612  [[ 871 ]]  !jvms: DirectMethodHandle::makePreparedLambdaForm @ bci:612 (line 293)
   ```

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

PR Comment: https://git.openjdk.org/jdk/pull/28770#issuecomment-3656756730