Consider this program:

public class Sample {
    static final String[] ARRAY = new String[1000];
    static final ArrayList<String> LIST = new ArrayList<>(Arrays.asList(ARRAY));

    @CompilerControl(CompilerControl.Mode.DONT_INLINE)
    public static void test(Object o) {}

    @Benchmark
    public void run(Blackhole bh) {
        for (int i = 0; Integer.compareUnsigned(i, LIST.size()) < 0; i++) {
            test(LIST.get(i));
        }
    }
}

The loop is compiled to:

  0x00007fbe5c6b6280: mov %ebp,%r8d
  0x00007fbe5c6b6283: test %r10d,%r10d
  0x00007fbe5c6b6286: jl 0x00007fbe5c6b6328
  0x00007fbe5c6b628c: cmp %r10d,%r8d
  0x00007fbe5c6b628f: jae 0x00007fbe5c6b62fa
  0x00007fbe5c6b6295: movabs $0x751589d30,%r10 ; {oop(a 'java/util/ArrayList'{0x0000000751589d30})}
  0x00007fbe5c6b629f: mov 0x14(%r10),%r11d
  0x00007fbe5c6b62a3: mov %r8d,%ebp
  0x00007fbe5c6b62a6: mov 0xc(%r12,%r11,8),%r10d ; implicit exception: dispatches to 0x00007fbe5c6b634d
  0x00007fbe5c6b62ab: cmp %r10d,%ebp
  0x00007fbe5c6b62ae: jae 0x00007fbe5c6b6314
  0x00007fbe5c6b62b0: lea (%r12,%r11,8),%r10
  0x00007fbe5c6b62b4: mov 0x10(%r10,%rbp,4),%r11d
  0x00007fbe5c6b62b9: mov %r11,%rsi
  0x00007fbe5c6b62bc: shl $0x3,%rsi
  0x00007fbe5c6b62c0: data16 xchg %ax,%ax
  0x00007fbe5c6b62c3: call 0x00007fbe5c6b9700 ; ImmutableOopMap {}
                                                            ;*invokestatic test {reexecute=0 rethrow=0 return_oop=0}
                                                            ; - org.openjdk.bench.vm.compiler.Sample::run@22 (line 51)
                                                            ; {static_call}
  0x00007fbe5c6b62c8: mov 0x380(%r15),%r11
  0x00007fbe5c6b62cf: movabs $0x751589d30,%r10 ; {oop(a 'java/util/ArrayList'{0x0000000751589d30})}
  0x00007fbe5c6b62d9: mov 0x10(%r10),%r10d
  0x00007fbe5c6b62dd: inc %ebp ; ImmutableOopMap {}
                                                            ;*goto {reexecute=1 rethrow=0 return_oop=0}
                                                            ; - (reexecute) org.openjdk.bench.vm.compiler.Sample::run@28 (line 50)
  0x00007fbe5c6b62df: test %eax,(%r11) ; {poll}
  0x00007fbe5c6b62e2: cmp %r10d,%ebp
  0x00007fbe5c6b62e5: jb 0x00007fbe5c6b6280

Obviously, the bound check at 0x00007fbe5c6b628c is the same as the loop condition, it should be elided.