编译器优化未生效：如何强制应用指定优化标志？

问题背景 #

我尝试测试单个编译器优化对程序执行时间的影响，用了一个简单的数组求和程序。用不同编译器优化选项编译后，生成的可执行文件和无优化版本完全一致，编译命令如下：

gcc -funroll-loops code.c -o code_unroll
gcc -floop-unroll-and-jam code.c -o code_unroll_jam
gcc -finline-functions code.c -o code_inline

换Clang编译结果也一样。查资料知道编译器可能不会应用这些优化标志，想问有没有办法强制为程序应用单个优化标志？

相关代码：

void sum_array(int *a, int *b, int *c, int n) {
    for (int i = 0; i < n; i++) {
        c[i] = a[i] + b[i];  // Simple loop for GCC to unroll
    }
}

核心原因 #

你使用的这类优化选项属于选择性优化——编译器会先分析代码的复杂度、优化收益与代码体积开销的平衡，再决定是否应用。你的代码过于简单：循环体仅一条加法赋值，函数也没有可内联的调用场景，编译器判断优化收益极低，甚至可能增加代码体积，因此直接跳过了这些优化。

强制生效的具体方案 #

针对GCC的操作 #

• 构建基础优化环境+禁用无关优化
  GCC在-O0（默认无优化）模式下会忽略大部分手动指定的优化选项，需要先开启基础优化等级（如-O1），再关闭该等级下默认启用的其他优化，仅保留目标优化：

  # 强制开启循环展开，关闭-O1默认的向量等其他优化
  gcc -O1 -fno-tree-loop-distribute-patterns -fno-tree-slp-vectorize -funroll-loops code.c -o code_unroll
  

• 函数级属性强制优化
  给目标函数添加属性，强制对该函数应用特定优化，比如强制内联：

  __attribute__((always_inline)) void sum_array(int *a, int *b, int *c, int n) {
      for (int i = 0; i < n; i++) {
          c[i] = a[i] + b[i];
      }
  }
  

  编译时配合-finline-functions与-O1即可生效。
• 验证优化是否生效
  用编译日志确认优化是否真正被应用：

  # 生成优化后的中间代码文件
  gcc -O1 -funroll-loops -fdump-tree-optimized code.c
  

  查看生成的code.c.003t.optimized文件，就能看到循环是否被展开。

针对Clang的操作 #

Clang逻辑类似，需开启基础优化等级并禁用无关优化：

# 强制循环展开，关闭默认向量优化
clang -O1 -fno-vectorize -fno-slp-vectorize -funroll-loops code.c -o code_unroll

用日志验证：

clang -O1 -funroll-loops -Rpass=loop-unroll code.c

调整测试代码提升优化辨识度 #

如果代码过于简单，即使开启优化，可执行文件差异也可能不明显。可以修改代码让优化收益更显著：

// 用编译期常量固定循环次数，便于编译器做展开
#define N 1024
void sum_array(int *a, int *b, int *c) {
    for (int i = 0; i < N; i++) {
        // 增加循环体复杂度，放大优化效果
        c[i] = a[i] + b[i] * 2 + (a[i] > 0 ? a[i] / 3 : 0);
    }
}

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