Graalvm, Java, Performance, Programming.
entire “error” branch is marked with a guard as unreached code, and the actual contents of the branch are irrelevant and even invisible to the compiler. As long as the guard’s condition can be vectorized (in this case, it is a simple SIMD comparison), this loop shape can be vectorized by GraalVM.