[11] RFR(S): 8202949: C2: assert(false) failed: Bad graph detected in build_loop_late

[Roland Westrelin]

> Right, I think the point is more that the type of the ConvI2L is narrowed which is usually prevented
> by the CastII where we do not allow the type to be narrowed in case it is range check dependent.

Can you point me to the code you're referring to (code that narrows
ConvI2L but not CastII)?

AFAICT, ConvI2LNode::Value() and ConstraintCastNode::Value() are mostly
identical.

I thought the benefit of the CastII is that it carries a control
dependence on the range check.

Roland.