PUNPCKHBW, PUNPCKHWD, PUNPCKHDQ, PUNPCKHQDQ

解包高数据

stableVMJITAOTinstruction

编码

操作码	指令	Op/En	64 位	兼容/传统	说明
`NP 0F 68 /r1`	`PUNPCKHBW mm, mm/m64`	A	有效	有效	从mm和mm/m64到mm的解包和间叶高序字节.
`66 0F 68 /r`	`PUNPCKHBW xmm1, xmm2/m128`	A	有效	有效	从 xmm1 和 xmm2/m128 拆卸并互换高序字节进入 xmm1.
`NP 0F 69 /r1`	`PUNPCKHWD mm, mm/m64`	A	有效	有效	从mm和mm/m64到mm的解包和间叶高序词.
`66 0F 69 /r`	`PUNPCKHWD xmm1, xmm2/m128`	A	有效	有效	从 xmm1 和 xmm2/m128 解包和互放高序词进入 xmm1.
`NP 0F 6A /r1`	`PUNPCKHDQ mm, mm/m64`	A	有效	有效	从mm和mm/m64到mm的解包和间叶高序双字.
`66 0F 6A /r`	`PUNPCKHDQ xmm1, xmm2/m128`	A	有效	有效	将xmm1和xmm2/m128的高序双词解包并互换成xmm1.
`66 0F 6D /r`	`PUNPCKHQDQ xmm1, xmm2/m128`	A	有效	有效	将xmm1和xmm2/m128的高序四字解包并互换成xmm1.
`VEX.128.66.0F.WIG 68/r`	`VPUNPCKHBW xmm1,xmm2, xmm3/m128`	B	有效	有效	从xmm2和xmm3/m128互换到xmm1的高序字节.
`VEX.128.66.0F.WIG 69/r`	`VPUNPCKHWD xmm1,xmm2, xmm3/m128`	B	有效	有效	将xmm2和xmm3/m128的高序词互换为xmm1.
`VEX.128.66.0F.WIG 6A/r`	`VPUNPCKHDQ xmm1, xmm2, xmm3/m128`	B	有效	有效	从xmm2和xmm3/m128互换出高序双字进入xmm1.
`VEX.128.66.0F.WIG 6D/r`	`VPUNPCKHQDQ xmm1, xmm2, xmm3/m128`	B	有效	有效	从 xmm2 和 xmm3/m128 互换高序四字进入 xmm1 注册.
`VEX.256.66.0F.WIG 68 /r`	`VPUNPCKHBW ymm1, ymm2, ymm3/m256`	B	有效	有效	从ymm2和ymm3/m256互换高序字节进入ymm1注册.
`VEX.256.66.0F.WIG 69 /r`	`VPUNPCKHWD ymm1, ymm2, ymm3/m256`	B	有效	有效	从 ymm2 和 ymm3/m256 互换高序词进入 ymm1 注册.
`VEX.256.66.0F.WIG 6A /r`	`VPUNPCKHDQ ymm1, ymm2, ymm3/m256`	B	有效	有效	从 ymm2 和 ymm3/m256 互换高序双字进入 ymm1 注册.
`VEX.256.66.0F.WIG 6D /r`	`VPUNPCKHQDQ ymm1, ymm2, ymm3/m256`	B	有效	有效	从 ymm2 和 ymm3/m256 互换高序四字进入 ymm1 注册.
`EVEX.128.66.0F.WIG 68 /r`	`VPUNPCKHBW xmm1 {k1}{z}, xmm2, xmm3/m128`	C	有效	有效	从xmm2和AVX512BW)OR xmm3/m128互换高序字节进入xmm1登记册,使用k1 AVX10.1写口罩.
`EVEX.128.66.0F.WIG 69 /r`	`VPUNPCKHWD xmm1 {k1}{z}, xmm2, xmm3/m128`	C	有效	有效	从xmm2和AVX512BW)OR xmm3/m128互换高序词,使用k1和AVX10.1写口罩进入xmm1登记册.
`EVEX.128.66.0F.W0 6A /r`	`VPUNPCKHDQ xmm1 {k1}{z}, xmm2, xmm3/m128/m32bcst`	D	有效	有效	间断高序双词AVX512F(或)xmm2和xmm3/m128/m32bcst 输入xmm1 AVX10.1使用k1写面具
`EVEX.128.66.0F.W1 6D /r`	`VPUNPCKHQDQ xmm1 {k1}{z}, xmm2, xmm3/m128/m64bcst Opcode/ Instruction`	D	有效	有效	间隔高序四字xmm2 AVX512F或和xmm3/m128/m64bcst 输入xmm1 AVX10.1使用k1写入口罩。 Op/64/32 位元CPUID特性描述模式支持旗帜
`EVEX.256.66.0F.WIG 68 /r`	`VPUNPCKHBW ymm1 {k1}{z}, ymm2, ymm3/m256`		c v	有效	从ymm2和AVX512BW)OR ymm3/m256互换高序字节进入ymm1登记册,使用k1 AVX10.1写口罩.
`EVEX.256.66.0F.WIG 69 /r`	`VPUNPCKHWD ymm1 {k1}{z}, ymm2, ymm3/m256`		c v	有效	从ymm2和AVX512BW)OR ymm3/m256互换高序词,使用k1和AVX10.1写口罩进入ymm1登记册.
`EVEX.256.66.0F.W0 6A /r`	`VPUNPCKHDQ ymm1 {k1}{z}, ymm2, ymm3/m256/m32bcst`		d v	有效	间断高序双词AVX512F(或)ymm2和ymm3/m256/m32bcst 输入ymm1 AVX10.1使用k1写面具
`EVEX.256.66.0F.W1 6D /r`	`VPUNPCKHQDQ ymm1 {k1}{z}, ymm2, ymm3/m256/m64bcst`		d v	有效	从ymm2 AVX512F)OR和ymm3/m256/m64bcst互换高序四字进入ymm1 AVX10.1登记册,使用k1写口罩.
`EVEX.512.66.0F.WIG 68/r`	`VPUNPCKHBW zmm1 {k1}{z}, zmm2, zmm3/m512`		c v	有效	从 zmm2 和 OR AVX10.1 zmm3/m512 互换高序字节进入 zmm1 注册.
`EVEX.512.66.0F.WIG 69/r`	`VPUNPCKHWD zmm1 {k1}{z}, zmm2, zmm3/m512`		c v	有效	从 zmm2 和 OR AVX10.1 zmm3/m512 互换高序词进入 zmm1 注册.
`EVEX.512.66.0F.W0 6A /r`	`VPUNPCKHDQ zmm1 {k1}{z}, zmm2, zmm3/m512/m32bcst`		d v	有效	从 OR AVX10.1 zmm2 和 zmm3/m512/m32bcst 进入 zmm1 的高序双词使用 k1 写口罩.
`EVEX.512.66.0F.W1 6D /r`	`VPUNPCKHQDQ zmm1 {k1}{z}, zmm2, zmm3/m512/m64bcst`		d v	有效	从 zmm2 OR AVX10.1 和 zmm3/m512/m64bcst 中间隔高序四字进入 zmm1 登记册,使用 k1 写口罩.

