- AddINode:

The check on line 285 (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/addnode.cpp#L285) prevents the transformations on lines 305 (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/addnode.cpp#L305) and 310 (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/addnode.cpp#L310) from happening.

- AddLNode:

The check on line 467 (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/addnode.cpp#L467) prevents the transformations on lines 492 (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/addnode.cpp#L492) and 487 (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/addnode.cpp#L487) from happening.

- SubNode:

Should the check on line 64 (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/subnode.cpp#L64) be adjusted to account for "long" type?

- SubLNode

The transformation "(x-y) - x" present on SubINode (https://github.com/openjdk/jdk/blob/04a806ec86a388b8de31d42f904c4321beb69e14/src/hotspot/share/opto/subnode.cpp#L229) is missing from SubLNode.