Vesta
中文
源代码

VRNDSCALESD

标量 Float64 回合值包含一个特定小数位

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
EVEX.LLIG.66.0F3A.W1 0B /r ibVRNDSCALESD xmm1 {k1}{z}, xmm2, xmm3/m64{sae}, imm8A有效有效在 OR AVX10.1 xmm3/m64 中绕 标量 双精度浮点 值到 imm8 字段指定的若干分位,将结果存储在 xmm1 记录器中.

操作数编码

每个模式对应上表 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: Tuple1 Scalar

实测开销

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

说明

按 立即数操作数 指定的四舍五入模式,将 第二源操作数 元素(见图5-29)(第三个 操作数)中的 双精度浮点 值四舍五入,并将结果按照 写掩码 设置为 目标操作数 (第一个 操作数) 的相应元素. 目的地的位元127:64的四字元素从第一源操作数(第二个操作数)复制.

目的地和第一个源操作数是XMM登记册,第2个源操作数可以是XMM登记册或内存位置. 目的地登记簿的位数MAXVL-1:128被清除.

四舍五入过程将输入绕到一个整体值,加上imm8指定的分数位7:4,并以双精度浮点值返回结果.

应当指出的是,在执行此指示时不会引起溢出(虽然来源以imm8[7:4]值缩放)。

立即数操作数还指定了四舍五入操作的控制字段,3位字段被定义并显示在下面的"即时控制描述"图中. 直接字节的比特 3 控制处理器行为以进行精密例外,比特 2 选择四舍五入模式控制的来源. 位数 1: 0 指定一个非粘性圆形模式值(以下立即控制表列出圆形模式字段的编码值).

精度浮点例外根据立即数操作数发出信号. 如果任何源操作数是SNaN,那么它将被转换成QNaN. 如果 DAZ 设定为 `1,那么在四舍五入前,异常值将转换为 0。

此指示结果的标志保留下来,包括0的标志.

VRNDSCALESD的操作公式为:ROUND(x)=2-Mround to INT(x2M,圆 ctrl),圆 ctrl=im[3:0]; M=imm[7:4]; (中文(简体) ).

X*2M的运行被计算成像表示范围无限(即从未出现溢出). VRNDSCALESD是VEX-encoded VROUNDSD指令的一种较为一般的形式. 在VROUNDSD中,操作的公式是:

ROUND(x) = Round_to_INT(x, round_ctrl), round_ctrl = imm[3:0];

EVEX 编码版本 : 源操作数是一个XMM的寄存器或64位的内存位置. 目标操作数是一个XMM登记册. 特殊输入值的处理情况见表5-29。

行动

RoundToIntegerDP(SRC[63:0], imm8[7:0]) {


     if (imm8[2] = 1)

           rounding_direction := MXCSR:RC   ; get round control from MXCSR

     else

           rounding_direction := imm8[1:0]  ; get round control from imm8[1:0]

     FI

     M := imm8[7:4]         ; get the scaling factor

     case (rounding_direction)
     00: TMP[63:0] := round_to_nearest_even_integer(2M*SRC[63:0])
     01: TMP[63:0] := round_to_equal_or_smaller_integer(2M*SRC[63:0])
     10: TMP[63:0] := round_to_equal_or_larger_integer(2M*SRC[63:0])
     11: TMP[63:0] := round_to_nearest_smallest_magnitude_integer(2M*SRC[63:0])
     ESAC

     Dest[63:0] := 2-M* TMP[63:0]           ; scale down back to 2-M

     if (imm8[3] = 0) Then ; check SPE

           if (SRC[63:0] != Dest[63:0]) Then ; check precision lost

                set_precision()             ; set #PE

           FI;

     FI;

     return(Dest[63:0])

}

VRNDSCALESD (EVEX encoded version)

IF k1[0] or *no writemask*

     THEN DEST[63:0] := RoundToIntegerDP(SRC2[63:0], Zero_upper_imm[7:0])

     ELSE

           IF *merging-masking*             ; merging-masking

                THEN *DEST[63:0] remains unchanged*

                ELSE                        ; zeroing-masking

                THEN DEST[63:0] := 0

           FI;

FI;

DEST[127:64] := SRC1[127:64]

DEST[MAXVL-1:128] := 0

Intel C/C++ 内在编译器

VRNDSCALESD __m128d _mm_roundscale_sd ( __m128d a, __m128d b, int imm);
VRNDSCALESD __m128d _mm_roundscale_round_sd ( __m128d a, __m128d b, int imm, int sae);
VRNDSCALESD __m128d _mm_mask_roundscale_sd (__m128d s, __mmask8 k, __m128d a, __m128d b, int imm);
VRNDSCALESD __m128d _mm_mask_roundscale_round_sd (__m128d s, __mmask8 k, __m128d a, __m128d b, int imm, int sae);
VRNDSCALESD __m128d _mm_maskz_roundscale_sd ( __mmask8 k, __m128d a, __m128d b, int imm);
VRNDSCALESD __m128d _mm_maskz_roundscale_round_sd ( __mmask8 k, __m128d a, __m128d b, int imm, int sae);

SIMD 浮点 例外

无效, 精度 。 如果启用了SPE,则不报告精确例外(不管MXCSR例外面具).

其他例外

见表2-49"E3类例外条件"。

来源