# RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s
# RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR
# ERROR-COUNT-4: error:
# ERROR-NOT: error:
## invept
# CHECK: invept 291(%r28,%r29,4), %r19
# CHECK: encoding: [0x62,0x8c,0x7a,0x08,0xf0,0x9c,0xac,0x23,0x01,0x00,0x00]
invept 291(%r28,%r29,4), %r19
# CHECK: {evex} invept 123(%rax,%rbx,4), %r9
# CHECK: encoding: [0x62,0x74,0x7e,0x08,0xf0,0x4c,0x98,0x7b]
{evex} invept 123(%rax,%rbx,4), %r9
## invvpid
# CHECK: invvpid 291(%r28,%r29,4), %r19
# CHECK: encoding: [0x62,0x8c,0x7a,0x08,0xf1,0x9c,0xac,0x23,0x01,0x00,0x00]
invvpid 291(%r28,%r29,4), %r19
# CHECK: {evex} invvpid 123(%rax,%rbx,4), %r9
# CHECK: encoding: [0x62,0x74,0x7e,0x08,0xf1,0x4c,0x98,0x7b]
{evex} invvpid 123(%rax,%rbx,4), %r9