4. 使用Clang生成汇编代码
任务目标
使用 clang -S 将一段C代码编译为x86_64汇编，并通过对比 -O0 与 -O2 两个优化级别下的汇编输出，理解编译器优化的基本效果。
环境准备
需要已安装 Clang/LLVM（版本不限，建议 ≥ 10.0）。检查方式：
clang --version实现步骤
创建测试文件 sum.c，内容为一个简单的累加函数：
// sum.c
int sum(int n) {
int total = 0;
for (int i = 1; i <= n; i++) {
total += i;
}
return total;
}分别生成两个优化级别的汇编文件：
clang -S -O0 sum.c -o sum_O0.s
clang -S -O2 sum.c -o sum_O2.s生成的文件即为 x86_64 汇编代码。若需查看带指令注释的版本，可加 -fverbose-asm 选项。
汇编差异观察要点
对比两个 .s 文件，重点观察以下差异：
- -O0：变量
total和i被保存在栈内存中（如-4(%rbp)），每次循环迭代都执行内存读写；循环结构保留完整的条件判断与跳转。 - -O2：循环被优化为等差数列求和公式的直接计算（即
n*(n+1)/2），不再有循环指令；函数调用开销被消除，代码长度显著缩短。
验证方法
执行以下命令确认汇编可正确汇编并运行：
clang sum_O0.s -o sum_O0
clang sum_O2.s -o sum_O2
./sum_O0; echo $?
./sum_O2; echo $?由于 sum.c 中没有 main 函数，直接链接会报错。为完成可执行验证，需补充一个调用入口。创建 main.c：
// main.c
#include <stdio.h>
int sum(int n);
int main() {
printf("%d\n", sum(100));
return 0;
}重新编译并验证：
clang -S -O0 sum.c -o sum_O0.s
clang -S -O2 sum.c -o sum_O2.s
clang sum_O0.s main.c -o test_O0
clang sum_O2.s main.c -o test_O2
./test_O0
./test_O2通过条件：两个程序均输出 5050（1到100的和），且 sum_O2.s 中不存在循环跳转指令（如 jmp、jl 等），而 sum_O0.s 中存在明显的循环结构。
预期输出（确定性结果）
由于输入固定为 sum(100)，且算法逻辑唯一，两个程序输出必然为：
5050这是由代码逻辑直接推出的确定结果，非实测数据。
常见问题
- 若
clang命令不存在，请检查LLVM安装路径或使用完整路径（如/usr/local/opt/llvm/bin/clang）。 - 若目标平台不是x86_64（如ARM Mac），汇编语法会不同，但优化行为（循环消除）仍可观察。