Vesta
中文
源代码

VPROLD, VPROLVD, VPROLQ, VPROLVQ

左侧位旋转

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
EVEX.128.66.0F38.W0 15 /rVPROLVD xmm1 {k1}{z}, xmm2, xmm3/m128/m32bcstB有效有效旋转 xmm2 中的双字,在 AVX512F 中通过计数留下) OR 对应元素 xmm3/m128/m32bcst. AVX10.1 Results 在 writemask k1 下写入 xmm1 .
EVEX.128.66.0F.W0 72 /1 ibVPROLD xmm1 {k1}{z}, xmm2/m128/m32bcst, imm8A有效有效在 xmm2/m128/m32bcst AVX512F)中旋转双字 OR 由 imm8 所左. 结果使用 AVX10.1 写掩码 k1 写入 xmm1 .
EVEX.128.66.0F38.W1 15 /rVPROLVQ xmm1 {k1}{z}, xmm2, xmm3/m128/m64bcstB有效有效在 AVX512F 中通过计数旋转左侧的 xmm2 中四字形) OR 对应元素 xmm3/m128/m64bcst. AVX10.1 Results 在 writemask k1 下写入 xmm1 .
EVEX.128.66.0F.W1 72 /1 ibVPROLQ xmm1 {k1}{z}, xmm2/m128/m64bcst, imm8A有效有效在 xmm2/m128/m64bcst 中旋转四字形左键为 AVX512F) OR 由 imm8 编写. 結果使用 AVX10.1 使用 写掩码 使用 k1 寫成 xmm1 。
EVEX.256.66.0F38.W0 15 /rVPROLVD ymm1 {k1}{z}, ymm2, ymm3/m256/m32bcstB有效有效旋转 ymm2 中的双字,在 AVX512F 中通过计数留下) OR 对应元素 ymm3/m256/m32bcst. AVX10.1 Results 在 writemask k1 下写入 ymm1 .
EVEX.256.66.0F.W0 72 /1 ibVPROLD ymm1 {k1}{z}, ymm2/m256/m32bcst, imm8A有效有效在 ymm2/m256/m32bcst AVX512F)中旋转双字 OR 由 imm8 所左. 结果使用 AVX10.1 写掩码 k1 写入 ymm1 .
EVEX.256.66.0F38.W1 15 /rVPROLVQ ymm1 {k1}{z}, ymm2, ymm3/m256/m64bcstB有效有效在 AVX512F 中通过计数旋转左侧的 ymm2 中四字形) OR 对应元素 ymm3/m256/m64bcst. AVX10.1 Results 在 writemask k1 下写入 ymm1 .
EVEX.256.66.0F.W1 72 /1 ibVPROLQ ymm1 {k1}{z}, ymm2/m256/m64bcst, imm8A有效有效在 ymm2/m256/m64bcst 中旋转四字形左键为 AVX512F) OR 由 imm8 编写. 結果使用 AVX10.1 使用 写掩码 使用 k1 寫成 ymm1 。
EVEX.512.66.0F38.W0 15 /rVPROLVD zmm1 {k1}{z}, zmm2, zmm3/m512/m32bcstB有效有效在 zmm3/m512/m32bcst 的相应元素中通过计数旋转 zmm2 中双字的左侧。结果使用 写掩码 k1 写入 zmm1 。
EVEX.512.66.0F.W0 72 /1 ibVPROLD zmm1 {k1}{z}, zmm2/m512/m32bcst, imm8A有效有效由 imm8 旋转 OR AVX10.1 zmm3/m512/m32bcst 中双字的左侧。结果使用 写掩码 k1 写入 zmm1 。
EVEX.512.66.0F38.W1 15 /rVPROLVQ zmm1 {k1}{z}, zmm2, zmm3/m512/m64bcstB有效有效在 zmm2 中以 OR AVX10.1 的相应元素 OR zmm3/m512/ m64bcst 中以 zmm2 的形式旋转四字。结果写入 写掩码 k1 下的 zmm1 。
EVEX.512.66.0F.W1 72 /1 ibVPROLQ zmm1 {k1}{z}, zmm2/m512/m64bcst, imm8A有效有效以 zmm2/m512/m64bcst 旋转 OR AVX10.1 由 imm8 旋转四字。结果使用 writemask k1 写入 zmm1 。

操作数编码

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

A

  1. vex.vvvv escrituraVEX 前缀的 vvvv 字段（按位取反）
  2. modrm.rm lecturaModRM 字节的 r/m 字段（第 2-0 位）；当 mod 字段要求时，还包括 SIB 字节和位移
  3. imm8指令后的立即数字节

Tupla: Full

B

  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 加载实测数据...

