Vesta
中文
源代码

VRANGEPD

包装方位浮点64值的幅度限制计算

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
EVEX.128.66.0F3A.W1 50 /r ibVRANGEPD xmm1 {k1}{z}, xmm2, xmm3/m128/m64bcst, imm8A有效有效在 OR AVX10.1 xmm2 和 xmm3/m128/m32bcst 中计算 2 RANGE 操作输出值 2 AND AVX512DQ 双精度浮点值,在 writemask k1 下将结果存储到 xmm1. Imm8 指定了范围操作的比较和标志.
EVEX.256.66.0F3A.W1 50 /r ibVRANGEPD ymm1 {k1}{z}, ymm2, ymm3/m256/m64bcst, imm8A有效有效计算 4RANGE操作输出值AND AVX512DQ4页双精度浮点在 OR 中的值AVX10.1 ymm2和ymm3/m256/m32bcst,将结果存储到ymm1下表写掩码 k1。Imm8指定了范围操作的比较和标志。
EVEX.512.66.0F3A.W1 50 /r ibVRANGEPD zmm1 {k1}{z}, zmm2, zmm3/m512/m64bcst{sae}, imm8A有效有效在 zmm2 和 zmm3/m512/m32bcst 中计算 OR AVX10.1 8 对 双精度浮点 值的 8 RANGE 操作输出值,将结果存储到 zmm1 下 写掩码 k1. Imm8 指定了范围操作的比较和标志.

操作数编码

每个模式对应上表 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 加载实测数据...

说明

本指令从第一源操作数(第二个操作数)和第二源操作数(第三个操作数)的两组组合输入双精度浮点值中计算出2/4/8范围操作输出. 范围输出在写mask k1下写到目的操作(第一个操作).

比特7:4的imm8字节必须是0. 范围操作输出分为两个部分,每个部分由imm8 [3:0] 内的一个双位控制字段配置:

输入值对的绝对值。 每次比较两个输入值都会产生一个中间结果,结合符号选择控制(imm8[3:2])来确定最终范围操作输出.

值,来自比较结果,设置或清晰。

The encodings of imm8[1:0] and imm8[3:2] are shown in Figure 5-27.

                           7  6             5        4                       3                     2  1              0

imm8

                              Must Be Zero                                      Sign Control (SC)     Compare Operation Select
                              Imm8[3:2] = 00b : Select sign(SRC1)                                     Imm8[1:0] = 00b : Select Min value

Imm8[1:0] = 01b : 选择最大值

                              Imm8[3:2] = 01b : Select sign(Compare_Result)                           Imm8[1:0] = 10b : Select Min-Abs value

Imm8[1:0]=11b: 选择最大值Imm8[3:2]=10b: 设置为 0 Imm8 [3:2] = 11b : 设置为 1

图5-27. VRANGEPD/SD/PS/SS的Imm8控制器

当一个或多个输入值是NAN时,比较操作可能会发出无效例外信号(IE). 输入值增加的一个细节是NAN,列在表5-21. 如果比较提高了一个IE,则符号选择控制(imm8[3:2])对射程操作输出无效;这也在表5-21中注明.

当两个输入值都是相反征兆的零时,在范围比较操作中MIN/MAX的比较操作与在概念上相似的浮点 MIN/MAX操作略有不同,这些操作见于指令VMAXPD/VMINPD. MIN/MAX/MIN ABS/MAQQABS操作VRANGEPD/PS/SD/SS操作的0级,反标输入箱的详情见表5-22.

此外,与表5-23所列结果相比,具有相反信号输入值的非零、等宽的MIN ABS或MAQQABS操作。

Imm8[3:2]的一个或多个NaN输入值和效果的比较操作的信号

Src1Src2结果因比较而发出 IE 信号Imm8[3:2] 对范围输出
sNaN1sNaN2安静(sNaN1)对已忽略
sNaN1qNaN2安静(sNaN1)对已忽略
sNaN1Norm2安静(sNaN1)对已忽略
qNaN1sNaN2安静(sNaN2)对已忽略
qNaN1qNaN2qNaN1No适用
qNaN1Norm2Norm2No适用
Norm1sNaN2安静(sNaN2)对已忽略
Norm1qNaN2Norm1No适用

对面签署的MIN、MIN ABS和MAQQABS的MAX零案件比较结果

Src1Src2结果Src1Src2结果
+0-0-0+0-0+0
-0+0-0-0+0+0

MIN ABS和MAQQABS的等比例输入案例比较结果,(|a|=|b|,a)>0, b<0)

Src1Src2结果Src1Src2结果
abbaba
babbaa

行动

