GCC生成移位后独立位掩码的原因及优化调整方法咨询

以下是将3D坐标（x、z、y）打包到uint_fast64_t的最小可复现代码：

#include <stdint.h>
void test(uint_fast64_t *const coord, const uint_fast8_t x, const uint_fast8_t z, const uint_fast8_t y) {
    static const uint_fast64_t m = 0x2040810204081ULL, a = 0x101010101010101ULL;
    *coord = (x * m & a) | (z * m & a) << 1 | (y * m & a) << 2;
}

编译器汇编输出差异 #

• GCC：仅生成一个m常量变体，但生成三个a的变体（0x101010101010101、0x202020202020202、0x404040404040404），将<<1和<<2移位操作合并到位掩码中，而非先执行掩码再移位。
• Clang：完全将移位合并到常量中，汇编无对应移位指令。

问题 #

1. 先移位再执行掩码操作，即使需存储额外常量，是否存在潜在优势？
2. 若不存在该优势，是否有编译器选项或方法可迫使GCC改为先掩码再移位，避免存储额外常量？

注：即使开启激进大小优化，GCC仍存在该现象。

回答 #

问题1：先移位再掩码的潜在优势

这种优化的核心价值是减少运行时指令数量：

• 移位操作是编译期就能完成的常量变换，直接生成移位后的掩码，能省去运行时执行<<1/<<2这类移位指令的开销，降低CPU执行周期。
• 现代CPU对只读数据段的常量读取效率极高，额外存储几个8字节常量的内存代价可以忽略不计，但减少运行时指令能直接提升函数的执行速度，尤其是在这个函数被高频调用的场景下。

问题2：迫使GCC改为先掩码再移位的方法

目前没有直接的编译器选项能强制GCC改变这种优化逻辑，但可以通过调整代码结构引导编译器生成先掩码再移位的代码：

• 拆分计算步骤，用临时变量存储掩码后的结果，再执行移位操作，代码示例如下：

#include <stdint.h>
void test(uint_fast64_t *const coord, const uint_fast8_t x, const uint_fast8_t z, const uint_fast8_t y) {
    static const uint_fast64_t m = 0x2040810204081ULL, a = 0x101010101010101ULL;
    uint_fast64_t x_val = x * m & a;
    uint_fast64_t z_val = z * m & a;
    uint_fast64_t y_val = y * m & a;
    *coord = x_val | (z_val << 1) | (y_val << 2);
}

• 这种写法明确告知编译器先完成掩码操作，再进行移位，GCC会按照这个逻辑生成对应的汇编代码，仅存储一个a常量，执行运行时移位指令。

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