说明

将 第一源操作数 中单个数据元素中的位数(双字,或四字)向左旋转,以计数 操作数 中指定的位数表示。 如果伯爵操作数指定的值大于31(对于双字),或63(对于四字),则使用伯爵操作数 modulo的数据大小(32或64).

EVEX.128 编码版本 : 目标操作数是一个XMM登记册. 源操作数是一个XMM的登记册或内存位置(用于即时形式). 操作数的计数可以来自XMM的寄存器,也可以来自内存位置或8位即时. 对应的ZMM注册被清零的位数(MAXVL-1:128).

EVEX.256 编码版本 : 目标操作数是一个YMM登记册. 源操作数是一个YMM的登记册或内存位置(用于即时形式). 操作数的计数可以来自XMM的寄存器,也可以来自内存位置或8位即时. 对应的ZMM注册被清零的位数(MAXVL-1:256).

EVEX.512 编码版本 : 目标操作数是一个按照写掩码更新的ZMM登记册. 对于即时状态的操作数计数,源操作数可以是ZMM计数器,512位内存位置或512位矢量从32/64位内存位置广播,操作数计数器是8位即时状态. 对于可变形态的操作数计数,第一源操作数(第二个操作数)是一个ZMM计数器,而计数器操作数(第三个操作数)是一个ZMM计数器,512位内存位置或512位向量从32/64位内存位置广播.

行动

LEFT_ROTATE_DWORDS(SRC, COUNT_SRC)
COUNT := COUNT_SRC modulo 32;
DEST[31:0] := (SRC << COUNT) | (SRC >> (32 - COUNT));

LEFT_ROTATE_QWORDS(SRC, COUNT_SRC)
COUNT := COUNT_SRC modulo 64;
DEST[63:0] := (SRC << COUNT) | (SRC >> (64 - COUNT));

VPROLD (EVEX encoded versions)

(KL, VL) = (4, 128), (8, 256), (16, 512)

FOR j := 0 TO KL-1

i := j * 32

IF k1[j] OR *no writemask* THEN

             IF (EVEX.b = 1) AND (SRC1 *is memory*)

                  THEN DEST[i+31:i] := LEFT_ROTATE_DWORDS(SRC1[31:0], imm8)

                  ELSE DEST[i+31:i] := LEFT_ROTATE_DWORDS(SRC1[i+31:i], imm8)

             FI;

     ELSE

             IF *merging-masking*               ; merging-masking

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

                  ELSE *zeroing-masking*               ; zeroing-masking

                    DEST[i+31:i] := 0

             FI

FI;

ENDFOR

DEST[MAXVL-1:VL] := 0


VPROLVD (EVEX encoded versions)

(KL, VL) = (4, 128), (8, 256), (16, 512)

FOR j := 0 TO KL-1

i := j * 32

IF k1[j] OR *no writemask* THEN

             IF (EVEX.b = 1) AND (SRC2 *is memory*)

                  THEN DEST[i+31:i] := LEFT_ROTATE_DWORDS(SRC1[i+31:i], SRC2[31:0])

                  ELSE DEST[i+31:i] := LEFT_ROTATE_DWORDS(SRC1[i+31:i], SRC2[i+31:i])

             FI;

     ELSE

             IF *merging-masking*               ; merging-masking

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

                  ELSE *zeroing-masking*             ; zeroing-masking

                    DEST[i+31:i] := 0

             FI

FI;

ENDFOR

DEST[MAXVL-1:VL] := 0

VPROLQ (EVEX encoded versions)

(KL, VL) = (2, 128), (4, 256), (8, 512)

FOR j := 0 TO KL-1

i := j * 64

IF k1[j] OR *no writemask* THEN

             IF (EVEX.b = 1) AND (SRC1 *is memory*)

                  THEN DEST[i+63:i] := LEFT_ROTATE_QWORDS(SRC1[63:0], imm8)

                  ELSE DEST[i+63:i] := LEFT_ROTATE_QWORDS(SRC1[i+63:i], imm8)

             FI;

     ELSE

             IF *merging-masking*               ; merging-masking

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

                  ELSE *zeroing-masking*             ; zeroing-masking

                    DEST[i+63:i] := 0

             FI

FI;

ENDFOR

DEST[MAXVL-1:VL] := 0

VPROLVQ (EVEX encoded versions)

(KL, VL) = (2, 128), (4, 256), (8, 512)

FOR j := 0 TO KL-1

i := j * 64

