// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+poe2 < %s \
// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
// RUN: not llvm-mc -triple=aarch64 -show-encoding < %s 2>&1 \
// RUN:        | FileCheck %s --check-prefix=CHECK-ERROR
// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+poe2 < %s \
// RUN:        | llvm-objdump -d --mattr=+poe2 --no-print-imm-hex - | FileCheck %s --check-prefix=CHECK-INST
// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+poe2 < %s \
// RUN:        | llvm-objdump -d --mattr=-poe2 --no-print-imm-hex - | FileCheck %s --check-prefix=CHECK-UNKNOWN
// Disassemble encoding and check the re-encoding (-show-encoding) matches.
// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+poe2 < %s \
// RUN:        | sed '/.text/d' | sed 's/.*encoding: //g' \
// RUN:        | llvm-mc -triple=aarch64 -mattr=+poe2 -disassemble -show-encoding \
// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST

//------------------------------------------------------------------------------
// Stage 1 Permission Overlays Extension 2 (FEAT_S1POE2).
//------------------------------------------------------------------------------


mrs x0, TPIDR3_EL0
// CHECK-INST: mrs x0, TPIDR3_EL0
// CHECK-ENCODING: encoding: [0x00,0xd0,0x3b,0xd5]
// CHECK-UNKNOWN:  d53bd000 mrs x0, TPIDR3_EL0

mrs x0, TPIDR3_EL1
// CHECK-INST: mrs x0, TPIDR3_EL1
// CHECK-ENCODING: encoding: [0x00,0xd0,0x38,0xd5]
// CHECK-UNKNOWN:  d538d000 mrs x0, TPIDR3_EL1

mrs x0, TPIDR3_EL12
// CHECK-INST: mrs x0, TPIDR3_EL12
// CHECK-ENCODING: encoding: [0x00,0xd0,0x3d,0xd5]
// CHECK-UNKNOWN:  d53dd000 mrs x0, TPIDR3_EL12

mrs x0, TPIDR3_EL2
// CHECK-INST: mrs x0, TPIDR3_EL2
// CHECK-ENCODING: encoding: [0x00,0xd0,0x3c,0xd5]
// CHECK-UNKNOWN:  d53cd000 mrs x0, TPIDR3_EL2

mrs x0, TPIDR3_EL3
// CHECK-INST: mrs x0, TPIDR3_EL3
// CHECK-ENCODING: encoding: [0x00,0xd0,0x3e,0xd5]
// CHECK-UNKNOWN:  d53ed000 mrs x0, TPIDR3_EL3

mrs x0, VNCCR_EL2
// CHECK-INST: mrs x0, VNCCR_EL2
// CHECK-ENCODING: encoding: [0x20,0x22,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c2220 mrs x0, VNCCR_EL2

mrs x0, DPOCR_EL0
// CHECK-INST: mrs x0, DPOCR_EL0
// CHECK-ENCODING: encoding: [0x40,0x45,0x3b,0xd5]
// CHECK-UNKNOWN:  d53b4540 mrs x0, DPOCR_EL0

mrs x0, HCRMASK_EL2
// CHECK-INST: mrs x0, HCRMASK_EL2
// CHECK-ENCODING: encoding: [0xc0,0x15,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c15c0 mrs x0, HCRMASK_EL2

mrs x0, HCRXMASK_EL2
// CHECK-INST: mrs x0, HCRXMASK_EL2
// CHECK-ENCODING: encoding: [0xe0,0x15,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c15e0 mrs x0, HCRXMASK_EL2

mrs x0, HCR_EL2
// CHECK-INST: mrs x0, HCR_EL2
// CHECK-ENCODING: encoding: [0x00,0x11,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c1100 mrs x0, HCR_EL2

mrs x0, NVHCR_EL2
// CHECK-INST: mrs x0, NVHCR_EL2
// CHECK-ENCODING: encoding: [0x00,0x15,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c1500 mrs x0, NVHCR_EL2

mrs x0, NVHCRX_EL2
// CHECK-INST: mrs x0, NVHCRX_EL2
// CHECK-ENCODING: encoding: [0x20,0x15,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c1520 mrs x0, NVHCRX_EL2

mrs x0, NVHCRMASK_EL2
// CHECK-INST: mrs x0, NVHCRMASK_EL2
// CHECK-ENCODING: encoding: [0x80,0x15,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c1580 mrs x0, NVHCRMASK_EL2

mrs x0, NVHCRXMASK_EL2
// CHECK-INST: mrs x0, NVHCRXMASK_EL2
// CHECK-ENCODING: encoding: [0xa0,0x15,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c15a0 mrs x0, NVHCRXMASK_EL2

mrs x3, DPOTBR0_EL1
// CHECK-INST: mrs x3, DPOTBR0_EL1
// CHECK-ENCODING: encoding: [0xc3,0x20,0x38,0xd5]
// CHECK-UNKNOWN:  d53820c3 mrs x3, DPOTBR0_EL1

mrs x3, DPOTBR0_EL12
// CHECK-INST: mrs x3, DPOTBR0_EL12
// CHECK-ENCODING: encoding: [0xc3,0x20,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d20c3 mrs x3, DPOTBR0_EL12

mrs x3, DPOTBR1_EL1
// CHECK-INST: mrs x3, DPOTBR1_EL1
// CHECK-ENCODING: encoding: [0xe3,0x20,0x38,0xd5]
// CHECK-UNKNOWN:  d53820e3 mrs x3, DPOTBR1_EL1

mrs x3, DPOTBR1_EL12
// CHECK-INST: mrs x3, DPOTBR1_EL12
// CHECK-ENCODING: encoding: [0xe3,0x20,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d20e3 mrs x3, DPOTBR1_EL12

mrs x3, DPOTBR0_EL2
// CHECK-INST: mrs x3, DPOTBR0_EL2
// CHECK-ENCODING: encoding: [0xc3,0x20,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c20c3 mrs x3, DPOTBR0_EL2

mrs x3, DPOTBR1_EL2
// CHECK-INST: mrs x3, DPOTBR1_EL2
// CHECK-ENCODING: encoding: [0xe3,0x20,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c20e3 mrs x3, DPOTBR1_EL2

mrs x3, DPOTBR0_EL3
// CHECK-INST: mrs x3, DPOTBR0_EL3
// CHECK-ENCODING: encoding: [0xc3,0x20,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e20c3 mrs x3, DPOTBR0_EL3

mrs x3, IRTBRU_EL1
// CHECK-INST: mrs x3, IRTBRU_EL1
// CHECK-ENCODING: encoding: [0x83,0x20,0x38,0xd5]
// CHECK-UNKNOWN:  d5382083 mrs x3, IRTBRU_EL1

mrs x3, IRTBRU_EL12
// CHECK-INST: mrs x3, IRTBRU_EL12
// CHECK-ENCODING: encoding: [0x83,0x20,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d2083 mrs x3, IRTBRU_EL12

mrs x3, IRTBRP_EL1
// CHECK-INST: mrs x3, IRTBRP_EL1
// CHECK-ENCODING: encoding: [0xa3,0x20,0x38,0xd5]
// CHECK-UNKNOWN:  d53820a3 mrs x3, IRTBRP_EL1

mrs x3, IRTBRP_EL12
// CHECK-INST: mrs x3, IRTBRP_EL12
// CHECK-ENCODING: encoding: [0xa3,0x20,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d20a3 mrs x3, IRTBRP_EL12

mrs x3, IRTBRU_EL2
// CHECK-INST: mrs x3, IRTBRU_EL2
// CHECK-ENCODING: encoding: [0x83,0x20,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c2083 mrs x3, IRTBRU_EL2

mrs x3, IRTBRP_EL2
// CHECK-INST: mrs x3, IRTBRP_EL2
// CHECK-ENCODING: encoding: [0xa3,0x20,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c20a3 mrs x3, IRTBRP_EL2

mrs x3, IRTBRP_EL3
// CHECK-INST: mrs x3, IRTBRP_EL3
// CHECK-ENCODING: encoding: [0xa3,0x20,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e20a3 mrs x3, IRTBRP_EL3

mrs x3, TTTBRU_EL1
// CHECK-INST: mrs x3, TTTBRU_EL1
// CHECK-ENCODING: encoding: [0xc3,0xa2,0x38,0xd5]
// CHECK-UNKNOWN:  d538a2c3 mrs x3, TTTBRU_EL1

mrs x3, TTTBRU_EL12
// CHECK-INST: mrs x3, TTTBRU_EL12
// CHECK-ENCODING: encoding: [0xc3,0xa2,0x3d,0xd5]
// CHECK-UNKNOWN:  d53da2c3 mrs x3, TTTBRU_EL12

mrs x3, TTTBRP_EL1
// CHECK-INST: mrs x3, TTTBRP_EL1
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x38,0xd5]
// CHECK-UNKNOWN:  d538a2e3 mrs x3, TTTBRP_EL1

mrs x3, TTTBRP_EL12
// CHECK-INST: mrs x3, TTTBRP_EL12
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x3d,0xd5]
// CHECK-UNKNOWN:  d53da2e3 mrs x3, TTTBRP_EL12

mrs x3, TTTBRU_EL2
// CHECK-INST: mrs x3, TTTBRU_EL2
// CHECK-ENCODING: encoding: [0xc3,0xa2,0x3c,0xd5]
// CHECK-UNKNOWN:  d53ca2c3 mrs x3, TTTBRU_EL2

mrs x3, TTTBRP_EL2
// CHECK-INST: mrs x3, TTTBRP_EL2
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x3c,0xd5]
// CHECK-UNKNOWN:  d53ca2e3 mrs x3, TTTBRP_EL2

mrs x3, TTTBRP_EL3
// CHECK-INST: mrs x3, TTTBRP_EL3
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x3e,0xd5]
// CHECK-UNKNOWN:  d53ea2e3 mrs x3, TTTBRP_EL3

mrs x3, LDSTT_EL1
// CHECK-INST: mrs x3, LDSTT_EL1
// CHECK-ENCODING: encoding: [0xe3,0x21,0x38,0xd5]
// CHECK-UNKNOWN:  d53821e3 mrs x3, LDSTT_EL1

mrs x3, LDSTT_EL12
// CHECK-INST: mrs x3, LDSTT_EL12
// CHECK-ENCODING: encoding: [0xe3,0x21,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d21e3 mrs x3, LDSTT_EL12

mrs x3, LDSTT_EL2
// CHECK-INST: mrs x3, LDSTT_EL2
// CHECK-ENCODING: encoding: [0xe3,0x21,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c21e3 mrs x3, LDSTT_EL2

mrs x3, TINDEX_EL0
// CHECK-INST: mrs x3, TINDEX_EL0
// CHECK-ENCODING: encoding: [0x63,0x40,0x3b,0xd5]
// CHECK-UNKNOWN:  d53b4063 mrs x3, TINDEX_EL0

mrs x3, TINDEX_EL1
// CHECK-INST: mrs x3, TINDEX_EL1
// CHECK-ENCODING: encoding: [0x63,0x40,0x38,0xd5]
// CHECK-UNKNOWN:  d5384063 mrs x3, TINDEX_EL1

mrs x3, TINDEX_EL12
// CHECK-INST: mrs x3, TINDEX_EL12
// CHECK-ENCODING: encoding: [0x63,0x40,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d4063 mrs x3, TINDEX_EL12

mrs x3, TINDEX_EL2
// CHECK-INST: mrs x3, TINDEX_EL2
// CHECK-ENCODING: encoding: [0x63,0x40,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c4063 mrs x3, TINDEX_EL2

mrs x3, TINDEX_EL3
// CHECK-INST: mrs x3, TINDEX_EL3
// CHECK-ENCODING: encoding: [0x63,0x40,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e4063 mrs x3, TINDEX_EL3

mrs x3, STINDEX_EL1
// CHECK-INST: mrs x3, STINDEX_EL1
// CHECK-ENCODING: encoding: [0x43,0x40,0x38,0xd5]
// CHECK-UNKNOWN:  d5384043 mrs x3, STINDEX_EL1

mrs x3, STINDEX_EL12
// CHECK-INST: mrs x3, STINDEX_EL12
// CHECK-ENCODING: encoding: [0x43,0x40,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d4043 mrs x3, STINDEX_EL12

mrs x3, STINDEX_EL2
// CHECK-INST: mrs x3, STINDEX_EL2
// CHECK-ENCODING: encoding: [0x43,0x40,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c4043 mrs x3, STINDEX_EL2

mrs x3, STINDEX_EL3
// CHECK-INST: mrs x3, STINDEX_EL3
// CHECK-ENCODING: encoding: [0x43,0x40,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e4043 mrs x3, STINDEX_EL3

mrs x3, FGDTP0_EL1
// CHECK-INST: mrs x3, FGDTP0_EL1
// CHECK-ENCODING: encoding: [0x03,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d5383203 mrs x3, FGDTP0_EL1

mrs x3, FGDTU0_EL1
// CHECK-INST: mrs x3, FGDTU0_EL1
// CHECK-ENCODING: encoding: [0x03,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d5383403 mrs x3, FGDTU0_EL1

mrs x3, FGDTP0_EL2
// CHECK-INST: mrs x3, FGDTP0_EL2
// CHECK-ENCODING: encoding: [0x03,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3203 mrs x3, FGDTP0_EL2

mrs x3, FGDTU0_EL2
// CHECK-INST: mrs x3, FGDTU0_EL2
// CHECK-ENCODING: encoding: [0x03,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3403 mrs x3, FGDTU0_EL2

mrs x3, FGDTP0_EL12
// CHECK-INST: mrs x3, FGDTP0_EL12
// CHECK-ENCODING: encoding: [0x03,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3203 mrs x3, FGDTP0_EL12

mrs x3, FGDTU0_EL12
// CHECK-INST: mrs x3, FGDTU0_EL12
// CHECK-ENCODING: encoding: [0x03,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3403 mrs x3, FGDTU0_EL12

mrs x3, FGDTP0_EL3
// CHECK-INST: mrs x3, FGDTP0_EL3
// CHECK-ENCODING: encoding: [0x03,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3203 mrs x3, FGDTP0_EL3

mrs x3, FGDTP1_EL1
// CHECK-INST: mrs x3, FGDTP1_EL1
// CHECK-ENCODING: encoding: [0x23,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d5383223 mrs x3, FGDTP1_EL1

mrs x3, FGDTU1_EL1
// CHECK-INST: mrs x3, FGDTU1_EL1
// CHECK-ENCODING: encoding: [0x23,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d5383423 mrs x3, FGDTU1_EL1

mrs x3, FGDTP1_EL2
// CHECK-INST: mrs x3, FGDTP1_EL2
// CHECK-ENCODING: encoding: [0x23,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3223 mrs x3, FGDTP1_EL2

mrs x3, FGDTU1_EL2
// CHECK-INST: mrs x3, FGDTU1_EL2
// CHECK-ENCODING: encoding: [0x23,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3423 mrs x3, FGDTU1_EL2

mrs x3, FGDTP1_EL12
// CHECK-INST: mrs x3, FGDTP1_EL12
// CHECK-ENCODING: encoding: [0x23,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3223 mrs x3, FGDTP1_EL12

mrs x3, FGDTU1_EL12
// CHECK-INST: mrs x3, FGDTU1_EL12
// CHECK-ENCODING: encoding: [0x23,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3423 mrs x3, FGDTU1_EL12

mrs x3, FGDTP1_EL3
// CHECK-INST: mrs x3, FGDTP1_EL3
// CHECK-ENCODING: encoding: [0x23,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3223 mrs x3, FGDTP1_EL3

mrs x3, FGDTP2_EL1
// CHECK-INST: mrs x3, FGDTP2_EL1
// CHECK-ENCODING: encoding: [0x43,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d5383243 mrs x3, FGDTP2_EL1

mrs x3, FGDTU2_EL1
// CHECK-INST: mrs x3, FGDTU2_EL1
// CHECK-ENCODING: encoding: [0x43,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d5383443 mrs x3, FGDTU2_EL1

mrs x3, FGDTP2_EL2
// CHECK-INST: mrs x3, FGDTP2_EL2
// CHECK-ENCODING: encoding: [0x43,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3243 mrs x3, FGDTP2_EL2

mrs x3, FGDTU2_EL2
// CHECK-INST: mrs x3, FGDTU2_EL2
// CHECK-ENCODING: encoding: [0x43,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3443 mrs x3, FGDTU2_EL2

mrs x3, FGDTP2_EL12
// CHECK-INST: mrs x3, FGDTP2_EL12
// CHECK-ENCODING: encoding: [0x43,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3243 mrs x3, FGDTP2_EL12

mrs x3, FGDTU2_EL12
// CHECK-INST: mrs x3, FGDTU2_EL12
// CHECK-ENCODING: encoding: [0x43,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3443 mrs x3, FGDTU2_EL12

mrs x3, FGDTP2_EL3
// CHECK-INST: mrs x3, FGDTP2_EL3
// CHECK-ENCODING: encoding: [0x43,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3243 mrs x3, FGDTP2_EL3

mrs x3, FGDTP3_EL1
// CHECK-INST: mrs x3, FGDTP3_EL1
// CHECK-ENCODING: encoding: [0x63,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d5383263 mrs x3, FGDTP3_EL1

mrs x3, FGDTU3_EL1
// CHECK-INST: mrs x3, FGDTU3_EL1
// CHECK-ENCODING: encoding: [0x63,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d5383463 mrs x3, FGDTU3_EL1

mrs x3, FGDTP3_EL2
// CHECK-INST: mrs x3, FGDTP3_EL2
// CHECK-ENCODING: encoding: [0x63,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3263 mrs x3, FGDTP3_EL2

mrs x3, FGDTU3_EL2
// CHECK-INST: mrs x3, FGDTU3_EL2
// CHECK-ENCODING: encoding: [0x63,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3463 mrs x3, FGDTU3_EL2

mrs x3, FGDTP3_EL12
// CHECK-INST: mrs x3, FGDTP3_EL12
// CHECK-ENCODING: encoding: [0x63,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3263 mrs x3, FGDTP3_EL12

mrs x3, FGDTU3_EL12
// CHECK-INST: mrs x3, FGDTU3_EL12
// CHECK-ENCODING: encoding: [0x63,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3463 mrs x3, FGDTU3_EL12

mrs x3, FGDTP3_EL3
// CHECK-INST: mrs x3, FGDTP3_EL3
// CHECK-ENCODING: encoding: [0x63,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3263 mrs x3, FGDTP3_EL3

