# 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
