1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2
3// CHECK: xbegin .L0
4// CHECK: encoding: [0xc7,0xf8,A,A,A,A]
5	xbegin .L0
6
7// CHECK: xend
8// CHECK: encoding: [0x0f,0x01,0xd5]
9	xend
10
11// CHECK: xtest
12// CHECK: encoding: [0x0f,0x01,0xd6]
13	xtest
14
15// CHECK: xabort
16// CHECK: encoding: [0xc6,0xf8,0x0d]
17	xabort $13
18