1 // RUN
: llvm-mc
-triple aarch64
-show-encoding
< %s | FileCheck
%s
4 // CHECK
: mrs x0
, VDISR_EL3
// encoding
: [0x20,0xc1,0x3e,0xd5]
7 // CHECK
: msr VDISR_EL3
, x0
// encoding
: [0x20,0xc1,0x1e,0xd5]
10 // CHECK
: mrs x0
, VSESR_EL3
// encoding
: [0x60,0x52,0x3e,0xd5]
13 // CHECK
: msr VSESR_EL3
, x0
// encoding
: [0x60,0x52,0x1e,0xd5]