mrs x3, FGDTP4_EL1
// CHECK-INST: mrs x3, FGDTP4_EL1
// CHECK-ENCODING: encoding: [0x83,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d5383283 mrs x3, FGDTP4_EL1

mrs x3, FGDTU4_EL1
// CHECK-INST: mrs x3, FGDTU4_EL1
// CHECK-ENCODING: encoding: [0x83,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d5383483 mrs x3, FGDTU4_EL1

mrs x3, FGDTP4_EL2
// CHECK-INST: mrs x3, FGDTP4_EL2
// CHECK-ENCODING: encoding: [0x83,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3283 mrs x3, FGDTP4_EL2

mrs x3, FGDTU4_EL2
// CHECK-INST: mrs x3, FGDTU4_EL2
// CHECK-ENCODING: encoding: [0x83,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3483 mrs x3, FGDTU4_EL2

mrs x3, FGDTP4_EL12
// CHECK-INST: mrs x3, FGDTP4_EL12
// CHECK-ENCODING: encoding: [0x83,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3283 mrs x3, FGDTP4_EL12

mrs x3, FGDTU4_EL12
// CHECK-INST: mrs x3, FGDTU4_EL12
// CHECK-ENCODING: encoding: [0x83,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3483 mrs x3, FGDTU4_EL12

mrs x3, FGDTP4_EL3
// CHECK-INST: mrs x3, FGDTP4_EL3
// CHECK-ENCODING: encoding: [0x83,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3283 mrs x3, FGDTP4_EL3

mrs x3, FGDTP5_EL1
// CHECK-INST: mrs x3, FGDTP5_EL1
// CHECK-ENCODING: encoding: [0xa3,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d53832a3 mrs x3, FGDTP5_EL1

mrs x3, FGDTU5_EL1
// CHECK-INST: mrs x3, FGDTU5_EL1
// CHECK-ENCODING: encoding: [0xa3,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d53834a3 mrs x3, FGDTU5_EL1

mrs x3, FGDTP5_EL2
// CHECK-INST: mrs x3, FGDTP5_EL2
// CHECK-ENCODING: encoding: [0xa3,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c32a3 mrs x3, FGDTP5_EL2

mrs x3, FGDTU5_EL2
// CHECK-INST: mrs x3, FGDTU5_EL2
// CHECK-ENCODING: encoding: [0xa3,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c34a3 mrs x3, FGDTU5_EL2

mrs x3, FGDTP5_EL12
// CHECK-INST: mrs x3, FGDTP5_EL12
// CHECK-ENCODING: encoding: [0xa3,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d32a3 mrs x3, FGDTP5_EL12

mrs x3, FGDTU5_EL12
// CHECK-INST: mrs x3, FGDTU5_EL12
// CHECK-ENCODING: encoding: [0xa3,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d34a3 mrs x3, FGDTU5_EL12

mrs x3, FGDTP5_EL3
// CHECK-INST: mrs x3, FGDTP5_EL3
// CHECK-ENCODING: encoding: [0xa3,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e32a3 mrs x3, FGDTP5_EL3

mrs x3, FGDTP6_EL1
// CHECK-INST: mrs x3, FGDTP6_EL1
// CHECK-ENCODING: encoding: [0xc3,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d53832c3 mrs x3, FGDTP6_EL1

mrs x3, FGDTU6_EL1
// CHECK-INST: mrs x3, FGDTU6_EL1
// CHECK-ENCODING: encoding: [0xc3,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d53834c3 mrs x3, FGDTU6_EL1

mrs x3, FGDTP6_EL2
// CHECK-INST: mrs x3, FGDTP6_EL2
// CHECK-ENCODING: encoding: [0xc3,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c32c3 mrs x3, FGDTP6_EL2

mrs x3, FGDTU6_EL2
// CHECK-INST: mrs x3, FGDTU6_EL2
// CHECK-ENCODING: encoding: [0xc3,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c34c3 mrs x3, FGDTU6_EL2

mrs x3, FGDTP6_EL12
// CHECK-INST: mrs x3, FGDTP6_EL12
// CHECK-ENCODING: encoding: [0xc3,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d32c3 mrs x3, FGDTP6_EL12

mrs x3, FGDTU6_EL12
// CHECK-INST: mrs x3, FGDTU6_EL12
// CHECK-ENCODING: encoding: [0xc3,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d34c3 mrs x3, FGDTU6_EL12

mrs x3, FGDTP6_EL3
// CHECK-INST: mrs x3, FGDTP6_EL3
// CHECK-ENCODING: encoding: [0xc3,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e32c3 mrs x3, FGDTP6_EL3

mrs x3, FGDTP7_EL1
// CHECK-INST: mrs x3, FGDTP7_EL1
// CHECK-ENCODING: encoding: [0xe3,0x32,0x38,0xd5]
// CHECK-UNKNOWN:  d53832e3 mrs x3, FGDTP7_EL1

mrs x3, FGDTU7_EL1
// CHECK-INST: mrs x3, FGDTU7_EL1
// CHECK-ENCODING: encoding: [0xe3,0x34,0x38,0xd5]
// CHECK-UNKNOWN:  d53834e3 mrs x3, FGDTU7_EL1

mrs x3, FGDTP7_EL2
// CHECK-INST: mrs x3, FGDTP7_EL2
// CHECK-ENCODING: encoding: [0xe3,0x32,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c32e3 mrs x3, FGDTP7_EL2

mrs x3, FGDTU7_EL2
// CHECK-INST: mrs x3, FGDTU7_EL2
// CHECK-ENCODING: encoding: [0xe3,0x34,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c34e3 mrs x3, FGDTU7_EL2

mrs x3, FGDTP7_EL12
// CHECK-INST: mrs x3, FGDTP7_EL12
// CHECK-ENCODING: encoding: [0xe3,0x32,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d32e3 mrs x3, FGDTP7_EL12

mrs x3, FGDTU7_EL12
// CHECK-INST: mrs x3, FGDTU7_EL12
// CHECK-ENCODING: encoding: [0xe3,0x34,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d34e3 mrs x3, FGDTU7_EL12

mrs x3, FGDTP7_EL3
// CHECK-INST: mrs x3, FGDTP7_EL3
// CHECK-ENCODING: encoding: [0xe3,0x32,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e32e3 mrs x3, FGDTP7_EL3

mrs x3, FGDTP8_EL1
// CHECK-INST: mrs x3, FGDTP8_EL1
// CHECK-ENCODING: encoding: [0x03,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d5383303 mrs x3, FGDTP8_EL1

mrs x3, FGDTU8_EL1
// CHECK-INST: mrs x3, FGDTU8_EL1
// CHECK-ENCODING: encoding: [0x03,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d5383503 mrs x3, FGDTU8_EL1

mrs x3, FGDTP8_EL2
// CHECK-INST: mrs x3, FGDTP8_EL2
// CHECK-ENCODING: encoding: [0x03,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3303 mrs x3, FGDTP8_EL2

mrs x3, FGDTU8_EL2
// CHECK-INST: mrs x3, FGDTU8_EL2
// CHECK-ENCODING: encoding: [0x03,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3503 mrs x3, FGDTU8_EL2

mrs x3, FGDTP8_EL12
// CHECK-INST: mrs x3, FGDTP8_EL12
// CHECK-ENCODING: encoding: [0x03,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3303 mrs x3, FGDTP8_EL12

mrs x3, FGDTU8_EL12
// CHECK-INST: mrs x3, FGDTU8_EL12
// CHECK-ENCODING: encoding: [0x03,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3503 mrs x3, FGDTU8_EL12

mrs x3, FGDTP8_EL3
// CHECK-INST: mrs x3, FGDTP8_EL3
// CHECK-ENCODING: encoding: [0x03,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3303 mrs x3, FGDTP8_EL3

mrs x3, FGDTP9_EL1
// CHECK-INST: mrs x3, FGDTP9_EL1
// CHECK-ENCODING: encoding: [0x23,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d5383323 mrs x3, FGDTP9_EL1

mrs x3, FGDTU9_EL1
// CHECK-INST: mrs x3, FGDTU9_EL1
// CHECK-ENCODING: encoding: [0x23,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d5383523 mrs x3, FGDTU9_EL1

mrs x3, FGDTP9_EL2
// CHECK-INST: mrs x3, FGDTP9_EL2
// CHECK-ENCODING: encoding: [0x23,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3323 mrs x3, FGDTP9_EL2

mrs x3, FGDTU9_EL2
// CHECK-INST: mrs x3, FGDTU9_EL2
// CHECK-ENCODING: encoding: [0x23,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3523 mrs x3, FGDTU9_EL2

mrs x3, FGDTP9_EL12
// CHECK-INST: mrs x3, FGDTP9_EL12
// CHECK-ENCODING: encoding: [0x23,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3323 mrs x3, FGDTP9_EL12

mrs x3, FGDTU9_EL12
// CHECK-INST: mrs x3, FGDTU9_EL12
// CHECK-ENCODING: encoding: [0x23,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3523 mrs x3, FGDTU9_EL12

mrs x3, FGDTP9_EL3
// CHECK-INST: mrs x3, FGDTP9_EL3
// CHECK-ENCODING: encoding: [0x23,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3323 mrs x3, FGDTP9_EL3

mrs x3, FGDTP10_EL1
// CHECK-INST: mrs x3, FGDTP10_EL1
// CHECK-ENCODING: encoding: [0x43,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d5383343 mrs x3, FGDTP10_EL1

mrs x3, FGDTU10_EL1
// CHECK-INST: mrs x3, FGDTU10_EL1
// CHECK-ENCODING: encoding: [0x43,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d5383543 mrs x3, FGDTU10_EL1

mrs x3, FGDTP10_EL2
// CHECK-INST: mrs x3, FGDTP10_EL2
// CHECK-ENCODING: encoding: [0x43,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3343 mrs x3, FGDTP10_EL2

mrs x3, FGDTU10_EL2
// CHECK-INST: mrs x3, FGDTU10_EL2
// CHECK-ENCODING: encoding: [0x43,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3543 mrs x3, FGDTU10_EL2

mrs x3, FGDTP10_EL12
// CHECK-INST: mrs x3, FGDTP10_EL12
// CHECK-ENCODING: encoding: [0x43,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3343 mrs x3, FGDTP10_EL12

mrs x3, FGDTU10_EL12
// CHECK-INST: mrs x3, FGDTU10_EL12
// CHECK-ENCODING: encoding: [0x43,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3543 mrs x3, FGDTU10_EL12

mrs x3, FGDTP10_EL3
// CHECK-INST: mrs x3, FGDTP10_EL3
// CHECK-ENCODING: encoding: [0x43,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3343 mrs x3, FGDTP10_EL3

mrs x3, FGDTP11_EL1
// CHECK-INST: mrs x3, FGDTP11_EL1
// CHECK-ENCODING: encoding: [0x63,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d5383363 mrs x3, FGDTP11_EL1

mrs x3, FGDTU11_EL1
// CHECK-INST: mrs x3, FGDTU11_EL1
// CHECK-ENCODING: encoding: [0x63,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d5383563 mrs x3, FGDTU11_EL1

mrs x3, FGDTP11_EL2
// CHECK-INST: mrs x3, FGDTP11_EL2
// CHECK-ENCODING: encoding: [0x63,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3363 mrs x3, FGDTP11_EL2

mrs x3, FGDTU11_EL2
// CHECK-INST: mrs x3, FGDTU11_EL2
// CHECK-ENCODING: encoding: [0x63,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3563 mrs x3, FGDTU11_EL2

mrs x3, FGDTP11_EL12
// CHECK-INST: mrs x3, FGDTP11_EL12
// CHECK-ENCODING: encoding: [0x63,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3363 mrs x3, FGDTP11_EL12

mrs x3, FGDTU11_EL12
// CHECK-INST: mrs x3, FGDTU11_EL12
// CHECK-ENCODING: encoding: [0x63,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3563 mrs x3, FGDTU11_EL12

mrs x3, FGDTP11_EL3
// CHECK-INST: mrs x3, FGDTP11_EL3
// CHECK-ENCODING: encoding: [0x63,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3363 mrs x3, FGDTP11_EL3

mrs x3, FGDTP12_EL1
// CHECK-INST: mrs x3, FGDTP12_EL1
// CHECK-ENCODING: encoding: [0x83,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d5383383 mrs x3, FGDTP12_EL1

mrs x3, FGDTU12_EL1
// CHECK-INST: mrs x3, FGDTU12_EL1
// CHECK-ENCODING: encoding: [0x83,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d5383583 mrs x3, FGDTU12_EL1

mrs x3, FGDTP12_EL2
// CHECK-INST: mrs x3, FGDTP12_EL2
// CHECK-ENCODING: encoding: [0x83,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3383 mrs x3, FGDTP12_EL2

mrs x3, FGDTU12_EL2
// CHECK-INST: mrs x3, FGDTU12_EL2
// CHECK-ENCODING: encoding: [0x83,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3583 mrs x3, FGDTU12_EL2

mrs x3, FGDTP12_EL12
// CHECK-INST: mrs x3, FGDTP12_EL12
// CHECK-ENCODING: encoding: [0x83,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3383 mrs x3, FGDTP12_EL12

mrs x3, FGDTU12_EL12
// CHECK-INST: mrs x3, FGDTU12_EL12
// CHECK-ENCODING: encoding: [0x83,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3583 mrs x3, FGDTU12_EL12

mrs x3, FGDTP12_EL3
// CHECK-INST: mrs x3, FGDTP12_EL3
// CHECK-ENCODING: encoding: [0x83,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3383 mrs x3, FGDTP12_EL3

mrs x3, FGDTP13_EL1
// CHECK-INST: mrs x3, FGDTP13_EL1
// CHECK-ENCODING: encoding: [0xa3,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d53833a3 mrs x3, FGDTP13_EL1

mrs x3, FGDTU13_EL1
// CHECK-INST: mrs x3, FGDTU13_EL1
// CHECK-ENCODING: encoding: [0xa3,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d53835a3 mrs x3, FGDTU13_EL1

mrs x3, FGDTP13_EL2
// CHECK-INST: mrs x3, FGDTP13_EL2
// CHECK-ENCODING: encoding: [0xa3,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c33a3 mrs x3, FGDTP13_EL2

mrs x3, FGDTU13_EL2
// CHECK-INST: mrs x3, FGDTU13_EL2
// CHECK-ENCODING: encoding: [0xa3,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c35a3 mrs x3, FGDTU13_EL2

mrs x3, FGDTP13_EL12
// CHECK-INST: mrs x3, FGDTP13_EL12
// CHECK-ENCODING: encoding: [0xa3,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d33a3 mrs x3, FGDTP13_EL12

mrs x3, FGDTU13_EL12
// CHECK-INST: mrs x3, FGDTU13_EL12
// CHECK-ENCODING: encoding: [0xa3,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d35a3 mrs x3, FGDTU13_EL12

mrs x3, FGDTP13_EL3
// CHECK-INST: mrs x3, FGDTP13_EL3
// CHECK-ENCODING: encoding: [0xa3,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e33a3 mrs x3, FGDTP13_EL3

mrs x3, FGDTP14_EL1
// CHECK-INST: mrs x3, FGDTP14_EL1
// CHECK-ENCODING: encoding: [0xc3,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d53833c3 mrs x3, FGDTP14_EL1

mrs x3, FGDTU14_EL1
// CHECK-INST: mrs x3, FGDTU14_EL1
// CHECK-ENCODING: encoding: [0xc3,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d53835c3 mrs x3, FGDTU14_EL1

mrs x3, FGDTP14_EL2
// CHECK-INST: mrs x3, FGDTP14_EL2
// CHECK-ENCODING: encoding: [0xc3,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c33c3 mrs x3, FGDTP14_EL2

mrs x3, FGDTU14_EL2
// CHECK-INST: mrs x3, FGDTU14_EL2
// CHECK-ENCODING: encoding: [0xc3,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c35c3 mrs x3, FGDTU14_EL2

mrs x3, FGDTP14_EL12
// CHECK-INST: mrs x3, FGDTP14_EL12
// CHECK-ENCODING: encoding: [0xc3,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d33c3 mrs x3, FGDTP14_EL12

mrs x3, FGDTU14_EL12
// CHECK-INST: mrs x3, FGDTU14_EL12
// CHECK-ENCODING: encoding: [0xc3,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d35c3 mrs x3, FGDTU14_EL12

mrs x3, FGDTP14_EL3
// CHECK-INST: mrs x3, FGDTP14_EL3
// CHECK-ENCODING: encoding: [0xc3,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e33c3 mrs x3, FGDTP14_EL3

mrs x3, FGDTP15_EL1
// CHECK-INST: mrs x3, FGDTP15_EL1
// CHECK-ENCODING: encoding: [0xe3,0x33,0x38,0xd5]
// CHECK-UNKNOWN:  d53833e3 mrs x3, FGDTP15_EL1

mrs x3, FGDTU15_EL1
// CHECK-INST: mrs x3, FGDTU15_EL1
// CHECK-ENCODING: encoding: [0xe3,0x35,0x38,0xd5]
// CHECK-UNKNOWN:  d53835e3 mrs x3, FGDTU15_EL1

mrs x3, FGDTP15_EL2
// CHECK-INST: mrs x3, FGDTP15_EL2
// CHECK-ENCODING: encoding: [0xe3,0x33,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c33e3 mrs x3, FGDTP15_EL2

mrs x3, FGDTU15_EL2
// CHECK-INST: mrs x3, FGDTU15_EL2
// CHECK-ENCODING: encoding: [0xe3,0x35,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c35e3 mrs x3, FGDTU15_EL2

mrs x3, FGDTP15_EL12
// CHECK-INST: mrs x3, FGDTP15_EL12
// CHECK-ENCODING: encoding: [0xe3,0x33,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d33e3 mrs x3, FGDTP15_EL12

mrs x3, FGDTU15_EL12
// CHECK-INST: mrs x3, FGDTU15_EL12
// CHECK-ENCODING: encoding: [0xe3,0x35,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d35e3 mrs x3, FGDTU15_EL12

mrs x3, FGDTP15_EL3
// CHECK-INST: mrs x3, FGDTP15_EL3
// CHECK-ENCODING: encoding: [0xe3,0x33,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e33e3 mrs x3, FGDTP15_EL3

mrs x0, AFGDTP0_EL1
// CHECK-INST: mrs x0, AFGDTP0_EL1
// CHECK-ENCODING: encoding: [0x00,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d5383600 mrs x0, AFGDTP0_EL1

