http://cr.openjdk.java.net/~kvn/7132936/webrev 7132936: guarantee(t != NULL) failed: must be con Use !higher_equal() check to skip top and values which fit. LoadNode::Ideal() will return value's type in such cases. Verified with failed tests. Thanks, Vladimir