直接启用 -rpass=loop-vectorize 和 -rpass-missed=loop-vectorize 即可让 clang 在编译时输出向量化成功或失败的提示，例如“vectorized loop”或“loop not vectorized: loop contains a switch statement”，但需配合 -o2 或更高优化级；若无输出，通常因循环含 switch、函数调用、非线性索引等导致未进入向量化阶段。
直接用 -Rpass=loop-vectorize 和 -Rpass-missed=loop-vectorize 就能看到关键诊断信息，不需要查日志或翻源码。
怎么让 clang 输出循环向量化成功或失败的提示
LLVM 的循环向量化器（LoopVectorizePass）会在编译时主动打印决策结果，前提是显式启用对应 -Rpass 选项：
-
-Rpass=loop-vectorize：只报告被成功向量化的循环，例如remark: vectorized loop (vector width: 4, interleaved count: 2) -
-Rpass-missed=loop-vectorize：只报告被跳过的循环，例如remark: loop not vectorized: loop contains a switch statement -
-Rpass-analysis=loop-vectorize：额外给出失败原因细节，比如dependence between %arrayidx and %arrayidx2 prevents vectorization
注意：这些选项必须和 -O2 或更高优化级一起用，-O1 默认关闭循环向量化；若用 -O3，还建议加 -march=rv64gcv（含 V 扩展），否则即使 IR 层尝试向量化，后端也可能 fallback 到标量指令。
为什么加了 -Rpass 却没输出任何信息
常见原因不是配置错，而是编译器根本没走到向量化阶段：
- 源码里用了
switch、goto、函数调用（如printf、malloc）、或不可内联的外部函数 → 直接被合法性检查拒掉，不进代价模型 - 数组访问含非线性索引（如
a[i * i]）或跨函数指针解引用（如p[i]但p来自参数且无restrict）→ 依赖分析失败 - 循环边界是运行时变量且无法证明无副作用（如
for (int i = 0; i 但 <code>n没被标记为常量或未做 range analysis）→ 向量化器放弃 - 目标架构没启用 V 扩展：
-march=rv64gc不含v，即使 IR 出现类型，最终汇编仍是标量 load/store
验证方法：先用 clang -O2 -emit-llvm -S 生成 .ll，搜 vector.body 或 shufflevector，若 IR 里都没有，说明连第一步合法性检查都没过。
如何确认 RISC-V 向量化真的生成了 v 指令
IR 层看到向量类型 ≠ 二进制里有 vadd.vv 这类指令。必须落到汇编或机器码才作数：
- 用
clang -O2 -march=rv64gcv -S -o - test.c | grep '^v'快速筛出以v开头的向量指令（如vsetvli、vle32.v） - 更可靠的是看二进制：
llvm-objdump -d binary.elf | grep -E '^(v|c\.)'，其中c.是压缩指令，常与向量化配套出现 - 若
vsetvli第二操作数是0（如vsetvli zero, t0, e32, m1），说明 LLVM 无法静态推导 VL，靠运行时传参——这合法，但意味着你没触发 fully unrolled + static VL 场景
容易忽略的一点：llvm-objdump 默认不显示指令编码细节。如果怀疑 LMUL/SEW 组合越界（比如硬件 VLEN=128 却生成了 m8），得加 --print-imm-hex 看立即数是否落在规范范围内。
调试时最该盯住的两个成本阈值
向量化失败常卡在 Cost Model，而 RISC-V 后端对控制流指令的成本估算很敏感：
-
getCFInstrCost对icmp、select返回过高成本（如 >38）会直接否决整个循环，哪怕数据流完全规整 -
getMemoryOpCost在 RISC-V 上对未对齐访问或非自然宽度（如load）惩罚极大，导致向量化收益为负 - 用
-Rpass=loop-vectorize -Rpass-analysis=loop-vectorize编译时，若输出含cost model rejected，基本就是上述两类成本超限
真正难调试的是：同一段代码在 x86_64 能向量化，在 riscv64 却不行——不是语法问题，而是 RISC-V V 扩展的 predication 成本模型和 x86 AVX 不同，select 在 V 下要转成 vmerge.vvm + mask 操作，开销天然更高。
