如何优化64位有符号整数左移位操作的C++实现以降低开销？

针对你的玩具脚本语言左移位语义需求，我们可以通过无分支位运算合并钳位与结果判断逻辑，消除条件分支带来的开销，同时保持语义完全符合要求：

核心思路 #

1. 移位计数处理：将r钳位到[0,63]，确保无符号64位整数的移位操作符合C++定义（移位量必须小于位数）
2. 结果掩码生成：通过位运算生成掩码，当r >=64时掩码为0（直接清零结果），否则掩码为全1（保留移位结果）
3. 合并逻辑：用掩码与移位结果做按位与，替代原有的三元条件判断，实现无分支计算

优化后的代码 #

// Script example code: l << r
case BitShiftL: {
    i64 r = Pop(); 
    i64 l = Pop();
    u64 x = std::bit_cast<u64>(l);          // 转为无符号避免有符号左移未定义行为
    u64 shift = static_cast<u64>(std::clamp(r, i64(0), i64(63))); // 钳位移位量到[0,63]
    u64 mask = -static_cast<u64>(r < 64);   // r<64时掩码为全1，否则为0
    u64 z = (x << shift) & mask;            // 无分支合并移位与结果判断
    i64 v = std::bit_cast<i64>(z);          // 转回有符号整数
    mStack.push_back(v); 
} break;

优势说明 #

• 消除分支：用位运算替代三元表达式，避免分支预测失败的性能开销，尤其适合高频执行的OpCode
• 语义等价：完全符合你定义的规则：
  • r <0 → 移位量0，结果为原数
  • 0<=r<=63 → 正常左移
  • r>=64 → 结果为0
• 代码简洁：合并了原有的钳位与条件判断步骤，减少中间变量

更精简的变体（保留单个条件表达式） #

如果偏好保留条件表达式但减少中间变量，可以将钳位与判断合并为一行：

case BitShiftL: {
    i64 r = Pop(); 
    i64 l = Pop();
    u64 x = std::bit_cast<u64>(l);
    u64 z = (r >= 64) ? 0 : x << static_cast<u64>(std::max(r, i64(0)));
    i64 v = std::bit_cast<i64>(z);
    mStack.push_back(v); 
} break;

这里用std::max(r, 0)替代std::clamp，因为当r>=64时直接返回0，无需处理移位量上限，减少一次比较操作。

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