操作数编码

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

A

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

B

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

C

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

Tupla: Full Mem

D

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

Tupla: Full

实测开销

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

说明

将目标操作数(第一个操作数)和源操作数(第二个操作数)的高序数据元素(字节,单词,双字,或四字)解包并互开,进入目标操作数. 图4-20显示了64位操作数中字节的解包操作. 低序数据元素被忽略.

SRC Y7 Y6 Y5 Y4 Y3 Y2 Y1 Y0 X7 X6 X5 X4 X3 X2 X1 X0 DEST

DEST Y7 X7 Y6 X6 Y5 X5 Y4 X4

图4-20. PUNPCKHBW 指令操作使用 64 位操作数

255 31 0 255 31 0

SRC Y7 Y6 Y5 Y4 Y3 Y2 Y1 Y0 X7 X6 X5 X4 X3 X2 X1 X0

     255                                                          0

DEST Y7 X7 Y6 X6 Y3 X3 Y2 X2

图4-21. 256位 VPUNPCKHDQ 指令操作

当源数据来自64位的内存操作数时,完整的64位的操作数是从内存中访问的,但指令只使用高序的32位. 当源数据来自128位的内存操作数时,一个执行可能只获取适当的64位;然而,与16位边界的对齐和正常的段段检查仍然会被执行.

