🤖 AI Summary
Automatic vectorization across diverse architectures remains poorly understood, with limited cross-platform comparability and unclear relationships between vectorization success and actual performance gains.
Method: This work systematically evaluates GCC, ICX, and Clang on x86—and GCC, ACFL, and Clang on ARM—using a unified, corrected TSVC2 benchmark. It introduces the first横向 (cross-architectural), multi-compiler, semantically consistent empirical framework, integrating assembly-level verification, cross-platform performance measurement, and statistical modeling.
Results: Vectorization enablement rates peak at 54% (x86) and 56% (ARM), yet exhibit weak correlation with speedup: ~20% of vectorized loops yield no performance improvement. Compilers demonstrate high sensitivity to minor code variations and pronounced architecture-specific vectorization decisions. No compiler dominates across all benchmarks on either platform. The study reveals the counterintuitive phenomenon that “vectorization success ≠ acceleration,” challenging common assumptions in compiler optimization and HPC practice.
📝 Abstract
Most modern processors contain vector units that simultaneously perform the same arithmetic operation over multiple sets of operands. The ability of compilers to automat- ically vectorize code is critical to effectively using these units. Understanding this capability is important for anyone writing compute-intensive, high-performance, and portable code. We tested the ability of several compilers to vectorize code on x86 and ARM. We used the TSVC2 suite, with modifications that made it more representative of real-world code. On x86, GCC reported 54% of the loops in the suite as having been vectorized, ICX reported 50%, and Clang, 46%. On ARM, GCC reported 56% of the loops as having been vectorized, ACFL reported 54%, and Clang, 47%. We found that the vectorized code did not always outperform the unvectorized code. In some cases, given two very similar vectorizable loops, a compiler would vectorize one but not the other. We also report cases where a compiler vectorized a loop on only one of the two platforms. Based on our experiments, we cannot definitively say if any one compiler is significantly better than the others at vectorizing code on any given platform.