Clang如何启用loop flattening pass并查看其循环展平效果？

所需编译选项 #

Windows平台12.0.0版本的Clang默认不会在-Os优化级别启用循环展平Pass，需要添加额外参数触发：

• 核心启用参数：配合-O2或-O3优化级别，添加-mllvm -enable-loop-flatten参数
• 若需验证Pass是否运行，可额外添加-mllvm -debug-only=loop-flatten参数，输出运行日志判断未生效原因
• 完整编译示例命令：

clang -O2 -mllvm -enable-loop-flatten -S 你的源码文件名.c

生效前提 #

仅添加参数不一定会触发转换，你的代码还需要满足以下条件：

• 内外层循环均为无提前跳出逻辑的计数循环
• 内层循环迭代次数固定，编译期可推导
• 循环内部无复杂分支、带副作用的函数调用
• 嵌套循环内的数组访问符合连续线性寻址规则，和示例中的访问形式一致

内容的提问来源于stack exchange，提问作者pmor