(V)PUNPCKHBW指令互开源的高阶字节和目标操作数,(V)PUNPCKHWD指令互开源的高阶字节和目标操作数,(V)PUNP-CKHDQ指令互开源的高阶双词(或双词)和目标操作数,(V)PUNPCKHQDQ指令互开源高阶四词和目标操作数.

这些指令可以分别将字节转换为单词,单词转换为双词,双词转换为四词,四词转换为双词,将所有0s放入源操作数. 在此,如果源操作数包含全部 0s,结果(存储于目标操作数) 包含目标操作数中原值的高序数据元素的零扩展. 例如,在(V)PUNPCKHBW指令下,高序字节为0扩展(即拆解成无符号字整数),在(V)PUNPCKHWD指令下,高序字为0扩展(未包装成无符号双字整数).

在64位模式中,没有用VEX/EVEX编码,使用REX前缀形式为REX.R允许此指令访问额外的注册(XMM8-XMM15).

遗产 SSE 版本 64 位操作数 : 源操作数可以是MMX技术寄存器或64位内存位置. 目标操作数是一个MMX技术登记册.

128位遗产 SSE 版本 : 第二源操作数是一个XMM的寄存器或128位的内存位置. 第一源操作数和目标操作数是XMM登记册. 相应的YMM目的地注册保持不变的位数(MAXVL-1:128).

VEX.128 编码版本 : 第二源操作数是一个XMM的寄存器或128位的内存位置. 第一源操作数和目标操作数是XMM登记册. 目的地YMM的位数(MAXVL-1:128)登记被清零.

VEX.256 编码版本 : 第二源操作数是一个YMM的寄存器或256位的内存位置. 第一源操作数和目标操作数是YMM登记册.

EVEX编码为VPUNPCKHDQ/QDQ: 第二源操作数是一个ZMM/YMM/XMM的登记器,512/256/128位内存位置或512/256/128位矢量从32/64位内存位置广播. 第一源操作数和目标操作数是ZMM/YMM/XMM登记册. 目的地以写掩码 k1有条件更新.

EVEX编码为VPUNPCKHWD/BW: 第二源操作数是一个ZMM/YMM/XMM登记册,一个512/256/128位的内存位置. 第一源操作数和目标操作数是ZMM/YMM/XMM登记册. 目的地以写掩码 k1有条件更新.

行动

PUNPCKHBW Instruction With 64-bit Operands:
    DEST[7:0] := DEST[39:32];
    DEST[15:8] := SRC[39:32];
    DEST[23:16] := DEST[47:40];
    DEST[31:24] := SRC[47:40];
    DEST[39:32] := DEST[55:48];
    DEST[47:40] := SRC[55:48];
    DEST[55:48] := DEST[63:56];
    DEST[63:56] := SRC[63:56];

PUNPCKHW Instruction With 64-bit Operands:
    DEST[15:0] := DEST[47:32];
    DEST[31:16] := SRC[47:32];
    DEST[47:32] := DEST[63:48];
    DEST[63:48] := SRC[63:48];

PUNPCKHDQ Instruction With 64-bit Operands:
    DEST[31:0] := DEST[63:32];
    DEST[63:32] := SRC[63:32];

INTERLEAVE_HIGH_BYTES_512b (SRC1, SRC2)
TMP_DEST[255:0] := INTERLEAVE_HIGH_BYTES_256b(SRC1[255:0], SRC[255:0])
TMP_DEST[511:256] := INTERLEAVE_HIGH_BYTES_256b(SRC1[511:256], SRC[511:256])

INTERLEAVE_HIGH_BYTES_256b (SRC1, SRC2)
DEST[7:0] := SRC1[71:64]
DEST[15:8] := SRC2[71:64]
DEST[23:16] := SRC1[79:72]
DEST[31:24] := SRC2[79:72]
DEST[39:32] := SRC1[87:80]
DEST[47:40] := SRC2[87:80]
DEST[55:48] := SRC1[95:88]
DEST[63:56] := SRC2[95:88]
DEST[71:64] := SRC1[103:96]
DEST[79:72] := SRC2[103:96]
DEST[87:80] := SRC1[111:104]
DEST[95:88] := SRC2[111:104]
DEST[103:96] := SRC1[119:112]
DEST[111:104] := SRC2[119:112]
DEST[119:112] := SRC1[127:120]
DEST[127:120] := SRC2[127:120]
DEST[135:128] := SRC1[199:192]
DEST[143:136] := SRC2[199:192]
DEST[151:144] := SRC1[207:200]
DEST[159:152] := SRC2[207:200]