RangeDP(SRC1[63:0], SRC2[63:0], CmpOpCtl[1:0], SignSelCtl[1:0])
{

    // Check if SNAN and report IE, see also Table 5-21
    IF (SRC1 = SNAN) THEN RETURN (QNAN(SRC1), set IE);
    IF (SRC2 = SNAN) THEN RETURN (QNAN(SRC2), set IE);

   Src1.exp := SRC1[62:52];
   Src1.fraction := SRC1[51:0];
   IF ((Src1.exp = 0 ) and (Src1.fraction != 0)) THEN// Src1 is a denormal number

         IF DAZ THEN Src1.fraction := 0;
         ELSE IF (SRC2 <> QNAN) Set DE; FI;
   FI;


    Src2.exp := SRC2[62:52];
    Src2.fraction := SRC2[51:0];
    IF ((Src2.exp = 0) and (Src2.fraction !=0 )) THEN// Src2 is a denormal number

          IF DAZ THEN Src2.fraction := 0;
          ELSE IF (SRC1 <> QNAN) Set DE; FI;
    FI;

    IF (SRC2 = QNAN) THEN{TMP[63:0] := SRC1[63:0]}
    ELSE IF(SRC1 = QNAN) THEN{TMP[63:0] := SRC2[63:0]}
    ELSE IF (Both SRC1, SRC2 are magnitude-0 and opposite-signed) TMP[63:0] := from Table 5-22
    ELSE IF (Both SRC1, SRC2 are magnitude-equal and opposite-signed and CmpOpCtl[1:0] > 01) TMP[63:0] := from Table 5-23
    ELSE

          Case(CmpOpCtl[1:0])
          00: TMP[63:0] := (SRC1[63:0]  SRC2[63:0]) ? SRC1[63:0] : SRC2[63:0];
          01: TMP[63:0] := (SRC1[63:0]  SRC2[63:0]) ? SRC2[63:0] : SRC1[63:0];
          10: TMP[63:0] := (ABS(SRC1[63:0])  ABS(SRC2[63:0])) ? SRC1[63:0] : SRC2[63:0];
          11: TMP[63:0] := (ABS(SRC1[63:0])  ABS(SRC2[63:0])) ? SRC2[63:0] : SRC1[63:0];
          ESAC;
    FI;

    Case(SignSelCtl[1:0])
    00: dest := (SRC1[63] << 63) OR (TMP[62:0]);// Preserve Src1 sign bit
    01: dest := TMP[63:0];// Preserve sign of compare result
    10: dest := (0 << 63) OR (TMP[62:0]);// Zero out sign bit
    11: dest := (1 << 63) OR (TMP[62:0]);// Set the sign bit
    ESAC;
    RETURN dest[63:0];
}

CmpOpCtl[1:0]= imm8[1:0];
SignSelCtl[1:0]=imm8[3:2];

VRANGEPD (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] := RangeDP (SRC1[i+63:i], SRC2[63:0], CmpOpCtl[1:0], SignSelCtl[1:0]);

                  ELSE DEST[i+63:i] := RangeDP (SRC1[i+63:i], SRC2[i+63:i], CmpOpCtl[1:0], SignSelCtl[1:0]);

             FI;

ELSE

     IF *merging-masking*                ; merging-masking

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

             ELSE                        ; zeroing-masking

                  DEST[i+63:i] = 0

     FI;

FI;

ENDFOR;

DEST[MAXVL-1:VL] := 0

The following example describes a common usage of this instruction for checking that the input operand is
bounded between +/-1023.


VRANGEPD zmm_dst, zmm_src, zmm_1023, 02h;

Where:
            zmm_dst is the destination operand.
            zmm_src is the input operand to compare against +/-1023 (this is SRC1).
            zmm_1023 is the reference operand, contains the value of 1023 (and this is SRC2).
            IMM=02(imm8[1:0]='10) selects the Min Absolute value operation with selection of SRC1.sign.

In case |zmm_src| < 1023 (i.e., SRC1 is smaller than 1023 in magnitude), then its value will be written into
zmm_dst. Otherwise, the value stored in zmm_dst will get the value of 1023 (received on zmm_1023, which is
SRC2).
However, the sign control (imm8[3:2]='00) instructs to select the sign of SRC1 received from zmm_src. So, even
in the case of |zmm_src|  1023, the selected sign of SRC1 is kept.
Thus, if zmm_src < -1023, the result of VRANGEPD will be the minimal value of -1023 while if zmm_src > +1023,
the result of VRANGE will be the maximal value of +1023.

Intel C/C++ 内在编译器

VRANGEPD __m512d _mm512_range_pd ( __m512d a, __m512d b, int imm);
VRANGEPD __m512d _mm512_range_round_pd ( __m512d a, __m512d b, int imm, int sae);
VRANGEPD __m512d _mm512_mask_range_pd (__m512 ds, __mmask8 k, __m512d a, __m512d b, int imm);
VRANGEPD __m512d _mm512_mask_range_round_pd (__m512d s, __mmask8 k, __m512d a, __m512d b, int imm, int sae);
VRANGEPD __m512d _mm512_maskz_range_pd ( __mmask8 k, __m512d a, __m512d b, int imm);
VRANGEPD __m512d _mm512_maskz_range_round_pd ( __mmask8 k, __m512d a, __m512d b, int imm, int sae);
VRANGEPD __m256d _mm256_range_pd ( __m256d a, __m256d b, int imm);
VRANGEPD __m256d _mm256_mask_range_pd (__m256d s, __mmask8 k, __m256d a, __m256d b, int imm);
VRANGEPD __m256d _mm256_maskz_range_pd ( __mmask8 k, __m256d a, __m256d b, int imm);
VRANGEPD __m128d _mm_range_pd ( __m128 a, __m128d b, int imm);
VRANGEPD __m128d _mm_mask_range_pd (__m128 s, __mmask8 k, __m128d a, __m128d b, int imm);
VRANGEPD __m128d _mm_maskz_range_pd ( __mmask8 k, __m128d a, __m128d b, int imm);

SIMD 浮点 例外

Invalid, Denormal.

其他例外

见表2-48"E2类例外条件"。

来源