1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s 2 3// CHECK: rmpupdate 4// CHECK: encoding: [0xf2,0x0f,0x01,0xfe] 5rmpupdate %rax, %rcx 6 7// CHECK: psmash 8// CHECK: encoding: [0xf3,0x0f,0x01,0xff] 9psmash %rax 10 11// CHECK: pvalidate 12// CHECK: encoding: [0xf2,0x0f,0x01,0xff] 13pvalidate %rax, %rcx, %rdx 14 15// CHECK: rmpadjust 16// CHECK: encoding: [0xf3,0x0f,0x01,0xfe] 17rmpadjust %rax, %rcx, %rdx 18 19// CHECK: rmpquery 20// CHECK: encoding: [0xf3,0x0f,0x01,0xfd] 21rmpquery %rax, %rdx 22 23// CHECK: rmpupdate 24// CHECK: encoding: [0xf2,0x0f,0x01,0xfe] 25rmpupdate 26 27// CHECK: psmash 28// CHECK: encoding: [0xf3,0x0f,0x01,0xff] 29psmash 30 31// CHECK: pvalidate 32// CHECK: encoding: [0xf2,0x0f,0x01,0xff] 33pvalidate 34 35// CHECK: rmpadjust 36// CHECK: encoding: [0xf3,0x0f,0x01,0xfe] 37rmpadjust 38 39// CHECK: rmpquery 40// CHECK: encoding: [0xf3,0x0f,0x01,0xfd] 41rmpquery 42