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.7
a < %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
7 // CHECK
: mrs x2
, HCRX_EL2
// encoding
: [0x42,0x12,0x3c,0xd5]
8 // CHECK-NO-HCX-ERR
: [[@LINE-
2]]:11: error
: expected readable system register
11 // CHECK
: msr HCRX_EL2
, x3
// encoding
: [0x43,0x12,0x1c,0xd5]
12 // CHECK-NO-HCX-ERR
: [[@LINE-
2]]:7: error
: expected writable system register