为什么LLVM有向量类型和数组类型？

我试图理解为什么LLVM有“向量类型”的概念。LLVM是否可以在没有LLVM的情况下设计，矢量化/SIMD是否可以在阵列类型之上实现

---

在我看来，

[8 x float]

可以以与

相同的方式映射到向量寄存器。我相信LLVM可以区分这两种类型，因为并非所有有效的ArrayType元素类型都是有效的SIMD/向量化向量类型元素类型。