1 // RUN
: llvm-mc
-triple x86_64-unknown-unknown
--show-encoding
%s | FileCheck
%s
4 // CHECK
: encoding
: [0xf2,0x0f,0x01,0xfe]
8 // CHECK
: encoding
: [0xf3,0x0f,0x01,0xff]
12 // CHECK
: encoding
: [0xf2,0x0f,0x01,0xff]
13 pvalidate
%rax
, %rcx
, %rdx
16 // CHECK
: encoding
: [0xf3,0x0f,0x01,0xfe]
17 rmpadjust
%rax
, %rcx
, %rdx
20 // CHECK
: encoding
: [0xf3,0x0f,0x01,0xfd]
24 // CHECK
: encoding
: [0xf2,0x0f,0x01,0xfe]
28 // CHECK
: encoding
: [0xf3,0x0f,0x01,0xff]
32 // CHECK
: encoding
: [0xf2,0x0f,0x01,0xff]
36 // CHECK
: encoding
: [0xf3,0x0f,0x01,0xfe]
40 // CHECK
: encoding
: [0xf3,0x0f,0x01,0xfd]