mrs x0, AFGDTU0_EL1
// CHECK-INST: mrs x0, AFGDTU0_EL1
// CHECK-ENCODING: encoding: [0x00,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d5383800 mrs x0, AFGDTU0_EL1

mrs x0, AFGDTP0_EL2
// CHECK-INST: mrs x0, AFGDTP0_EL2
// CHECK-ENCODING: encoding: [0x00,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3600 mrs x0, AFGDTP0_EL2

mrs x0, AFGDTU0_EL2
// CHECK-INST: mrs x0, AFGDTU0_EL2
// CHECK-ENCODING: encoding: [0x00,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3800 mrs x0, AFGDTU0_EL2

mrs x0, AFGDTP0_EL12
// CHECK-INST: mrs x0, AFGDTP0_EL12
// CHECK-ENCODING: encoding: [0x00,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3600 mrs x0, AFGDTP0_EL12

mrs x0, AFGDTU0_EL12
// CHECK-INST: mrs x0, AFGDTU0_EL12
// CHECK-ENCODING: encoding: [0x00,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3800 mrs x0, AFGDTU0_EL12

mrs x0, AFGDTP0_EL3
// CHECK-INST: mrs x0, AFGDTP0_EL3
// CHECK-ENCODING: encoding: [0x00,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3600 mrs x0, AFGDTP0_EL3

mrs x0, AFGDTP1_EL1
// CHECK-INST: mrs x0, AFGDTP1_EL1
// CHECK-ENCODING: encoding: [0x20,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d5383620 mrs x0, AFGDTP1_EL1

mrs x0, AFGDTU1_EL1
// CHECK-INST: mrs x0, AFGDTU1_EL1
// CHECK-ENCODING: encoding: [0x20,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d5383820 mrs x0, AFGDTU1_EL1

mrs x0, AFGDTP1_EL2
// CHECK-INST: mrs x0, AFGDTP1_EL2
// CHECK-ENCODING: encoding: [0x20,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3620 mrs x0, AFGDTP1_EL2

mrs x0, AFGDTU1_EL2
// CHECK-INST: mrs x0, AFGDTU1_EL2
// CHECK-ENCODING: encoding: [0x20,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3820 mrs x0, AFGDTU1_EL2

mrs x0, AFGDTP1_EL12
// CHECK-INST: mrs x0, AFGDTP1_EL12
// CHECK-ENCODING: encoding: [0x20,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3620 mrs x0, AFGDTP1_EL12

mrs x0, AFGDTU1_EL12
// CHECK-INST: mrs x0, AFGDTU1_EL12
// CHECK-ENCODING: encoding: [0x20,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3820 mrs x0, AFGDTU1_EL12

mrs x0, AFGDTP1_EL3
// CHECK-INST: mrs x0, AFGDTP1_EL3
// CHECK-ENCODING: encoding: [0x20,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3620 mrs x0, AFGDTP1_EL3

mrs x0, AFGDTP2_EL1
// CHECK-INST: mrs x0, AFGDTP2_EL1
// CHECK-ENCODING: encoding: [0x40,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d5383640 mrs x0, AFGDTP2_EL1

mrs x0, AFGDTU2_EL1
// CHECK-INST: mrs x0, AFGDTU2_EL1
// CHECK-ENCODING: encoding: [0x40,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d5383840 mrs x0, AFGDTU2_EL1

mrs x0, AFGDTP2_EL2
// CHECK-INST: mrs x0, AFGDTP2_EL2
// CHECK-ENCODING: encoding: [0x40,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3640 mrs x0, AFGDTP2_EL2

mrs x0, AFGDTU2_EL2
// CHECK-INST: mrs x0, AFGDTU2_EL2
// CHECK-ENCODING: encoding: [0x40,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3840 mrs x0, AFGDTU2_EL2

mrs x0, AFGDTP2_EL12
// CHECK-INST: mrs x0, AFGDTP2_EL12
// CHECK-ENCODING: encoding: [0x40,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3640 mrs x0, AFGDTP2_EL12

mrs x0, AFGDTU2_EL12
// CHECK-INST: mrs x0, AFGDTU2_EL12
// CHECK-ENCODING: encoding: [0x40,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3840 mrs x0, AFGDTU2_EL12

mrs x0, AFGDTP2_EL3
// CHECK-INST: mrs x0, AFGDTP2_EL3
// CHECK-ENCODING: encoding: [0x40,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3640 mrs x0, AFGDTP2_EL3

mrs x0, AFGDTP3_EL1
// CHECK-INST: mrs x0, AFGDTP3_EL1
// CHECK-ENCODING: encoding: [0x60,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d5383660 mrs x0, AFGDTP3_EL1

mrs x0, AFGDTU3_EL1
// CHECK-INST: mrs x0, AFGDTU3_EL1
// CHECK-ENCODING: encoding: [0x60,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d5383860 mrs x0, AFGDTU3_EL1

mrs x0, AFGDTP3_EL2
// CHECK-INST: mrs x0, AFGDTP3_EL2
// CHECK-ENCODING: encoding: [0x60,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3660 mrs x0, AFGDTP3_EL2

mrs x0, AFGDTU3_EL2
// CHECK-INST: mrs x0, AFGDTU3_EL2
// CHECK-ENCODING: encoding: [0x60,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3860 mrs x0, AFGDTU3_EL2

mrs x0, AFGDTP3_EL12
// CHECK-INST: mrs x0, AFGDTP3_EL12
// CHECK-ENCODING: encoding: [0x60,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3660 mrs x0, AFGDTP3_EL12

mrs x0, AFGDTU3_EL12
// CHECK-INST: mrs x0, AFGDTU3_EL12
// CHECK-ENCODING: encoding: [0x60,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3860 mrs x0, AFGDTU3_EL12

mrs x0, AFGDTP3_EL3
// CHECK-INST: mrs x0, AFGDTP3_EL3
// CHECK-ENCODING: encoding: [0x60,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3660 mrs x0, AFGDTP3_EL3

mrs x0, AFGDTP4_EL1
// CHECK-INST: mrs x0, AFGDTP4_EL1
// CHECK-ENCODING: encoding: [0x80,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d5383680 mrs x0, AFGDTP4_EL1

mrs x0, AFGDTU4_EL1
// CHECK-INST: mrs x0, AFGDTU4_EL1
// CHECK-ENCODING: encoding: [0x80,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d5383880 mrs x0, AFGDTU4_EL1

mrs x0, AFGDTP4_EL2
// CHECK-INST: mrs x0, AFGDTP4_EL2
// CHECK-ENCODING: encoding: [0x80,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3680 mrs x0, AFGDTP4_EL2

mrs x0, AFGDTU4_EL2
// CHECK-INST: mrs x0, AFGDTU4_EL2
// CHECK-ENCODING: encoding: [0x80,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3880 mrs x0, AFGDTU4_EL2

mrs x0, AFGDTP4_EL12
// CHECK-INST: mrs x0, AFGDTP4_EL12
// CHECK-ENCODING: encoding: [0x80,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3680 mrs x0, AFGDTP4_EL12

mrs x0, AFGDTU4_EL12
// CHECK-INST: mrs x0, AFGDTU4_EL12
// CHECK-ENCODING: encoding: [0x80,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3880 mrs x0, AFGDTU4_EL12

mrs x0, AFGDTP4_EL3
// CHECK-INST: mrs x0, AFGDTP4_EL3
// CHECK-ENCODING: encoding: [0x80,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3680 mrs x0, AFGDTP4_EL3

mrs x0, AFGDTP5_EL1
// CHECK-INST: mrs x0, AFGDTP5_EL1
// CHECK-ENCODING: encoding: [0xa0,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d53836a0 mrs x0, AFGDTP5_EL1

mrs x0, AFGDTU5_EL1
// CHECK-INST: mrs x0, AFGDTU5_EL1
// CHECK-ENCODING: encoding: [0xa0,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d53838a0 mrs x0, AFGDTU5_EL1

mrs x0, AFGDTP5_EL2
// CHECK-INST: mrs x0, AFGDTP5_EL2
// CHECK-ENCODING: encoding: [0xa0,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c36a0 mrs x0, AFGDTP5_EL2

mrs x0, AFGDTU5_EL2
// CHECK-INST: mrs x0, AFGDTU5_EL2
// CHECK-ENCODING: encoding: [0xa0,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c38a0 mrs x0, AFGDTU5_EL2

mrs x0, AFGDTP5_EL12
// CHECK-INST: mrs x0, AFGDTP5_EL12
// CHECK-ENCODING: encoding: [0xa0,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d36a0 mrs x0, AFGDTP5_EL12

mrs x0, AFGDTU5_EL12
// CHECK-INST: mrs x0, AFGDTU5_EL12
// CHECK-ENCODING: encoding: [0xa0,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d38a0 mrs x0, AFGDTU5_EL12

mrs x0, AFGDTP5_EL3
// CHECK-INST: mrs x0, AFGDTP5_EL3
// CHECK-ENCODING: encoding: [0xa0,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e36a0 mrs x0, AFGDTP5_EL3

mrs x0, AFGDTP6_EL1
// CHECK-INST: mrs x0, AFGDTP6_EL1
// CHECK-ENCODING: encoding: [0xc0,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d53836c0 mrs x0, AFGDTP6_EL1

mrs x0, AFGDTU6_EL1
// CHECK-INST: mrs x0, AFGDTU6_EL1
// CHECK-ENCODING: encoding: [0xc0,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d53838c0 mrs x0, AFGDTU6_EL1

mrs x0, AFGDTP6_EL2
// CHECK-INST: mrs x0, AFGDTP6_EL2
// CHECK-ENCODING: encoding: [0xc0,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c36c0 mrs x0, AFGDTP6_EL2

mrs x0, AFGDTU6_EL2
// CHECK-INST: mrs x0, AFGDTU6_EL2
// CHECK-ENCODING: encoding: [0xc0,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c38c0 mrs x0, AFGDTU6_EL2

mrs x0, AFGDTP6_EL12
// CHECK-INST: mrs x0, AFGDTP6_EL12
// CHECK-ENCODING: encoding: [0xc0,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d36c0 mrs x0, AFGDTP6_EL12

mrs x0, AFGDTU6_EL12
// CHECK-INST: mrs x0, AFGDTU6_EL12
// CHECK-ENCODING: encoding: [0xc0,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d38c0 mrs x0, AFGDTU6_EL12

mrs x0, AFGDTP6_EL3
// CHECK-INST: mrs x0, AFGDTP6_EL3
// CHECK-ENCODING: encoding: [0xc0,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e36c0 mrs x0, AFGDTP6_EL3

mrs x0, AFGDTP7_EL1
// CHECK-INST: mrs x0, AFGDTP7_EL1
// CHECK-ENCODING: encoding: [0xe0,0x36,0x38,0xd5]
// CHECK-UNKNOWN:  d53836e0 mrs x0, AFGDTP7_EL1

mrs x0, AFGDTU7_EL1
// CHECK-INST: mrs x0, AFGDTU7_EL1
// CHECK-ENCODING: encoding: [0xe0,0x38,0x38,0xd5]
// CHECK-UNKNOWN:  d53838e0 mrs x0, AFGDTU7_EL1

mrs x0, AFGDTP7_EL2
// CHECK-INST: mrs x0, AFGDTP7_EL2
// CHECK-ENCODING: encoding: [0xe0,0x36,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c36e0 mrs x0, AFGDTP7_EL2

mrs x0, AFGDTU7_EL2
// CHECK-INST: mrs x0, AFGDTU7_EL2
// CHECK-ENCODING: encoding: [0xe0,0x38,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c38e0 mrs x0, AFGDTU7_EL2

mrs x0, AFGDTP7_EL12
// CHECK-INST: mrs x0, AFGDTP7_EL12
// CHECK-ENCODING: encoding: [0xe0,0x36,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d36e0 mrs x0, AFGDTP7_EL12

mrs x0, AFGDTU7_EL12
// CHECK-INST: mrs x0, AFGDTU7_EL12
// CHECK-ENCODING: encoding: [0xe0,0x38,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d38e0 mrs x0, AFGDTU7_EL12

mrs x0, AFGDTP7_EL3
// CHECK-INST: mrs x0, AFGDTP7_EL3
// CHECK-ENCODING: encoding: [0xe0,0x36,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e36e0 mrs x0, AFGDTP7_EL3

mrs x0, AFGDTP8_EL1
// CHECK-INST: mrs x0, AFGDTP8_EL1
// CHECK-ENCODING: encoding: [0x00,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d5383700 mrs x0, AFGDTP8_EL1

mrs x0, AFGDTU8_EL1
// CHECK-INST: mrs x0, AFGDTU8_EL1
// CHECK-ENCODING: encoding: [0x00,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d5383900 mrs x0, AFGDTU8_EL1

mrs x0, AFGDTP8_EL2
// CHECK-INST: mrs x0, AFGDTP8_EL2
// CHECK-ENCODING: encoding: [0x00,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3700 mrs x0, AFGDTP8_EL2

mrs x0, AFGDTU8_EL2
// CHECK-INST: mrs x0, AFGDTU8_EL2
// CHECK-ENCODING: encoding: [0x00,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3900 mrs x0, AFGDTU8_EL2

mrs x0, AFGDTP8_EL12
// CHECK-INST: mrs x0, AFGDTP8_EL12
// CHECK-ENCODING: encoding: [0x00,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3700 mrs x0, AFGDTP8_EL12

mrs x0, AFGDTU8_EL12
// CHECK-INST: mrs x0, AFGDTU8_EL12
// CHECK-ENCODING: encoding: [0x00,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3900 mrs x0, AFGDTU8_EL12

mrs x0, AFGDTP8_EL3
// CHECK-INST: mrs x0, AFGDTP8_EL3
// CHECK-ENCODING: encoding: [0x00,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3700 mrs x0, AFGDTP8_EL3

mrs x0, AFGDTP9_EL1
// CHECK-INST: mrs x0, AFGDTP9_EL1
// CHECK-ENCODING: encoding: [0x20,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d5383720 mrs x0, AFGDTP9_EL1

mrs x0, AFGDTU9_EL1
// CHECK-INST: mrs x0, AFGDTU9_EL1
// CHECK-ENCODING: encoding: [0x20,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d5383920 mrs x0, AFGDTU9_EL1

mrs x0, AFGDTP9_EL2
// CHECK-INST: mrs x0, AFGDTP9_EL2
// CHECK-ENCODING: encoding: [0x20,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3720 mrs x0, AFGDTP9_EL2

mrs x0, AFGDTU9_EL2
// CHECK-INST: mrs x0, AFGDTU9_EL2
// CHECK-ENCODING: encoding: [0x20,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3920 mrs x0, AFGDTU9_EL2

mrs x0, AFGDTP9_EL12
// CHECK-INST: mrs x0, AFGDTP9_EL12
// CHECK-ENCODING: encoding: [0x20,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3720 mrs x0, AFGDTP9_EL12

mrs x0, AFGDTU9_EL12
// CHECK-INST: mrs x0, AFGDTU9_EL12
// CHECK-ENCODING: encoding: [0x20,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3920 mrs x0, AFGDTU9_EL12

mrs x0, AFGDTP9_EL3
// CHECK-INST: mrs x0, AFGDTP9_EL3
// CHECK-ENCODING: encoding: [0x20,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3720 mrs x0, AFGDTP9_EL3

mrs x0, AFGDTP10_EL1
// CHECK-INST: mrs x0, AFGDTP10_EL1
// CHECK-ENCODING: encoding: [0x40,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d5383740 mrs x0, AFGDTP10_EL1

mrs x0, AFGDTU10_EL1
// CHECK-INST: mrs x0, AFGDTU10_EL1
// CHECK-ENCODING: encoding: [0x40,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d5383940 mrs x0, AFGDTU10_EL1

mrs x0, AFGDTP10_EL2
// CHECK-INST: mrs x0, AFGDTP10_EL2
// CHECK-ENCODING: encoding: [0x40,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3740 mrs x0, AFGDTP10_EL2

mrs x0, AFGDTU10_EL2
// CHECK-INST: mrs x0, AFGDTU10_EL2
// CHECK-ENCODING: encoding: [0x40,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3940 mrs x0, AFGDTU10_EL2

mrs x0, AFGDTP10_EL12
// CHECK-INST: mrs x0, AFGDTP10_EL12
// CHECK-ENCODING: encoding: [0x40,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3740 mrs x0, AFGDTP10_EL12

mrs x0, AFGDTU10_EL12
// CHECK-INST: mrs x0, AFGDTU10_EL12
// CHECK-ENCODING: encoding: [0x40,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3940 mrs x0, AFGDTU10_EL12

mrs x0, AFGDTP10_EL3
// CHECK-INST: mrs x0, AFGDTP10_EL3
// CHECK-ENCODING: encoding: [0x40,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3740 mrs x0, AFGDTP10_EL3

mrs x0, AFGDTP11_EL1
// CHECK-INST: mrs x0, AFGDTP11_EL1
// CHECK-ENCODING: encoding: [0x60,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d5383760 mrs x0, AFGDTP11_EL1

mrs x0, AFGDTU11_EL1
// CHECK-INST: mrs x0, AFGDTU11_EL1
// CHECK-ENCODING: encoding: [0x60,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d5383960 mrs x0, AFGDTU11_EL1

mrs x0, AFGDTP11_EL2
// CHECK-INST: mrs x0, AFGDTP11_EL2
// CHECK-ENCODING: encoding: [0x60,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3760 mrs x0, AFGDTP11_EL2

mrs x0, AFGDTU11_EL2
// CHECK-INST: mrs x0, AFGDTU11_EL2
// CHECK-ENCODING: encoding: [0x60,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3960 mrs x0, AFGDTU11_EL2

mrs x0, AFGDTP11_EL12
// CHECK-INST: mrs x0, AFGDTP11_EL12
// CHECK-ENCODING: encoding: [0x60,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3760 mrs x0, AFGDTP11_EL12

mrs x0, AFGDTU11_EL12
// CHECK-INST: mrs x0, AFGDTU11_EL12
// CHECK-ENCODING: encoding: [0x60,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3960 mrs x0, AFGDTU11_EL12

mrs x0, AFGDTP11_EL3
// CHECK-INST: mrs x0, AFGDTP11_EL3
// CHECK-ENCODING: encoding: [0x60,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3760 mrs x0, AFGDTP11_EL3

mrs x0, AFGDTP12_EL1
// CHECK-INST: mrs x0, AFGDTP12_EL1
// CHECK-ENCODING: encoding: [0x80,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d5383780 mrs x0, AFGDTP12_EL1

