x86reference
x86reference copied to clipboard
PEXTRQ not specified for 64 bit mode
Right now PEXTRQ entry isn't specified with the mode="e" attribute for 64 bit mode.
PEXTRQ is not encodable in non-64-bit modes and requires REX.W in 64-bit mode.
We need to add another separate entry with the mode="e" attribute for 64 bit mode for it.
Good catch.
Fixed.