Vesta
中文
源代码

VPCMPQ, VPCMPUQ

将包装的整数值输入遮罩

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
EVEX.128.66.0F3A.W1 1F /r ibVPCMPQ k1 {k2}, xmm2, xmm3/m128/m64bcst, imm8A有效有效比较用AVX512F)OR xmm3/m128/m64bcst和xmm2的位数2:0的AVX10.1和imm8的签名四字整数值,作为与写掩码和k2的比较上游,并将结果留入面具寄存器k1.
EVEX.256.66.0F3A.W1 1F /r ibVPCMPQ k1 {k2}, ymm2, ymm3/m256/m64bcst, imm8A有效有效比较用AVX512F)OR ymm3/m256/m64bcst和ymm2的位数2:0的AVX10.1和imm8的签名四字整数值,作为与写掩码和k2的比较上游,并将结果留入面具寄存器k1.
EVEX.512.66.0F3A.W1 1F /r ibVPCMPQ k1 {k2}, zmm2, zmm3/m512/m64bcst, imm8A有效有效比较在OR AVX10.1 zmm3/m512/m64bcst和zmm2中,使用imm8的2:0比特作为与写掩码 k2的比较上游,并将结果留入掩码k1.
EVEX.128.66.0F3A.W1 1E /r ibVPCMPUQ k1 {k2}, xmm2, xmm3/m128/m64bcst, imm8A有效有效在xmm3/m128/m64bcst和xmm2中比较被打包的未签名四字整数值AVX512F) 或使用2:0的AVX10.1 imm8作为比值与写入mask k2的上游,并将结果留在面具寄存器k1中.
EVEX.256.66.0F3A.W1 1E /r ibVPCMPUQ k1 {k2}, ymm2, ymm3/m256/m64bcst, imm8A有效有效在ymm3/m256/m64bcst和ymm2中比较被打包的未签名四字整数值AVX512F) 或使用2:0的AVX10.1 imm8作为比值与写入mask k2的上游,并将结果留在面具寄存器k1中.
EVEX.512.66.0F3A.W1 1E /r ibVPCMPUQ k1 {k2}, zmm2, zmm3/m512/m64bcst, imm8A有效有效在zmm3/m512/m64bcst和zmm2中比较被打包的无符号四字整数值OR AVX10.1,使用imm8的2:0比特作为与写掩码 k2的比较上游,并将结果留入面具寄存器k1.

操作数编码

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

A

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

Tupla: Full

实测开销

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

说明

执行 SIMD 比较 第二源操作数 和 第一源操作数 的组合整数值,并返回比较结果与 mask 目标操作数 的结果. 比较的上游操作数(即时字节)指定了两个源操作数中每对包装值的比较类型. 每次比较的结果都是1(比较真)或0(比较假)的单面罩比特结果.

VPCMPQ/VPCMPUQ对签名/未签名的四字整数值进行对比.

第一源操作数(第二个操作数)是一个ZMM/YMM/XMM登记册. 第二源操作数可以是ZMM/YMM/XMM的寄存器,也可以是512/256/128位内存位置的寄存器,也可以是从64位内存位置广播的512位矢量. 目标操作数(第一个操作数)是一个面具寄存器k1. 进行了多达8/4/2的比较,结果在文字mask k2下写成目的地操作。

比较的上游操作数是一个8位即时:比特2:0定义了要执行的比较类型. 3至7位的直线部分保留。 编译器可以执行表5-19列出的伪op mnemonic.

行动

CASE (COMPARISON PREDICATE) OF
    0: OP := EQ;
    1: OP := LT;
    2: OP := LE;
    3: OP := FALSE;
    4: OP := NEQ;
    5: OP := NLT;
    6: OP := NLE;
    7: OP := TRUE;

ESAC;

VPCMPQ (EVEX encoded versions)

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

FOR j := 0 TO KL-1

i := j * 64

IF k2[j] OR *no writemask*

     THEN

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

                  THEN CMP := SRC1[i+63:i] OP SRC2[63:0];

                  ELSE CMP := SRC1[i+63:i] OP SRC2[i+63:i];

             FI;

             IF CMP = TRUE

                  THEN DEST[j] := 1;

                  ELSE DEST[j] := 0; FI;

     ELSE DEST[j] := 0                    ; zeroing-masking only

FI;

ENDFOR