mrs x0, AFGDTU12_EL1
// CHECK-INST: mrs x0, AFGDTU12_EL1
// CHECK-ENCODING: encoding: [0x80,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d5383980 mrs x0, AFGDTU12_EL1

mrs x0, AFGDTP12_EL2
// CHECK-INST: mrs x0, AFGDTP12_EL2
// CHECK-ENCODING: encoding: [0x80,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3780 mrs x0, AFGDTP12_EL2

mrs x0, AFGDTU12_EL2
// CHECK-INST: mrs x0, AFGDTU12_EL2
// CHECK-ENCODING: encoding: [0x80,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c3980 mrs x0, AFGDTU12_EL2

mrs x0, AFGDTP12_EL12
// CHECK-INST: mrs x0, AFGDTP12_EL12
// CHECK-ENCODING: encoding: [0x80,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3780 mrs x0, AFGDTP12_EL12

mrs x0, AFGDTU12_EL12
// CHECK-INST: mrs x0, AFGDTU12_EL12
// CHECK-ENCODING: encoding: [0x80,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d3980 mrs x0, AFGDTU12_EL12

mrs x0, AFGDTP12_EL3
// CHECK-INST: mrs x0, AFGDTP12_EL3
// CHECK-ENCODING: encoding: [0x80,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e3780 mrs x0, AFGDTP12_EL3

mrs x0, AFGDTP13_EL1
// CHECK-INST: mrs x0, AFGDTP13_EL1
// CHECK-ENCODING: encoding: [0xa0,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d53837a0 mrs x0, AFGDTP13_EL1

mrs x0, AFGDTU13_EL1
// CHECK-INST: mrs x0, AFGDTU13_EL1
// CHECK-ENCODING: encoding: [0xa0,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d53839a0 mrs x0, AFGDTU13_EL1

mrs x0, AFGDTP13_EL2
// CHECK-INST: mrs x0, AFGDTP13_EL2
// CHECK-ENCODING: encoding: [0xa0,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c37a0 mrs x0, AFGDTP13_EL2

mrs x0, AFGDTU13_EL2
// CHECK-INST: mrs x0, AFGDTU13_EL2
// CHECK-ENCODING: encoding: [0xa0,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c39a0 mrs x0, AFGDTU13_EL2

mrs x0, AFGDTP13_EL12
// CHECK-INST: mrs x0, AFGDTP13_EL12
// CHECK-ENCODING: encoding: [0xa0,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d37a0 mrs x0, AFGDTP13_EL12

mrs x0, AFGDTU13_EL12
// CHECK-INST: mrs x0, AFGDTU13_EL12
// CHECK-ENCODING: encoding: [0xa0,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d39a0 mrs x0, AFGDTU13_EL12

mrs x0, AFGDTP13_EL3
// CHECK-INST: mrs x0, AFGDTP13_EL3
// CHECK-ENCODING: encoding: [0xa0,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e37a0 mrs x0, AFGDTP13_EL3

mrs x0, AFGDTP14_EL1
// CHECK-INST: mrs x0, AFGDTP14_EL1
// CHECK-ENCODING: encoding: [0xc0,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d53837c0 mrs x0, AFGDTP14_EL1

mrs x0, AFGDTU14_EL1
// CHECK-INST: mrs x0, AFGDTU14_EL1
// CHECK-ENCODING: encoding: [0xc0,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d53839c0 mrs x0, AFGDTU14_EL1

mrs x0, AFGDTP14_EL2
// CHECK-INST: mrs x0, AFGDTP14_EL2
// CHECK-ENCODING: encoding: [0xc0,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c37c0 mrs x0, AFGDTP14_EL2

mrs x0, AFGDTU14_EL2
// CHECK-INST: mrs x0, AFGDTU14_EL2
// CHECK-ENCODING: encoding: [0xc0,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c39c0 mrs x0, AFGDTU14_EL2

mrs x0, AFGDTP14_EL12
// CHECK-INST: mrs x0, AFGDTP14_EL12
// CHECK-ENCODING: encoding: [0xc0,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d37c0 mrs x0, AFGDTP14_EL12

mrs x0, AFGDTU14_EL12
// CHECK-INST: mrs x0, AFGDTU14_EL12
// CHECK-ENCODING: encoding: [0xc0,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d39c0 mrs x0, AFGDTU14_EL12

mrs x0, AFGDTP14_EL3
// CHECK-INST: mrs x0, AFGDTP14_EL3
// CHECK-ENCODING: encoding: [0xc0,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e37c0 mrs x0, AFGDTP14_EL3

mrs x0, AFGDTP15_EL1
// CHECK-INST: mrs x0, AFGDTP15_EL1
// CHECK-ENCODING: encoding: [0xe0,0x37,0x38,0xd5]
// CHECK-UNKNOWN:  d53837e0 mrs x0, AFGDTP15_EL1

mrs x0, AFGDTU15_EL1
// CHECK-INST: mrs x0, AFGDTU15_EL1
// CHECK-ENCODING: encoding: [0xe0,0x39,0x38,0xd5]
// CHECK-UNKNOWN:  d53839e0 mrs x0, AFGDTU15_EL1

mrs x0, AFGDTP15_EL2
// CHECK-INST: mrs x0, AFGDTP15_EL2
// CHECK-ENCODING: encoding: [0xe0,0x37,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c37e0 mrs x0, AFGDTP15_EL2

mrs x0, AFGDTU15_EL2
// CHECK-INST: mrs x0, AFGDTU15_EL2
// CHECK-ENCODING: encoding: [0xe0,0x39,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c39e0 mrs x0, AFGDTU15_EL2

mrs x0, AFGDTP15_EL12
// CHECK-INST: mrs x0, AFGDTP15_EL12
// CHECK-ENCODING: encoding: [0xe0,0x37,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d37e0 mrs x0, AFGDTP15_EL12

mrs x0, AFGDTU15_EL12
// CHECK-INST: mrs x0, AFGDTU15_EL12
// CHECK-ENCODING: encoding: [0xe0,0x39,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d39e0 mrs x0, AFGDTU15_EL12

mrs x0, AFGDTP15_EL3
// CHECK-INST: mrs x0, AFGDTP15_EL3
// CHECK-ENCODING: encoding: [0xe0,0x37,0x3e,0xd5]
// CHECK-UNKNOWN:  d53e37e0 mrs x0, AFGDTP15_EL3

mrs x2, TPMIN0_EL0
// CHECK-INST: mrs x2, TPMIN0_EL0
// CHECK-ENCODING: encoding: [0x82,0x22,0x3b,0xd5]
// CHECK-UNKNOWN:  d53b2282 mrs x2, TPMIN0_EL0

mrs x2, TPMAX0_EL0
// CHECK-INST: mrs x2, TPMAX0_EL0
// CHECK-ENCODING: encoding: [0xa2,0x22,0x3b,0xd5]
// CHECK-UNKNOWN:  d53b22a2 mrs x2, TPMAX0_EL0

mrs x2, TPMIN1_EL0
// CHECK-INST: mrs x2, TPMIN1_EL0
// CHECK-ENCODING: encoding: [0xc2,0x22,0x3b,0xd5]
// CHECK-UNKNOWN:  d53b22c2 mrs x2, TPMIN1_EL0

mrs x2, TPMAX1_EL0
// CHECK-INST: mrs x2, TPMAX1_EL0
// CHECK-ENCODING: encoding: [0xe2,0x22,0x3b,0xd5]
// CHECK-UNKNOWN:  d53b22e2 mrs x2, TPMAX1_EL0

mrs x2, TPMIN0_EL1
// CHECK-INST: mrs x2, TPMIN0_EL1
// CHECK-ENCODING: encoding: [0x82,0x22,0x38,0xd5]
// CHECK-UNKNOWN:  d5382282 mrs x2, TPMIN0_EL1

mrs x2, TPMAX0_EL1
// CHECK-INST: mrs x2, TPMAX0_EL1
// CHECK-ENCODING: encoding: [0xa2,0x22,0x38,0xd5]
// CHECK-UNKNOWN:  d53822a2 mrs x2, TPMAX0_EL1

mrs x2, TPMIN1_EL1
// CHECK-INST: mrs x2, TPMIN1_EL1
// CHECK-ENCODING: encoding: [0xc2,0x22,0x38,0xd5]
// CHECK-UNKNOWN:  d53822c2 mrs x2, TPMIN1_EL1

mrs x2, TPMAX1_EL1
// CHECK-INST: mrs x2, TPMAX1_EL1
// CHECK-ENCODING: encoding: [0xe2,0x22,0x38,0xd5]
// CHECK-UNKNOWN:  d53822e2 mrs x2, TPMAX1_EL1

mrs x2, TPMIN0_EL2
// CHECK-INST: mrs x2, TPMIN0_EL2
// CHECK-ENCODING: encoding: [0x82,0x22,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c2282 mrs x2, TPMIN0_EL2

mrs x2, TPMAX0_EL2
// CHECK-INST: mrs x2, TPMAX0_EL2
// CHECK-ENCODING: encoding: [0xa2,0x22,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c22a2 mrs x2, TPMAX0_EL2

mrs x2, TPMIN1_EL2
// CHECK-INST: mrs x2, TPMIN1_EL2
// CHECK-ENCODING: encoding: [0xc2,0x22,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c22c2 mrs x2, TPMIN1_EL2

mrs x2, TPMAX1_EL2
// CHECK-INST: mrs x2, TPMAX1_EL2
// CHECK-ENCODING: encoding: [0xe2,0x22,0x3c,0xd5]
// CHECK-UNKNOWN:  d53c22e2 mrs x2, TPMAX1_EL2

mrs x2, TPMIN0_EL12
// CHECK-INST: mrs x2, TPMIN0_EL12
// CHECK-ENCODING: encoding: [0x82,0x22,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d2282 mrs x2, TPMIN0_EL12

mrs x2, TPMAX0_EL12
// CHECK-INST: mrs x2, TPMAX0_EL12
// CHECK-ENCODING: encoding: [0xa2,0x22,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d22a2 mrs x2, TPMAX0_EL12

mrs x2, TPMIN1_EL12
// CHECK-INST: mrs x2, TPMIN1_EL12
// CHECK-ENCODING: encoding: [0xc2,0x22,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d22c2 mrs x2, TPMIN1_EL12

mrs x2, TPMAX1_EL12
// CHECK-INST: mrs x2, TPMAX1_EL12
// CHECK-ENCODING: encoding: [0xe2,0x22,0x3d,0xd5]
// CHECK-UNKNOWN:  d53d22e2 mrs x2, TPMAX1_EL12


msr TPIDR3_EL0, x0
// CHECK-INST: msr TPIDR3_EL0, x0
// CHECK-ENCODING: encoding: [0x00,0xd0,0x1b,0xd5]
// CHECK-UNKNOWN:  d51bd000 msr TPIDR3_EL0, x0

msr TPIDR3_EL1, x0
// CHECK-INST: msr TPIDR3_EL1, x0
// CHECK-ENCODING: encoding: [0x00,0xd0,0x18,0xd5]
// CHECK-UNKNOWN:  d518d000 msr TPIDR3_EL1, x0

msr TPIDR3_EL12, x0
// CHECK-INST: msr TPIDR3_EL12, x0
// CHECK-ENCODING: encoding: [0x00,0xd0,0x1d,0xd5]
// CHECK-UNKNOWN:  d51dd000 msr TPIDR3_EL12, x0

msr TPIDR3_EL2, x0
// CHECK-INST: msr TPIDR3_EL2, x0
// CHECK-ENCODING: encoding: [0x00,0xd0,0x1c,0xd5]
// CHECK-UNKNOWN:  d51cd000 msr TPIDR3_EL2, x0

msr TPIDR3_EL3, x0
// CHECK-INST: msr TPIDR3_EL3, x0
// CHECK-ENCODING: encoding: [0x00,0xd0,0x1e,0xd5]
// CHECK-UNKNOWN:  d51ed000 msr TPIDR3_EL3, x0

msr VNCCR_EL2, x0
// CHECK-INST: msr VNCCR_EL2, x0
// CHECK-ENCODING: encoding: [0x20,0x22,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c2220 msr VNCCR_EL2, x0

msr DPOCR_EL0, x0
// CHECK-INST: msr DPOCR_EL0, x0
// CHECK-ENCODING: encoding: [0x40,0x45,0x1b,0xd5]
// CHECK-UNKNOWN:  d51b4540 msr DPOCR_EL0, x0

msr HCRMASK_EL2, x0
// CHECK-INST: msr HCRMASK_EL2, x0
// CHECK-ENCODING: encoding: [0xc0,0x15,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c15c0 msr HCRMASK_EL2, x0

msr HCRXMASK_EL2, x0
// CHECK-INST: msr HCRXMASK_EL2, x0
// CHECK-ENCODING: encoding: [0xe0,0x15,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c15e0 msr HCRXMASK_EL2, x0

msr HCR_EL2, x0
// CHECK-INST: msr HCR_EL2, x0
// CHECK-ENCODING: encoding: [0x00,0x11,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c1100 msr HCR_EL2, x0

msr NVHCR_EL2, x0
// CHECK-INST: msr NVHCR_EL2, x0
// CHECK-ENCODING: encoding: [0x00,0x15,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c1500 msr NVHCR_EL2, x0

msr NVHCRX_EL2, x0
// CHECK-INST: msr NVHCRX_EL2, x0
// CHECK-ENCODING: encoding: [0x20,0x15,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c1520 msr NVHCRX_EL2, x0

msr NVHCRMASK_EL2, x0
// CHECK-INST: msr NVHCRMASK_EL2, x0
// CHECK-ENCODING: encoding: [0x80,0x15,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c1580 msr NVHCRMASK_EL2, x0

msr NVHCRXMASK_EL2, x0
// CHECK-INST: msr NVHCRXMASK_EL2, x0
// CHECK-ENCODING: encoding: [0xa0,0x15,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c15a0 msr NVHCRXMASK_EL2, x0

msr DPOTBR0_EL1, x3
// CHECK-INST: msr DPOTBR0_EL1, x3
// CHECK-ENCODING: encoding: [0xc3,0x20,0x18,0xd5]
// CHECK-UNKNOWN:  d51820c3 msr DPOTBR0_EL1, x3

msr DPOTBR0_EL12, x3
// CHECK-INST: msr DPOTBR0_EL12, x3
// CHECK-ENCODING: encoding: [0xc3,0x20,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d20c3 msr DPOTBR0_EL12, x3

msr DPOTBR1_EL1, x3
// CHECK-INST: msr DPOTBR1_EL1, x3
// CHECK-ENCODING: encoding: [0xe3,0x20,0x18,0xd5]
// CHECK-UNKNOWN:  d51820e3 msr DPOTBR1_EL1, x3

msr DPOTBR1_EL12, x3
// CHECK-INST: msr DPOTBR1_EL12, x3
// CHECK-ENCODING: encoding: [0xe3,0x20,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d20e3 msr DPOTBR1_EL12, x3

msr DPOTBR0_EL2, x3
// CHECK-INST: msr DPOTBR0_EL2, x3
// CHECK-ENCODING: encoding: [0xc3,0x20,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c20c3 msr DPOTBR0_EL2, x3

msr DPOTBR1_EL2, x3
// CHECK-INST: msr DPOTBR1_EL2, x3
// CHECK-ENCODING: encoding: [0xe3,0x20,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c20e3 msr DPOTBR1_EL2, x3

msr DPOTBR0_EL3, x3
// CHECK-INST: msr DPOTBR0_EL3, x3
// CHECK-ENCODING: encoding: [0xc3,0x20,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e20c3 msr DPOTBR0_EL3, x3

msr IRTBRU_EL1, x3
// CHECK-INST: msr IRTBRU_EL1, x3
// CHECK-ENCODING: encoding: [0x83,0x20,0x18,0xd5]
// CHECK-UNKNOWN:  d5182083 msr IRTBRU_EL1, x3

msr IRTBRU_EL12, x3
// CHECK-INST: msr IRTBRU_EL12, x3
// CHECK-ENCODING: encoding: [0x83,0x20,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d2083 msr IRTBRU_EL12, x3

msr IRTBRP_EL1, x3
// CHECK-INST: msr IRTBRP_EL1, x3
// CHECK-ENCODING: encoding: [0xa3,0x20,0x18,0xd5]
// CHECK-UNKNOWN:  d51820a3 msr IRTBRP_EL1, x3

msr IRTBRP_EL12, x3
// CHECK-INST: msr IRTBRP_EL12, x3
// CHECK-ENCODING: encoding: [0xa3,0x20,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d20a3 msr IRTBRP_EL12, x3

msr IRTBRU_EL2, x3
// CHECK-INST: msr IRTBRU_EL2, x3
// CHECK-ENCODING: encoding: [0x83,0x20,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c2083 msr IRTBRU_EL2, x3

msr IRTBRP_EL2, x3
// CHECK-INST: msr IRTBRP_EL2, x3
// CHECK-ENCODING: encoding: [0xa3,0x20,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c20a3 msr IRTBRP_EL2, x3

msr IRTBRP_EL3, x3
// CHECK-INST: msr IRTBRP_EL3, x3
// CHECK-ENCODING: encoding: [0xa3,0x20,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e20a3 msr IRTBRP_EL3, x3

msr TTTBRU_EL1, x3
// CHECK-INST: msr TTTBRU_EL1, x3
// CHECK-ENCODING: encoding: [0xc3,0xa2,0x18,0xd5]
// CHECK-UNKNOWN:  d518a2c3 msr TTTBRU_EL1, x3

msr TTTBRU_EL12, x3
// CHECK-INST: msr TTTBRU_EL12, x3
// CHECK-ENCODING: encoding: [0xc3,0xa2,0x1d,0xd5]
// CHECK-UNKNOWN:  d51da2c3 msr TTTBRU_EL12, x3

msr TTTBRP_EL1, x3
// CHECK-INST: msr TTTBRP_EL1, x3
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x18,0xd5]
// CHECK-UNKNOWN:  d518a2e3 msr TTTBRP_EL1, x3

msr TTTBRP_EL12, x3
// CHECK-INST: msr TTTBRP_EL12, x3
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x1d,0xd5]
// CHECK-UNKNOWN:  d51da2e3 msr TTTBRP_EL12, x3

msr TTTBRU_EL2, x3
// CHECK-INST: msr TTTBRU_EL2, x3
// CHECK-ENCODING: encoding: [0xc3,0xa2,0x1c,0xd5]
// CHECK-UNKNOWN:  d51ca2c3 msr TTTBRU_EL2, x3

