# 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