x86emul: VCVT{,U}DQ2PD ignores embedded rounding

IOW we shouldn't raise #UD in that case. Be on the safe side though and
only encode fully legitimate forms into the stub to be executed.

Things weren't quite right for VCVT{,U}SI2SD either, in the attempt to
be on the safe side: Clearing EVEX.L'L isn't useful; it's EVEX.b which
primarily needs clearing. Also reflect the somewhat improved doc
situation in the comment there.

Fixes: ed806f3737 ("x86emul: support AVX512F legacy-equivalent packed int/FP conversion insns")
Fixes: baf4a376f5 ("x86emul: support AVX512F legacy-equivalent scalar int/FP conversion insns")
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
master commit: d3709d1324
master date: 2025-01-08 11:01:17 +0100
This commit is contained in:
Jan Beulich committed 2025-01-21 09:19:39 +01:00
1 parent 71d626f2f7
commit 4abf7f1d61
1 file changed
+16 -4
+16 -4
View File
@@ -3592,12 +3592,15 @@ x86_emulate(
if ( !mode_64bit() )
evex.w = 0;
/*
* SDM version 067 claims that exception type E10NF implies #UD when
* EVEX.L'L is non-zero for 32-bit VCVT{,U}SI2SD. Experimentally this
* cannot be confirmed, but be on the safe side for the stub.
* While SDM version 085 has explicit wording towards embedded rounding
* being ignored, it's still not entirely unambiguous with the exception
* type referred to. Be on the safe side for the stub.
*/
if ( !evex.w && evex.pfx == vex_f2 )
{
evex.brs = 0;
evex.lr = 0;
}
opc[1] = (modrm & 0x38) | 0xc0;
insn_bytes = EVEX_PFX_BYTES + 2;
opc[2] = 0xc3;
@@ -4815,7 +4818,16 @@ x86_emulate(
else
{
host_and_vcpu_must_have(avx512f);
generate_exception_if(ea.type != OP_MEM && evex.brs, X86_EXC_UD);
/*
* While SDM version 085 has explicit wording towards embedded
* rounding being ignored, it's still not entirely unambiguous with
* the exception type referred to. Be on the safe side for the stub.
*/
if ( ea.type != OP_MEM && evex.brs )
{
evex.brs = 0;
evex.lr = 2;
}
}
if ( ea.type != OP_REG || !evex.brs )
avx512_vlen_check(false);
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.