DEST[MAX_KL-1:KL] := 0

VPCMPUQ (EVEX encoded versions)

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

FOR j := 0 TO KL-1

i := j * 64

IF k2[j] OR *no writemask*

     THEN

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

                  THEN CMP := SRC1[i+63:i] OP SRC2[63:0];

                  ELSE CMP := SRC1[i+63:i] OP SRC2[i+63:i];

             FI;

             IF CMP = TRUE

                  THEN DEST[j] := 1;

                  ELSE DEST[j] := 0; FI;

     ELSE DEST[j] := 0                    ; zeroing-masking only

FI;

ENDFOR

DEST[MAX_KL-1:KL] := 0

Intel C/C++ 内在编译器

VPCMPQ __mmask8 _mm512_cmp_epi64_mask( __m512i a, __m512i b, int imm);
VPCMPQ __mmask8 _mm512_mask_cmp_epi64_mask(__mmask8 k, __m512i a, __m512i b, int imm);
VPCMPQ __mmask8 _mm512_cmp[eq|ge|gt|le|lt|neq]_epi64_mask( __m512i a, __m512i b);
VPCMPQ __mmask8 _mm512_mask_cmp[eq|ge|gt|le|lt|neq]_epi64_mask(__mmask8 k, __m512i a, __m512i b);
VPCMPUQ __mmask8 _mm512_cmp_epu64_mask( __m512i a, __m512i b, int imm);
VPCMPUQ __mmask8 _mm512_mask_cmp_epu64_mask(__mmask8 k, __m512i a, __m512i b, int imm);
VPCMPUQ __mmask8 _mm512_cmp[eq|ge|gt|le|lt|neq]_epu64_mask( __m512i a, __m512i b);
VPCMPUQ __mmask8 _mm512_mask_cmp[eq|ge|gt|le|lt|neq]_epu64_mask(__mmask8 k, __m512i a, __m512i b);
VPCMPQ __mmask8 _mm256_cmp_epi64_mask( __m256i a, __m256i b, int imm);
VPCMPQ __mmask8 _mm256_mask_cmp_epi64_mask(__mmask8 k, __m256i a, __m256i b, int imm);
VPCMPQ __mmask8 _mm256_cmp[eq|ge|gt|le|lt|neq]_epi64_mask( __m256i a, __m256i b);
VPCMPQ __mmask8 _mm256_mask_cmp[eq|ge|gt|le|lt|neq]_epi64_mask(__mmask8 k, __m256i a, __m256i b);
VPCMPUQ __mmask8 _mm256_cmp_epu64_mask( __m256i a, __m256i b, int imm);
VPCMPUQ __mmask8 _mm256_mask_cmp_epu64_mask(__mmask8 k, __m256i a, __m256i b, int imm);
VPCMPUQ __mmask8 _mm256_cmp[eq|ge|gt|le|lt|neq]_epu64_mask( __m256i a, __m256i b);
VPCMPUQ __mmask8 _mm256_mask_cmp[eq|ge|gt|le|lt|neq]_epu64_mask(__mmask8 k, __m256i a, __m256i b);
VPCMPQ __mmask8 _mm_cmp_epi64_mask( __m128i a, __m128i b, int imm);
VPCMPQ __mmask8 _mm_mask_cmp_epi64_mask(__mmask8 k, __m128i a, __m128i b, int imm);
VPCMPQ __mmask8 _mm_cmp[eq|ge|gt|le|lt|neq]_epi64_mask( __m128i a, __m128i b);
VPCMPQ __mmask8 _mm_mask_cmp[eq|ge|gt|le|lt|neq]_epi64_mask(__mmask8 k, __m128i a, __m128i b);
VPCMPUQ __mmask8 _mm_cmp_epu64_mask( __m128i a, __m128i b, int imm);
VPCMPUQ __mmask8 _mm_mask_cmp_epu64_mask(__mmask8 k, __m128i a, __m128i b, int imm);
VPCMPUQ __mmask8 _mm_cmp[eq|ge|gt|le|lt|neq]_epu64_mask( __m128i a, __m128i b);
VPCMPUQ __mmask8 _mm_mask_cmp[eq|ge|gt|le|lt|neq]_epu64_mask(__mmask8 k, __m128i a, __m128i b);

SIMD 浮点 例外

None

其他例外

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

来源