[9] RFR(XS): 8054883 Segmentation error while running program

[Igor Veresov]

The problem is with finding and widening dominating range checks. The widening machinery expects to see certain forms of range checks - in one of the cases (index + offset < array_length) it checks that the operator in the pattern is an add by calling is_Add(). However it just means that the node is a subclass of AddNode and that it shares the same algebraic properties. In that particular case it would confuse an XorI with AddI. What this code needs, is to check the opcode of the node.

Webrev: http://cr.openjdk.java.net/~iveresov/8054883/webrev.00/

Thanks!
igor