DEST[167:160] := SRC1[215:208]
DEST[175:168] := SRC2[215:208]
DEST[183:176] := SRC1[223:216]
DEST[191:184] := SRC2[223:216]
DEST[199:192] := SRC1[231:224]
DEST[207:200] := SRC2[231:224]
DEST[215:208] := SRC1[239:232]
DEST[223:216] := SRC2[239:232]
DEST[231:224] := SRC1[247:240]
DEST[239:232] := SRC2[247:240]
DEST[247:240] := SRC1[255:248]
DEST[255:248] := SRC2[255:248]

INTERLEAVE_HIGH_BYTES (SRC1, SRC2)
DEST[7:0] := SRC1[71:64]
DEST[15:8] := SRC2[71:64]
DEST[23:16] := SRC1[79:72]
DEST[31:24] := SRC2[79:72]
DEST[39:32] := SRC1[87:80]
DEST[47:40] := SRC2[87:80]
DEST[55:48] := SRC1[95:88]
DEST[63:56] := SRC2[95:88]
DEST[71:64] := SRC1[103:96]
DEST[79:72] := SRC2[103:96]
DEST[87:80] := SRC1[111:104]
DEST[95:88] := SRC2[111:104]
DEST[103:96] := SRC1[119:112]
DEST[111:104] := SRC2[119:112]
DEST[119:112] := SRC1[127:120]
DEST[127:120] := SRC2[127:120]

INTERLEAVE_HIGH_WORDS_512b (SRC1, SRC2)
TMP_DEST[255:0] := INTERLEAVE_HIGH_WORDS_256b(SRC1[255:0], SRC[255:0])
TMP_DEST[511:256] := INTERLEAVE_HIGH_WORDS_256b(SRC1[511:256], SRC[511:256])

INTERLEAVE_HIGH_WORDS_256b(SRC1, SRC2)
DEST[15:0] := SRC1[79:64]
DEST[31:16] := SRC2[79:64]
DEST[47:32] := SRC1[95:80]
DEST[63:48] := SRC2[95:80]
DEST[79:64] := SRC1[111:96]
DEST[95:80] := SRC2[111:96]
DEST[111:96] := SRC1[127:112]
DEST[127:112] := SRC2[127:112]
DEST[143:128] := SRC1[207:192]
DEST[159:144] := SRC2[207:192]
DEST[175:160] := SRC1[223:208]
DEST[191:176] := SRC2[223:208]
DEST[207:192] := SRC1[239:224]
DEST[223:208] := SRC2[239:224]
DEST[239:224] := SRC1[255:240]
DEST[255:240] := SRC2[255:240]

INTERLEAVE_HIGH_WORDS (SRC1, SRC2)


DEST[15:0] := SRC1[79:64]
DEST[31:16] := SRC2[79:64]
DEST[47:32] := SRC1[95:80]
DEST[63:48] := SRC2[95:80]
DEST[79:64] := SRC1[111:96]
DEST[95:80] := SRC2[111:96]
DEST[111:96] := SRC1[127:112]
DEST[127:112] := SRC2[127:112]

INTERLEAVE_HIGH_DWORDS_512b (SRC1, SRC2)
TMP_DEST[255:0] := INTERLEAVE_HIGH_DWORDS_256b(SRC1[255:0], SRC2[255:0])
TMP_DEST[511:256] := INTERLEAVE_HIGH_DWORDS_256b(SRC1[511:256], SRC2[511:256])

INTERLEAVE_HIGH_DWORDS_256b(SRC1, SRC2)
DEST[31:0] := SRC1[95:64]
DEST[63:32] := SRC2[95:64]
DEST[95:64] := SRC1[127:96]
DEST[127:96] := SRC2[127:96]
DEST[159:128] := SRC1[223:192]
DEST[191:160] := SRC2[223:192]
DEST[223:192] := SRC1[255:224]
DEST[255:224] := SRC2[255:224]

INTERLEAVE_HIGH_DWORDS(SRC1, SRC2)
DEST[31:0] := SRC1[95:64]
DEST[63:32] := SRC2[95:64]
DEST[95:64] := SRC1[127:96]
DEST[127:96] := SRC2[127:96]

