Implements array bound check elimination for c1 as proposed in: http://www.christianwimmer.at/Publications/Wuerthinger09a/ Code contributed by Thomas Würthinger. http://cr.openjdk.java.net/~roland/7153771/webrev.00/ Roland.