msr TTTBRP_EL2, x3
// CHECK-INST: msr TTTBRP_EL2, x3
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x1c,0xd5]
// CHECK-UNKNOWN:  d51ca2e3 msr TTTBRP_EL2, x3

msr TTTBRP_EL3, x3
// CHECK-INST: msr TTTBRP_EL3, x3
// CHECK-ENCODING: encoding: [0xe3,0xa2,0x1e,0xd5]
// CHECK-UNKNOWN:  d51ea2e3 msr TTTBRP_EL3, x3

msr LDSTT_EL1, x3
// CHECK-INST: msr LDSTT_EL1, x3
// CHECK-ENCODING: encoding: [0xe3,0x21,0x18,0xd5]
// CHECK-UNKNOWN:  d51821e3 msr LDSTT_EL1, x3

msr LDSTT_EL12, x3
// CHECK-INST: msr LDSTT_EL12, x3
// CHECK-ENCODING: encoding: [0xe3,0x21,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d21e3 msr LDSTT_EL12, x3

msr LDSTT_EL2, x3
// CHECK-INST: msr LDSTT_EL2, x3
// CHECK-ENCODING: encoding: [0xe3,0x21,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c21e3 msr LDSTT_EL2, x3

msr TINDEX_EL0, x3
// CHECK-INST: msr TINDEX_EL0, x3
// CHECK-ENCODING: encoding: [0x63,0x40,0x1b,0xd5]
// CHECK-UNKNOWN:  d51b4063 msr TINDEX_EL0, x3

msr TINDEX_EL1, x3
// CHECK-INST: msr TINDEX_EL1, x3
// CHECK-ENCODING: encoding: [0x63,0x40,0x18,0xd5]
// CHECK-UNKNOWN:  d5184063 msr TINDEX_EL1, x3

msr TINDEX_EL2, x3
// CHECK-INST: msr TINDEX_EL2, x3
// CHECK-ENCODING: encoding: [0x63,0x40,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c4063 msr TINDEX_EL2, x3

msr TINDEX_EL12, x3
// CHECK-INST: msr TINDEX_EL12, x3
// CHECK-ENCODING: encoding: [0x63,0x40,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d4063 msr TINDEX_EL12, x3

msr TINDEX_EL3, x3
// CHECK-INST: msr TINDEX_EL3, x3
// CHECK-ENCODING: encoding: [0x63,0x40,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e4063 msr TINDEX_EL3, x3

msr STINDEX_EL1, x3
// CHECK-INST: msr STINDEX_EL1, x3
// CHECK-ENCODING: encoding: [0x43,0x40,0x18,0xd5]
// CHECK-UNKNOWN:  d5184043 msr STINDEX_EL1, x3

msr STINDEX_EL2, x3
// CHECK-INST: msr STINDEX_EL2, x3
// CHECK-ENCODING: encoding: [0x43,0x40,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c4043 msr STINDEX_EL2, x3

msr STINDEX_EL12, x3
// CHECK-INST: msr STINDEX_EL12, x3
// CHECK-ENCODING: encoding: [0x43,0x40,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d4043 msr STINDEX_EL12, x3

msr STINDEX_EL3, x3
// CHECK-INST: msr STINDEX_EL3, x3
// CHECK-ENCODING: encoding: [0x43,0x40,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e4043 msr STINDEX_EL3, x3

msr FGDTP0_EL1, x3
// CHECK-INST: msr FGDTP0_EL1, x3
// CHECK-ENCODING: encoding: [0x03,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d5183203 msr FGDTP0_EL1, x3

msr FGDTU0_EL1, x3
// CHECK-INST: msr FGDTU0_EL1, x3
// CHECK-ENCODING: encoding: [0x03,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d5183403 msr FGDTU0_EL1, x3

msr FGDTP0_EL2, x3
// CHECK-INST: msr FGDTP0_EL2, x3
// CHECK-ENCODING: encoding: [0x03,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3203 msr FGDTP0_EL2, x3

msr FGDTU0_EL2, x3
// CHECK-INST: msr FGDTU0_EL2, x3
// CHECK-ENCODING: encoding: [0x03,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3403 msr FGDTU0_EL2, x3

msr FGDTP0_EL12, x3
// CHECK-INST: msr FGDTP0_EL12, x3
// CHECK-ENCODING: encoding: [0x03,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3203 msr FGDTP0_EL12, x3

msr FGDTU0_EL12, x3
// CHECK-INST: msr FGDTU0_EL12, x3
// CHECK-ENCODING: encoding: [0x03,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3403 msr FGDTU0_EL12, x3

msr FGDTP0_EL3, x3
// CHECK-INST: msr FGDTP0_EL3, x3
// CHECK-ENCODING: encoding: [0x03,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3203 msr FGDTP0_EL3, x3

msr FGDTP1_EL1, x3
// CHECK-INST: msr FGDTP1_EL1, x3
// CHECK-ENCODING: encoding: [0x23,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d5183223 msr FGDTP1_EL1, x3

msr FGDTU1_EL1, x3
// CHECK-INST: msr FGDTU1_EL1, x3
// CHECK-ENCODING: encoding: [0x23,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d5183423 msr FGDTU1_EL1, x3

msr FGDTP1_EL2, x3
// CHECK-INST: msr FGDTP1_EL2, x3
// CHECK-ENCODING: encoding: [0x23,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3223 msr FGDTP1_EL2, x3

msr FGDTU1_EL2, x3
// CHECK-INST: msr FGDTU1_EL2, x3
// CHECK-ENCODING: encoding: [0x23,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3423 msr FGDTU1_EL2, x3

msr FGDTP1_EL12, x3
// CHECK-INST: msr FGDTP1_EL12, x3
// CHECK-ENCODING: encoding: [0x23,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3223 msr FGDTP1_EL12, x3

msr FGDTU1_EL12, x3
// CHECK-INST: msr FGDTU1_EL12, x3
// CHECK-ENCODING: encoding: [0x23,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3423 msr FGDTU1_EL12, x3

msr FGDTP1_EL3, x3
// CHECK-INST: msr FGDTP1_EL3, x3
// CHECK-ENCODING: encoding: [0x23,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3223 msr FGDTP1_EL3, x3

msr FGDTP2_EL1, x3
// CHECK-INST: msr FGDTP2_EL1, x3
// CHECK-ENCODING: encoding: [0x43,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d5183243 msr FGDTP2_EL1, x3

msr FGDTU2_EL1, x3
// CHECK-INST: msr FGDTU2_EL1, x3
// CHECK-ENCODING: encoding: [0x43,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d5183443 msr FGDTU2_EL1, x3

msr FGDTP2_EL2, x3
// CHECK-INST: msr FGDTP2_EL2, x3
// CHECK-ENCODING: encoding: [0x43,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3243 msr FGDTP2_EL2, x3

msr FGDTU2_EL2, x3
// CHECK-INST: msr FGDTU2_EL2, x3
// CHECK-ENCODING: encoding: [0x43,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3443 msr FGDTU2_EL2, x3

msr FGDTP2_EL12, x3
// CHECK-INST: msr FGDTP2_EL12, x3
// CHECK-ENCODING: encoding: [0x43,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3243 msr FGDTP2_EL12, x3

msr FGDTU2_EL12, x3
// CHECK-INST: msr FGDTU2_EL12, x3
// CHECK-ENCODING: encoding: [0x43,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3443 msr FGDTU2_EL12, x3

msr FGDTP2_EL3, x3
// CHECK-INST: msr FGDTP2_EL3, x3
// CHECK-ENCODING: encoding: [0x43,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3243 msr FGDTP2_EL3, x3

msr FGDTP3_EL1, x3
// CHECK-INST: msr FGDTP3_EL1, x3
// CHECK-ENCODING: encoding: [0x63,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d5183263 msr FGDTP3_EL1, x3

msr FGDTU3_EL1, x3
// CHECK-INST: msr FGDTU3_EL1, x3
// CHECK-ENCODING: encoding: [0x63,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d5183463 msr FGDTU3_EL1, x3

msr FGDTP3_EL2, x3
// CHECK-INST: msr FGDTP3_EL2, x3
// CHECK-ENCODING: encoding: [0x63,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3263 msr FGDTP3_EL2, x3

msr FGDTU3_EL2, x3
// CHECK-INST: msr FGDTU3_EL2, x3
// CHECK-ENCODING: encoding: [0x63,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3463 msr FGDTU3_EL2, x3

msr FGDTP3_EL12, x3
// CHECK-INST: msr FGDTP3_EL12, x3
// CHECK-ENCODING: encoding: [0x63,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3263 msr FGDTP3_EL12, x3

msr FGDTU3_EL12, x3
// CHECK-INST: msr FGDTU3_EL12, x3
// CHECK-ENCODING: encoding: [0x63,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3463 msr FGDTU3_EL12, x3

msr FGDTP3_EL3, x3
// CHECK-INST: msr FGDTP3_EL3, x3
// CHECK-ENCODING: encoding: [0x63,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3263 msr FGDTP3_EL3, x3

msr FGDTP4_EL1, x3
// CHECK-INST: msr FGDTP4_EL1, x3
// CHECK-ENCODING: encoding: [0x83,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d5183283 msr FGDTP4_EL1, x3

msr FGDTU4_EL1, x3
// CHECK-INST: msr FGDTU4_EL1, x3
// CHECK-ENCODING: encoding: [0x83,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d5183483 msr FGDTU4_EL1, x3

msr FGDTP4_EL2, x3
// CHECK-INST: msr FGDTP4_EL2, x3
// CHECK-ENCODING: encoding: [0x83,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3283 msr FGDTP4_EL2, x3

msr FGDTU4_EL2, x3
// CHECK-INST: msr FGDTU4_EL2, x3
// CHECK-ENCODING: encoding: [0x83,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3483 msr FGDTU4_EL2, x3

msr FGDTP4_EL12, x3
// CHECK-INST: msr FGDTP4_EL12, x3
// CHECK-ENCODING: encoding: [0x83,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3283 msr FGDTP4_EL12, x3

msr FGDTU4_EL12, x3
// CHECK-INST: msr FGDTU4_EL12, x3
// CHECK-ENCODING: encoding: [0x83,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3483 msr FGDTU4_EL12, x3

msr FGDTP4_EL3, x3
// CHECK-INST: msr FGDTP4_EL3, x3
// CHECK-ENCODING: encoding: [0x83,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3283 msr FGDTP4_EL3, x3

msr FGDTP5_EL1, x3
// CHECK-INST: msr FGDTP5_EL1, x3
// CHECK-ENCODING: encoding: [0xa3,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d51832a3 msr FGDTP5_EL1, x3

msr FGDTU5_EL1, x3
// CHECK-INST: msr FGDTU5_EL1, x3
// CHECK-ENCODING: encoding: [0xa3,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d51834a3 msr FGDTU5_EL1, x3

msr FGDTP5_EL2, x3
// CHECK-INST: msr FGDTP5_EL2, x3
// CHECK-ENCODING: encoding: [0xa3,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c32a3 msr FGDTP5_EL2, x3

msr FGDTU5_EL2, x3
// CHECK-INST: msr FGDTU5_EL2, x3
// CHECK-ENCODING: encoding: [0xa3,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c34a3 msr FGDTU5_EL2, x3

msr FGDTP5_EL12, x3
// CHECK-INST: msr FGDTP5_EL12, x3
// CHECK-ENCODING: encoding: [0xa3,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d32a3 msr FGDTP5_EL12, x3

msr FGDTU5_EL12, x3
// CHECK-INST: msr FGDTU5_EL12, x3
// CHECK-ENCODING: encoding: [0xa3,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d34a3 msr FGDTU5_EL12, x3

msr FGDTP5_EL3, x3
// CHECK-INST: msr FGDTP5_EL3, x3
// CHECK-ENCODING: encoding: [0xa3,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e32a3 msr FGDTP5_EL3, x3

msr FGDTP6_EL1, x3
// CHECK-INST: msr FGDTP6_EL1, x3
// CHECK-ENCODING: encoding: [0xc3,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d51832c3 msr FGDTP6_EL1, x3

msr FGDTU6_EL1, x3
// CHECK-INST: msr FGDTU6_EL1, x3
// CHECK-ENCODING: encoding: [0xc3,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d51834c3 msr FGDTU6_EL1, x3

msr FGDTP6_EL2, x3
// CHECK-INST: msr FGDTP6_EL2, x3
// CHECK-ENCODING: encoding: [0xc3,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c32c3 msr FGDTP6_EL2, x3

msr FGDTU6_EL2, x3
// CHECK-INST: msr FGDTU6_EL2, x3
// CHECK-ENCODING: encoding: [0xc3,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c34c3 msr FGDTU6_EL2, x3

msr FGDTP6_EL12, x3
// CHECK-INST: msr FGDTP6_EL12, x3
// CHECK-ENCODING: encoding: [0xc3,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d32c3 msr FGDTP6_EL12, x3

msr FGDTU6_EL12, x3
// CHECK-INST: msr FGDTU6_EL12, x3
// CHECK-ENCODING: encoding: [0xc3,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d34c3 msr FGDTU6_EL12, x3

msr FGDTP6_EL3, x3
// CHECK-INST: msr FGDTP6_EL3, x3
// CHECK-ENCODING: encoding: [0xc3,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e32c3 msr FGDTP6_EL3, x3

msr FGDTP7_EL1, x3
// CHECK-INST: msr FGDTP7_EL1, x3
// CHECK-ENCODING: encoding: [0xe3,0x32,0x18,0xd5]
// CHECK-UNKNOWN:  d51832e3 msr FGDTP7_EL1, x3

msr FGDTU7_EL1, x3
// CHECK-INST: msr FGDTU7_EL1, x3
// CHECK-ENCODING: encoding: [0xe3,0x34,0x18,0xd5]
// CHECK-UNKNOWN:  d51834e3 msr FGDTU7_EL1, x3

msr FGDTP7_EL2, x3
// CHECK-INST: msr FGDTP7_EL2, x3
// CHECK-ENCODING: encoding: [0xe3,0x32,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c32e3 msr FGDTP7_EL2, x3

msr FGDTU7_EL2, x3
// CHECK-INST: msr FGDTU7_EL2, x3
// CHECK-ENCODING: encoding: [0xe3,0x34,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c34e3 msr FGDTU7_EL2, x3

msr FGDTP7_EL12, x3
// CHECK-INST: msr FGDTP7_EL12, x3
// CHECK-ENCODING: encoding: [0xe3,0x32,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d32e3 msr FGDTP7_EL12, x3

msr FGDTU7_EL12, x3
// CHECK-INST: msr FGDTU7_EL12, x3
// CHECK-ENCODING: encoding: [0xe3,0x34,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d34e3 msr FGDTU7_EL12, x3

msr FGDTP7_EL3, x3
// CHECK-INST: msr FGDTP7_EL3, x3
// CHECK-ENCODING: encoding: [0xe3,0x32,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e32e3 msr FGDTP7_EL3, x3

msr FGDTP8_EL1, x3
// CHECK-INST: msr FGDTP8_EL1, x3
// CHECK-ENCODING: encoding: [0x03,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d5183303 msr FGDTP8_EL1, x3

msr FGDTU8_EL1, x3
// CHECK-INST: msr FGDTU8_EL1, x3
// CHECK-ENCODING: encoding: [0x03,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d5183503 msr FGDTU8_EL1, x3

msr FGDTP8_EL2, x3
// CHECK-INST: msr FGDTP8_EL2, x3
// CHECK-ENCODING: encoding: [0x03,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3303 msr FGDTP8_EL2, x3

msr FGDTU8_EL2, x3
// CHECK-INST: msr FGDTU8_EL2, x3
// CHECK-ENCODING: encoding: [0x03,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3503 msr FGDTU8_EL2, x3

msr FGDTP8_EL12, x3
// CHECK-INST: msr FGDTP8_EL12, x3
// CHECK-ENCODING: encoding: [0x03,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3303 msr FGDTP8_EL12, x3

msr FGDTU8_EL12, x3
// CHECK-INST: msr FGDTU8_EL12, x3
// CHECK-ENCODING: encoding: [0x03,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3503 msr FGDTU8_EL12, x3

msr FGDTP8_EL3, x3
// CHECK-INST: msr FGDTP8_EL3, x3
// CHECK-ENCODING: encoding: [0x03,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3303 msr FGDTP8_EL3, x3

msr FGDTP9_EL1, x3
// CHECK-INST: msr FGDTP9_EL1, x3
// CHECK-ENCODING: encoding: [0x23,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d5183323 msr FGDTP9_EL1, x3

msr FGDTU9_EL1, x3
// CHECK-INST: msr FGDTU9_EL1, x3
// CHECK-ENCODING: encoding: [0x23,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d5183523 msr FGDTU9_EL1, x3

msr FGDTP9_EL2, x3
// CHECK-INST: msr FGDTP9_EL2, x3
// CHECK-ENCODING: encoding: [0x23,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3323 msr FGDTP9_EL2, x3

msr FGDTU9_EL2, x3
// CHECK-INST: msr FGDTU9_EL2, x3
// CHECK-ENCODING: encoding: [0x23,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3523 msr FGDTU9_EL2, x3

msr FGDTP9_EL12, x3
// CHECK-INST: msr FGDTP9_EL12, x3
// CHECK-ENCODING: encoding: [0x23,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3323 msr FGDTP9_EL12, x3

msr FGDTU9_EL12, x3
// CHECK-INST: msr FGDTU9_EL12, x3
// CHECK-ENCODING: encoding: [0x23,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3523 msr FGDTU9_EL12, x3

msr FGDTP9_EL3, x3
// CHECK-INST: msr FGDTP9_EL3, x3
// CHECK-ENCODING: encoding: [0x23,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3323 msr FGDTP9_EL3, x3

msr FGDTP10_EL1, x3
// CHECK-INST: msr FGDTP10_EL1, x3
// CHECK-ENCODING: encoding: [0x43,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d5183343 msr FGDTP10_EL1, x3

msr FGDTU10_EL1, x3
// CHECK-INST: msr FGDTU10_EL1, x3
// CHECK-ENCODING: encoding: [0x43,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d5183543 msr FGDTU10_EL1, x3

msr FGDTP10_EL2, x3
// CHECK-INST: msr FGDTP10_EL2, x3
// CHECK-ENCODING: encoding: [0x43,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3343 msr FGDTP10_EL2, x3