INTERLEAVE_HIGH_QWORDS_512b (SRC1, SRC2)
TMP_DEST[255:0] := INTERLEAVE_HIGH_QWORDS_256b(SRC1[255:0], SRC2[255:0])
TMP_DEST[511:256] := INTERLEAVE_HIGH_QWORDS_256b(SRC1[511:256], SRC2[511:256])

INTERLEAVE_HIGH_QWORDS_256b(SRC1, SRC2)
DEST[63:0] := SRC1[127:64]
DEST[127:64] := SRC2[127:64]
DEST[191:128] := SRC1[255:192]
DEST[255:192] := SRC2[255:192]

INTERLEAVE_HIGH_QWORDS(SRC1, SRC2)
DEST[63:0] := SRC1[127:64]
DEST[127:64] := SRC2[127:64]

PUNPCKHBW (128-bit Legacy SSE Version)
DEST[127:0] := INTERLEAVE_HIGH_BYTES(DEST, SRC)
DEST[255:127] (Unmodified)

VPUNPCKHBW (VEX.128 Encoded Version)
DEST[127:0] := INTERLEAVE_HIGH_BYTES(SRC1, SRC2)
DEST[MAXVL-1:127] := 0

VPUNPCKHBW (VEX.256 Encoded Version)
DEST[255:0] := INTERLEAVE_HIGH_BYTES_256b(SRC1, SRC2)
DEST[MAXVL-1:256] := 0


VPUNPCKHBW (EVEX Encoded Versions)
(KL, VL) = (16, 128), (32, 256), (64, 512)
IF VL = 128

    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_BYTES(SRC1[VL-1:0], SRC2[VL-1:0])
FI;
IF VL = 256

    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_BYTES_256b(SRC1[VL-1:0], SRC2[VL-1:0])
FI;
IF VL = 512

    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_BYTES_512b(SRC1[VL-1:0], SRC2[VL-1:0])
FI;

FOR j := 0 TO KL-1

i := j * 8

IF k1[j] OR *no writemask*

     THEN DEST[i+7:i] := TMP_DEST[i+7:i]

     ELSE

            IF *merging-masking*          ; merging-masking

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

                ELSE *zeroing-masking*           ; zeroing-masking

                    DEST[i+7:i] := 0

            FI

FI;

ENDFOR

DEST[MAXVL-1:VL] := 0

PUNPCKHWD (128-bit Legacy SSE Version)
DEST[127:0] := INTERLEAVE_HIGH_WORDS(DEST, SRC)
DEST[255:127] (Unmodified)

VPUNPCKHWD (VEX.128 Encoded Version)
DEST[127:0] := INTERLEAVE_HIGH_WORDS(SRC1, SRC2)
DEST[MAXVL-1:127] := 0

VPUNPCKHWD (VEX.256 Encoded Version)
DEST[255:0] := INTERLEAVE_HIGH_WORDS_256b(SRC1, SRC2)
DEST[MAXVL-1:256] := 0

VPUNPCKHWD (EVEX Encoded Versions)
(KL, VL) = (8, 128), (16, 256), (32, 512)
IF VL = 128

    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_WORDS(SRC1[VL-1:0], SRC2[VL-1:0])
FI;
IF VL = 256

    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_WORDS_256b(SRC1[VL-1:0], SRC2[VL-1:0])
FI;
IF VL = 512

    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_WORDS_512b(SRC1[VL-1:0], SRC2[VL-1:0])
FI;

FOR j := 0 TO KL-1
    i := j * 16
    IF k1[j] OR *no writemask*


     THEN DEST[i+15:i] := TMP_DEST[i+15:i]

     ELSE

             IF *merging-masking*           ; merging-masking

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

                 ELSE *zeroing-masking*     ; zeroing-masking

                    DEST[i+15:i] := 0

             FI

FI;

ENDFOR

DEST[MAXVL-1:VL] := 0

PUNPCKHDQ (128-bit Legacy SSE Version)
DEST[127:0] := INTERLEAVE_HIGH_DWORDS(DEST, SRC)
DEST[255:127] (Unmodified)

VPUNPCKHDQ (VEX.128 Encoded Version)
DEST[127:0] := INTERLEAVE_HIGH_DWORDS(SRC1, SRC2)
DEST[MAXVL-1:127] := 0

VPUNPCKHDQ (VEX.256 Encoded Version)
DEST[255:0] := INTERLEAVE_HIGH_DWORDS_256b(SRC1, SRC2)
DEST[MAXVL-1:256] := 0

