C程序中如何强制GCC编译器展开编译期已知迭代次数的循环？

问题场景 #

我需要让GCC展开一个编译期已知迭代次数的循环，测试代码如下：

#define STR_LEN 12
int __attribute__((noinline)) func(char *input_str) {
    char* fixed_str = "fixed string";
    for (int i = 0; i < STR_LEN; i++) {
        if (fixed_str[i] != input_str[i]) {
            return -1;
        }
        if (i == STR_LEN - 1) {
            return 0;
        }
    }
    return 0;
}

尝试过以下方法但均未实现循环展开：

• 用-O0 -funroll-all-loops编译
• 给循环添加#pragma GCC unroll
• 给函数加__attribute__((optimize("unroll-loops")))属性
  仅当使用#pragma unroll配合-O1编译时，循环才成功被展开。

原因分析 #

1. -O0模式下优化被强制关闭：GCC在-O0（默认无优化）级别会禁用绝大多数优化逻辑，包括循环展开所需的循环边界检测、数据流分析等基础步骤。哪怕手动指定-funroll-all-loops、#pragma或属性，这些优化指令在-O0下也不会生效——编译器根本不会执行优化相关的分析工作。
2. 循环展开依赖基础优化支持：无论是#pragma GCC unroll还是-funroll-loops选项，都需要编译器先完成循环次数确认、控制流简化等前置优化，这些步骤只有在-O1及以上级别才会被启用。

可行解决方案 #

要强制GCC展开编译期已知次数的循环，必须满足两个核心条件：

• 启用至少-O1优化级别：比如-O1、-O2、-O3，确保编译器开启基础优化分析流程。
• 精准触发循环展开：针对目标循环添加#pragma GCC unroll（或简写#pragma unroll），或者全局使用-funroll-loops编译选项（后者会对所有符合条件的循环生效）。

示例编译命令：

gcc -O1 -S your_code.c

对应代码修改（针对单个循环精准控制）：

#define STR_LEN 12
int __attribute__((noinline)) func(char *input_str) {
    char* fixed_str = "fixed string";
    #pragma GCC unroll
    for (int i = 0; i < STR_LEN; i++) {
        if (fixed_str[i] != input_str[i]) {
            return -1;
        }
        if (i == STR_LEN - 1) {
            return 0;
        }
    }
    return 0;
}

验证方式 #

使用-S参数生成汇编代码后，检查是否存在重复的字符比较指令（而非jmp类的循环跳转指令），即可确认循环是否被成功展开。

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