[PATCH 1/3] Enable Intel WAITPKG instructions.

[Jan Beulich]

>>> "H.J. Lu" <hjl.tools@gmail.com> 04/15/18 3:01 PM >>>
>On Sun, Apr 15, 2018 at 5:16 AM, H.J. Lu <hjl.tools@gmail.com> wrote:
>> They should be treated similar to pinsrw.   That is both r32/r64 are allowed and
>> REX.W is skipped.   As for suffix, we shouldn't add them since these are new
>> instructions.
>
>Here is the path.

I can live with there not being suffixes, but I don't think "tpause rcx" should
be encoded without REX.W (and hence decode as "tpause ecx").

Jan