Vesta
中文
源代码

VPERMPD

永久 双精度浮点 元素

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
VEX.256.66.0F3A.W1 01 /r ibVPERMPD ymm1, ymm2/m256, imm8A有效有效Permute 双精度浮点在ymm2/m256中的元素使用imm8中的指数,并将结果存储在ymm1中.
EVEX.256.66.0F3A.W1 01 /r ibVPERMPD ymm1 {k1}{z}, ymm2/m256/m64bcst, imm8B有效有效双精度双精度浮点元素 AVX512F) OR in ymm2/m256/m64bcst 使用 imm8 AVX10.1 的索引,并将结果存储在 ymm1 上,以写作 k1 。
EVEX.512.66.0F3A.W1 01 /r ibVPERMPD zmm1 {k1}{z}, zmm2/m512/m64bcst, imm8B有效有效Permute 双精度浮点元素 OR AVX10.1 in zmm2/m512/m64bcst 使用 imm8 的指数,并将结果存储在 zmm1 上服从 写掩码 k1.
EVEX.256.66.0F38.W1 16 /rVPERMPD ymm1 {k1}{z}, ymm2, ymm3/m256/m64bcstC有效有效双精度双精度浮点元素 AVX512F) OR in ymm3/m256/m64bcst 使用 ymm2 AVX10.1 的索引,并将结果存储在 ymm1 上,以写作 k1 。
EVEX.512.66.0F38.W1 16 /rVPERMPD zmm1 {k1}{z}, zmm2, zmm3/m512/m64bcstC有效有效Permute 双精度浮点元素 OR AVX10.1 in zmm3/m512/m64bcst 使用 zmm2 的指数,并将结果存储在 zmm1 上服从 写掩码 k1.

操作数编码

每个模式对应上表 Op/En 列的一个取值，说明各操作数按书写顺序分别编码在指令的哪个字段，以及指令对它是读、是写还是两者兼有。

A

  1. modrm.reg escrituraModRM 字节的 reg 字段（第 5-3 位）
  2. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移
  3. imm8指令后的立即数字节

B

  1. modrm.reg escrituraModRM 字节的 reg 字段（第 5-3 位）
  2. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移
  3. imm8指令后的立即数字节

Tupla: Full

C

  1. modrm.reg escrituraModRM 字节的 reg 字段（第 5-3 位）
  2. evex.vvvv lecturaEVEX 前缀的 vvvv 字段（按位取反）
  3. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移

Tupla: Full

实测开销

正在从 arch-data 加载实测数据...

说明

Imm8 版本 : 复制双精度浮点值的四字元素,按照立即数操作数(第三操作数)指定的指数从源操作数(第二操作数)到目标操作数(第一操作数). 直接字节中的每个2位值在源操作数中选择一个qword元素.

VEX 版本 : 源操作数可以是YMM寄存器,也可以是内存位置寄存器. 对应目的地的比特(MAXVL-1:256)注册被清零.

在EVEX.512编码版本中,目的地的元素使用写掩码 k1进行更新,当控制位点从即刻产生时,imm8位点作为上256位点半的控制位点重新使用. 源操作数可以是ZMM寄存器,512位内存位置或512位向量从64位内存位置广播.

Imm8版本为: VEX.vvvv和EVEX.vvvv是保留的,必须是1111b,否则指令会#UD.

矢量控制版本 : 复制双精度浮点值的四字元素,从第二源运行符(第三源运行符)到目的地运行符(第一源运行符),按照第一源运行符(第二源运行符)中的指数进行. 索引 操作数中每64位元素的前3位选择第二源操作数中哪个四字来复制. 第一个和第二个操作数是ZMM注册,第三个操作数可以是ZMM注册,512位内存位置或512位矢量从64位内存位置广播. 目的地的元素使用写掩码 k1更新.

请注意,本指令允许将 源操作数 中的 qword 复制到 目标操作数 中的多个位置.

如果 VPERMPD 以 VEX.L = 0 编码,试图执行以 VEX.L = 0 编码的指令将会导致

#UD exception.

行动

VPERMPD (EVEX - imm8 control forms)
(KL, VL) = (4, 256), (8, 512)
FOR j := 0 TO KL-1

    i := j * 64
    IF (EVEX.b = 1) AND (SRC *is memory*)

          THEN TMP_SRC[i+63:i] := SRC[63:0];
          ELSE TMP_SRC[i+63:i] := SRC[i+63:i];
    FI;
ENDFOR;

TMP_DEST[63:0] := (TMP_SRC[256:0] >> (IMM8[1:0] * 64))[63:0];

TMP_DEST[127:64] := (TMP_SRC[256:0] >> (IMM8[3:2] * 64))[63:0];

TMP_DEST[191:128] := (TMP_SRC[256:0] >> (IMM8[5:4] * 64))[63:0];

TMP_DEST[255:192] := (TMP_SRC[256:0] >> (IMM8[7:6] * 64))[63:0];

IF VL >= 512

     TMP_DEST[319:256] := (TMP_SRC[511:256] >> (IMM8[1:0] * 64))[63:0];

     TMP_DEST[383:320] := (TMP_SRC[511:256] >> (IMM8[3:2] * 64))[63:0];

     TMP_DEST[447:384] := (TMP_SRC[511:256] >> (IMM8[5:4] * 64))[63:0];

     TMP_DEST[511:448] := (TMP_SRC[511:256] >> (IMM8[7:6] * 64))[63:0];