msr FGDTU10_EL2, x3
// CHECK-INST: msr FGDTU10_EL2, x3
// CHECK-ENCODING: encoding: [0x43,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3543 msr FGDTU10_EL2, x3

msr FGDTP10_EL12, x3
// CHECK-INST: msr FGDTP10_EL12, x3
// CHECK-ENCODING: encoding: [0x43,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3343 msr FGDTP10_EL12, x3

msr FGDTU10_EL12, x3
// CHECK-INST: msr FGDTU10_EL12, x3
// CHECK-ENCODING: encoding: [0x43,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3543 msr FGDTU10_EL12, x3

msr FGDTP10_EL3, x3
// CHECK-INST: msr FGDTP10_EL3, x3
// CHECK-ENCODING: encoding: [0x43,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3343 msr FGDTP10_EL3, x3

msr FGDTP11_EL1, x3
// CHECK-INST: msr FGDTP11_EL1, x3
// CHECK-ENCODING: encoding: [0x63,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d5183363 msr FGDTP11_EL1, x3

msr FGDTU11_EL1, x3
// CHECK-INST: msr FGDTU11_EL1, x3
// CHECK-ENCODING: encoding: [0x63,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d5183563 msr FGDTU11_EL1, x3

msr FGDTP11_EL2, x3
// CHECK-INST: msr FGDTP11_EL2, x3
// CHECK-ENCODING: encoding: [0x63,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3363 msr FGDTP11_EL2, x3

msr FGDTU11_EL2, x3
// CHECK-INST: msr FGDTU11_EL2, x3
// CHECK-ENCODING: encoding: [0x63,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3563 msr FGDTU11_EL2, x3

msr FGDTP11_EL12, x3
// CHECK-INST: msr FGDTP11_EL12, x3
// CHECK-ENCODING: encoding: [0x63,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3363 msr FGDTP11_EL12, x3

msr FGDTU11_EL12, x3
// CHECK-INST: msr FGDTU11_EL12, x3
// CHECK-ENCODING: encoding: [0x63,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3563 msr FGDTU11_EL12, x3

msr FGDTP11_EL3, x3
// CHECK-INST: msr FGDTP11_EL3, x3
// CHECK-ENCODING: encoding: [0x63,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3363 msr FGDTP11_EL3, x3

msr FGDTP12_EL1, x3
// CHECK-INST: msr FGDTP12_EL1, x3
// CHECK-ENCODING: encoding: [0x83,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d5183383 msr FGDTP12_EL1, x3

msr FGDTU12_EL1, x3
// CHECK-INST: msr FGDTU12_EL1, x3
// CHECK-ENCODING: encoding: [0x83,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d5183583 msr FGDTU12_EL1, x3

msr FGDTP12_EL2, x3
// CHECK-INST: msr FGDTP12_EL2, x3
// CHECK-ENCODING: encoding: [0x83,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3383 msr FGDTP12_EL2, x3

msr FGDTU12_EL2, x3
// CHECK-INST: msr FGDTU12_EL2, x3
// CHECK-ENCODING: encoding: [0x83,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3583 msr FGDTU12_EL2, x3

msr FGDTP12_EL12, x3
// CHECK-INST: msr FGDTP12_EL12, x3
// CHECK-ENCODING: encoding: [0x83,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3383 msr FGDTP12_EL12, x3

msr FGDTU12_EL12, x3
// CHECK-INST: msr FGDTU12_EL12, x3
// CHECK-ENCODING: encoding: [0x83,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3583 msr FGDTU12_EL12, x3

msr FGDTP12_EL3, x3
// CHECK-INST: msr FGDTP12_EL3, x3
// CHECK-ENCODING: encoding: [0x83,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3383 msr FGDTP12_EL3, x3

msr FGDTP13_EL1, x3
// CHECK-INST: msr FGDTP13_EL1, x3
// CHECK-ENCODING: encoding: [0xa3,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d51833a3 msr FGDTP13_EL1, x3

msr FGDTU13_EL1, x3
// CHECK-INST: msr FGDTU13_EL1, x3
// CHECK-ENCODING: encoding: [0xa3,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d51835a3 msr FGDTU13_EL1, x3

msr FGDTP13_EL2, x3
// CHECK-INST: msr FGDTP13_EL2, x3
// CHECK-ENCODING: encoding: [0xa3,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c33a3 msr FGDTP13_EL2, x3

msr FGDTU13_EL2, x3
// CHECK-INST: msr FGDTU13_EL2, x3
// CHECK-ENCODING: encoding: [0xa3,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c35a3 msr FGDTU13_EL2, x3

msr FGDTP13_EL12, x3
// CHECK-INST: msr FGDTP13_EL12, x3
// CHECK-ENCODING: encoding: [0xa3,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d33a3 msr FGDTP13_EL12, x3

msr FGDTU13_EL12, x3
// CHECK-INST: msr FGDTU13_EL12, x3
// CHECK-ENCODING: encoding: [0xa3,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d35a3 msr FGDTU13_EL12, x3

msr FGDTP13_EL3, x3
// CHECK-INST: msr FGDTP13_EL3, x3
// CHECK-ENCODING: encoding: [0xa3,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e33a3 msr FGDTP13_EL3, x3

msr FGDTP14_EL1, x3
// CHECK-INST: msr FGDTP14_EL1, x3
// CHECK-ENCODING: encoding: [0xc3,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d51833c3 msr FGDTP14_EL1, x3

msr FGDTU14_EL1, x3
// CHECK-INST: msr FGDTU14_EL1, x3
// CHECK-ENCODING: encoding: [0xc3,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d51835c3 msr FGDTU14_EL1, x3

msr FGDTP14_EL2, x3
// CHECK-INST: msr FGDTP14_EL2, x3
// CHECK-ENCODING: encoding: [0xc3,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c33c3 msr FGDTP14_EL2, x3

msr FGDTU14_EL2, x3
// CHECK-INST: msr FGDTU14_EL2, x3
// CHECK-ENCODING: encoding: [0xc3,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c35c3 msr FGDTU14_EL2, x3

msr FGDTP14_EL12, x3
// CHECK-INST: msr FGDTP14_EL12, x3
// CHECK-ENCODING: encoding: [0xc3,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d33c3 msr FGDTP14_EL12, x3

msr FGDTU14_EL12, x3
// CHECK-INST: msr FGDTU14_EL12, x3
// CHECK-ENCODING: encoding: [0xc3,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d35c3 msr FGDTU14_EL12, x3

msr FGDTP14_EL3, x3
// CHECK-INST: msr FGDTP14_EL3, x3
// CHECK-ENCODING: encoding: [0xc3,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e33c3 msr FGDTP14_EL3, x3

msr FGDTP15_EL1, x3
// CHECK-INST: msr FGDTP15_EL1, x3
// CHECK-ENCODING: encoding: [0xe3,0x33,0x18,0xd5]
// CHECK-UNKNOWN:  d51833e3 msr FGDTP15_EL1, x3

msr FGDTU15_EL1, x3
// CHECK-INST: msr FGDTU15_EL1, x3
// CHECK-ENCODING: encoding: [0xe3,0x35,0x18,0xd5]
// CHECK-UNKNOWN:  d51835e3 msr FGDTU15_EL1, x3

msr FGDTP15_EL2, x3
// CHECK-INST: msr FGDTP15_EL2, x3
// CHECK-ENCODING: encoding: [0xe3,0x33,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c33e3 msr FGDTP15_EL2, x3

msr FGDTU15_EL2, x3
// CHECK-INST: msr FGDTU15_EL2, x3
// CHECK-ENCODING: encoding: [0xe3,0x35,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c35e3 msr FGDTU15_EL2, x3

msr FGDTP15_EL12, x3
// CHECK-INST: msr FGDTP15_EL12, x3
// CHECK-ENCODING: encoding: [0xe3,0x33,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d33e3 msr FGDTP15_EL12, x3

msr FGDTU15_EL12, x3
// CHECK-INST: msr FGDTU15_EL12, x3
// CHECK-ENCODING: encoding: [0xe3,0x35,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d35e3 msr FGDTU15_EL12, x3

msr FGDTP15_EL3, x3
// CHECK-INST: msr FGDTP15_EL3, x3
// CHECK-ENCODING: encoding: [0xe3,0x33,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e33e3 msr FGDTP15_EL3, x3

msr AFGDTP0_EL1, x0
// CHECK-INST: msr AFGDTP0_EL1, x0
// CHECK-ENCODING: encoding: [0x00,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d5183600 msr AFGDTP0_EL1, x0

msr AFGDTU0_EL1, x0
// CHECK-INST: msr AFGDTU0_EL1, x0
// CHECK-ENCODING: encoding: [0x00,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d5183800 msr AFGDTU0_EL1, x0

msr AFGDTP0_EL2, x0
// CHECK-INST: msr AFGDTP0_EL2, x0
// CHECK-ENCODING: encoding: [0x00,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3600 msr AFGDTP0_EL2, x0

msr AFGDTU0_EL2, x0
// CHECK-INST: msr AFGDTU0_EL2, x0
// CHECK-ENCODING: encoding: [0x00,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3800 msr AFGDTU0_EL2, x0

msr AFGDTP0_EL12, x0
// CHECK-INST: msr AFGDTP0_EL12, x0
// CHECK-ENCODING: encoding: [0x00,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3600 msr AFGDTP0_EL12, x0

msr AFGDTU0_EL12, x0
// CHECK-INST: msr AFGDTU0_EL12, x0
// CHECK-ENCODING: encoding: [0x00,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3800 msr AFGDTU0_EL12, x0

msr AFGDTP0_EL3, x0
// CHECK-INST: msr AFGDTP0_EL3, x0
// CHECK-ENCODING: encoding: [0x00,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3600 msr AFGDTP0_EL3, x0

msr AFGDTP1_EL1, x0
// CHECK-INST: msr AFGDTP1_EL1, x0
// CHECK-ENCODING: encoding: [0x20,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d5183620 msr AFGDTP1_EL1, x0

msr AFGDTU1_EL1, x0
// CHECK-INST: msr AFGDTU1_EL1, x0
// CHECK-ENCODING: encoding: [0x20,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d5183820 msr AFGDTU1_EL1, x0

msr AFGDTP1_EL2, x0
// CHECK-INST: msr AFGDTP1_EL2, x0
// CHECK-ENCODING: encoding: [0x20,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3620 msr AFGDTP1_EL2, x0

msr AFGDTU1_EL2, x0
// CHECK-INST: msr AFGDTU1_EL2, x0
// CHECK-ENCODING: encoding: [0x20,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3820 msr AFGDTU1_EL2, x0

msr AFGDTP1_EL12, x0
// CHECK-INST: msr AFGDTP1_EL12, x0
// CHECK-ENCODING: encoding: [0x20,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3620 msr AFGDTP1_EL12, x0

msr AFGDTU1_EL12, x0
// CHECK-INST: msr AFGDTU1_EL12, x0
// CHECK-ENCODING: encoding: [0x20,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3820 msr AFGDTU1_EL12, x0

msr AFGDTP1_EL3, x0
// CHECK-INST: msr AFGDTP1_EL3, x0
// CHECK-ENCODING: encoding: [0x20,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3620 msr AFGDTP1_EL3, x0

msr AFGDTP2_EL1, x0
// CHECK-INST: msr AFGDTP2_EL1, x0
// CHECK-ENCODING: encoding: [0x40,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d5183640 msr AFGDTP2_EL1, x0

msr AFGDTU2_EL1, x0
// CHECK-INST: msr AFGDTU2_EL1, x0
// CHECK-ENCODING: encoding: [0x40,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d5183840 msr AFGDTU2_EL1, x0

msr AFGDTP2_EL2, x0
// CHECK-INST: msr AFGDTP2_EL2, x0
// CHECK-ENCODING: encoding: [0x40,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3640 msr AFGDTP2_EL2, x0

msr AFGDTU2_EL2, x0
// CHECK-INST: msr AFGDTU2_EL2, x0
// CHECK-ENCODING: encoding: [0x40,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3840 msr AFGDTU2_EL2, x0

msr AFGDTP2_EL12, x0
// CHECK-INST: msr AFGDTP2_EL12, x0
// CHECK-ENCODING: encoding: [0x40,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3640 msr AFGDTP2_EL12, x0

msr AFGDTU2_EL12, x0
// CHECK-INST: msr AFGDTU2_EL12, x0
// CHECK-ENCODING: encoding: [0x40,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3840 msr AFGDTU2_EL12, x0

msr AFGDTP2_EL3, x0
// CHECK-INST: msr AFGDTP2_EL3, x0
// CHECK-ENCODING: encoding: [0x40,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3640 msr AFGDTP2_EL3, x0

msr AFGDTP3_EL1, x0
// CHECK-INST: msr AFGDTP3_EL1, x0
// CHECK-ENCODING: encoding: [0x60,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d5183660 msr AFGDTP3_EL1, x0

msr AFGDTU3_EL1, x0
// CHECK-INST: msr AFGDTU3_EL1, x0
// CHECK-ENCODING: encoding: [0x60,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d5183860 msr AFGDTU3_EL1, x0

msr AFGDTP3_EL2, x0
// CHECK-INST: msr AFGDTP3_EL2, x0
// CHECK-ENCODING: encoding: [0x60,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3660 msr AFGDTP3_EL2, x0

msr AFGDTU3_EL2, x0
// CHECK-INST: msr AFGDTU3_EL2, x0
// CHECK-ENCODING: encoding: [0x60,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3860 msr AFGDTU3_EL2, x0

msr AFGDTP3_EL12, x0
// CHECK-INST: msr AFGDTP3_EL12, x0
// CHECK-ENCODING: encoding: [0x60,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3660 msr AFGDTP3_EL12, x0

msr AFGDTU3_EL12, x0
// CHECK-INST: msr AFGDTU3_EL12, x0
// CHECK-ENCODING: encoding: [0x60,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3860 msr AFGDTU3_EL12, x0

msr AFGDTP3_EL3, x0
// CHECK-INST: msr AFGDTP3_EL3, x0
// CHECK-ENCODING: encoding: [0x60,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3660 msr AFGDTP3_EL3, x0

msr AFGDTP4_EL1, x0
// CHECK-INST: msr AFGDTP4_EL1, x0
// CHECK-ENCODING: encoding: [0x80,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d5183680 msr AFGDTP4_EL1, x0

msr AFGDTU4_EL1, x0
// CHECK-INST: msr AFGDTU4_EL1, x0
// CHECK-ENCODING: encoding: [0x80,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d5183880 msr AFGDTU4_EL1, x0

msr AFGDTP4_EL2, x0
// CHECK-INST: msr AFGDTP4_EL2, x0
// CHECK-ENCODING: encoding: [0x80,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3680 msr AFGDTP4_EL2, x0

msr AFGDTU4_EL2, x0
// CHECK-INST: msr AFGDTU4_EL2, x0
// CHECK-ENCODING: encoding: [0x80,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3880 msr AFGDTU4_EL2, x0

msr AFGDTP4_EL12, x0
// CHECK-INST: msr AFGDTP4_EL12, x0
// CHECK-ENCODING: encoding: [0x80,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3680 msr AFGDTP4_EL12, x0

msr AFGDTU4_EL12, x0
// CHECK-INST: msr AFGDTU4_EL12, x0
// CHECK-ENCODING: encoding: [0x80,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3880 msr AFGDTU4_EL12, x0

msr AFGDTP4_EL3, x0
// CHECK-INST: msr AFGDTP4_EL3, x0
// CHECK-ENCODING: encoding: [0x80,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3680 msr AFGDTP4_EL3, x0

msr AFGDTP5_EL1, x0
// CHECK-INST: msr AFGDTP5_EL1, x0
// CHECK-ENCODING: encoding: [0xa0,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d51836a0 msr AFGDTP5_EL1, x0

msr AFGDTU5_EL1, x0
// CHECK-INST: msr AFGDTU5_EL1, x0
// CHECK-ENCODING: encoding: [0xa0,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d51838a0 msr AFGDTU5_EL1, x0

msr AFGDTP5_EL2, x0
// CHECK-INST: msr AFGDTP5_EL2, x0
// CHECK-ENCODING: encoding: [0xa0,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c36a0 msr AFGDTP5_EL2, x0

msr AFGDTU5_EL2, x0
// CHECK-INST: msr AFGDTU5_EL2, x0
// CHECK-ENCODING: encoding: [0xa0,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c38a0 msr AFGDTU5_EL2, x0

msr AFGDTP5_EL12, x0
// CHECK-INST: msr AFGDTP5_EL12, x0
// CHECK-ENCODING: encoding: [0xa0,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d36a0 msr AFGDTP5_EL12, x0

msr AFGDTU5_EL12, x0
// CHECK-INST: msr AFGDTU5_EL12, x0
// CHECK-ENCODING: encoding: [0xa0,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d38a0 msr AFGDTU5_EL12, x0

msr AFGDTP5_EL3, x0
// CHECK-INST: msr AFGDTP5_EL3, x0
// CHECK-ENCODING: encoding: [0xa0,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e36a0 msr AFGDTP5_EL3, x0

msr AFGDTP6_EL1, x0
// CHECK-INST: msr AFGDTP6_EL1, x0
// CHECK-ENCODING: encoding: [0xc0,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d51836c0 msr AFGDTP6_EL1, x0

msr AFGDTU6_EL1, x0
// CHECK-INST: msr AFGDTU6_EL1, x0
// CHECK-ENCODING: encoding: [0xc0,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d51838c0 msr AFGDTU6_EL1, x0

msr AFGDTP6_EL2, x0
// CHECK-INST: msr AFGDTP6_EL2, x0
// CHECK-ENCODING: encoding: [0xc0,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c36c0 msr AFGDTP6_EL2, x0

msr AFGDTU6_EL2, x0
// CHECK-INST: msr AFGDTU6_EL2, x0
// CHECK-ENCODING: encoding: [0xc0,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c38c0 msr AFGDTU6_EL2, x0

msr AFGDTP6_EL12, x0
// CHECK-INST: msr AFGDTP6_EL12, x0
// CHECK-ENCODING: encoding: [0xc0,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d36c0 msr AFGDTP6_EL12, x0

msr AFGDTU6_EL12, x0
// CHECK-INST: msr AFGDTU6_EL12, x0
// CHECK-ENCODING: encoding: [0xc0,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d38c0 msr AFGDTU6_EL12, x0

msr AFGDTP6_EL3, x0
// CHECK-INST: msr AFGDTP6_EL3, x0
// CHECK-ENCODING: encoding: [0xc0,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e36c0 msr AFGDTP6_EL3, x0

