如何在软件中实现输入无关的逻辑移位？

完全可以实现输入无关的逻辑移位，核心思路是枚举所有可能的移位位数，预计算对应结果后，通过位操作掩码选中匹配输入移位位数的结果，全程无输入相关的硬件移位、条件跳转或输入依赖索引，具体实现步骤如下：

核心原理 #

移位位数的取值范围是固定的（比如32位整数的移位位数只能是0~31），我们可以预先计算所有可能移位后的结果，再通过纯位操作生成掩码——仅当输入移位位数与预计算的索引匹配时，掩码为全1，否则为全0。最终将所有预计算结果与对应掩码做与操作，再合并（或/异或）得到最终结果。

具体实现（以32位左移为例） #

以下代码完全符合你的要求：仅使用常量时间位操作、固定次数循环（输入无关），无输入相关移位/跳转：

#include <stdint.h>

uint32_t constant_time_shift(uint32_t someconst, uint32_t shift_bits) {
    // 预计算所有32种移位结果，循环次数固定，与输入无关
    uint32_t shift_results[32];
    for (int i = 0; i < 32; i++) {
        shift_results[i] = someconst << i;
    }

    uint32_t final_result = 0;
    for (int i = 0; i < 32; i++) {
        uint32_t x = shift_bits ^ i;
        // 生成匹配掩码：当shift_bits == i时为0xFFFFFFFF，否则为0
        uint32_t mask = ~((x) | (~x + 1)) & 0xFFFFFFFF;
        // 仅保留当前索引匹配的移位结果
        final_result |= shift_results[i] & mask;
    }

    // 对应需求中的&5操作
    return final_result & 5;
}

关键细节说明 #

• 预计算移位结果：循环次数固定（0~31），移位位数i是常量，属于输入无关的硬件移位，符合要求。
• 掩码生成逻辑：通过x = shift_bits ^ i判断输入移位位数是否等于当前索引i，若相等则x=0，此时(x) | (~x +1)等于0，取反后得到全1掩码；若不等则x≠0，运算后得到全0掩码，全程无条件判断。
• 结果合并：由于每次只有一个掩码为全1，使用|或^合并结果均可，最终仅保留匹配输入移位位数的预计算结果。

适配不同位宽 #

如果是8位/64位整数，只需将循环范围调整为0_7或063，同时修改掩码的位宽（比如8位用0xFF）即可，逻辑完全一致。

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