Closed Kashio closed 5 months ago
Right now PEXTRQ entry isn't specified with the mode="e" attribute for 64 bit mode.
PEXTRQ
mode="e"
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.
Right now
PEXTRQ
entry isn't specified with themode="e"
attribute for 64 bit mode.We need to add another separate entry with the
mode="e"
attribute for 64 bit mode for it.