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