1// RUN: llvm-mc -triple aarch64-none-linux-gnu -show-encoding -mattr=+hcx < %s 2>%t | FileCheck %s 2// RUN: llvm-mc -triple aarch64-none-linux-gnu -show-encoding -mattr=+v8.7a < %s 2>%t | FileCheck %s 3// RUN: not llvm-mc -triple aarch64-none-linux-gnu < %s 2> %t 4// RUN: FileCheck --check-prefix=CHECK-NO-HCX-ERR %s < %t 5 6 mrs x2, HCRX_EL2 7// CHECK: mrs x2, HCRX_EL2 // encoding: [0x42,0x12,0x3c,0xd5] 8// CHECK-NO-HCX-ERR: [[@LINE-2]]:11: error: expected readable system register 9 10 msr HCRX_EL2, x3 11// CHECK: msr HCRX_EL2, x3 // encoding: [0x43,0x12,0x1c,0xd5] 12// CHECK-NO-HCX-ERR: [[@LINE-2]]:7: error: expected writable system register 13