On Wednesday, 30 June 2021 at 15:51:58 UTC, Bruce Carneal wrote: > So a compiler that could pull bounds checking out of a loop > would need to generate code that would run a potentially > shortened loop and then throw if OOB. This is effectively how loop unrolling works in hotspot.