Vesta
中文
源代码

MAXPD

最大为 打包双精度浮点值

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
66 0F 5F /rMAXPD xmm1, xmm2/m128A有效有效返回 xmm1 和 xmm2/m128 之间的最大双精度浮点值。
VEX.128.66.0F.WIG 5F /rVMAXPD xmm1, xmm2, xmm3/m128B有效有效返回 xmm2 和 xmm3/m128 之间的最大双精度浮点值。
VEX.256.66.0F.WIG 5F /rVMAXPD ymm1, ymm2, ymm3/m256B有效有效返回 ymm2 和 ymm3/m256 之间的最大 打包双精度浮点值 。
EVEX.128.66.0F.W1 5F /rVMAXPD xmm1 {k1}{z}, xmm2, xmm3/m128/m64bcstC有效有效返回 xmm2 和 AVX10.1 xmm3/m128/m64bcst 之间最大包装的双精度 AVX512F) OR浮点值,并存储结果为 xmm1 受写入的 k1 。
EVEX.256.66.0F.W1 5F /rVMAXPD ymm1 {k1}{z}, ymm2, ymm3/m256/m64bcstC有效有效返回 ymm2 和 AVX10.1 ymm3/m256/m64bcst 之间最大包装的双精度 AVX512F) OR浮点值,并存储结果为 ymm1 受写入的 k1 。
EVEX.512.66.0F.W1 5F /rVMAXPD zmm1 {k1}{z}, zmm2, zmm3/m512/m64bcst{sae}C有效有效返回zmm2和zmm3/m512/m64bcst之间最大包装的双精度OR AVX10.1 浮点值,存储结果为zmm1受写掩码 k1约束.

操作数编码

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

A

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

B

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

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

说明

执行 SIMD 比较 第一源操作数 和 第二源操作数 中的 打包双精度浮点值 ,并将每对值的最大值返回 目标操作数 。

如果所比较的值均为0.0s(其中任一符号),则返回第二个操作数(源操作数)中的值。 如果在第二个 操作数 中的值是 SNaN,那么 SNaN 会被不加修改地传输到目的地(即不返回 SNaN 的 QNaN 版本).

如果只有一个值是用于此指令的NaN(SNAN或QNaN),则第二个操作数(源操作数),一个NaN或一个有效的浮点值会被写入结果. 如果代替这种行为,则需要将NaN 源操作数(从第一个或第二个操作数)返回,则MAXPD的动作可以使用一个指令序列来模拟,如AND,ANDN和OR的比较.

EVEX 编码版本 : 第一源操作数(第二个操作数)是一个ZMM/YMM/XMM登记册. 第二源操作数可以是ZMM/YMM/XMM的寄存器,512/256/128位内存位置或512/256/128位向量从64位内存位置广播. 目标操作数是一个ZMM/YMM/XMM的登记册,有条件的更新有写掩码 k1.

VEX.256 编码版本 : 第一源操作数是一个YMM登记册. 第二源操作数可以是YMM的寄存器,也可以是256位的内存位置. 目标操作数是一个YMM登记册. 对应的ZMM注册目的地被清零的上位(MAXVL-1:256).

VEX.128 编码版本 : 第一源操作数是一个XMM登记册. 第二源操作数可以是XMM的寄存器,也可以是128位的内存位置. 目标操作数是一个XMM登记册. 对应的ZMM注册目的地被清零的上位(MAXVL-1:128).

128位遗产 SSE 版本 : 第二个来源可以是XMM寄存器或128位的内存位置. 目的地与第一个来源的XMM注册点没有区别,对应的MAXVL-1:128注册点的上位点(ZMM注册点)没有修改.

行动

MAX(SRC1, SRC2)
{

    IF ((SRC1 = 0.0) and (SRC2 = 0.0)) THEN DEST := SRC2;
          ELSE IF (SRC1 = NaN) THEN DEST := SRC2; FI;
          ELSE IF (SRC2 = NaN) THEN DEST := SRC2; FI;
          ELSE IF (SRC1 > SRC2) THEN DEST := SRC1;
          ELSE DEST := SRC2;

    FI;
}

VMAXPD (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] := MAX(SRC1[i+63:i], SRC2[63:0])

                  ELSE

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

             FI;

     ELSE

             IF *merging-masking*         ; merging-masking

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

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

             FI

FI;

ENDFOR

DEST[MAXVL-1:VL] := 0

VMAXPD (VEX.256 Encoded Version)
DEST[63:0] := MAX(SRC1[63:0], SRC2[63:0])
DEST[127:64] := MAX(SRC1[127:64], SRC2[127:64])
DEST[191:128] := MAX(SRC1[191:128], SRC2[191:128])
DEST[255:192] := MAX(SRC1[255:192], SRC2[255:192])
DEST[MAXVL-1:256] := 0

VMAXPD (VEX.128 Encoded Version)
DEST[63:0] := MAX(SRC1[63:0], SRC2[63:0])
DEST[127:64] := MAX(SRC1[127:64], SRC2[127:64])
DEST[MAXVL-1:128] := 0

MAXPD (128-bit Legacy SSE Version)
DEST[63:0] := MAX(DEST[63:0], SRC[63:0])
DEST[127:64] := MAX(DEST[127:64], SRC[127:64])
DEST[MAXVL-1:128] (Unmodified)

Intel C/C++ 内在编译器

VMAXPD __m512d _mm512_max_pd( __m512d a, __m512d b);
VMAXPD __m512d _mm512_mask_max_pd(__m512d s, __mmask8 k, __m512d a, __m512d b,);
VMAXPD __m512d _mm512_maskz_max_pd( __mmask8 k, __m512d a, __m512d b);
VMAXPD __m512d _mm512_max_round_pd( __m512d a, __m512d b, int);
VMAXPD __m512d _mm512_mask_max_round_pd(__m512d s, __mmask8 k, __m512d a, __m512d b, int);
VMAXPD __m512d _mm512_maskz_max_round_pd( __mmask8 k, __m512d a, __m512d b, int);
VMAXPD __m256d _mm256_mask_max_pd(__m5256d s, __mmask8 k, __m256d a, __m256d b);
VMAXPD __m256d _mm256_maskz_max_pd( __mmask8 k, __m256d a, __m256d b);
VMAXPD __m128d _mm_mask_max_pd(__m128d s, __mmask8 k, __m128d a, __m128d b);
VMAXPD __m128d _mm_maskz_max_pd( __mmask8 k, __m128d a, __m128d b);
VMAXPD __m256d _mm256_max_pd (__m256d a, __m256d b);
(V)MAXPD __m128d _mm_max_pd (__m128d a, __m128d b);

SIMD 浮点 例外

无效(包括QNaN 源操作数),异常.

其他例外

Non-EVEX-encoded discription,参见表2-19"第2类例外条件".

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

来源