Summary: when possible optimize out array bound checks, inserting predicates when needed.
Reviewed-by: never, kvn, twisti
Contributed-by: Nthomaswue <thomas.wuerthinger@oracle.com>