如何让GCC/Clang优化器按源码指定顺序生成操作序列

场景描述 #

手动展开了要求严格执行顺序的循环，源码如下：

loop
{
    delta = get_delta();
    sum1 += delta;
    sum2 += delta;
    sum3 += delta;

    delta = get_delta();
    sum1 += delta;
    sum2 += delta;
    sum3 += delta;
}

但编译器会将其优化为合并两次get_delta()调用的形式，破坏了预期的执行顺序：

loop
{
    delta1 = get_delta();
    delta2 = get_delta();
    delta_sum = delta1 + delta2;

    sum1 += delta_sum;
    sum2 += delta_sum;
    sum3 += delta_sum;
}

需求：不使用volatile（避免不必要的内存加载开销）、不依赖-O0/-O1这类不稳定的优化级别，通过__asm__或类似手段强制编译器严格遵循源码的执行顺序展开循环。

可行方案 #

1. 寄存器约束内联汇编（轻量级） #

使用空内联汇编配合寄存器约束，告诉编译器必须完成当前组的sum更新后才能执行下一组操作。这种方式不生成额外汇编指令，也不会强制内存读写，仅约束优化重排：

loop
{
    int delta = get_delta();
    sum1 += delta;
    sum2 += delta;
    sum3 += delta;
    // 约束sum1、sum2、sum3的寄存器操作必须完成，后续代码不能提前执行
    __asm__ __volatile__("" : "+r"(sum1), "+r"(sum2), "+r"(sum3));

    delta = get_delta();
    sum1 += delta;
    sum2 += delta;
    sum3 += delta;
    __asm__ __volatile__("" : "+r"(sum1), "+r"(sum2), "+r"(sum3));
}

"+r"表示操作数是可读可写的寄存器，编译器会确保在执行这段空汇编前，sum的更新已完成，后续get_delta()调用不会被提前到当前组操作之前。

2. 编译器内存屏障 #

如果sum是全局变量或需要严格内存顺序保障，可使用带memory clobber的空内联汇编，阻止编译器重排屏障前后的内存操作：

loop
{
    delta = get_delta();
    sum1 += delta;
    sum2 += delta;
    sum3 += delta;
    // 内存屏障：强制寄存器中的内存修改写回，后续操作不能提前到屏障前
    __asm__ __volatile__("" ::: "memory");

    delta = get_delta();
    sum1 += delta;
    sum2 += delta;
    sum3 += delta;
    __asm__ __volatile__("" ::: "memory");
}

该方式兼容性更好，但开销略高于寄存器约束，适合变量存储在内存的场景。

3. 标记get_delta()为有副作用函数 #

若get_delta()是读取硬件寄存器、外部设备状态等有副作用的函数，在声明时添加属性让编译器无法重排或合并其调用：

// GCC/Clang环境下的声明
extern int get_delta(void) __attribute__((side_effect));

side_effect属性会让编译器认定每次调用get_delta()都会产生不可预测的副作用，因此不会合并两次调用，也不会重排其与sum更新的顺序。

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