@@ -722,6 +722,13 @@ static const struct test avx10_2_all[] =
INSN(ucomxss, f2, 0f, 2e, el, d, el),
};
+static const struct test avx10_2_128[] = {
+ INSN(movd, f3, 0f, 7e, el, d, el),
+ INSN(movd, 66, 0f, d6, el, d, el),
+ INSN(movw, f3, map5, 6e, el, fp16, el),
+ INSN(movw, f3, map5, 7e, el, fp16, el),
+};
+
static const unsigned char vl_all[] = { VL_512, VL_128, VL_256 };
static const unsigned char vl_128[] = { VL_128 };
static const unsigned char vl_no128[] = { VL_512, VL_256 };
@@ -1143,6 +1150,7 @@ void evex_disp8_test(void *instr, struct
}
run(cpu_has_avx10_2, avx10_2, all);
+ run(cpu_has_avx10_2, avx10_2, 128);
#undef run
}
@@ -1782,7 +1782,7 @@ static const struct evex {
{ { 0x7b }, 2, T, R, pfx_f3, Wn, LIG }, /* vcvtusi2ss */
{ { 0x7b }, 2, T, R, pfx_f2, Wn, LIG }, /* vcvtusi2sd */
{ { 0x7e }, 2, T, W, pfx_66, Wn, L0 }, /* vmov{d,q} */
- { { 0x7e }, 2, T, R, pfx_f3, W1, L0 }, /* vmovq */
+ { { 0x7e }, 2, T, R, pfx_f3, Wn, L0 }, /* vmov{d,q} */
{ { 0x7f }, 2, T, W, pfx_66, Wn, Ln }, /* vmovdqa{32,64} */
{ { 0x7f }, 2, T, W, pfx_f3, Wn, Ln }, /* vmovdqu{32,64} */
{ { 0x7f }, 2, T, W, pfx_f2, Wn, Ln }, /* vmovdqu{8,16} */
@@ -1799,7 +1799,7 @@ static const struct evex {
{ { 0xd3 }, 2, T, R, pfx_66, W1, Ln }, /* vpsrlq */
{ { 0xd4 }, 2, T, R, pfx_66, W1, Ln }, /* vpaddq */
{ { 0xd5 }, 2, T, R, pfx_66, WIG, Ln }, /* vpmullw */
- { { 0xd6 }, 2, T, W, pfx_66, W1, L0 }, /* vmovq */
+ { { 0xd6 }, 2, T, W, pfx_66, Wn, L0 }, /* vmov{d,q} */
{ { 0xd8 }, 2, T, R, pfx_66, WIG, Ln }, /* vpsubusb */
{ { 0xd9 }, 2, T, R, pfx_66, WIG, Ln }, /* vpsubusw */
{ { 0xda }, 2, T, R, pfx_66, WIG, Ln }, /* vpminub */
@@ -2131,6 +2131,7 @@ static const struct evex {
{ { 0x5f }, 2, T, R, pfx_no, W0, Ln }, /* vmaxph */
{ { 0x5f }, 2, T, R, pfx_f3, W0, LIG }, /* vmaxsh */
{ { 0x6e }, 2, T, R, pfx_66, WIG, L0 }, /* vmovw */
+ { { 0x6e }, 2, T, R, pfx_f3, W0, L0 }, /* vmovw */
{ { 0x78 }, 2, T, R, pfx_no, W0, Ln }, /* vcvttph2udq */
{ { 0x78 }, 2, T, R, pfx_66, W0, Ln }, /* vcvttph2uqq */
{ { 0x78 }, 2, T, R, pfx_f3, Wn, LIG }, /* vcvttsh2usi */
@@ -2149,6 +2150,7 @@ static const struct evex {
{ { 0x7d }, 2, T, R, pfx_f3, W0, Ln }, /* vcvtw2ph */
{ { 0x7d }, 2, T, R, pfx_f2, W0, Ln }, /* vcvtuwph */
{ { 0x7e }, 2, T, W, pfx_66, WIG, L0 }, /* vmovw */
+ { { 0x7e }, 2, T, W, pfx_f3, W0, L0 }, /* vmovw */
}, evex_map6[] = {
{ { 0x13 }, 2, T, R, pfx_66, W0, Ln }, /* vcvtph2psx */
{ { 0x13 }, 2, T, R, pfx_no, W0, LIG }, /* vcvtsh2ss */
@@ -293,7 +293,7 @@ static const struct twobyte_table {
[0xd0] = { DstImplicit|SrcMem|ModRM, simd_other },
[0xd1 ... 0xd3] = { DstImplicit|SrcMem|ModRM, simd_128, 4 },
[0xd4 ... 0xd5] = { DstImplicit|SrcMem|ModRM, simd_packed_int, d8s_vl },
- [0xd6] = { DstMem|SrcImplicit|ModRM|Mov, simd_other, 3 },
+ [0xd6] = { DstMem|SrcImplicit|ModRM|Mov, simd_other, d8s_dq },
[0xd7] = { DstReg|SrcImplicit|ModRM|Mov },
[0xd8 ... 0xdf] = { DstImplicit|SrcMem|ModRM, simd_packed_int, d8s_vl },
[0xe0] = { DstImplicit|SrcMem|ModRM, simd_packed_int, d8s_vl },
@@ -802,7 +802,7 @@ decode_twobyte(struct x86_emulate_state
if ( s->vex.pfx == vex_f3 ) /* movq xmm/m64,xmm */
{
case X86EMUL_OPC_VEX_F3(0, 0x7e): /* vmovq xmm/m64,xmm */
- case X86EMUL_OPC_EVEX_F3(0, 0x7e): /* vmovq xmm/m64,xmm */
+ case X86EMUL_OPC_EVEX_F3(0, 0x7e): /* vmov{d,q} xmm/mem,xmm */
s->desc = DstImplicit | SrcMem | TwoOp;
s->simd_size = simd_other;
/* Avoid the s->desc clobbering of TwoOp below. */
@@ -1422,7 +1422,7 @@ int x86emul_decode(struct x86_emulate_st
break;
case 0x7e: /* vmovq xmm/m64,xmm needs special casing */
- if ( disp8scale == 2 && s->evex.pfx == vex_f3 )
+ if ( disp8scale == 2 && s->evex.pfx == vex_f3 && s->evex.w )
disp8scale = 3;
break;
@@ -1531,13 +1531,13 @@ int x86emul_decode(struct x86_emulate_st
s->fp16 = true;
break;
- case 0x6e: /* vmovw r/m16, xmm */
+ case 0x6e: /* vmovw r/x/m16, xmm */
d = (d & ~SrcMask) | SrcMem16;
/* fall through */
- case 0x7e: /* vmovw xmm, r/m16 */
+ case 0x7e: /* vmovw xmm, r/x/m16 */
+ s->fp16 = true;
if ( s->evex.pfx == vex_66 )
- s->fp16 = true;
- s->simd_size = simd_none;
+ s->simd_size = simd_none;
break;
case 0x78: case 0x79: /* vcvt{,t}ph2u{d,q}q, vcvt{,t}sh2usi */
@@ -4918,13 +4918,17 @@ x86_emulate(
op_bytes = 8;
goto simd_0f_int;
- case X86EMUL_OPC_EVEX_F3(0x0f, 0x7e): /* vmovq xmm/m64,xmm */
- case X86EMUL_OPC_EVEX_66(0x0f, 0xd6): /* vmovq xmm,xmm/m64 */
- generate_exception_if(evex.lr || !evex.w || evex.opmsk || evex.brs,
- X86_EXC_UD);
- visa_check(f);
+ case X86EMUL_OPC_EVEX_F3(0x0f, 0x7e): /* vmov{d,q} xmm/mem,xmm */
+ case X86EMUL_OPC_EVEX_66(0x0f, 0xd6): /* vmov{d,q} xmm,xmm/mem */
+ case X86EMUL_OPC_EVEX_F3(5, 0x6e): /* vmovw xmm/m16,xmm */
+ case X86EMUL_OPC_EVEX_F3(5, 0x7e): /* vmovw xmm,xmm/m16 */
+ generate_exception_if(evex.lr || evex.opmsk || evex.brs, X86_EXC_UD);
+ if ( evex.w )
+ visa_check(f);
+ else
+ vcpu_must_have(avx10, 2);
d |= TwoOp;
- op_bytes = 8;
+ op_bytes = 2 << (!state->fp16 + evex.w);
goto simd_zmm;
#endif /* !X86EMUL_NO_SIMD */
Extend existing VMOV{Q,W} logic accordingly. Signed-off-by: Jan Beulich <jbeulich@suse.com> --- SDE: ??? --- v3: New.