PINSRQ not specified for 64 bit mode

Barebit / x86reference

X86 Opcode and Instruction Reference

http://ref.x86asm.net

GNU Lesser General Public License v3.0

234 stars 52 forks source link

Closed Kashio closed 4 months ago

Kashio commented 1 year ago

Right now PINSRQ entry isn't specified with the mode="e" attribute for 64 bit mode.

According to the intel docs this instruction 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.

BarebitOpenSource commented 9 months ago

Good catch.

BarebitOpenSource commented 4 months ago

Fixed.