P4
Max/Min nodes Value implementations inherit from that of AddNode, which checks if either input has type bottom, in which case it returns the local bottom immediately. This is clearly wrong, as Type(Min(x, -1)) should equal to [min_jint, -1] instead of bottom.
- relates to
-
JDK-8350329 C2: Div looses dependency on condition that guarantees divisor not zero in counted loop after peeling
-
- Open
-
