Used by PhiNode::Value() method PhaseCCP::saturate() calls TypeInt::widen() which may call TypeInt::make() which normalizes small ints. On other hand TypeInt::xmeet() does not call TypeInt::make() and does not normalizes small ints. It may trigger next assert: CompileTheWorld (8531) : javax/imageio/ImageTypeSpecifier Current function is ccp_type_widens 1314 assert(t->meet(t0) == t, "Not monotonic"); [t@50 l@50]: print t->dump() int:1..4 [t@50 l@50]: print t0->dump() int:2..4:w [t@50 l@50]: print t->meet(t0)->dump() int:1..4:w
|