如何配置swiftc生成保留全量load/store指令的无优化LLVM IR

你对Swift -Onone 参数的作用理解存在偏差：

• Swift编译管线分为源码→原始SIL→规范SIL→LLVM IR→机器码多个阶段，-Onone 仅会关闭高阶性能优化Pass（比如内联、循环展开、全局逃逸分析等），但SIL生成阶段的轻量常量折叠、简单表达式化简属于SIL合法性生成的强制逻辑，不属于可选优化范畴，不会被-Onone关闭。
• 你观察到的5+10直接被计算为15的行为，发生在SIL转LLVM IR之前，和LLVM层面的优化无关，即使追加LLVM级别的-O0参数也无法阻止这一过程。
• 这点和Clang的-O0逻辑不同：Clang的-O0会严格保留所有栈变量的load/store操作，不会做任何跨语句的常量折叠，而Swift的-Onone定位是「调试友好模式」，只要不影响断点调试、变量观测的轻量化简都会默认执行。

你可以通过显式禁用SIL阶段的对应化简Pass实现需求，具体命令如下：

swiftc -Onone \
  -Xfrontend -disable-llvm-optzns \
  -Xllvm -sil-disable-pass=constant-propagation \
  -Xllvm -sil-disable-pass=mem2reg \
  -emit-ir your_source.swift > unoptimized.ll

参数说明：

• -Xfrontend -disable-llvm-optzns：强制关闭LLVM后端的所有可选优化，即使是-O0等级下默认开启的轻量IR化简也会被禁用
• -Xllvm -sil-disable-pass=constant-propagation：禁用SIL阶段的常量传播、编译期常量计算逻辑，所有表达式计算都会保留运行时执行的指令
• -Xllvm -sil-disable-pass=mem2reg：禁用SIL阶段的栈变量到寄存器的提升逻辑，保证所有局部变量都会生成对应alloca、load、store指令，不会被消去

如果不需要直接拿到LLVM IR，也可以选择直接导出最原始的Raw SIL做依赖分析，Raw SIL是语法树直接降级生成的最底层表示，不会执行任何化简操作，所有变量读写都会完整保留，生成命令为：

swiftc -emit-silgen your_source.swift > raw_sil.sil

对你提供的示例Swift函数，使用上述命令生成的LLVM IR会保留完整操作链：

1. 为a、b、c三个变量分配栈空间
2. 将立即数5存入a的内存地址、立即数10存入b的内存地址
3. 分别从a、b的内存地址load值，执行add指令得到求和结果
4. 将求和结果存入c的内存地址
5. 从c的内存地址load值作为函数返回值
   和Clang -O0生成的IR结构完全一致，满足变量读写依赖分析的需求。

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