无符号类型按位移位的RHS操作数类型

Question

我想将无符号类型（例如size_t）向左/右移动非负数（二进制）数字/位置，例如

size_t x;
x << non_const_expr

假设non_const_expr的值适合(unsigned) int而never导致未定义的行为（其值为非负值且不超过{x中的位数1}}）。 （请注意，该值在编译时是未知的。）

假设这种移位发生在性能关键部分（例如，它是最内层循环中的唯一操作）。我的三难问题是哪种类型的右操作数（non_consts_expr的返回类型）理想情况下应该用于最快的移位操作：

• unsigned int似乎最具可读性/直观性）
• int（AFAIK int是平台上的原生（且速度最快？）类型，而unsigned可能效率较低。）
• 班次操作中的LHS类型（在这种情况下为size_t）

一点都重要吗？如果是，哪一个通常会产生最快的代码？

Answer 1

左移或右移的最佳性能是当RHS是正数值常数时。

否则，它依赖于处理器。

我建议你编写不同的代码并查看编译器生成的汇编语言代码。您可能还想调整优化设置以查看它们是否有任何影响。

在ARM7处理器上，加载寄存器指令可能会发生移位操作;否则它会加载一个值然后使用移位汇编指令。

如果您为RHS使用变量，那么您正在查看最小操作：

1. 从内存加载RHS。
2. 将保存LHS值的寄存器移位RHS值。
3. 将结果存储到内存中。

事实将在汇编语言列表中。

此级别的优化通常不会产生可忽略的性能提升。通常可以通过优化其他地方的设计或代码来获得更大的收益。