FI;

FOR j := 0 TO KL-1

     i := j * 64

     IF k1[j] OR *no writemask*

          THEN DEST[i+63:i] := TMP_DEST[i+63:i]

          ELSE

                  IF *merging-masking*           ; merging-masking

                       THEN *DEST[i+63:i] remains unchanged*

                       ELSE                      ; zeroing-masking

                       DEST[i+63:i] := 0                      ;zeroing-masking

                  FI;

     FI;

ENDFOR

DEST[MAXVL-1:VL] := 0


VPERMPD (EVEX - vector control forms)
(KL, VL) = (4, 256), (8, 512)
FOR j := 0 TO KL-1

    i := j * 64
    IF (EVEX.b = 1) AND (SRC2 *is memory*)

          THEN TMP_SRC2[i+63:i] := SRC2[63:0];
          ELSE TMP_SRC2[i+63:i] := SRC2[i+63:i];
    FI;
ENDFOR;

IF VL = 256

     TMP_DEST[63:0] := (TMP_SRC2[255:0] >> (SRC1[1:0] * 64))[63:0];

     TMP_DEST[127:64] := (TMP_SRC2[255:0] >> (SRC1[65:64] * 64))[63:0];

     TMP_DEST[191:128] := (TMP_SRC2[255:0] >> (SRC1[129:128] * 64))[63:0];

     TMP_DEST[255:192] := (TMP_SRC2[255:0] >> (SRC1[193:192] * 64))[63:0];

FI;

IF VL = 512

     TMP_DEST[63:0] := (TMP_SRC2[511:0] >> (SRC1[2:0] * 64))[63:0];

     TMP_DEST[127:64] := (TMP_SRC2[511:0] >> (SRC1[66:64] * 64))[63:0];

     TMP_DEST[191:128] := (TMP_SRC2[511:0] >> (SRC1[130:128] * 64))[63:0];

     TMP_DEST[255:192] := (TMP_SRC2[511:0] >> (SRC1[194:192] * 64))[63:0];

     TMP_DEST[319:256] := (TMP_SRC2[511:0] >> (SRC1[258:256] * 64))[63:0];

     TMP_DEST[383:320] := (TMP_SRC2[511:0] >> (SRC1[322:320] * 64))[63:0];

     TMP_DEST[447:384] := (TMP_SRC2[511:0] >> (SRC1[386:384] * 64))[63:0];

     TMP_DEST[511:448] := (TMP_SRC2[511:0] >> (SRC1[450:448] * 64))[63:0];

FI;

FOR j := 0 TO KL-1

     i := j * 64

     IF k1[j] OR *no writemask*

          THEN DEST[i+63:i] := TMP_DEST[i+63:i]

          ELSE

                  IF *merging-masking*            ; merging-masking

                       THEN *DEST[i+63:i] remains unchanged*

                       ELSE                       ; zeroing-masking

                       DEST[i+63:i] := 0                      ;zeroing-masking

                  FI;

     FI;

ENDFOR

DEST[MAXVL-1:VL] := 0

VPERMPD (VEX.256 encoded version)
DEST[63:0] := (SRC[255:0] >> (IMM8[1:0] * 64))[63:0];
DEST[127:64] := (SRC[255:0] >> (IMM8[3:2] * 64))[63:0];
DEST[191:128] := (SRC[255:0] >> (IMM8[5:4] * 64))[63:0];
DEST[255:192] := (SRC[255:0] >> (IMM8[7:6] * 64))[63:0];
DEST[MAXVL-1:256] := 0

Intel C/C++ 内在编译器

VPERMPD __m512d _mm512_permutex_pd( __m512d a, int imm);
VPERMPD __m512d _mm512_mask_permutex_pd(__m512d s, __mmask16 k, __m512d a, int imm);
VPERMPD __m512d _mm512_maskz_permutex_pd( __mmask16 k, __m512d a, int imm);
VPERMPD __m512d _mm512_permutexvar_pd( __m512i i, __m512d a);
VPERMPD __m512d _mm512_mask_permutexvar_pd(__m512d s, __mmask16 k, __m512i i, __m512d a);
VPERMPD __m512d _mm512_maskz_permutexvar_pd( __mmask16 k, __m512i i, __m512d a);
VPERMPD __m256d _mm256_permutex_epi64( __m256d a, int imm);
VPERMPD __m256d _mm256_mask_permutex_epi64(__m256i s, __mmask8 k, __m256d a, int imm);
VPERMPD __m256d _mm256_maskz_permutex_epi64( __mmask8 k, __m256d a, int imm);
VPERMPD __m256d _mm256_permutexvar_epi64( __m256i i, __m256d a);
VPERMPD __m256d _mm256_mask_permutexvar_epi64(__m256i s, __mmask8 k, __m256i i, __m256d a);
VPERMPD __m256d _mm256_maskz_permutexvar_epi64( __mmask8 k, __m256i i, __m256d a);

SIMD 浮点 例外

None.

其他例外

非EVEX-encoded 指令,参见表2-21,"第4类例外条件";另外:

#UD               If VEX.L = 0.

If VEX.vvvv != 1111B.

EVEX-encoded 指令,参见表2-52,"Type E4NF 类例外条件";另外:

#UD               If encoded with EVEX.128.

如果 EVEX.vvvv != 1111B 并带有 imm8.

来源