将 m256 的奇数元素提取到 m128 的有效（在 Ryzen 上）方法？

Question

是否有一种内在的或其他有效的方法来将 high/low AVX 寄存器的 64 位组件的 32 位组件重新打包到 SSE 寄存器中？使用 AVX2 的解决方案是可以的。

到目前为止，我正在使用以下代码，但探查器说它在 Ryzen 1800X 上运行缓慢：

// Global constant
const __m256i gHigh32Permute = _mm256_set_epi32(0, 0, 0, 0, 7, 5, 3, 1);

// ...

// function code
__m256i x = /* computed here */;
const __m128i high32 = _mm256_castsi256_si128(_mm256_permutevar8x32_epi32(x),
  gHigh32Permute); // This seems to take 3 cycles

Answer 1

在 Intel 上，您的代码将是最佳的。一条 1-uop 指令是您将获得的最好的指令。（除非你可能想使用 vpermps 来避免任何 int / FP 旁路延迟的风险，如果你的输入向量是由 pd 指令而不是加载或其他东西创建的。使用 FP 的结果shuffle 作为整数指令的输入在 Intel 上通常没问题，但我不太确定将 FP 指令的结果提供给整数 shuffle。）

尽管如果针对 Intel 进行调整，您可以尝试更改周围的代码，以便您可以洗牌到每个 128b 通道的底部 64 位，以避免使用通道交叉洗牌。（然后你可以只使用 vshufps ymm，或者如果针对 KNL 进行调整，vpermilps 因为 2-input vshufps 速度较慢。）

对于 AVX512，_mm256_cvtepi64_epi32 (vpmovqd) 可以跨通道打包元素，并进行截断。

在 Ryzen 上，车道交叉洗牌很慢。 Agner Fog 没有 vpermd 的数字，但他列出了 vpermps（可能在内部使用相同的硬件）3 微指令，5c 延迟，每 4c 吞吐量一个。

vextractf128 xmm, ymm, 1 在 Ryzen 上非常高效（1c 延迟，0.33c 吞吐量），这并不奇怪，因为它已经将 256b 寄存器作为两个 128b 的一半进行跟踪。 shufps 也很高效（1c 延迟，0.5c 吞吐量），并且可以让您将两个 128b 寄存器洗牌成您想要的结果。

这也为您不再需要的 2 个 vpermps 洗牌掩码节省了 2 个寄存器。

所以我建议：

__m256d x = /* computed here */;

// Tuned for Ryzen.  Sub-optimal on Intel
__m128 hi = _mm_castpd_ps(_mm256_extractf128_pd(x, 1));
__m128 lo = _mm_castpd_ps(_mm256_castpd256_pd128(x));
__m128 odd  = _mm_shuffle_ps(lo, hi, _MM_SHUFFLE(3,1,3,1));
__m128 even = _mm_shuffle_ps(lo, hi, _MM_SHUFFLE(2,0,2,0));

在 Intel 上，使用 3 次洗牌而不是 2 次洗牌可为您提供最佳吞吐量的 2/3，第一个结果有 1c 的额外延迟。

将 m256 的奇数元素提取到 m128 的有效（在 Ryzen 上）方法？

Efficient (on Ryzen) way to extract the odd elements of a m256 into a m128?

c++

sse

x86-64

vectorization

avx2

将 __m256 的奇数元素提取到 __m128 的有效（在 Ryzen 上）方法？

Efficient (on Ryzen) way to extract the odd elements of a __m256 into a __m128?

c++

sse

x86-64

vectorization

avx2

将 m256 的奇数元素提取到 m128 的有效（在 Ryzen 上）方法？

Efficient (on Ryzen) way to extract the odd elements of a m256 into a m128?