Currently we pessimize (slow down) array-loads in some cases because of the possibility that they may have been used with the (now mostly deprecated implementation of) reinterpret calls. We always pessimize the performance of pointer calls and any code around them. In this, we are quite similar to C. In the future, we would like to be faster than C, like Fortran and Rust, by giving the compiler greater freedom to elide memory access and/or to use more SIMD instructions.
5 Likes