VPUNPCKHDQ (EVEX.512 Encoded Version)
(KL, VL) = (4, 128), (8, 256), (16, 512)
FOR j := 0 TO KL-1

    i := j * 32
    IF (EVEX.b = 1) AND (SRC2 *is memory*)

          THEN TMP_SRC2[i+31:i] := SRC2[31:0]
          ELSE TMP_SRC2[i+31:i] := SRC2[i+31:i]
    FI;
ENDFOR;
IF VL = 128
    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_DWORDS(SRC1[VL-1:0], TMP_SRC2[VL-1:0])
FI;
IF VL = 256
    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_DWORDS_256b(SRC1[VL-1:0], TMP_SRC2[VL-1:0])
FI;
IF VL = 512
    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_DWORDS_512b(SRC1[VL-1:0], TMP_SRC2[VL-1:0])
FI;

FOR j := 0 TO KL-1

i := j * 32

IF k1[j] OR *no writemask*

     THEN DEST[i+31:i] := TMP_DEST[i+31:i]

     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

PUNPCKHQDQ (128-bit Legacy SSE Version)
DEST[127:0] := INTERLEAVE_HIGH_QWORDS(DEST, SRC)
DEST[MAXVL-1:128] (Unmodified)

VPUNPCKHQDQ (VEX.128 Encoded Version)
DEST[127:0] := INTERLEAVE_HIGH_QWORDS(SRC1, SRC2)
DEST[MAXVL-1:128] := 0

VPUNPCKHQDQ (VEX.256 Encoded Version)
DEST[255:0] := INTERLEAVE_HIGH_QWORDS_256b(SRC1, SRC2)
DEST[MAXVL-1:256] := 0

VPUNPCKHQDQ (EVEX Encoded Versions)
(KL, VL) = (2, 128), (4, 256), (8, 512)
FOR j := 0 TO KL-1

    i := j * 64
    IF (EVEX.b = 1) AND (SRC2 *is memory*)

          THEN TMP_SRC2[i+63:i] := SRC2[63:0]
          ELSE TMP_SRC2[i+63:i] := SRC2[i+63:i]
    FI;
ENDFOR;
IF VL = 128
    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_QWORDS(SRC1[VL-1:0], TMP_SRC2[VL-1:0])
FI;
IF VL = 256
    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_QWORDS_256b(SRC1[VL-1:0], TMP_SRC2[VL-1:0])
FI;
IF VL = 512
    TMP_DEST[VL-1:0] := INTERLEAVE_HIGH_QWORDS_512b(SRC1[VL-1:0], TMP_SRC2[VL-1:0])
FI;

FOR j := 0 TO KL-1

i := j * 64

IF k1[j] OR *no writemask*

     THEN DEST[i+63:i] := TMP_DEST[i+63:i]

     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++ 内在编译器

