1 // RUN
: llvm-mc
-triple aarch64-none-linux-gnu
-show-encoding
< %s
2> %t | FileCheck
%s
6 // CHECK
: msr TRBSR_EL12
, x0
// encoding
: [0x60,0x9b,0x1d,0xd5]
7 // CHECK
: msr TRBSR_EL2
, x0
// encoding
: [0x60,0x9b,0x1c,0xd5]
8 // CHECK
: msr TRBSR_EL3
, x0
// encoding
: [0x60,0x9b,0x1e,0xd5]
13 // CHECK
: mrs x0
, TRBSR_EL12
// encoding
: [0x60,0x9b,0x3d,0xd5]
14 // CHECK
: mrs x0
, TRBSR_EL2
// encoding
: [0x60,0x9b,0x3c,0xd5]
15 // CHECK
: mrs x0
, TRBSR_EL3
// encoding
: [0x60,0x9b,0x3e,0xd5]