PINSRQ not specified for 64 bit mode

Open Kashio opened this issue 3 years ago • 1 comments

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.

Jan 14 '23 18:01 Kashio

Good catch.

Dec 21 '23 16:12 BarebitOpenSource

Fixed.

May 14 '24 08:05 BarebitOpenSource