如何将 32 字符（0/1）的序列转换为 32 位（uint32_t）？

Question

我有一个从文件中读取的 char 数组（通常是数千字节长），全部由 0 和 1 组成（不是 '0' 和 '1'，在这种情况下我可以使用 strtoul）。我想将它们打包成单个位，从而将每个 32 个字符转换为单个 uint32_t。我应该写一个 32 部分的位移操作，还是有更理智的方法？

out[i/32] = 
    data[i] << 31 |
    data[i+1] << 30 |
    data[i+2] << 29 |
    data[i+3] << 28 |
    data[i+4] << 27 |
    data[i+5] << 26 |
    data[i+6] << 25 |
    data[i+7] << 24 |
    data[i+8] << 23 |
    data[i+9] << 22 |
    data[i+10] << 21 |
    data[i+11] << 20 |
    data[i+12] << 19 |
    data[i+13] << 18 |
    data[i+14] << 17 |
    data[i+15] << 16 |
    data[i+16] << 15 |
    data[i+17] << 14 |
    data[i+18] << 13 |
    data[i+19] << 12 |
    data[i+20] << 11 |
    data[i+21] << 10 |
    data[i+22] << 9 |
    data[i+23] << 8 |
    data[i+24] << 7 |
    data[i+25] << 6 |
    data[i+26] << 5 |
    data[i+27] << 4 |
    data[i+28] << 3 |
    data[i+29] << 2 |
    data[i+30] << 1 |
    data[i+31];

如果这个可怕的位移是运行时最快的，那么我将不得不坚持下去。

Answer 1

受限于x86平台，可以使用PEXT指令。它是较新处理器上 BMI2 指令集扩展的一部分。

连续使用 32 位指令，然后通过移位将结果合并为一个值。

这可能是 Intel 处理器上的最佳方法，但缺点是该指令在 AMD Ryzen 上很慢。

Answer 2

如果您不需要输出位以与输入字节完全相同的顺序出现，但如果它们可以以特定方式“交错”，那么实现此目的的一种快速且可移植的方法是采用8 个 8 字节的块（总共 64 字节），并将所有 LSB 组合成一个 8 字节的值。

类似：

uint32_t extract_lsbs2(uint8_t (&input)[32]) {
  uint32_t t0, t1, t2, t3, t4, t5, t6, t7;
  memcpy(&t0, input + 0 * 4, 4);
  memcpy(&t1, input + 1 * 4, 4);
  memcpy(&t2, input + 2 * 4, 4);
  memcpy(&t3, input + 3 * 4, 4);
  memcpy(&t4, input + 4 * 4, 4);
  memcpy(&t5, input + 5 * 4, 4);
  memcpy(&t6, input + 6 * 4, 4);
  memcpy(&t7, input + 7 * 4, 4);

  return 
    (t0 << 0) |
    (t1 << 1) |
    (t2 << 2) |
    (t3 << 3) |
    (t4 << 4) |
    (t5 << 5) |
    (t6 << 6) |
    (t7 << 7);
}

这会在most compilers 上生成“不可怕，不是很好”的代码。

如果您使用 uint64_t 而不是 uint32_t，在 64 位平台上通常会快两倍（假设您有超过 32 个总字节要转换）。

使用 SIMD，您可以通过两条指令轻松矢量化整个操作（对于 AVX2，但任何 x86 SIMD ISA 都可以）：比较和 pmovmskb。

Answer 3

位移是解决此问题的最简单方法。最好编写反映您实际操作的代码，而不是尝试进行微优化。

所以你想要这样的东西：

char bits[32];
// populate bits
uint32_t value = 0;
for (int i=0; i<32; i++) {
    value |= (uint32_t)(bits[i] & 1) << i;
}