VPUNPCKHBW __m512i _mm512_unpackhi_epi8(__m512i a, __m512i b);
VPUNPCKHBW __m512i _mm512_mask_unpackhi_epi8(__m512i s, __mmask64 k, __m512i a, __m512i b);
VPUNPCKHBW __m512i _mm512_maskz_unpackhi_epi8( __mmask64 k, __m512i a, __m512i b);
VPUNPCKHBW __m256i _mm256_mask_unpackhi_epi8(__m256i s, __mmask32 k, __m256i a, __m256i b);
VPUNPCKHBW __m256i _mm256_maskz_unpackhi_epi8( __mmask32 k, __m256i a, __m256i b);
VPUNPCKHBW __m128i _mm_mask_unpackhi_epi8(v s, __mmask16 k, __m128i a, __m128i b);
VPUNPCKHBW __m128i _mm_maskz_unpackhi_epi8( __mmask16 k, __m128i a, __m128i b);
VPUNPCKHWD __m512i _mm512_unpackhi_epi16(__m512i a, __m512i b);
VPUNPCKHWD __m512i _mm512_mask_unpackhi_epi16(__m512i s, __mmask32 k, __m512i a, __m512i b);
VPUNPCKHWD __m512i _mm512_maskz_unpackhi_epi16( __mmask32 k, __m512i a, __m512i b);
VPUNPCKHWD __m256i _mm256_mask_unpackhi_epi16(__m256i s, __mmask16 k, __m256i a, __m256i b);
VPUNPCKHWD __m256i _mm256_maskz_unpackhi_epi16( __mmask16 k, __m256i a, __m256i b);
VPUNPCKHWD __m128i _mm_mask_unpackhi_epi16(v s, __mmask8 k, __m128i a, __m128i b);
VPUNPCKHWD __m128i _mm_maskz_unpackhi_epi16( __mmask8 k, __m128i a, __m128i b);
VPUNPCKHDQ __m512i _mm512_unpackhi_epi32(__m512i a, __m512i b);
VPUNPCKHDQ __m512i _mm512_mask_unpackhi_epi32(__m512i s, __mmask16 k, __m512i a, __m512i b);
VPUNPCKHDQ __m512i _mm512_maskz_unpackhi_epi32( __mmask16 k, __m512i a, __m512i b);
VPUNPCKHDQ __m256i _mm256_mask_unpackhi_epi32(__m512i s, __mmask8 k, __m512i a, __m512i b);
VPUNPCKHDQ __m256i _mm256_maskz_unpackhi_epi32( __mmask8 k, __m512i a, __m512i b);
VPUNPCKHDQ __m128i _mm_mask_unpackhi_epi32(__m512i s, __mmask8 k, __m512i a, __m512i b);
VPUNPCKHDQ __m128i _mm_maskz_unpackhi_epi32( __mmask8 k, __m512i a, __m512i b);
VPUNPCKHQDQ __m512i _mm512_unpackhi_epi64(__m512i a, __m512i b);
VPUNPCKHQDQ __m512i _mm512_mask_unpackhi_epi64(__m512i s, __mmask8 k, __m512i a, __m512i b);
VPUNPCKHQDQ __m512i _mm512_maskz_unpackhi_epi64( __mmask8 k, __m512i a, __m512i b);
VPUNPCKHQDQ __m256i _mm256_mask_unpackhi_epi64(__m512i s, __mmask8 k, __m512i a, __m512i b);
VPUNPCKHQDQ __m256i _mm256_maskz_unpackhi_epi64( __mmask8 k, __m512i a, __m512i b);
VPUNPCKHQDQ __m128i _mm_mask_unpackhi_epi64(__m512i s, __mmask8 k, __m512i a, __m512i b);
VPUNPCKHQDQ __m128i _mm_maskz_unpackhi_epi64( __mmask8 k, __m512i a, __m512i b);
PUNPCKHBW __m64 _mm_unpackhi_pi8(__m64 m1, __m64 m2) (V)PUNPCKHBW __m128i _mm_unpackhi_epi8(__m128i m1, __m128i m2) VPUNPCKHBW __m256i _mm256_unpackhi_epi8(__m256i m1, __m256i m2) PUNPCKHWD __m64 _mm_unpackhi_pi16(__m64 m1,__m64 m2) (V)PUNPCKHWD __m128i _mm_unpackhi_epi16(__m128i m1,__m128i m2) VPUNPCKHWD __m256i _mm256_unpackhi_epi16(__m256i m1,__m256i m2) PUNPCKHDQ __m64 _mm_unpackhi_pi32(__m64 m1, __m64 m2) (V)PUNPCKHDQ __m128i _mm_unpackhi_epi32(__m128i m1, __m128i m2) VPUNPCKHDQ __m256i _mm256_unpackhi_epi32(__m256i m1, __m256i m2) (V)PUNPCKHQDQ __m128i _mm_unpackhi_epi64 ( __m128i a, __m128i b) VPUNPCKHQDQ __m256i _mm256_unpackhi_epi64 ( __m256i a, __m256i b);

受影响的旗帜

None.

数字例外

None.

其他例外

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

EVEX-encoded VPUNPCKHQDQ/QDQ,参见表2-52"Type E4NF类例外条件".

EVEX-encoded VPUNPCKHBW/WD,参见表2-52中的例外类型E4NF.nb,"Type E4NF类例外条件".

PUNPCKHBW, PUNPCKHWD, PUNPCKHDQ, PUNPCKHQDQ

编码

操作数编码

A

B

C

D

实测开销

说明#

行动#

Intel C/C++ 内在编译器#

受影响的旗帜#

数字例外#

其他例外#

来源

说明

行动

Intel C/C++ 内在编译器

受影响的旗帜

数字例外

其他例外