I found this during work with the Template Framework JDK-8344942.
[~thartmann] found it was a regression of JDK-8283894, which was my suspicion after tracing it back to code in CompressBitsNode::Value and more specifically bitshuffle_value, on this line:
hi = mask_max_bw < max_bw ? (1L << mask_max_bw) - 1 : src_type->hi_as_long();
Reproduce the result like this:
java -Xbatch -XX:CompileCommand=compileonly,Test::test -XX:+PrintIdeal Test.java
CompileCommand: compileonly Test.test bool compileonly = true
AFTER: print_ideal
0 Root === 0 28 [[ 0 1 3 21 ]] inner
3 Start === 3 0 [[ 3 5 6 7 8 9 ]] #{0:control, 1:abIO, 2:memory, 3:rawptr:BotPTR, 4:return_address}
5 Parm === 3 [[ 28 ]] Control !jvms: Test::test @ bci:-1 (line 26)
6 Parm === 3 [[ 28 ]] I_O !jvms: Test::test @ bci:-1 (line 26)
7 Parm === 3 [[ 28 ]] Memory Memory: @BotPTR *+bot, idx=Bot; !jvms: Test::test @ bci:-1 (line 26)
8 Parm === 3 [[ 28 ]] FramePtr !jvms: Test::test @ bci:-1 (line 26)
9 Parm === 3 [[ 28 ]] ReturnAdr !jvms: Test::test @ bci:-1 (line 26)
21 ConI === 0 [[ 28 ]] #int:min
28 Return === 5 6 7 8 9 returns 21 [[ 0 ]]
Exception in thread "main" java.lang.RuntimeException: Bad value: -2147483648 0
at Test.main(Test.java:36)
We can see from the PrintIdeal, that the Integer.compress has been constant folded to the wrong value.
------------------------------------------------------------- The identical issue exists for long:
./java -Xbatch -XX:CompileCommand=compileonly,TestL::test -XX:+PrintIdeal TestL.java
CompileCommand: compileonly TestL.test bool compileonly = true
AFTER: print_ideal
0 Root === 0 28 [[ 0 1 3 21 ]] inner
3 Start === 3 0 [[ 3 5 6 7 8 9 ]] #{0:control, 1:abIO, 2:memory, 3:rawptr:BotPTR, 4:return_address}
5 Parm === 3 [[ 28 ]] Control !jvms: TestL::test @ bci:-1 (line 7)
6 Parm === 3 [[ 28 ]] I_O !jvms: TestL::test @ bci:-1 (line 7)
7 Parm === 3 [[ 28 ]] Memory Memory: @BotPTR *+bot, idx=Bot; !jvms: TestL::test @ bci:-1 (line 7)
8 Parm === 3 [[ 28 ]] FramePtr !jvms: TestL::test @ bci:-1 (line 7)
9 Parm === 3 [[ 28 ]] ReturnAdr !jvms: TestL::test @ bci:-1 (line 7)
21 ConL === 0 [[ 28 ]] #long:min
28 Return === 5 6 7 8 9 returns 21 [[ 0 ]]
Exception in thread "main" java.lang.RuntimeException: Bad value: -9223372036854775808 0
at TestL.main(TestL.java:17)