-rpass-missed=loop-unroll可精准诊断llvm未展开循环的原因：如trip count未知、循环过小、含函数调用、控制流不规则等；需结合ir验证是否真未展开，并确认是否被识别为自然循环。
用 -Rpass-missed=loop-unroll 看编译器为什么放弃展开
LLVM 不会展开所有循环，它会先做合法性与收益分析。直接加 -Rpass-missed=loop-unroll 是最准的诊断方式——只要展开没发生，它就会在编译输出里打印具体原因。
常见输出包括：
-
unrolling requires a known trip count：循环次数在编译期不可知（比如依赖运行时输入、指针别名导致无法推断数组长度） -
loop not considered for unrolling: loop is too small：循环体太短，LLVM 认为展开不值得（默认阈值由-unroll-threshold控制） -
loop contains a call：循环体内有函数调用，尤其非内联函数，会阻断展开（调用可能有副作用或影响寄存器分配） -
loop has unknown control flow：存在 break/continue/goto 或异常处理，破坏了循环结构的可预测性
确认是否真没展开，而不是被其他优化掩盖
有时循环看似“没展开”，其实是被更激进的优化吞掉了——比如被向量化（-fvectorize）或完全内联进外层函数。别只看源码行数，得看生成的 IR。
- 用
clang -O2 -emit-llvm -S test.c -o test.ll生成 IR - 打开
test.ll，搜索br label %for.body和br label %for.end之间的重复块数量；若仍保持单次迭代结构，说明未展开 - 若看到
%for.body.lr.ph、%for.body.us等后缀，大概率是做了 Loop Unswitch 或 Vectorization，不是 Unroll
检查循环结构本身是否被 LLVM 识别为“自然循环”
LLVM 的循环分析模块（LoopInfo）只对“自然循环”做展开。如果控制流太绕（比如多入口、跳转到中间、嵌套 break），它可能压根没把那段代码当循环处理。
- 加
-mllvm -print-loops编译，会输出 LLVM 识别出的所有循环及其层级 - 若目标循环没出现在输出里，说明它被判定为“普通循环”或“不可分析循环”
- 典型诱因：
goto跳入循环体、setjmp/longjmp、循环头部有非平凡 phi 节点、使用do { ... } while(0)模拟作用域
手动触发并调参验证是否受阈值限制
LLVM 默认展开策略偏保守。你可以绕过自动判断，强制展开并观察行为变化：
- 加
-mllvm -unroll-threshold=1000提高阈值（默认通常是 150 左右） - 用
-mllvm -unroll-full强制完全展开（仅适用于 trip count 可静态确定的循环） - 配合
-Rpass=loop-unroll确认是否真的触发了展开动作 - 注意：强制展开可能增大代码体积，引发 icache miss，实际性能未必更好
真正卡住的地方往往不是“怎么让它展开”，而是“为什么 LLVM 拒绝把它当一个干净的循环看待”——控制流干净度、trip count 可推导性、以及有没有隐藏的副作用调用，这三点比调参数更重要。
