Extend C2's barrier elision so that variable array accesses (array accesses with unknown offset at compile-time) are elided when they are dominated by the array's allocation and no safepoint is present in between, like in this example:

Element[] a = new Element[10]; // allocation
a[i] = e; // variable array access: barrier can be elided