// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: xbegin .L0
// CHECK: encoding: [0xc7,0xf8,A,A,A,A]
xbegin .L0
// CHECK: xend
// CHECK: encoding: [0x0f,0x01,0xd5]
xend
// CHECK: xtest
// CHECK: encoding: [0x0f,0x01,0xd6]
xtest
// CHECK: xabort
// CHECK: encoding: [0xc6,0xf8,0x0d]
xabort $13