msr AFGDTP7_EL1, x0
// CHECK-INST: msr AFGDTP7_EL1, x0
// CHECK-ENCODING: encoding: [0xe0,0x36,0x18,0xd5]
// CHECK-UNKNOWN:  d51836e0 msr AFGDTP7_EL1, x0

msr AFGDTU7_EL1, x0
// CHECK-INST: msr AFGDTU7_EL1, x0
// CHECK-ENCODING: encoding: [0xe0,0x38,0x18,0xd5]
// CHECK-UNKNOWN:  d51838e0 msr AFGDTU7_EL1, x0

msr AFGDTP7_EL2, x0
// CHECK-INST: msr AFGDTP7_EL2, x0
// CHECK-ENCODING: encoding: [0xe0,0x36,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c36e0 msr AFGDTP7_EL2, x0

msr AFGDTU7_EL2, x0
// CHECK-INST: msr AFGDTU7_EL2, x0
// CHECK-ENCODING: encoding: [0xe0,0x38,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c38e0 msr AFGDTU7_EL2, x0

msr AFGDTP7_EL12, x0
// CHECK-INST: msr AFGDTP7_EL12, x0
// CHECK-ENCODING: encoding: [0xe0,0x36,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d36e0 msr AFGDTP7_EL12, x0

msr AFGDTU7_EL12, x0
// CHECK-INST: msr AFGDTU7_EL12, x0
// CHECK-ENCODING: encoding: [0xe0,0x38,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d38e0 msr AFGDTU7_EL12, x0

msr AFGDTP7_EL3, x0
// CHECK-INST: msr AFGDTP7_EL3, x0
// CHECK-ENCODING: encoding: [0xe0,0x36,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e36e0 msr AFGDTP7_EL3, x0

msr AFGDTP8_EL1, x0
// CHECK-INST: msr AFGDTP8_EL1, x0
// CHECK-ENCODING: encoding: [0x00,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d5183700 msr AFGDTP8_EL1, x0

msr AFGDTU8_EL1, x0
// CHECK-INST: msr AFGDTU8_EL1, x0
// CHECK-ENCODING: encoding: [0x00,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d5183900 msr AFGDTU8_EL1, x0

msr AFGDTP8_EL2, x0
// CHECK-INST: msr AFGDTP8_EL2, x0
// CHECK-ENCODING: encoding: [0x00,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3700 msr AFGDTP8_EL2, x0

msr AFGDTU8_EL2, x0
// CHECK-INST: msr AFGDTU8_EL2, x0
// CHECK-ENCODING: encoding: [0x00,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3900 msr AFGDTU8_EL2, x0

msr AFGDTP8_EL12, x0
// CHECK-INST: msr AFGDTP8_EL12, x0
// CHECK-ENCODING: encoding: [0x00,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3700 msr AFGDTP8_EL12, x0

msr AFGDTU8_EL12, x0
// CHECK-INST: msr AFGDTU8_EL12, x0
// CHECK-ENCODING: encoding: [0x00,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3900 msr AFGDTU8_EL12, x0

msr AFGDTP8_EL3, x0
// CHECK-INST: msr AFGDTP8_EL3, x0
// CHECK-ENCODING: encoding: [0x00,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3700 msr AFGDTP8_EL3, x0

msr AFGDTP9_EL1, x0
// CHECK-INST: msr AFGDTP9_EL1, x0
// CHECK-ENCODING: encoding: [0x20,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d5183720 msr AFGDTP9_EL1, x0

msr AFGDTU9_EL1, x0
// CHECK-INST: msr AFGDTU9_EL1, x0
// CHECK-ENCODING: encoding: [0x20,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d5183920 msr AFGDTU9_EL1, x0

msr AFGDTP9_EL2, x0
// CHECK-INST: msr AFGDTP9_EL2, x0
// CHECK-ENCODING: encoding: [0x20,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3720 msr AFGDTP9_EL2, x0

msr AFGDTU9_EL2, x0
// CHECK-INST: msr AFGDTU9_EL2, x0
// CHECK-ENCODING: encoding: [0x20,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3920 msr AFGDTU9_EL2, x0

msr AFGDTP9_EL12, x0
// CHECK-INST: msr AFGDTP9_EL12, x0
// CHECK-ENCODING: encoding: [0x20,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3720 msr AFGDTP9_EL12, x0

msr AFGDTU9_EL12, x0
// CHECK-INST: msr AFGDTU9_EL12, x0
// CHECK-ENCODING: encoding: [0x20,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3920 msr AFGDTU9_EL12, x0

msr AFGDTP9_EL3, x0
// CHECK-INST: msr AFGDTP9_EL3, x0
// CHECK-ENCODING: encoding: [0x20,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3720 msr AFGDTP9_EL3, x0

msr AFGDTP10_EL1, x0
// CHECK-INST: msr AFGDTP10_EL1, x0
// CHECK-ENCODING: encoding: [0x40,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d5183740 msr AFGDTP10_EL1, x0

msr AFGDTU10_EL1, x0
// CHECK-INST: msr AFGDTU10_EL1, x0
// CHECK-ENCODING: encoding: [0x40,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d5183940 msr AFGDTU10_EL1, x0

msr AFGDTP10_EL2, x0
// CHECK-INST: msr AFGDTP10_EL2, x0
// CHECK-ENCODING: encoding: [0x40,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3740 msr AFGDTP10_EL2, x0

msr AFGDTU10_EL2, x0
// CHECK-INST: msr AFGDTU10_EL2, x0
// CHECK-ENCODING: encoding: [0x40,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3940 msr AFGDTU10_EL2, x0

msr AFGDTP10_EL12, x0
// CHECK-INST: msr AFGDTP10_EL12, x0
// CHECK-ENCODING: encoding: [0x40,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3740 msr AFGDTP10_EL12, x0

msr AFGDTU10_EL12, x0
// CHECK-INST: msr AFGDTU10_EL12, x0
// CHECK-ENCODING: encoding: [0x40,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3940 msr AFGDTU10_EL12, x0

msr AFGDTP10_EL3, x0
// CHECK-INST: msr AFGDTP10_EL3, x0
// CHECK-ENCODING: encoding: [0x40,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3740 msr AFGDTP10_EL3, x0

msr AFGDTP11_EL1, x0
// CHECK-INST: msr AFGDTP11_EL1, x0
// CHECK-ENCODING: encoding: [0x60,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d5183760 msr AFGDTP11_EL1, x0

msr AFGDTU11_EL1, x0
// CHECK-INST: msr AFGDTU11_EL1, x0
// CHECK-ENCODING: encoding: [0x60,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d5183960 msr AFGDTU11_EL1, x0

msr AFGDTP11_EL2, x0
// CHECK-INST: msr AFGDTP11_EL2, x0
// CHECK-ENCODING: encoding: [0x60,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3760 msr AFGDTP11_EL2, x0

msr AFGDTU11_EL2, x0
// CHECK-INST: msr AFGDTU11_EL2, x0
// CHECK-ENCODING: encoding: [0x60,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3960 msr AFGDTU11_EL2, x0

msr AFGDTP11_EL12, x0
// CHECK-INST: msr AFGDTP11_EL12, x0
// CHECK-ENCODING: encoding: [0x60,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3760 msr AFGDTP11_EL12, x0

msr AFGDTU11_EL12, x0
// CHECK-INST: msr AFGDTU11_EL12, x0
// CHECK-ENCODING: encoding: [0x60,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3960 msr AFGDTU11_EL12, x0

msr AFGDTP11_EL3, x0
// CHECK-INST: msr AFGDTP11_EL3, x0
// CHECK-ENCODING: encoding: [0x60,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3760 msr AFGDTP11_EL3, x0

msr AFGDTP12_EL1, x0
// CHECK-INST: msr AFGDTP12_EL1, x0
// CHECK-ENCODING: encoding: [0x80,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d5183780 msr AFGDTP12_EL1, x0

msr AFGDTU12_EL1, x0
// CHECK-INST: msr AFGDTU12_EL1, x0
// CHECK-ENCODING: encoding: [0x80,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d5183980 msr AFGDTU12_EL1, x0

msr AFGDTP12_EL2, x0
// CHECK-INST: msr AFGDTP12_EL2, x0
// CHECK-ENCODING: encoding: [0x80,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3780 msr AFGDTP12_EL2, x0

msr AFGDTU12_EL2, x0
// CHECK-INST: msr AFGDTU12_EL2, x0
// CHECK-ENCODING: encoding: [0x80,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c3980 msr AFGDTU12_EL2, x0

msr AFGDTP12_EL12, x0
// CHECK-INST: msr AFGDTP12_EL12, x0
// CHECK-ENCODING: encoding: [0x80,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3780 msr AFGDTP12_EL12, x0

msr AFGDTU12_EL12, x0
// CHECK-INST: msr AFGDTU12_EL12, x0
// CHECK-ENCODING: encoding: [0x80,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d3980 msr AFGDTU12_EL12, x0

msr AFGDTP12_EL3, x0
// CHECK-INST: msr AFGDTP12_EL3, x0
// CHECK-ENCODING: encoding: [0x80,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e3780 msr AFGDTP12_EL3, x0

msr AFGDTP13_EL1, x0
// CHECK-INST: msr AFGDTP13_EL1, x0
// CHECK-ENCODING: encoding: [0xa0,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d51837a0 msr AFGDTP13_EL1, x0

msr AFGDTU13_EL1, x0
// CHECK-INST: msr AFGDTU13_EL1, x0
// CHECK-ENCODING: encoding: [0xa0,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d51839a0 msr AFGDTU13_EL1, x0

msr AFGDTP13_EL2, x0
// CHECK-INST: msr AFGDTP13_EL2, x0
// CHECK-ENCODING: encoding: [0xa0,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c37a0 msr AFGDTP13_EL2, x0

msr AFGDTU13_EL2, x0
// CHECK-INST: msr AFGDTU13_EL2, x0
// CHECK-ENCODING: encoding: [0xa0,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c39a0 msr AFGDTU13_EL2, x0

msr AFGDTP13_EL12, x0
// CHECK-INST: msr AFGDTP13_EL12, x0
// CHECK-ENCODING: encoding: [0xa0,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d37a0 msr AFGDTP13_EL12, x0

msr AFGDTU13_EL12, x0
// CHECK-INST: msr AFGDTU13_EL12, x0
// CHECK-ENCODING: encoding: [0xa0,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d39a0 msr AFGDTU13_EL12, x0

msr AFGDTP13_EL3, x0
// CHECK-INST: msr AFGDTP13_EL3, x0
// CHECK-ENCODING: encoding: [0xa0,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e37a0 msr AFGDTP13_EL3, x0

msr AFGDTP14_EL1, x0
// CHECK-INST: msr AFGDTP14_EL1, x0
// CHECK-ENCODING: encoding: [0xc0,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d51837c0 msr AFGDTP14_EL1, x0

msr AFGDTU14_EL1, x0
// CHECK-INST: msr AFGDTU14_EL1, x0
// CHECK-ENCODING: encoding: [0xc0,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d51839c0 msr AFGDTU14_EL1, x0

msr AFGDTP14_EL2, x0
// CHECK-INST: msr AFGDTP14_EL2, x0
// CHECK-ENCODING: encoding: [0xc0,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c37c0 msr AFGDTP14_EL2, x0

msr AFGDTU14_EL2, x0
// CHECK-INST: msr AFGDTU14_EL2, x0
// CHECK-ENCODING: encoding: [0xc0,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c39c0 msr AFGDTU14_EL2, x0

msr AFGDTP14_EL12, x0
// CHECK-INST: msr AFGDTP14_EL12, x0
// CHECK-ENCODING: encoding: [0xc0,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d37c0 msr AFGDTP14_EL12, x0

msr AFGDTU14_EL12, x0
// CHECK-INST: msr AFGDTU14_EL12, x0
// CHECK-ENCODING: encoding: [0xc0,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d39c0 msr AFGDTU14_EL12, x0

msr AFGDTP14_EL3, x0
// CHECK-INST: msr AFGDTP14_EL3, x0
// CHECK-ENCODING: encoding: [0xc0,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e37c0 msr AFGDTP14_EL3, x0

msr AFGDTP15_EL1, x0
// CHECK-INST: msr AFGDTP15_EL1, x0
// CHECK-ENCODING: encoding: [0xe0,0x37,0x18,0xd5]
// CHECK-UNKNOWN:  d51837e0 msr AFGDTP15_EL1, x0

msr AFGDTU15_EL1, x0
// CHECK-INST: msr AFGDTU15_EL1, x0
// CHECK-ENCODING: encoding: [0xe0,0x39,0x18,0xd5]
// CHECK-UNKNOWN:  d51839e0 msr AFGDTU15_EL1, x0

msr AFGDTP15_EL2, x0
// CHECK-INST: msr AFGDTP15_EL2, x0
// CHECK-ENCODING: encoding: [0xe0,0x37,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c37e0 msr AFGDTP15_EL2, x0

msr AFGDTU15_EL2, x0
// CHECK-INST: msr AFGDTU15_EL2, x0
// CHECK-ENCODING: encoding: [0xe0,0x39,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c39e0 msr AFGDTU15_EL2, x0

msr AFGDTP15_EL12, x0
// CHECK-INST: msr AFGDTP15_EL12, x0
// CHECK-ENCODING: encoding: [0xe0,0x37,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d37e0 msr AFGDTP15_EL12, x0

msr AFGDTU15_EL12, x0
// CHECK-INST: msr AFGDTU15_EL12, x0
// CHECK-ENCODING: encoding: [0xe0,0x39,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d39e0 msr AFGDTU15_EL12, x0

msr AFGDTP15_EL3, x0
// CHECK-INST: msr AFGDTP15_EL3, x0
// CHECK-ENCODING: encoding: [0xe0,0x37,0x1e,0xd5]
// CHECK-UNKNOWN:  d51e37e0 msr AFGDTP15_EL3, x0

msr TPMIN0_EL0, x2
// CHECK-INST: msr TPMIN0_EL0, x2
// CHECK-ENCODING: encoding: [0x82,0x22,0x1b,0xd5]
// CHECK-UNKNOWN:  d51b2282 msr TPMIN0_EL0, x2

msr TPMAX0_EL0, x2
// CHECK-INST: msr TPMAX0_EL0, x2
// CHECK-ENCODING: encoding: [0xa2,0x22,0x1b,0xd5]
// CHECK-UNKNOWN:  d51b22a2 msr TPMAX0_EL0, x2

msr TPMIN1_EL0, x2
// CHECK-INST: msr TPMIN1_EL0, x2
// CHECK-ENCODING: encoding: [0xc2,0x22,0x1b,0xd5]
// CHECK-UNKNOWN:  d51b22c2 msr TPMIN1_EL0, x2

msr TPMAX1_EL0, x2
// CHECK-INST: msr TPMAX1_EL0, x2
// CHECK-ENCODING: encoding: [0xe2,0x22,0x1b,0xd5]
// CHECK-UNKNOWN:  d51b22e2 msr TPMAX1_EL0, x2

msr TPMIN0_EL1, x2
// CHECK-INST: msr TPMIN0_EL1, x2
// CHECK-ENCODING: encoding: [0x82,0x22,0x18,0xd5]
// CHECK-UNKNOWN:  d5182282 msr TPMIN0_EL1, x2

msr TPMAX0_EL1, x2
// CHECK-INST: msr TPMAX0_EL1, x2
// CHECK-ENCODING: encoding: [0xa2,0x22,0x18,0xd5]
// CHECK-UNKNOWN:  d51822a2 msr TPMAX0_EL1, x2

msr TPMIN1_EL1, x2
// CHECK-INST: msr TPMIN1_EL1, x2
// CHECK-ENCODING: encoding: [0xc2,0x22,0x18,0xd5]
// CHECK-UNKNOWN:  d51822c2 msr TPMIN1_EL1, x2

msr TPMAX1_EL1, x2
// CHECK-INST: msr TPMAX1_EL1, x2
// CHECK-ENCODING: encoding: [0xe2,0x22,0x18,0xd5]
// CHECK-UNKNOWN:  d51822e2 msr TPMAX1_EL1, x2

msr TPMIN0_EL2, x2
// CHECK-INST: msr TPMIN0_EL2, x2
// CHECK-ENCODING: encoding: [0x82,0x22,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c2282 msr TPMIN0_EL2, x2

msr TPMAX0_EL2, x2
// CHECK-INST: msr TPMAX0_EL2, x2
// CHECK-ENCODING: encoding: [0xa2,0x22,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c22a2 msr TPMAX0_EL2, x2

msr TPMIN1_EL2, x2
// CHECK-INST: msr TPMIN1_EL2, x2
// CHECK-ENCODING: encoding: [0xc2,0x22,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c22c2 msr TPMIN1_EL2, x2

msr TPMAX1_EL2, x2
// CHECK-INST: msr TPMAX1_EL2, x2
// CHECK-ENCODING: encoding: [0xe2,0x22,0x1c,0xd5]
// CHECK-UNKNOWN:  d51c22e2 msr TPMAX1_EL2, x2

msr TPMIN0_EL12, x2
// CHECK-INST: msr TPMIN0_EL12, x2
// CHECK-ENCODING: encoding: [0x82,0x22,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d2282 msr TPMIN0_EL12, x2

msr TPMAX0_EL12, x2
// CHECK-INST: msr TPMAX0_EL12, x2
// CHECK-ENCODING: encoding: [0xa2,0x22,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d22a2 msr TPMAX0_EL12, x2

msr TPMIN1_EL12, x2
// CHECK-INST: msr TPMIN1_EL12, x2
// CHECK-ENCODING: encoding: [0xc2,0x22,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d22c2 msr TPMIN1_EL12, x2

msr TPMAX1_EL12, x2
// CHECK-INST: msr TPMAX1_EL12, x2
// CHECK-ENCODING: encoding: [0xe2,0x22,0x1d,0xd5]
// CHECK-UNKNOWN:  d51d22e2 msr TPMAX1_EL12, x2


tchangef x0, x1
// CHECK-INST:    tchangef x0, x1
// CHECK-ENCODING: [0x20,0x00,0x80,0xd5]
// CHECK-UNKNOWN: d5800020
// CHECK-ERROR: error: instruction requires: poe2

tchangef x0, x1, nB
// CHECK-INST:    tchangef x0, x1, nb
// CHECK-ENCODING: [0x20,0x00,0x82,0xd5]
// CHECK-UNKNOWN: d5820020
// CHECK-ERROR: error: instruction requires: poe2