IF k1[j] OR *no writemask* THEN

             IF (EVEX.b = 1) AND (SRC2 *is memory*)

                  THEN DEST[i+63:i] := LEFT_ROTATE_QWORDS(SRC1[i+63:i], SRC2[63:0])

                  ELSE DEST[i+63:i] := LEFT_ROTATE_QWORDS(SRC1[i+63:i], SRC2[i+63:i])

             FI;

     ELSE

             IF *merging-masking*               ; merging-masking

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

                  ELSE *zeroing-masking*             ; zeroing-masking

                    DEST[i+63:i] := 0

             FI

FI;


ENDFOR
DEST[MAXVL-1:VL] := 0

Intel C/C++ 内在编译器

VPROLD __m512i _mm512_rol_epi32(__m512i a, int imm);
VPROLD __m512i _mm512_mask_rol_epi32(__m512i a, __mmask16 k, __m512i b, int imm);
VPROLD __m512i _mm512_maskz_rol_epi32( __mmask16 k, __m512i a, int imm);
VPROLD __m256i _mm256_rol_epi32(__m256i a, int imm);
VPROLD __m256i _mm256_mask_rol_epi32(__m256i a, __mmask8 k, __m256i b, int imm);
VPROLD __m256i _mm256_maskz_rol_epi32( __mmask8 k, __m256i a, int imm);
VPROLD __m128i _mm_rol_epi32(__m128i a, int imm);
VPROLD __m128i _mm_mask_rol_epi32(__m128i a, __mmask8 k, __m128i b, int imm);
VPROLD __m128i _mm_maskz_rol_epi32( __mmask8 k, __m128i a, int imm);
VPROLQ __m512i _mm512_rol_epi64(__m512i a, int imm);
VPROLQ __m512i _mm512_mask_rol_epi64(__m512i a, __mmask8 k, __m512i b, int imm);
VPROLQ __m512i _mm512_maskz_rol_epi64(__mmask8 k, __m512i a, int imm);
VPROLQ __m256i _mm256_rol_epi64(__m256i a, int imm);
VPROLQ __m256i _mm256_mask_rol_epi64(__m256i a, __mmask8 k, __m256i b, int imm);
VPROLQ __m256i _mm256_maskz_rol_epi64( __mmask8 k, __m256i a, int imm);
VPROLQ __m128i _mm_rol_epi64(__m128i a, int imm);
VPROLQ __m128i _mm_mask_rol_epi64(__m128i a, __mmask8 k, __m128i b, int imm);
VPROLQ __m128i _mm_maskz_rol_epi64( __mmask8 k, __m128i a, int imm);
VPROLVD __m512i _mm512_rolv_epi32(__m512i a, __m512i cnt);
VPROLVD __m512i _mm512_mask_rolv_epi32(__m512i a, __mmask16 k, __m512i b, __m512i cnt);
VPROLVD __m512i _mm512_maskz_rolv_epi32(__mmask16 k, __m512i a, __m512i cnt);
VPROLVD __m256i _mm256_rolv_epi32(__m256i a, __m256i cnt);
VPROLVD __m256i _mm256_mask_rolv_epi32(__m256i a, __mmask8 k, __m256i b, __m256i cnt);
VPROLVD __m256i _mm256_maskz_rolv_epi32(__mmask8 k, __m256i a, __m256i cnt);
VPROLVD __m128i _mm_rolv_epi32(__m128i a, __m128i cnt);
VPROLVD __m128i _mm_mask_rolv_epi32(__m128i a, __mmask8 k, __m128i b, __m128i cnt);
VPROLVD __m128i _mm_maskz_rolv_epi32(__mmask8 k, __m128i a, __m128i cnt);
VPROLVQ __m512i _mm512_rolv_epi64(__m512i a, __m512i cnt);
VPROLVQ __m512i _mm512_mask_rolv_epi64(__m512i a, __mmask8 k, __m512i b, __m512i cnt);
VPROLVQ __m512i _mm512_maskz_rolv_epi64( __mmask8 k, __m512i a, __m512i cnt);
VPROLVQ __m256i _mm256_rolv_epi64(__m256i a, __m256i cnt);
VPROLVQ __m256i _mm256_mask_rolv_epi64(__m256i a, __mmask8 k, __m256i b, __m256i cnt);
VPROLVQ __m256i _mm256_maskz_rolv_epi64(__mmask8 k, __m256i a, __m256i cnt);
VPROLVQ __m128i _mm_rolv_epi64(__m128i a, __m128i cnt);
VPROLVQ __m128i _mm_mask_rolv_epi64(__m128i a, __mmask8 k, __m128i b, __m128i cnt);
VPROLVQ __m128i _mm_maskz_rolv_epi64(__mmask8 k, __m128i a, __m128i cnt);

SIMD 浮点 例外

None.

其他例外

EVEX-encoded 指令,参见表2-51,"Type E4类例外条件".

来源