RFR(XS): 8239335: C2: assert((Value(phase) == t) || (t != TypeInt::CC_GT && t != TypeInt::CC_EQ)) failed: missing Value() optimization

[Vladimir Kozlov]

It needs explanation comment in the code for all checks there.

Do I understand correctly that you relaxed condition for constant interfaces which would have 
_klass_is_exact set?

Thanks,
Vladimir

On 3/4/20 12:38 AM, Roland Westrelin wrote:
> 
> http://cr.openjdk.java.net/~roland/8239335/webrev.00/
> 
> Subtype check with constant interface sub class doesn't fold anymore.
> 
> Roland.
>