tchangef x1, #3
// CHECK-INST:    tchangef x1, #3
// CHECK-ENCODING: [0x61,0x00,0x90,0xd5]
// CHECK-UNKNOWN: d5900061
// CHECK-ERROR: error: instruction requires: poe2

tchangef x1, #3, nB
// CHECK-INST:    tchangef x1, #3, nb
// CHECK-ENCODING: [0x61,0x00,0x92,0xd5]
// CHECK-UNKNOWN: d5920061
// CHECK-ERROR: error: instruction requires: poe2

tchangeb x0, x1
// CHECK-INST:    tchangeb x0, x1
// CHECK-ENCODING: [0x20,0x00,0x84,0xd5]
// CHECK-UNKNOWN: d5840020
// CHECK-ERROR: error: instruction requires: poe2

tchangeb x0, x1, nB
// CHECK-INST:    tchangeb x0, x1, nb
// CHECK-ENCODING: [0x20,0x00,0x86,0xd5]
// CHECK-UNKNOWN: d5860020
// CHECK-ERROR: error: instruction requires: poe2

tchangeb x1, #9
// CHECK-INST:    tchangeb x1, #9
// CHECK-ENCODING: [0x21,0x01,0x94,0xd5]
// CHECK-UNKNOWN: d5940121
// CHECK-ERROR: error: instruction requires: poe2

tchangeb x1, #9, nB
// CHECK-INST:    tchangeb x1, #9, nb
// CHECK-ENCODING: [0x21,0x01,0x96,0xd5]
// CHECK-UNKNOWN: d5960121
// CHECK-ERROR: error: instruction requires: poe2


PLBI ALLE3
// CHECK-INST:    plbi alle3
// CHECK-ENCODING: [0x1f,0xa7,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea71f sys  #6, c10, c7, #0
// CHECK-ERROR: error: PLBI ALLE3 requires: poe2

PLBI ALLE3IS
// CHECK-INST:    plbi alle3is
// CHECK-ENCODING: [0x1f,0xa3,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea31f sys  #6, c10, c3, #0
// CHECK-ERROR: error: PLBI ALLE3IS requires: poe2

PLBI ALLE3OS
// CHECK-INST:    plbi alle3os
// CHECK-ENCODING: [0x1f,0xa1,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea11f sys  #6, c10, c1, #0
// CHECK-ERROR: error: PLBI ALLE3OS requires: poe2

PLBI ALLE2
// CHECK-INST:    plbi alle2
// CHECK-ENCODING: [0x1f,0xa7,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca71f sys  #4, c10, c7, #0
// CHECK-ERROR: error: PLBI ALLE2 requires: poe2

PLBI ALLE2IS
// CHECK-INST:    plbi alle2is
// CHECK-ENCODING: [0x1f,0xa3,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca31f sys  #4, c10, c3, #0
// CHECK-ERROR: error: PLBI ALLE2IS requires: poe2

PLBI ALLE2OS
// CHECK-INST:    plbi alle2os
// CHECK-ENCODING: [0x1f,0xa1,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca11f sys  #4, c10, c1, #0
// CHECK-ERROR: error: PLBI ALLE2OS requires: poe2

PLBI ALLE1
// CHECK-INST:    plbi alle1
// CHECK-ENCODING: [0x9f,0xa7,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca79f sys  #4, c10, c7, #4
// CHECK-ERROR: error: PLBI ALLE1 requires: poe2

PLBI ALLE1IS
// CHECK-INST:    plbi alle1is
// CHECK-ENCODING: [0x9f,0xa3,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca39f sys  #4, c10, c3, #4
// CHECK-ERROR: error: PLBI ALLE1IS requires: poe2

PLBI ALLE1OS
// CHECK-INST:    plbi alle1os
// CHECK-ENCODING: [0x9f,0xa1,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca19f sys  #4, c10, c1, #4
// CHECK-ERROR: error: PLBI ALLE1OS requires: poe2

PLBI VMALLE1
// CHECK-INST:    plbi vmalle1
// CHECK-ENCODING: [0x1f,0xa7,0x08,0xd5]
// CHECK-UNKNOWN: d508a71f sys  #0, c10, c7, #0
// CHECK-ERROR: error: PLBI VMALLE1 requires: poe2

PLBI VMALLE1IS
// CHECK-INST:    plbi vmalle1is
// CHECK-ENCODING: [0x1f,0xa3,0x08,0xd5]
// CHECK-UNKNOWN: d508a31f sys  #0, c10, c3, #0
// CHECK-ERROR: error: PLBI VMALLE1IS requires: poe2

PLBI VMALLE1OS
// CHECK-INST:    plbi vmalle1os
// CHECK-ENCODING: [0x1f,0xa1,0x08,0xd5]
// CHECK-UNKNOWN: d508a11f sys  #0, c10, c1, #0
// CHECK-ERROR: error: PLBI VMALLE1OS requires: poe2

PLBI ASIDE1, X3
// CHECK-INST:    plbi aside1, x3
// CHECK-ENCODING: [0x43,0xa7,0x08,0xd5]
// CHECK-UNKNOWN: d508a743 sys  #0, c10, c7, #2, x3
// CHECK-ERROR: error: PLBI ASIDE1 requires: poe2

PLBI ASIDE1IS, X3
// CHECK-INST:    plbi aside1is, x3
// CHECK-ENCODING: [0x43,0xa3,0x08,0xd5]
// CHECK-UNKNOWN: d508a343 sys  #0, c10, c3, #2, x3
// CHECK-ERROR: error: PLBI ASIDE1IS requires: poe2

PLBI ASIDE1OS, X3
// CHECK-INST:    plbi aside1os, x3
// CHECK-ENCODING: [0x43,0xa1,0x08,0xd5]
// CHECK-UNKNOWN: d508a143 sys  #0, c10, c1, #2, x3
// CHECK-ERROR: error: PLBI ASIDE1OS requires: poe2

PLBI PERME3, X3
// CHECK-INST:    plbi perme3, x3
// CHECK-ENCODING: [0x23,0xa7,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea723 sys  #6, c10, c7, #1, x3
// CHECK-ERROR: error: PLBI PERME3 requires: poe2

PLBI PERME3IS, X3
// CHECK-INST:    plbi perme3is, x3
// CHECK-ENCODING: [0x23,0xa3,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea323 sys  #6, c10, c3, #1, x3
// CHECK-ERROR: error: PLBI PERME3IS requires: poe2

PLBI PERME3OS, X3
// CHECK-INST:    plbi perme3os, x3
// CHECK-ENCODING: [0x23,0xa1,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea123 sys  #6, c10, c1, #1, x3
// CHECK-ERROR: error: PLBI PERME3OS requires: poe2

PLBI PERME2, X3
// CHECK-INST:    plbi perme2, x3
// CHECK-ENCODING: [0x23,0xa7,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca723 sys  #4, c10, c7, #1, x3
// CHECK-ERROR: error: PLBI PERME2 requires: poe2

PLBI PERME2IS, X3
// CHECK-INST:    plbi perme2is, x3
// CHECK-ENCODING: [0x23,0xa3,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca323 sys  #4, c10, c3, #1, x3
// CHECK-ERROR: error: PLBI PERME2IS requires: poe2

PLBI PERME2OS, X3
// CHECK-INST:    plbi perme2os, x3
// CHECK-ENCODING: [0x23,0xa1,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca123 sys  #4, c10, c1, #1, x3
// CHECK-ERROR: error: PLBI PERME2OS requires: poe2

PLBI PERME1, X3
// CHECK-INST:    plbi perme1, x3
// CHECK-ENCODING: [0x23,0xa7,0x08,0xd5]
// CHECK-UNKNOWN: d508a723 sys  #0, c10, c7, #1, x3
// CHECK-ERROR: error: PLBI PERME1 requires: poe2

PLBI PERME1IS, X3
// CHECK-INST:    plbi perme1is, x3
// CHECK-ENCODING: [0x23,0xa3,0x08,0xd5]
// CHECK-UNKNOWN: d508a323 sys  #0, c10, c3, #1, x3
// CHECK-ERROR: error: PLBI PERME1IS requires: poe2

PLBI PERME1OS, X3
// CHECK-INST:    plbi perme1os, x3
// CHECK-ENCODING: [0x23,0xa1,0x08,0xd5]
// CHECK-UNKNOWN: d508a123 sys  #0, c10, c1, #1, x3
// CHECK-ERROR: error: PLBI PERME1OS requires: poe2

PLBI ALLE3NXS
// CHECK-INST:    plbi alle3nxs
// CHECK-ENCODING: [0x1f,0xaf,0x0e,0xd5]
// CHECK-UNKNOWN: d50eaf1f sys  #6, c10, c15, #0
// CHECK-ERROR: error: PLBI ALLE3NXS requires: poe2

PLBI ALLE3ISNXS
// CHECK-INST:    plbi alle3isnxs
// CHECK-ENCODING: [0x1f,0xab,0x0e,0xd5]
// CHECK-UNKNOWN: d50eab1f sys  #6, c10, c11, #0
// CHECK-ERROR: error: PLBI ALLE3ISNXS requires: poe2

PLBI ALLE3OSNXS
// CHECK-INST:    plbi alle3osnxs
// CHECK-ENCODING: [0x1f,0xa9,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea91f sys  #6, c10, c9, #0
// CHECK-ERROR: error: PLBI ALLE3OSNXS requires: poe2

PLBI ALLE2NXS
// CHECK-INST:    plbi alle2nxs
// CHECK-ENCODING: [0x1f,0xaf,0x0c,0xd5]
// CHECK-UNKNOWN: d50caf1f sys  #4, c10, c15, #0
// CHECK-ERROR: error: PLBI ALLE2NXS requires: poe2

PLBI ALLE2ISNXS
// CHECK-INST:    plbi alle2isnxs
// CHECK-ENCODING: [0x1f,0xab,0x0c,0xd5]
// CHECK-UNKNOWN: d50cab1f sys  #4, c10, c11, #0
// CHECK-ERROR: error: PLBI ALLE2ISNXS requires: poe2

PLBI ALLE2OSNXS
// CHECK-INST:    plbi alle2osnxs
// CHECK-ENCODING: [0x1f,0xa9,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca91f sys  #4, c10, c9, #0
// CHECK-ERROR: error: PLBI ALLE2OSNXS requires: poe2

PLBI ALLE1NXS
// CHECK-INST:    plbi alle1nxs
// CHECK-ENCODING: [0x9f,0xaf,0x0c,0xd5]
// CHECK-UNKNOWN: d50caf9f sys  #4, c10, c15, #4
// CHECK-ERROR: error: PLBI ALLE1NXS requires: poe2

PLBI ALLE1ISNXS
// CHECK-INST:    plbi alle1isnxs
// CHECK-ENCODING: [0x9f,0xab,0x0c,0xd5]
// CHECK-UNKNOWN: d50cab9f sys  #4, c10, c11, #4
// CHECK-ERROR: error: PLBI ALLE1ISNXS requires: poe2

PLBI ALLE1OSNXS
// CHECK-INST:    plbi alle1osnxs
// CHECK-ENCODING: [0x9f,0xa9,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca99f sys  #4, c10, c9, #4
// CHECK-ERROR: error: PLBI ALLE1OSNXS requires: poe2

PLBI VMALLE1NXS
// CHECK-INST:    plbi vmalle1nxs
// CHECK-ENCODING: [0x1f,0xaf,0x08,0xd5]
// CHECK-UNKNOWN: d508af1f sys  #0, c10, c15, #0
// CHECK-ERROR: error: PLBI VMALLE1NXS requires: poe2

PLBI VMALLE1ISNXS
// CHECK-INST:    plbi vmalle1isnxs
// CHECK-ENCODING: [0x1f,0xab,0x08,0xd5]
// CHECK-UNKNOWN: d508ab1f sys  #0, c10, c11, #0
// CHECK-ERROR: error: PLBI VMALLE1ISNXS requires: poe2

PLBI VMALLE1OSNXS
// CHECK-INST:    plbi vmalle1osnxs
// CHECK-ENCODING: [0x1f,0xa9,0x08,0xd5]
// CHECK-UNKNOWN: d508a91f sys  #0, c10, c9, #0
// CHECK-ERROR: error: PLBI VMALLE1OSNXS requires: poe2

PLBI ASIDE1NXS, X3
// CHECK-INST:    plbi aside1nxs, x3
// CHECK-ENCODING: [0x43,0xaf,0x08,0xd5]
// CHECK-UNKNOWN: d508af43 sys  #0, c10, c15, #2, x3
// CHECK-ERROR: error: PLBI ASIDE1NXS requires: poe2

PLBI ASIDE1ISNXS, X3
// CHECK-INST:    plbi aside1isnxs, x3
// CHECK-ENCODING: [0x43,0xab,0x08,0xd5]
// CHECK-UNKNOWN: d508ab43 sys  #0, c10, c11, #2, x3
// CHECK-ERROR: error: PLBI ASIDE1ISNXS requires: poe2

PLBI ASIDE1OSNXS, X3
// CHECK-INST:    plbi aside1osnxs, x3
// CHECK-ENCODING: [0x43,0xa9,0x08,0xd5]
// CHECK-UNKNOWN: d508a943 sys  #0, c10, c9, #2, x3
// CHECK-ERROR: error: PLBI ASIDE1OSNXS requires: poe2

PLBI PERME3NXS, X3
// CHECK-INST:    plbi perme3nxs, x3
// CHECK-ENCODING: [0x23,0xaf,0x0e,0xd5]
// CHECK-UNKNOWN: d50eaf23 sys  #6, c10, c15, #1, x3
// CHECK-ERROR: error: PLBI PERME3NXS requires: poe2

PLBI PERME3ISNXS, X3
// CHECK-INST:    plbi perme3isnxs, x3
// CHECK-ENCODING: [0x23,0xab,0x0e,0xd5]
// CHECK-UNKNOWN: d50eab23 sys  #6, c10, c11, #1, x3
// CHECK-ERROR: error: PLBI PERME3ISNXS requires: poe2

PLBI PERME3OSNXS, X3
// CHECK-INST:    plbi perme3osnxs, x3
// CHECK-ENCODING: [0x23,0xa9,0x0e,0xd5]
// CHECK-UNKNOWN: d50ea923 sys  #6, c10, c9, #1, x3
// CHECK-ERROR: error: PLBI PERME3OSNXS requires: poe2

PLBI PERME2NXS, X3
// CHECK-INST:    plbi perme2nxs, x3
// CHECK-ENCODING: [0x23,0xaf,0x0c,0xd5]
// CHECK-UNKNOWN: d50caf23 sys  #4, c10, c15, #1, x3
// CHECK-ERROR: error: PLBI PERME2NXS requires: poe2

PLBI PERME2ISNXS, X3
// CHECK-INST:    plbi perme2isnxs, x3
// CHECK-ENCODING: [0x23,0xab,0x0c,0xd5]
// CHECK-UNKNOWN: d50cab23 sys  #4, c10, c11, #1, x3
// CHECK-ERROR: error: PLBI PERME2ISNXS requires: poe2

PLBI PERME2OSNXS, X3
// CHECK-INST:    plbi perme2osnxs, x3
// CHECK-ENCODING: [0x23,0xa9,0x0c,0xd5]
// CHECK-UNKNOWN: d50ca923 sys  #4, c10, c9, #1, x3
// CHECK-ERROR: error: PLBI PERME2OSNXS requires: poe2

PLBI PERME1NXS, X3
// CHECK-INST:    plbi perme1nxs, x3
// CHECK-ENCODING: [0x23,0xaf,0x08,0xd5]
// CHECK-UNKNOWN: d508af23 sys  #0, c10, c15, #1, x3
// CHECK-ERROR: error: PLBI PERME1NXS requires: poe2

PLBI PERME1ISNXS, X3
// CHECK-INST:    plbi perme1isnxs, x3
// CHECK-ENCODING: [0x23,0xab,0x08,0xd5]
// CHECK-UNKNOWN: d508ab23 sys  #0, c10, c11, #1, x3
// CHECK-ERROR: error: PLBI PERME1ISNXS requires: poe2

PLBI PERME1OSNXS, X3
// CHECK-INST:    plbi perme1osnxs, x3
// CHECK-ENCODING: [0x23,0xa9,0x08,0xd5]
// CHECK-UNKNOWN: d508a923 sys  #0, c10, c9, #1, x3
// CHECK-ERROR: error: PLBI PERME1OSNXS requires: poe2

PLBI PERMAE1, X3
// CHECK-INST:    plbi permae1, x3
// CHECK-ENCODING: [0x63,0xa7,0x08,0xd5]
// CHECK-UNKNOWN: d508a763 sys  #0, c10, c7, #3, x3
// CHECK-ERROR: error: PLBI PERMAE1 requires: poe2

PLBI PERMAE1IS, X3
// CHECK-INST:    plbi permae1is, x3
// CHECK-ENCODING: [0x63,0xa3,0x08,0xd5]
// CHECK-UNKNOWN: d508a363 sys  #0, c10, c3, #3, x3
// CHECK-ERROR: error: PLBI PERMAE1IS requires: poe2

PLBI PERMAE1OS, X3
// CHECK-INST:    plbi permae1os, x3
// CHECK-ENCODING: [0x63,0xa1,0x08,0xd5]
// CHECK-UNKNOWN: d508a163 sys  #0, c10, c1, #3, x3
// CHECK-ERROR: error: PLBI PERMAE1OS requires: poe2

PLBI PERMAE1NXS, X3
// CHECK-INST:    plbi permae1nxs, x3
// CHECK-ENCODING: [0x63,0xaf,0x08,0xd5]
// CHECK-UNKNOWN: d508af63 sys  #0, c10, c15, #3, x3
// CHECK-ERROR: error: PLBI PERMAE1NXS requires: poe2

PLBI PERMAE1ISNXS, X3
// CHECK-INST:    plbi permae1isnxs, x3
// CHECK-ENCODING: [0x63,0xab,0x08,0xd5]
// CHECK-UNKNOWN: d508ab63 sys  #0, c10, c11, #3, x3
// CHECK-ERROR: error: PLBI PERMAE1ISNXS requires: poe2

PLBI PERMAE1OSNXS, X3
// CHECK-INST:    plbi permae1osnxs, x3
// CHECK-ENCODING: [0x63,0xa9,0x08,0xd5]
// CHECK-UNKNOWN: d508a963 sys  #0, c10, c9, #3, x3
// CHECK-ERROR: error: PLBI PERMAE1OSNXS requires: poe2
