# RUN: llvm-mc -assemble -show-encoding -triple=aarch64- %s | FileCheck %s
# CHECK: .text
# CHECK-NEXT: udf #0 // encoding: [0x00,0x00,0x00,0x00]
# CHECK-NEXT: udf #513 // encoding: [0x01,0x02,0x00,0x00]
# CHECK-NEXT: udf #65535 // encoding: [0xff,0xff,0x00,0x00]
.text
udf 0
udf 513
udf 65535