Arm.hs (133741B)
1 {-# OPTIONS_HADDOCK prune #-} 2 {-# LANGUAGE OverloadedStrings #-} 3 4 -- | 5 -- Module: Vestigia.Contract.Arm 6 -- Copyright: (c) 2026 Jared Tobin 7 -- License: MIT 8 -- Maintainer: Jared Tobin <jared@ppad.tech> 9 -- 10 -- Arm's data-independent-timing contract (@PSTATE.DIT@), encoding by 11 -- encoding, generated from Arm's machine-readable specification. 12 -- 13 -- == Source 14 -- 15 -- /A64 ISA XML for A-profile Architecture/, version @2022-12@ 16 -- (package @ISA_A64_xml_A_profile-2022-12@, sha256 17 -- @1839a9722eab26aa3bdcd91adeeaf2e6c5c6df085f0e096f949c55cbee7d1a5a@), 18 -- retrieved 2026-10-27 from the Internet Archive mirror of Arm's 19 -- exploration-tools release, 20 -- @archive.org\/details\/arm-xml-a-profile-2022-12@, its md5 21 -- matching the mirror's record. 22 -- 23 -- == Rule 24 -- 25 -- Every encoding of every A64 instruction section (type 26 -- @instruction@, one per file) of the general, Advanced SIMD, 27 -- floating-point, SIMD&FP load/store, and system classes; SVE and SME 28 -- are left out. An instruction is covered exactly when its section's 29 -- @\<operationalnotes\>@ name @PSTATE.DIT@, whose data-processing 30 -- note reads: 31 -- 32 -- > If PSTATE.DIT is 1: The execution time of this instruction is 33 -- > independent of: The values of the data supplied in any of its 34 -- > registers. The values of the NZCV flags. 35 -- 36 -- An encoding's fixed bits are its class's register diagram with the 37 -- encoding's own boxes over it. One not covered is control flow or 38 -- system ('Control') where its pseudocode lies under 39 -- @aarch64\/instrs\/branch\/@ or @aarch64\/instrs\/system\/@, or 40 -- its section is of the system class; otherwise it is 'Outside', with 41 -- its source registers: the five-bit register fields its assembler 42 -- template names whose explanation is neither destination-only nor 43 -- an address (a base register, or one holding an address). 44 45 module Vestigia.Contract.Arm ( 46 encodings 47 ) where 48 49 import Vestigia.Contract.Types 50 51 -- | Every encoding, in the specification's file order. 52 encodings :: [Encoding] 53 encodings = 54 [ Encoding "ABS_32_dp_1src" 0xfffffc00 0x5ac02000 Covered 55 , Encoding "ABS_64_dp_1src" 0xfffffc00 0xdac02000 Covered 56 , Encoding "ABS_asisdmisc_R" 0xff3ffc00 0x5e20b800 Covered 57 , Encoding "ABS_asimdmisc_R" 0xbf3ffc00 0x0e20b800 Covered 58 , Encoding "ADC_32_addsub_carry" 0xffe0fc00 0x1a000000 Covered 59 , Encoding "ADC_64_addsub_carry" 0xffe0fc00 0x9a000000 Covered 60 , Encoding "ADCS_32_addsub_carry" 0xffe0fc00 0x3a000000 Covered 61 , Encoding "ADCS_64_addsub_carry" 0xffe0fc00 0xba000000 Covered 62 , Encoding "ADD_32_addsub_ext" 0xffe00000 0x0b200000 Covered 63 , Encoding "ADD_64_addsub_ext" 0xffe00000 0x8b200000 Covered 64 , Encoding "ADD_32_addsub_imm" 0xff800000 0x11000000 Covered 65 , Encoding "ADD_64_addsub_imm" 0xff800000 0x91000000 Covered 66 , Encoding "ADD_32_addsub_shift" 0xff200000 0x0b000000 Covered 67 , Encoding "ADD_64_addsub_shift" 0xff200000 0x8b000000 Covered 68 , Encoding "ADD_asisdsame_only" 0xff20fc00 0x5e208400 Covered 69 , Encoding "ADD_asimdsame_only" 0xbf20fc00 0x0e208400 Covered 70 , Encoding "ADDG_64_addsub_immtags" 0xffc00000 0x91800000 71 (Outside [(5, OpXSp)]) 72 , Encoding "ADDHN_asimddiff_N" 0xbf20fc00 0x0e204000 Covered 73 , Encoding "ADDP_asisdpair_only" 0xff3ffc00 0x5e31b800 Covered 74 , Encoding "ADDP_asimdsame_only" 0xbf20fc00 0x0e20bc00 Covered 75 , Encoding "ADDS_32S_addsub_ext" 0xffe00000 0x2b200000 Covered 76 , Encoding "ADDS_64S_addsub_ext" 0xffe00000 0xab200000 Covered 77 , Encoding "ADDS_32S_addsub_imm" 0xff800000 0x31000000 Covered 78 , Encoding "ADDS_64S_addsub_imm" 0xff800000 0xb1000000 Covered 79 , Encoding "ADDS_32_addsub_shift" 0xff200000 0x2b000000 Covered 80 , Encoding "ADDS_64_addsub_shift" 0xff200000 0xab000000 Covered 81 , Encoding "ADDV_asimdall_only" 0xbf3ffc00 0x0e31b800 Covered 82 , Encoding "ADR_only_pcreladdr" 0x9f000000 0x10000000 (Outside []) 83 , Encoding "ADRP_only_pcreladdr" 0x9f000000 0x90000000 (Outside []) 84 , Encoding "AESD_B_cryptoaes" 0xfffffc00 0x4e285800 Covered 85 , Encoding "AESE_B_cryptoaes" 0xfffffc00 0x4e284800 Covered 86 , Encoding "AESIMC_B_cryptoaes" 0xfffffc00 0x4e287800 Covered 87 , Encoding "AESMC_B_cryptoaes" 0xfffffc00 0x4e286800 Covered 88 , Encoding "AND_asimdsame_only" 0xbfe0fc00 0x0e201c00 Covered 89 , Encoding "AND_32_log_imm" 0xffc00000 0x12000000 Covered 90 , Encoding "AND_64_log_imm" 0xff800000 0x92000000 Covered 91 , Encoding "AND_32_log_shift" 0xff200000 0x0a000000 Covered 92 , Encoding "AND_64_log_shift" 0xff200000 0x8a000000 Covered 93 , Encoding "ANDS_32S_log_imm" 0xffc00000 0x72000000 Covered 94 , Encoding "ANDS_64S_log_imm" 0xff800000 0xf2000000 Covered 95 , Encoding "ANDS_32_log_shift" 0xff200000 0x6a000000 Covered 96 , Encoding "ANDS_64_log_shift" 0xff200000 0xea000000 Covered 97 , Encoding "ASRV_32_dp_2src" 0xffe0fc00 0x1ac02800 Covered 98 , Encoding "ASRV_64_dp_2src" 0xffe0fc00 0x9ac02800 Covered 99 , Encoding "AUTDA_64P_dp_1src" 0xfffffc00 0xdac11800 (Outside [(5, OpXSp)]) 100 , Encoding "AUTDZA_64Z_dp_1src" 0xffffffe0 0xdac13be0 (Outside []) 101 , Encoding "AUTDB_64P_dp_1src" 0xfffffc00 0xdac11c00 (Outside [(5, OpXSp)]) 102 , Encoding "AUTDZB_64Z_dp_1src" 0xffffffe0 0xdac13fe0 (Outside []) 103 , Encoding "AUTIA_64P_dp_1src" 0xfffffc00 0xdac11000 (Outside [(5, OpXSp)]) 104 , Encoding "AUTIZA_64Z_dp_1src" 0xffffffe0 0xdac133e0 (Outside []) 105 , Encoding "AUTIA1716_HI_hints" 0xfffff23f 0xd503201f (Outside []) 106 , Encoding "AUTIASP_HI_hints" 0xfffff23f 0xd503223f (Outside []) 107 , Encoding "AUTIAZ_HI_hints" 0xfffff23f 0xd503221f (Outside []) 108 , Encoding "AUTIB_64P_dp_1src" 0xfffffc00 0xdac11400 (Outside [(5, OpXSp)]) 109 , Encoding "AUTIZB_64Z_dp_1src" 0xffffffe0 0xdac137e0 (Outside []) 110 , Encoding "AUTIB1716_HI_hints" 0xfffff23f 0xd503201f (Outside []) 111 , Encoding "AUTIBSP_HI_hints" 0xfffff23f 0xd503223f (Outside []) 112 , Encoding "AUTIBZ_HI_hints" 0xfffff23f 0xd503221f (Outside []) 113 , Encoding "AXFLAG_M_pstate" 0xfffff0ff 0xd500405f Control 114 , Encoding "B_only_condbranch" 0xff000010 0x54000000 Control 115 , Encoding "B_only_branch_imm" 0xfc000000 0x14000000 Control 116 , Encoding "BC_only_condbranch" 0xff000010 0x54000010 Control 117 , Encoding "BCAX_VVV16_crypto4" 0xffe08000 0xce200000 Covered 118 , Encoding "BFCVT_BS_floatdp1" 0xfffffc00 0x1e634000 (Outside [(5, OpS)]) 119 , Encoding "BFCVTN_asimdmisc_4S" 0xbffffc00 0x0ea16800 (Outside [(5, OpV)]) 120 , Encoding "BFDOT_asimdelem_E" 0xbfc0f400 0x0f40f000 (Outside [(5, OpV)]) 121 , Encoding "BFDOT_asimdsame2_D" 0xbfe0fc00 0x2e40fc00 122 (Outside [(5, OpV), (16, OpV)]) 123 , Encoding "BFM_32M_bitfield" 0xffc00000 0x33000000 Covered 124 , Encoding "BFM_64M_bitfield" 0xffc00000 0xb3400000 Covered 125 , Encoding "BFMLAL_asimdelem_F" 0xbfc0f400 0x0fc0f000 (Outside [(5, OpV)]) 126 , Encoding "BFMLAL_asimdsame2_F_" 0xbfe0fc00 0x2ec0fc00 127 (Outside [(5, OpV), (16, OpV)]) 128 , Encoding "BFMMLA_asimdsame2_E" 0xffe0fc00 0x6e40ec00 129 (Outside [(0, OpV), (5, OpV), (16, OpV)]) 130 , Encoding "BIC_asimdimm_L_hl" 0xbff8cc00 0x2f008400 Covered 131 , Encoding "BIC_asimdimm_L_sl" 0xbff88c00 0x2f000400 Covered 132 , Encoding "BIC_asimdsame_only" 0xbfe0fc00 0x0e601c00 Covered 133 , Encoding "BIC_32_log_shift" 0xff200000 0x0a200000 Covered 134 , Encoding "BIC_64_log_shift" 0xff200000 0x8a200000 Covered 135 , Encoding "BICS_32_log_shift" 0xff200000 0x6a200000 Covered 136 , Encoding "BICS_64_log_shift" 0xff200000 0xea200000 Covered 137 , Encoding "BIF_asimdsame_only" 0xbfe0fc00 0x2ee01c00 Covered 138 , Encoding "BIT_asimdsame_only" 0xbfe0fc00 0x2ea01c00 Covered 139 , Encoding "BL_only_branch_imm" 0xfc000000 0x94000000 Control 140 , Encoding "BLR_64_branch_reg" 0xfffffc1f 0xd63f0000 Control 141 , Encoding "BLRAAZ_64_branch_reg" 0xfffffc1f 0xd63f081f Control 142 , Encoding "BLRAA_64P_branch_reg" 0xfffffc00 0xd73f0800 Control 143 , Encoding "BLRABZ_64_branch_reg" 0xfffffc1f 0xd63f0c1f Control 144 , Encoding "BLRAB_64P_branch_reg" 0xfffffc00 0xd73f0c00 Control 145 , Encoding "BR_64_branch_reg" 0xfffffc1f 0xd61f0000 Control 146 , Encoding "BRAAZ_64_branch_reg" 0xfffffc1f 0xd61f081f Control 147 , Encoding "BRAA_64P_branch_reg" 0xfffffc00 0xd71f0800 Control 148 , Encoding "BRABZ_64_branch_reg" 0xfffffc1f 0xd61f0c1f Control 149 , Encoding "BRAB_64P_branch_reg" 0xfffffc00 0xd71f0c00 Control 150 , Encoding "BRK_EX_exception" 0xffe0001f 0xd4200000 Control 151 , Encoding "BSL_asimdsame_only" 0xbfe0fc00 0x2e601c00 Covered 152 , Encoding "BTI_HB_hints" 0xffffff3f 0xd503241f Control 153 , Encoding "CAS_C32_comswap" 0x7fe0fc00 0x08a07c00 154 (Outside [(0, OpW), (16, OpW)]) 155 , Encoding "CASA_C32_comswap" 0x7fe0fc00 0x08e07c00 156 (Outside [(0, OpW), (16, OpW)]) 157 , Encoding "CASAL_C32_comswap" 0x7fe0fc00 0x08e0fc00 158 (Outside [(0, OpW), (16, OpW)]) 159 , Encoding "CASL_C32_comswap" 0x7fe0fc00 0x08a0fc00 160 (Outside [(0, OpW), (16, OpW)]) 161 , Encoding "CAS_C64_comswap" 0x7fe0fc00 0x48a07c00 162 (Outside [(0, OpX), (16, OpX)]) 163 , Encoding "CASA_C64_comswap" 0x7fe0fc00 0x48e07c00 164 (Outside [(0, OpX), (16, OpX)]) 165 , Encoding "CASAL_C64_comswap" 0x7fe0fc00 0x48e0fc00 166 (Outside [(0, OpX), (16, OpX)]) 167 , Encoding "CASL_C64_comswap" 0x7fe0fc00 0x48a0fc00 168 (Outside [(0, OpX), (16, OpX)]) 169 , Encoding "CASAB_C32_comswap" 0xffe0fc00 0x08e07c00 170 (Outside [(0, OpW), (16, OpW)]) 171 , Encoding "CASALB_C32_comswap" 0xffe0fc00 0x08e0fc00 172 (Outside [(0, OpW), (16, OpW)]) 173 , Encoding "CASB_C32_comswap" 0xffe0fc00 0x08a07c00 174 (Outside [(0, OpW), (16, OpW)]) 175 , Encoding "CASLB_C32_comswap" 0xffe0fc00 0x08a0fc00 176 (Outside [(0, OpW), (16, OpW)]) 177 , Encoding "CASAH_C32_comswap" 0xffe0fc00 0x48e07c00 178 (Outside [(0, OpW), (16, OpW)]) 179 , Encoding "CASALH_C32_comswap" 0xffe0fc00 0x48e0fc00 180 (Outside [(0, OpW), (16, OpW)]) 181 , Encoding "CASH_C32_comswap" 0xffe0fc00 0x48a07c00 182 (Outside [(0, OpW), (16, OpW)]) 183 , Encoding "CASLH_C32_comswap" 0xffe0fc00 0x48a0fc00 184 (Outside [(0, OpW), (16, OpW)]) 185 , Encoding "CASP_CP32_comswappr" 0xffe0fc00 0x08207c00 186 (Outside [(0, OpW), (16, OpW)]) 187 , Encoding "CASPA_CP32_comswappr" 0xffe0fc00 0x08607c00 188 (Outside [(0, OpW), (16, OpW)]) 189 , Encoding "CASPAL_CP32_comswappr" 0xffe0fc00 0x0860fc00 190 (Outside [(0, OpW), (16, OpW)]) 191 , Encoding "CASPL_CP32_comswappr" 0xffe0fc00 0x0820fc00 192 (Outside [(0, OpW), (16, OpW)]) 193 , Encoding "CASP_CP64_comswappr" 0xffe0fc00 0x48207c00 194 (Outside [(0, OpX), (16, OpX)]) 195 , Encoding "CASPA_CP64_comswappr" 0xffe0fc00 0x48607c00 196 (Outside [(0, OpX), (16, OpX)]) 197 , Encoding "CASPAL_CP64_comswappr" 0xffe0fc00 0x4860fc00 198 (Outside [(0, OpX), (16, OpX)]) 199 , Encoding "CASPL_CP64_comswappr" 0xffe0fc00 0x4820fc00 200 (Outside [(0, OpX), (16, OpX)]) 201 , Encoding "CBNZ_32_compbranch" 0xff000000 0x35000000 Control 202 , Encoding "CBNZ_64_compbranch" 0xff000000 0xb5000000 Control 203 , Encoding "CBZ_32_compbranch" 0xff000000 0x34000000 Control 204 , Encoding "CBZ_64_compbranch" 0xff000000 0xb4000000 Control 205 , Encoding "CCMN_32_condcmp_imm" 0xffe00c10 0x3a400800 Covered 206 , Encoding "CCMN_64_condcmp_imm" 0xffe00c10 0xba400800 Covered 207 , Encoding "CCMN_32_condcmp_reg" 0xffe00c10 0x3a400000 Covered 208 , Encoding "CCMN_64_condcmp_reg" 0xffe00c10 0xba400000 Covered 209 , Encoding "CCMP_32_condcmp_imm" 0xffe00c10 0x7a400800 Covered 210 , Encoding "CCMP_64_condcmp_imm" 0xffe00c10 0xfa400800 Covered 211 , Encoding "CCMP_32_condcmp_reg" 0xffe00c10 0x7a400000 Covered 212 , Encoding "CCMP_64_condcmp_reg" 0xffe00c10 0xfa400000 Covered 213 , Encoding "CFINV_M_pstate" 0xfffff0ff 0xd500401f Covered 214 , Encoding "CHKFEAT_HI_hints" 0xffffffff 0xd503251f Control 215 , Encoding "CLRBHB_HI_hints" 0xffffffff 0xd50322df Control 216 , Encoding "CLREX_BN_barriers" 0xfffff0ff 0xd503305f Control 217 , Encoding "CLS_asimdmisc_R" 0xbf3ffc00 0x0e204800 Covered 218 , Encoding "CLS_32_dp_1src" 0xfffffc00 0x5ac01400 Covered 219 , Encoding "CLS_64_dp_1src" 0xfffffc00 0xdac01400 Covered 220 , Encoding "CLZ_asimdmisc_R" 0xbf3ffc00 0x2e204800 Covered 221 , Encoding "CLZ_32_dp_1src" 0xfffffc00 0x5ac01000 Covered 222 , Encoding "CLZ_64_dp_1src" 0xfffffc00 0xdac01000 Covered 223 , Encoding "CMEQ_asisdsame_only" 0xff20fc00 0x7e208c00 Covered 224 , Encoding "CMEQ_asimdsame_only" 0xbf20fc00 0x2e208c00 Covered 225 , Encoding "CMEQ_asisdmisc_Z" 0xff3ffc00 0x5e209800 Covered 226 , Encoding "CMEQ_asimdmisc_Z" 0xbf3ffc00 0x0e209800 Covered 227 , Encoding "CMGE_asisdsame_only" 0xff20fc00 0x5e203c00 Covered 228 , Encoding "CMGE_asimdsame_only" 0xbf20fc00 0x0e203c00 Covered 229 , Encoding "CMGE_asisdmisc_Z" 0xff3ffc00 0x7e208800 Covered 230 , Encoding "CMGE_asimdmisc_Z" 0xbf3ffc00 0x2e208800 Covered 231 , Encoding "CMGT_asisdsame_only" 0xff20fc00 0x5e203400 Covered 232 , Encoding "CMGT_asimdsame_only" 0xbf20fc00 0x0e203400 Covered 233 , Encoding "CMGT_asisdmisc_Z" 0xff3ffc00 0x5e208800 Covered 234 , Encoding "CMGT_asimdmisc_Z" 0xbf3ffc00 0x0e208800 Covered 235 , Encoding "CMHI_asisdsame_only" 0xff20fc00 0x7e203400 Covered 236 , Encoding "CMHI_asimdsame_only" 0xbf20fc00 0x2e203400 Covered 237 , Encoding "CMHS_asisdsame_only" 0xff20fc00 0x7e203c00 Covered 238 , Encoding "CMHS_asimdsame_only" 0xbf20fc00 0x2e203c00 Covered 239 , Encoding "CMLE_asisdmisc_Z" 0xff3ffc00 0x7e209800 Covered 240 , Encoding "CMLE_asimdmisc_Z" 0xbf3ffc00 0x2e209800 Covered 241 , Encoding "CMLT_asisdmisc_Z" 0xff3ffc00 0x5e20a800 Covered 242 , Encoding "CMLT_asimdmisc_Z" 0xbf3ffc00 0x0e20a800 Covered 243 , Encoding "CMTST_asisdsame_only" 0xff20fc00 0x5e208c00 Covered 244 , Encoding "CMTST_asimdsame_only" 0xbf20fc00 0x0e208c00 Covered 245 , Encoding "CNT_32_dp_1src" 0xfffffc00 0x5ac01c00 Covered 246 , Encoding "CNT_64_dp_1src" 0xfffffc00 0xdac01c00 Covered 247 , Encoding "CNT_asimdmisc_R" 0xbf3ffc00 0x0e205800 Covered 248 , Encoding "CPYFE_CPY_memcms" 0x3fe0fc00 0x19800400 (Outside [(5, OpX)]) 249 , Encoding "CPYFM_CPY_memcms" 0x3fe0fc00 0x19400400 (Outside [(5, OpX)]) 250 , Encoding "CPYFP_CPY_memcms" 0x3fe0fc00 0x19000400 (Outside []) 251 , Encoding "CPYFEN_CPY_memcms" 0x3fe0fc00 0x1980c400 (Outside [(5, OpX)]) 252 , Encoding "CPYFMN_CPY_memcms" 0x3fe0fc00 0x1940c400 (Outside [(5, OpX)]) 253 , Encoding "CPYFPN_CPY_memcms" 0x3fe0fc00 0x1900c400 (Outside []) 254 , Encoding "CPYFERN_CPY_memcms" 0x3fe0fc00 0x19808400 (Outside [(5, OpX)]) 255 , Encoding "CPYFMRN_CPY_memcms" 0x3fe0fc00 0x19408400 (Outside [(5, OpX)]) 256 , Encoding "CPYFPRN_CPY_memcms" 0x3fe0fc00 0x19008400 (Outside []) 257 , Encoding "CPYFERT_CPY_memcms" 0x3fe0fc00 0x19802400 (Outside [(5, OpX)]) 258 , Encoding "CPYFMRT_CPY_memcms" 0x3fe0fc00 0x19402400 (Outside [(5, OpX)]) 259 , Encoding "CPYFPRT_CPY_memcms" 0x3fe0fc00 0x19002400 (Outside []) 260 , Encoding "CPYFERTN_CPY_memcms" 0x3fe0fc00 0x1980e400 (Outside [(5, OpX)]) 261 , Encoding "CPYFMRTN_CPY_memcms" 0x3fe0fc00 0x1940e400 (Outside [(5, OpX)]) 262 , Encoding "CPYFPRTN_CPY_memcms" 0x3fe0fc00 0x1900e400 (Outside []) 263 , Encoding "CPYFERTRN_CPY_memcms" 0x3fe0fc00 0x1980a400 (Outside [(5, OpX)]) 264 , Encoding "CPYFMRTRN_CPY_memcms" 0x3fe0fc00 0x1940a400 (Outside [(5, OpX)]) 265 , Encoding "CPYFPRTRN_CPY_memcms" 0x3fe0fc00 0x1900a400 (Outside []) 266 , Encoding "CPYFERTWN_CPY_memcms" 0x3fe0fc00 0x19806400 (Outside [(5, OpX)]) 267 , Encoding "CPYFMRTWN_CPY_memcms" 0x3fe0fc00 0x19406400 (Outside [(5, OpX)]) 268 , Encoding "CPYFPRTWN_CPY_memcms" 0x3fe0fc00 0x19006400 (Outside []) 269 , Encoding "CPYFET_CPY_memcms" 0x3fe0fc00 0x19803400 (Outside [(5, OpX)]) 270 , Encoding "CPYFMT_CPY_memcms" 0x3fe0fc00 0x19403400 (Outside [(5, OpX)]) 271 , Encoding "CPYFPT_CPY_memcms" 0x3fe0fc00 0x19003400 (Outside []) 272 , Encoding "CPYFETN_CPY_memcms" 0x3fe0fc00 0x1980f400 (Outside [(5, OpX)]) 273 , Encoding "CPYFMTN_CPY_memcms" 0x3fe0fc00 0x1940f400 (Outside [(5, OpX)]) 274 , Encoding "CPYFPTN_CPY_memcms" 0x3fe0fc00 0x1900f400 (Outside []) 275 , Encoding "CPYFETRN_CPY_memcms" 0x3fe0fc00 0x1980b400 (Outside [(5, OpX)]) 276 , Encoding "CPYFMTRN_CPY_memcms" 0x3fe0fc00 0x1940b400 (Outside [(5, OpX)]) 277 , Encoding "CPYFPTRN_CPY_memcms" 0x3fe0fc00 0x1900b400 (Outside []) 278 , Encoding "CPYFETWN_CPY_memcms" 0x3fe0fc00 0x19807400 (Outside [(5, OpX)]) 279 , Encoding "CPYFMTWN_CPY_memcms" 0x3fe0fc00 0x19407400 (Outside [(5, OpX)]) 280 , Encoding "CPYFPTWN_CPY_memcms" 0x3fe0fc00 0x19007400 (Outside []) 281 , Encoding "CPYFEWN_CPY_memcms" 0x3fe0fc00 0x19804400 (Outside [(5, OpX)]) 282 , Encoding "CPYFMWN_CPY_memcms" 0x3fe0fc00 0x19404400 (Outside [(5, OpX)]) 283 , Encoding "CPYFPWN_CPY_memcms" 0x3fe0fc00 0x19004400 (Outside []) 284 , Encoding "CPYFEWT_CPY_memcms" 0x3fe0fc00 0x19801400 (Outside [(5, OpX)]) 285 , Encoding "CPYFMWT_CPY_memcms" 0x3fe0fc00 0x19401400 (Outside [(5, OpX)]) 286 , Encoding "CPYFPWT_CPY_memcms" 0x3fe0fc00 0x19001400 (Outside []) 287 , Encoding "CPYFEWTN_CPY_memcms" 0x3fe0fc00 0x1980d400 (Outside [(5, OpX)]) 288 , Encoding "CPYFMWTN_CPY_memcms" 0x3fe0fc00 0x1940d400 (Outside [(5, OpX)]) 289 , Encoding "CPYFPWTN_CPY_memcms" 0x3fe0fc00 0x1900d400 (Outside []) 290 , Encoding "CPYFEWTRN_CPY_memcms" 0x3fe0fc00 0x19809400 (Outside [(5, OpX)]) 291 , Encoding "CPYFMWTRN_CPY_memcms" 0x3fe0fc00 0x19409400 (Outside [(5, OpX)]) 292 , Encoding "CPYFPWTRN_CPY_memcms" 0x3fe0fc00 0x19009400 (Outside []) 293 , Encoding "CPYFEWTWN_CPY_memcms" 0x3fe0fc00 0x19805400 (Outside [(5, OpX)]) 294 , Encoding "CPYFMWTWN_CPY_memcms" 0x3fe0fc00 0x19405400 (Outside [(5, OpX)]) 295 , Encoding "CPYFPWTWN_CPY_memcms" 0x3fe0fc00 0x19005400 (Outside []) 296 , Encoding "CPYE_CPY_memcms" 0x3fe0fc00 0x1d800400 (Outside [(5, OpX)]) 297 , Encoding "CPYM_CPY_memcms" 0x3fe0fc00 0x1d400400 (Outside [(5, OpX)]) 298 , Encoding "CPYP_CPY_memcms" 0x3fe0fc00 0x1d000400 (Outside []) 299 , Encoding "CPYEN_CPY_memcms" 0x3fe0fc00 0x1d80c400 (Outside [(5, OpX)]) 300 , Encoding "CPYMN_CPY_memcms" 0x3fe0fc00 0x1d40c400 (Outside [(5, OpX)]) 301 , Encoding "CPYPN_CPY_memcms" 0x3fe0fc00 0x1d00c400 (Outside []) 302 , Encoding "CPYERN_CPY_memcms" 0x3fe0fc00 0x1d808400 (Outside [(5, OpX)]) 303 , Encoding "CPYMRN_CPY_memcms" 0x3fe0fc00 0x1d408400 (Outside [(5, OpX)]) 304 , Encoding "CPYPRN_CPY_memcms" 0x3fe0fc00 0x1d008400 (Outside []) 305 , Encoding "CPYERT_CPY_memcms" 0x3fe0fc00 0x1d802400 (Outside [(5, OpX)]) 306 , Encoding "CPYMRT_CPY_memcms" 0x3fe0fc00 0x1d402400 (Outside [(5, OpX)]) 307 , Encoding "CPYPRT_CPY_memcms" 0x3fe0fc00 0x1d002400 (Outside []) 308 , Encoding "CPYERTN_CPY_memcms" 0x3fe0fc00 0x1d80e400 (Outside [(5, OpX)]) 309 , Encoding "CPYMRTN_CPY_memcms" 0x3fe0fc00 0x1d40e400 (Outside [(5, OpX)]) 310 , Encoding "CPYPRTN_CPY_memcms" 0x3fe0fc00 0x1d00e400 (Outside []) 311 , Encoding "CPYERTRN_CPY_memcms" 0x3fe0fc00 0x1d80a400 (Outside [(5, OpX)]) 312 , Encoding "CPYMRTRN_CPY_memcms" 0x3fe0fc00 0x1d40a400 (Outside [(5, OpX)]) 313 , Encoding "CPYPRTRN_CPY_memcms" 0x3fe0fc00 0x1d00a400 (Outside []) 314 , Encoding "CPYERTWN_CPY_memcms" 0x3fe0fc00 0x1d806400 (Outside [(5, OpX)]) 315 , Encoding "CPYMRTWN_CPY_memcms" 0x3fe0fc00 0x1d406400 (Outside [(5, OpX)]) 316 , Encoding "CPYPRTWN_CPY_memcms" 0x3fe0fc00 0x1d006400 (Outside []) 317 , Encoding "CPYET_CPY_memcms" 0x3fe0fc00 0x1d803400 (Outside [(5, OpX)]) 318 , Encoding "CPYMT_CPY_memcms" 0x3fe0fc00 0x1d403400 (Outside [(5, OpX)]) 319 , Encoding "CPYPT_CPY_memcms" 0x3fe0fc00 0x1d003400 (Outside []) 320 , Encoding "CPYETN_CPY_memcms" 0x3fe0fc00 0x1d80f400 (Outside [(5, OpX)]) 321 , Encoding "CPYMTN_CPY_memcms" 0x3fe0fc00 0x1d40f400 (Outside [(5, OpX)]) 322 , Encoding "CPYPTN_CPY_memcms" 0x3fe0fc00 0x1d00f400 (Outside []) 323 , Encoding "CPYETRN_CPY_memcms" 0x3fe0fc00 0x1d80b400 (Outside [(5, OpX)]) 324 , Encoding "CPYMTRN_CPY_memcms" 0x3fe0fc00 0x1d40b400 (Outside [(5, OpX)]) 325 , Encoding "CPYPTRN_CPY_memcms" 0x3fe0fc00 0x1d00b400 (Outside []) 326 , Encoding "CPYETWN_CPY_memcms" 0x3fe0fc00 0x1d807400 (Outside [(5, OpX)]) 327 , Encoding "CPYMTWN_CPY_memcms" 0x3fe0fc00 0x1d407400 (Outside [(5, OpX)]) 328 , Encoding "CPYPTWN_CPY_memcms" 0x3fe0fc00 0x1d007400 (Outside []) 329 , Encoding "CPYEWN_CPY_memcms" 0x3fe0fc00 0x1d804400 (Outside [(5, OpX)]) 330 , Encoding "CPYMWN_CPY_memcms" 0x3fe0fc00 0x1d404400 (Outside [(5, OpX)]) 331 , Encoding "CPYPWN_CPY_memcms" 0x3fe0fc00 0x1d004400 (Outside []) 332 , Encoding "CPYEWT_CPY_memcms" 0x3fe0fc00 0x1d801400 (Outside [(5, OpX)]) 333 , Encoding "CPYMWT_CPY_memcms" 0x3fe0fc00 0x1d401400 (Outside [(5, OpX)]) 334 , Encoding "CPYPWT_CPY_memcms" 0x3fe0fc00 0x1d001400 (Outside []) 335 , Encoding "CPYEWTN_CPY_memcms" 0x3fe0fc00 0x1d80d400 (Outside [(5, OpX)]) 336 , Encoding "CPYMWTN_CPY_memcms" 0x3fe0fc00 0x1d40d400 (Outside [(5, OpX)]) 337 , Encoding "CPYPWTN_CPY_memcms" 0x3fe0fc00 0x1d00d400 (Outside []) 338 , Encoding "CPYEWTRN_CPY_memcms" 0x3fe0fc00 0x1d809400 (Outside [(5, OpX)]) 339 , Encoding "CPYMWTRN_CPY_memcms" 0x3fe0fc00 0x1d409400 (Outside [(5, OpX)]) 340 , Encoding "CPYPWTRN_CPY_memcms" 0x3fe0fc00 0x1d009400 (Outside []) 341 , Encoding "CPYEWTWN_CPY_memcms" 0x3fe0fc00 0x1d805400 (Outside [(5, OpX)]) 342 , Encoding "CPYMWTWN_CPY_memcms" 0x3fe0fc00 0x1d405400 (Outside [(5, OpX)]) 343 , Encoding "CPYPWTWN_CPY_memcms" 0x3fe0fc00 0x1d005400 (Outside []) 344 , Encoding "CRC32B_32C_dp_2src" 0xffe0fc00 0x1ac04000 Covered 345 , Encoding "CRC32H_32C_dp_2src" 0xffe0fc00 0x1ac04400 Covered 346 , Encoding "CRC32W_32C_dp_2src" 0xffe0fc00 0x1ac04800 Covered 347 , Encoding "CRC32X_64C_dp_2src" 0xffe0fc00 0x9ac04c00 Covered 348 , Encoding "CRC32CB_32C_dp_2src" 0xffe0fc00 0x1ac05000 Covered 349 , Encoding "CRC32CH_32C_dp_2src" 0xffe0fc00 0x1ac05400 Covered 350 , Encoding "CRC32CW_32C_dp_2src" 0xffe0fc00 0x1ac05800 Covered 351 , Encoding "CRC32CX_64C_dp_2src" 0xffe0fc00 0x9ac05c00 Covered 352 , Encoding "CSDB_HI_hints" 0xffffffff 0xd503229f Control 353 , Encoding "CSEL_32_condsel" 0xffe00c00 0x1a800000 Covered 354 , Encoding "CSEL_64_condsel" 0xffe00c00 0x9a800000 Covered 355 , Encoding "CSINC_32_condsel" 0xffe00c00 0x1a800400 Covered 356 , Encoding "CSINC_64_condsel" 0xffe00c00 0x9a800400 Covered 357 , Encoding "CSINV_32_condsel" 0xffe00c00 0x5a800000 Covered 358 , Encoding "CSINV_64_condsel" 0xffe00c00 0xda800000 Covered 359 , Encoding "CSNEG_32_condsel" 0xffe00c00 0x5a800400 Covered 360 , Encoding "CSNEG_64_condsel" 0xffe00c00 0xda800400 Covered 361 , Encoding "CTZ_32_dp_1src" 0xfffffc00 0x5ac01800 Covered 362 , Encoding "CTZ_64_dp_1src" 0xfffffc00 0xdac01800 Covered 363 , Encoding "DCPS1_DC_exception" 0xffe0001f 0xd4a00001 Control 364 , Encoding "DCPS2_DC_exception" 0xffe0001f 0xd4a00002 Control 365 , Encoding "DCPS3_DC_exception" 0xffe0001f 0xd4a00003 Control 366 , Encoding "DGH_HI_hints" 0xffffffff 0xd50320df Control 367 , Encoding "DMB_BO_barriers" 0xfffff0ff 0xd50330bf Control 368 , Encoding "DRPS_64E_branch_reg" 0xffffffff 0xd6bf03e0 Control 369 , Encoding "DSB_BO_barriers" 0xfffff0ff 0xd503309f Control 370 , Encoding "DSB_BOn_barriers" 0xfffff3ff 0xd503323f Control 371 , Encoding "DUP_asisdone_only" 0xffe0fc00 0x5e000400 Covered 372 , Encoding "DUP_asimdins_DV_v" 0xbfe0fc00 0x0e000400 Covered 373 , Encoding "DUP_asimdins_DR_r" 0xbfe0fc00 0x0e000c00 Covered 374 , Encoding "EON_32_log_shift" 0xff200000 0x4a200000 Covered 375 , Encoding "EON_64_log_shift" 0xff200000 0xca200000 Covered 376 , Encoding "EOR3_VVV16_crypto4" 0xffe08000 0xce000000 Covered 377 , Encoding "EOR_asimdsame_only" 0xbfe0fc00 0x2e201c00 Covered 378 , Encoding "EOR_32_log_imm" 0xffc00000 0x52000000 Covered 379 , Encoding "EOR_64_log_imm" 0xff800000 0xd2000000 Covered 380 , Encoding "EOR_32_log_shift" 0xff200000 0x4a000000 Covered 381 , Encoding "EOR_64_log_shift" 0xff200000 0xca000000 Covered 382 , Encoding "ERET_64E_branch_reg" 0xffffffff 0xd69f03e0 Control 383 , Encoding "ERETAA_64E_branch_reg" 0xffffffff 0xd69f0bff Control 384 , Encoding "ERETAB_64E_branch_reg" 0xffffffff 0xd69f0fff Control 385 , Encoding "ESB_HI_hints" 0xffffffff 0xd503221f Control 386 , Encoding "EXT_asimdext_only" 0xbfe08400 0x2e000000 Covered 387 , Encoding "EXTR_32_extract" 0xffe08000 0x13800000 Covered 388 , Encoding "EXTR_64_extract" 0xffe00000 0x93c00000 Covered 389 , Encoding "FABD_asisdsamefp16_only" 0xffe0fc00 0x7ec01400 390 (Outside [(5, OpH), (16, OpH)]) 391 , Encoding "FABD_asisdsame_only" 0xffa0fc00 0x7ea0d400 (Outside []) 392 , Encoding "FABD_asimdsamefp16_only" 0xbfe0fc00 0x2ec01400 393 (Outside [(5, OpV), (16, OpV)]) 394 , Encoding "FABD_asimdsame_only" 0xbfa0fc00 0x2ea0d400 395 (Outside [(5, OpV), (16, OpV)]) 396 , Encoding "FABS_asimdmiscfp16_R" 0xbffffc00 0x0ef8f800 (Outside [(5, OpV)]) 397 , Encoding "FABS_asimdmisc_R" 0xbfbffc00 0x0ea0f800 (Outside [(5, OpV)]) 398 , Encoding "FABS_H_floatdp1" 0xfffffc00 0x1ee0c000 (Outside [(5, OpH)]) 399 , Encoding "FABS_S_floatdp1" 0xfffffc00 0x1e20c000 (Outside [(5, OpS)]) 400 , Encoding "FABS_D_floatdp1" 0xfffffc00 0x1e60c000 (Outside [(5, OpD)]) 401 , Encoding "FACGE_asisdsamefp16_only" 0xffe0fc00 0x7e402c00 402 (Outside [(5, OpH), (16, OpH)]) 403 , Encoding "FACGE_asisdsame_only" 0xffa0fc00 0x7e20ec00 (Outside []) 404 , Encoding "FACGE_asimdsamefp16_only" 0xbfe0fc00 0x2e402c00 405 (Outside [(5, OpV), (16, OpV)]) 406 , Encoding "FACGE_asimdsame_only" 0xbfa0fc00 0x2e20ec00 407 (Outside [(5, OpV), (16, OpV)]) 408 , Encoding "FACGT_asisdsamefp16_only" 0xffe0fc00 0x7ec02c00 409 (Outside [(5, OpH), (16, OpH)]) 410 , Encoding "FACGT_asisdsame_only" 0xffa0fc00 0x7ea0ec00 (Outside []) 411 , Encoding "FACGT_asimdsamefp16_only" 0xbfe0fc00 0x2ec02c00 412 (Outside [(5, OpV), (16, OpV)]) 413 , Encoding "FACGT_asimdsame_only" 0xbfa0fc00 0x2ea0ec00 414 (Outside [(5, OpV), (16, OpV)]) 415 , Encoding "FADD_asimdsamefp16_only" 0xbfe0fc00 0x0e401400 416 (Outside [(5, OpV), (16, OpV)]) 417 , Encoding "FADD_asimdsame_only" 0xbfa0fc00 0x0e20d400 418 (Outside [(5, OpV), (16, OpV)]) 419 , Encoding "FADD_H_floatdp2" 0xffe0fc00 0x1ee02800 420 (Outside [(5, OpH), (16, OpH)]) 421 , Encoding "FADD_S_floatdp2" 0xffe0fc00 0x1e202800 422 (Outside [(5, OpS), (16, OpS)]) 423 , Encoding "FADD_D_floatdp2" 0xffe0fc00 0x1e602800 424 (Outside [(5, OpD), (16, OpD)]) 425 , Encoding "FADDP_asisdpair_only_H" 0xffbffc00 0x5e30d800 426 (Outside [(5, OpVWhole)]) 427 , Encoding "FADDP_asisdpair_only_SD" 0xffbffc00 0x7e30d800 428 (Outside [(5, OpVWhole)]) 429 , Encoding "FADDP_asimdsamefp16_only" 0xbfe0fc00 0x2e401400 430 (Outside [(5, OpV), (16, OpV)]) 431 , Encoding "FADDP_asimdsame_only" 0xbfa0fc00 0x2e20d400 432 (Outside [(5, OpV), (16, OpV)]) 433 , Encoding "FCADD_asimdsame2_C" 0xbf20ec00 0x2e00e400 434 (Outside [(5, OpV), (16, OpV)]) 435 , Encoding "FCCMP_H_floatccmp" 0xffe00c10 0x1ee00400 436 (Outside [(5, OpH), (16, OpH)]) 437 , Encoding "FCCMP_S_floatccmp" 0xffe00c10 0x1e200400 438 (Outside [(5, OpS), (16, OpS)]) 439 , Encoding "FCCMP_D_floatccmp" 0xffe00c10 0x1e600400 440 (Outside [(5, OpD), (16, OpD)]) 441 , Encoding "FCCMPE_H_floatccmp" 0xffe00c10 0x1ee00410 442 (Outside [(5, OpH), (16, OpH)]) 443 , Encoding "FCCMPE_S_floatccmp" 0xffe00c10 0x1e200410 444 (Outside [(5, OpS), (16, OpS)]) 445 , Encoding "FCCMPE_D_floatccmp" 0xffe00c10 0x1e600410 446 (Outside [(5, OpD), (16, OpD)]) 447 , Encoding "FCMEQ_asisdsamefp16_only" 0xffe0fc00 0x5e402400 448 (Outside [(5, OpH), (16, OpH)]) 449 , Encoding "FCMEQ_asisdsame_only" 0xffa0fc00 0x5e20e400 (Outside []) 450 , Encoding "FCMEQ_asimdsamefp16_only" 0xbfe0fc00 0x0e402400 451 (Outside [(5, OpV), (16, OpV)]) 452 , Encoding "FCMEQ_asimdsame_only" 0xbfa0fc00 0x0e20e400 453 (Outside [(5, OpV), (16, OpV)]) 454 , Encoding "FCMEQ_asisdmiscfp16_FZ" 0xfffffc00 0x5ef8d800 455 (Outside [(5, OpH)]) 456 , Encoding "FCMEQ_asisdmisc_FZ" 0xffbffc00 0x5ea0d800 (Outside []) 457 , Encoding "FCMEQ_asimdmiscfp16_FZ" 0xbffffc00 0x0ef8d800 458 (Outside [(5, OpV)]) 459 , Encoding "FCMEQ_asimdmisc_FZ" 0xbfbffc00 0x0ea0d800 (Outside [(5, OpV)]) 460 , Encoding "FCMGE_asisdsamefp16_only" 0xffe0fc00 0x7e402400 461 (Outside [(5, OpH), (16, OpH)]) 462 , Encoding "FCMGE_asisdsame_only" 0xffa0fc00 0x7e20e400 (Outside []) 463 , Encoding "FCMGE_asimdsamefp16_only" 0xbfe0fc00 0x2e402400 464 (Outside [(5, OpV), (16, OpV)]) 465 , Encoding "FCMGE_asimdsame_only" 0xbfa0fc00 0x2e20e400 466 (Outside [(5, OpV), (16, OpV)]) 467 , Encoding "FCMGE_asisdmiscfp16_FZ" 0xfffffc00 0x7ef8c800 468 (Outside [(5, OpH)]) 469 , Encoding "FCMGE_asisdmisc_FZ" 0xffbffc00 0x7ea0c800 (Outside []) 470 , Encoding "FCMGE_asimdmiscfp16_FZ" 0xbffffc00 0x2ef8c800 471 (Outside [(5, OpV)]) 472 , Encoding "FCMGE_asimdmisc_FZ" 0xbfbffc00 0x2ea0c800 (Outside [(5, OpV)]) 473 , Encoding "FCMGT_asisdsamefp16_only" 0xffe0fc00 0x7ec02400 474 (Outside [(5, OpH), (16, OpH)]) 475 , Encoding "FCMGT_asisdsame_only" 0xffa0fc00 0x7ea0e400 (Outside []) 476 , Encoding "FCMGT_asimdsamefp16_only" 0xbfe0fc00 0x2ec02400 477 (Outside [(5, OpV), (16, OpV)]) 478 , Encoding "FCMGT_asimdsame_only" 0xbfa0fc00 0x2ea0e400 479 (Outside [(5, OpV), (16, OpV)]) 480 , Encoding "FCMGT_asisdmiscfp16_FZ" 0xfffffc00 0x5ef8c800 481 (Outside [(5, OpH)]) 482 , Encoding "FCMGT_asisdmisc_FZ" 0xffbffc00 0x5ea0c800 (Outside []) 483 , Encoding "FCMGT_asimdmiscfp16_FZ" 0xbffffc00 0x0ef8c800 484 (Outside [(5, OpV)]) 485 , Encoding "FCMGT_asimdmisc_FZ" 0xbfbffc00 0x0ea0c800 (Outside [(5, OpV)]) 486 , Encoding "FCMLA_asimdelem_C_H" 0xbfc09400 0x2f401000 (Outside [(5, OpV)]) 487 , Encoding "FCMLA_asimdelem_C_S" 0xbfc09400 0x2f801000 (Outside [(5, OpV)]) 488 , Encoding "FCMLA_asimdsame2_C" 0xbf20e400 0x2e00c400 489 (Outside [(5, OpV), (16, OpV)]) 490 , Encoding "FCMLE_asisdmiscfp16_FZ" 0xfffffc00 0x7ef8d800 491 (Outside [(5, OpH)]) 492 , Encoding "FCMLE_asisdmisc_FZ" 0xffbffc00 0x7ea0d800 (Outside []) 493 , Encoding "FCMLE_asimdmiscfp16_FZ" 0xbffffc00 0x2ef8d800 494 (Outside [(5, OpV)]) 495 , Encoding "FCMLE_asimdmisc_FZ" 0xbfbffc00 0x2ea0d800 (Outside [(5, OpV)]) 496 , Encoding "FCMLT_asisdmiscfp16_FZ" 0xfffffc00 0x5ef8e800 497 (Outside [(5, OpH)]) 498 , Encoding "FCMLT_asisdmisc_FZ" 0xffbffc00 0x5ea0e800 (Outside []) 499 , Encoding "FCMLT_asimdmiscfp16_FZ" 0xbffffc00 0x0ef8e800 500 (Outside [(5, OpV)]) 501 , Encoding "FCMLT_asimdmisc_FZ" 0xbfbffc00 0x0ea0e800 (Outside [(5, OpV)]) 502 , Encoding "FCMP_H_floatcmp" 0xffe0fc0f 0x1ee02000 503 (Outside [(5, OpH), (16, OpH)]) 504 , Encoding "FCMP_HZ_floatcmp" 0xffe0fc0f 0x1ee02008 (Outside [(5, OpH)]) 505 , Encoding "FCMP_S_floatcmp" 0xffe0fc0f 0x1e202000 506 (Outside [(5, OpS), (16, OpS)]) 507 , Encoding "FCMP_SZ_floatcmp" 0xffe0fc0f 0x1e202008 (Outside [(5, OpS)]) 508 , Encoding "FCMP_D_floatcmp" 0xffe0fc0f 0x1e602000 509 (Outside [(5, OpD), (16, OpD)]) 510 , Encoding "FCMP_DZ_floatcmp" 0xffe0fc0f 0x1e602008 (Outside [(5, OpD)]) 511 , Encoding "FCMPE_H_floatcmp" 0xffe0fc0f 0x1ee02000 512 (Outside [(5, OpH), (16, OpH)]) 513 , Encoding "FCMPE_HZ_floatcmp" 0xffe0fc0f 0x1ee02008 (Outside [(5, OpH)]) 514 , Encoding "FCMPE_S_floatcmp" 0xffe0fc0f 0x1e202000 515 (Outside [(5, OpS), (16, OpS)]) 516 , Encoding "FCMPE_SZ_floatcmp" 0xffe0fc0f 0x1e202008 (Outside [(5, OpS)]) 517 , Encoding "FCMPE_D_floatcmp" 0xffe0fc0f 0x1e602000 518 (Outside [(5, OpD), (16, OpD)]) 519 , Encoding "FCMPE_DZ_floatcmp" 0xffe0fc0f 0x1e602008 (Outside [(5, OpD)]) 520 , Encoding "FCSEL_H_floatsel" 0xffe00c00 0x1ee00c00 Covered 521 , Encoding "FCSEL_S_floatsel" 0xffe00c00 0x1e200c00 Covered 522 , Encoding "FCSEL_D_floatsel" 0xffe00c00 0x1e600c00 Covered 523 , Encoding "FCVT_SH_floatdp1" 0xfffffc00 0x1ee24000 (Outside [(5, OpH)]) 524 , Encoding "FCVT_DH_floatdp1" 0xfffffc00 0x1ee2c000 (Outside [(5, OpH)]) 525 , Encoding "FCVT_HS_floatdp1" 0xfffffc00 0x1e23c000 (Outside [(5, OpS)]) 526 , Encoding "FCVT_DS_floatdp1" 0xfffffc00 0x1e22c000 (Outside [(5, OpS)]) 527 , Encoding "FCVT_HD_floatdp1" 0xfffffc00 0x1e63c000 (Outside [(5, OpD)]) 528 , Encoding "FCVT_SD_floatdp1" 0xfffffc00 0x1e624000 (Outside [(5, OpD)]) 529 , Encoding "FCVTAS_asisdmiscfp16_R" 0xfffffc00 0x5e79c800 530 (Outside [(5, OpH)]) 531 , Encoding "FCVTAS_asisdmisc_R" 0xffbffc00 0x5e21c800 (Outside []) 532 , Encoding "FCVTAS_asimdmiscfp16_R" 0xbffffc00 0x0e79c800 533 (Outside [(5, OpV)]) 534 , Encoding "FCVTAS_asimdmisc_R" 0xbfbffc00 0x0e21c800 (Outside [(5, OpV)]) 535 , Encoding "FCVTAS_32H_float2int" 0xfffffc00 0x1ee40000 (Outside [(5, OpH)]) 536 , Encoding "FCVTAS_64H_float2int" 0xfffffc00 0x9ee40000 (Outside [(5, OpH)]) 537 , Encoding "FCVTAS_32S_float2int" 0xfffffc00 0x1e240000 (Outside [(5, OpS)]) 538 , Encoding "FCVTAS_64S_float2int" 0xfffffc00 0x9e240000 (Outside [(5, OpS)]) 539 , Encoding "FCVTAS_32D_float2int" 0xfffffc00 0x1e640000 (Outside [(5, OpD)]) 540 , Encoding "FCVTAS_64D_float2int" 0xfffffc00 0x9e640000 (Outside [(5, OpD)]) 541 , Encoding "FCVTAU_asisdmiscfp16_R" 0xfffffc00 0x7e79c800 542 (Outside [(5, OpH)]) 543 , Encoding "FCVTAU_asisdmisc_R" 0xffbffc00 0x7e21c800 (Outside []) 544 , Encoding "FCVTAU_asimdmiscfp16_R" 0xbffffc00 0x2e79c800 545 (Outside [(5, OpV)]) 546 , Encoding "FCVTAU_asimdmisc_R" 0xbfbffc00 0x2e21c800 (Outside [(5, OpV)]) 547 , Encoding "FCVTAU_32H_float2int" 0xfffffc00 0x1ee50000 (Outside [(5, OpH)]) 548 , Encoding "FCVTAU_64H_float2int" 0xfffffc00 0x9ee50000 (Outside [(5, OpH)]) 549 , Encoding "FCVTAU_32S_float2int" 0xfffffc00 0x1e250000 (Outside [(5, OpS)]) 550 , Encoding "FCVTAU_64S_float2int" 0xfffffc00 0x9e250000 (Outside [(5, OpS)]) 551 , Encoding "FCVTAU_32D_float2int" 0xfffffc00 0x1e650000 (Outside [(5, OpD)]) 552 , Encoding "FCVTAU_64D_float2int" 0xfffffc00 0x9e650000 (Outside [(5, OpD)]) 553 , Encoding "FCVTL_asimdmisc_L" 0xbfbffc00 0x0e217800 (Outside [(5, OpV)]) 554 , Encoding "FCVTMS_asisdmiscfp16_R" 0xfffffc00 0x5e79b800 555 (Outside [(5, OpH)]) 556 , Encoding "FCVTMS_asisdmisc_R" 0xffbffc00 0x5e21b800 (Outside []) 557 , Encoding "FCVTMS_asimdmiscfp16_R" 0xbffffc00 0x0e79b800 558 (Outside [(5, OpV)]) 559 , Encoding "FCVTMS_asimdmisc_R" 0xbfbffc00 0x0e21b800 (Outside [(5, OpV)]) 560 , Encoding "FCVTMS_32H_float2int" 0xfffffc00 0x1ef00000 (Outside [(5, OpH)]) 561 , Encoding "FCVTMS_64H_float2int" 0xfffffc00 0x9ef00000 (Outside [(5, OpH)]) 562 , Encoding "FCVTMS_32S_float2int" 0xfffffc00 0x1e300000 (Outside [(5, OpS)]) 563 , Encoding "FCVTMS_64S_float2int" 0xfffffc00 0x9e300000 (Outside [(5, OpS)]) 564 , Encoding "FCVTMS_32D_float2int" 0xfffffc00 0x1e700000 (Outside [(5, OpD)]) 565 , Encoding "FCVTMS_64D_float2int" 0xfffffc00 0x9e700000 (Outside [(5, OpD)]) 566 , Encoding "FCVTMU_asisdmiscfp16_R" 0xfffffc00 0x7e79b800 567 (Outside [(5, OpH)]) 568 , Encoding "FCVTMU_asisdmisc_R" 0xffbffc00 0x7e21b800 (Outside []) 569 , Encoding "FCVTMU_asimdmiscfp16_R" 0xbffffc00 0x2e79b800 570 (Outside [(5, OpV)]) 571 , Encoding "FCVTMU_asimdmisc_R" 0xbfbffc00 0x2e21b800 (Outside [(5, OpV)]) 572 , Encoding "FCVTMU_32H_float2int" 0xfffffc00 0x1ef10000 (Outside [(5, OpH)]) 573 , Encoding "FCVTMU_64H_float2int" 0xfffffc00 0x9ef10000 (Outside [(5, OpH)]) 574 , Encoding "FCVTMU_32S_float2int" 0xfffffc00 0x1e310000 (Outside [(5, OpS)]) 575 , Encoding "FCVTMU_64S_float2int" 0xfffffc00 0x9e310000 (Outside [(5, OpS)]) 576 , Encoding "FCVTMU_32D_float2int" 0xfffffc00 0x1e710000 (Outside [(5, OpD)]) 577 , Encoding "FCVTMU_64D_float2int" 0xfffffc00 0x9e710000 (Outside [(5, OpD)]) 578 , Encoding "FCVTN_asimdmisc_N" 0xbfbffc00 0x0e216800 (Outside [(5, OpV)]) 579 , Encoding "FCVTNS_asisdmiscfp16_R" 0xfffffc00 0x5e79a800 580 (Outside [(5, OpH)]) 581 , Encoding "FCVTNS_asisdmisc_R" 0xffbffc00 0x5e21a800 (Outside []) 582 , Encoding "FCVTNS_asimdmiscfp16_R" 0xbffffc00 0x0e79a800 583 (Outside [(5, OpV)]) 584 , Encoding "FCVTNS_asimdmisc_R" 0xbfbffc00 0x0e21a800 (Outside [(5, OpV)]) 585 , Encoding "FCVTNS_32H_float2int" 0xfffffc00 0x1ee00000 (Outside [(5, OpH)]) 586 , Encoding "FCVTNS_64H_float2int" 0xfffffc00 0x9ee00000 (Outside [(5, OpH)]) 587 , Encoding "FCVTNS_32S_float2int" 0xfffffc00 0x1e200000 (Outside [(5, OpS)]) 588 , Encoding "FCVTNS_64S_float2int" 0xfffffc00 0x9e200000 (Outside [(5, OpS)]) 589 , Encoding "FCVTNS_32D_float2int" 0xfffffc00 0x1e600000 (Outside [(5, OpD)]) 590 , Encoding "FCVTNS_64D_float2int" 0xfffffc00 0x9e600000 (Outside [(5, OpD)]) 591 , Encoding "FCVTNU_asisdmiscfp16_R" 0xfffffc00 0x7e79a800 592 (Outside [(5, OpH)]) 593 , Encoding "FCVTNU_asisdmisc_R" 0xffbffc00 0x7e21a800 (Outside []) 594 , Encoding "FCVTNU_asimdmiscfp16_R" 0xbffffc00 0x2e79a800 595 (Outside [(5, OpV)]) 596 , Encoding "FCVTNU_asimdmisc_R" 0xbfbffc00 0x2e21a800 (Outside [(5, OpV)]) 597 , Encoding "FCVTNU_32H_float2int" 0xfffffc00 0x1ee10000 (Outside [(5, OpH)]) 598 , Encoding "FCVTNU_64H_float2int" 0xfffffc00 0x9ee10000 (Outside [(5, OpH)]) 599 , Encoding "FCVTNU_32S_float2int" 0xfffffc00 0x1e210000 (Outside [(5, OpS)]) 600 , Encoding "FCVTNU_64S_float2int" 0xfffffc00 0x9e210000 (Outside [(5, OpS)]) 601 , Encoding "FCVTNU_32D_float2int" 0xfffffc00 0x1e610000 (Outside [(5, OpD)]) 602 , Encoding "FCVTNU_64D_float2int" 0xfffffc00 0x9e610000 (Outside [(5, OpD)]) 603 , Encoding "FCVTPS_asisdmiscfp16_R" 0xfffffc00 0x5ef9a800 604 (Outside [(5, OpH)]) 605 , Encoding "FCVTPS_asisdmisc_R" 0xffbffc00 0x5ea1a800 (Outside []) 606 , Encoding "FCVTPS_asimdmiscfp16_R" 0xbffffc00 0x0ef9a800 607 (Outside [(5, OpV)]) 608 , Encoding "FCVTPS_asimdmisc_R" 0xbfbffc00 0x0ea1a800 (Outside [(5, OpV)]) 609 , Encoding "FCVTPS_32H_float2int" 0xfffffc00 0x1ee80000 (Outside [(5, OpH)]) 610 , Encoding "FCVTPS_64H_float2int" 0xfffffc00 0x9ee80000 (Outside [(5, OpH)]) 611 , Encoding "FCVTPS_32S_float2int" 0xfffffc00 0x1e280000 (Outside [(5, OpS)]) 612 , Encoding "FCVTPS_64S_float2int" 0xfffffc00 0x9e280000 (Outside [(5, OpS)]) 613 , Encoding "FCVTPS_32D_float2int" 0xfffffc00 0x1e680000 (Outside [(5, OpD)]) 614 , Encoding "FCVTPS_64D_float2int" 0xfffffc00 0x9e680000 (Outside [(5, OpD)]) 615 , Encoding "FCVTPU_asisdmiscfp16_R" 0xfffffc00 0x7ef9a800 616 (Outside [(5, OpH)]) 617 , Encoding "FCVTPU_asisdmisc_R" 0xffbffc00 0x7ea1a800 (Outside []) 618 , Encoding "FCVTPU_asimdmiscfp16_R" 0xbffffc00 0x2ef9a800 619 (Outside [(5, OpV)]) 620 , Encoding "FCVTPU_asimdmisc_R" 0xbfbffc00 0x2ea1a800 (Outside [(5, OpV)]) 621 , Encoding "FCVTPU_32H_float2int" 0xfffffc00 0x1ee90000 (Outside [(5, OpH)]) 622 , Encoding "FCVTPU_64H_float2int" 0xfffffc00 0x9ee90000 (Outside [(5, OpH)]) 623 , Encoding "FCVTPU_32S_float2int" 0xfffffc00 0x1e290000 (Outside [(5, OpS)]) 624 , Encoding "FCVTPU_64S_float2int" 0xfffffc00 0x9e290000 (Outside [(5, OpS)]) 625 , Encoding "FCVTPU_32D_float2int" 0xfffffc00 0x1e690000 (Outside [(5, OpD)]) 626 , Encoding "FCVTPU_64D_float2int" 0xfffffc00 0x9e690000 (Outside [(5, OpD)]) 627 , Encoding "FCVTXN_asisdmisc_N" 0xffbffc00 0x7e216800 (Outside []) 628 , Encoding "FCVTXN_asimdmisc_N" 0xbfbffc00 0x2e216800 (Outside [(5, OpV)]) 629 , Encoding "FCVTZS_asisdshf_C" 0xff80fc00 0x5f00fc00 (Outside []) 630 , Encoding "FCVTZS_asimdshf_C" 0xbf80fc00 0x0f00fc00 (Outside [(5, OpV)]) 631 , Encoding "FCVTZS_asisdmiscfp16_R" 0xfffffc00 0x5ef9b800 632 (Outside [(5, OpH)]) 633 , Encoding "FCVTZS_asisdmisc_R" 0xffbffc00 0x5ea1b800 (Outside []) 634 , Encoding "FCVTZS_asimdmiscfp16_R" 0xbffffc00 0x0ef9b800 635 (Outside [(5, OpV)]) 636 , Encoding "FCVTZS_asimdmisc_R" 0xbfbffc00 0x0ea1b800 (Outside [(5, OpV)]) 637 , Encoding "FCVTZS_32H_float2fix" 0xffff0000 0x1ed80000 (Outside [(5, OpH)]) 638 , Encoding "FCVTZS_64H_float2fix" 0xffff0000 0x9ed80000 (Outside [(5, OpH)]) 639 , Encoding "FCVTZS_32S_float2fix" 0xffff0000 0x1e180000 (Outside [(5, OpS)]) 640 , Encoding "FCVTZS_64S_float2fix" 0xffff0000 0x9e180000 (Outside [(5, OpS)]) 641 , Encoding "FCVTZS_32D_float2fix" 0xffff0000 0x1e580000 (Outside [(5, OpD)]) 642 , Encoding "FCVTZS_64D_float2fix" 0xffff0000 0x9e580000 (Outside [(5, OpD)]) 643 , Encoding "FCVTZS_32H_float2int" 0xfffffc00 0x1ef80000 (Outside [(5, OpH)]) 644 , Encoding "FCVTZS_64H_float2int" 0xfffffc00 0x9ef80000 (Outside [(5, OpH)]) 645 , Encoding "FCVTZS_32S_float2int" 0xfffffc00 0x1e380000 (Outside [(5, OpS)]) 646 , Encoding "FCVTZS_64S_float2int" 0xfffffc00 0x9e380000 (Outside [(5, OpS)]) 647 , Encoding "FCVTZS_32D_float2int" 0xfffffc00 0x1e780000 (Outside [(5, OpD)]) 648 , Encoding "FCVTZS_64D_float2int" 0xfffffc00 0x9e780000 (Outside [(5, OpD)]) 649 , Encoding "FCVTZU_asisdshf_C" 0xff80fc00 0x7f00fc00 (Outside []) 650 , Encoding "FCVTZU_asimdshf_C" 0xbf80fc00 0x2f00fc00 (Outside [(5, OpV)]) 651 , Encoding "FCVTZU_asisdmiscfp16_R" 0xfffffc00 0x7ef9b800 652 (Outside [(5, OpH)]) 653 , Encoding "FCVTZU_asisdmisc_R" 0xffbffc00 0x7ea1b800 (Outside []) 654 , Encoding "FCVTZU_asimdmiscfp16_R" 0xbffffc00 0x2ef9b800 655 (Outside [(5, OpV)]) 656 , Encoding "FCVTZU_asimdmisc_R" 0xbfbffc00 0x2ea1b800 (Outside [(5, OpV)]) 657 , Encoding "FCVTZU_32H_float2fix" 0xffff0000 0x1ed90000 (Outside [(5, OpH)]) 658 , Encoding "FCVTZU_64H_float2fix" 0xffff0000 0x9ed90000 (Outside [(5, OpH)]) 659 , Encoding "FCVTZU_32S_float2fix" 0xffff0000 0x1e190000 (Outside [(5, OpS)]) 660 , Encoding "FCVTZU_64S_float2fix" 0xffff0000 0x9e190000 (Outside [(5, OpS)]) 661 , Encoding "FCVTZU_32D_float2fix" 0xffff0000 0x1e590000 (Outside [(5, OpD)]) 662 , Encoding "FCVTZU_64D_float2fix" 0xffff0000 0x9e590000 (Outside [(5, OpD)]) 663 , Encoding "FCVTZU_32H_float2int" 0xfffffc00 0x1ef90000 (Outside [(5, OpH)]) 664 , Encoding "FCVTZU_64H_float2int" 0xfffffc00 0x9ef90000 (Outside [(5, OpH)]) 665 , Encoding "FCVTZU_32S_float2int" 0xfffffc00 0x1e390000 (Outside [(5, OpS)]) 666 , Encoding "FCVTZU_64S_float2int" 0xfffffc00 0x9e390000 (Outside [(5, OpS)]) 667 , Encoding "FCVTZU_32D_float2int" 0xfffffc00 0x1e790000 (Outside [(5, OpD)]) 668 , Encoding "FCVTZU_64D_float2int" 0xfffffc00 0x9e790000 (Outside [(5, OpD)]) 669 , Encoding "FDIV_asimdsamefp16_only" 0xbfe0fc00 0x2e403c00 670 (Outside [(5, OpV), (16, OpV)]) 671 , Encoding "FDIV_asimdsame_only" 0xbfa0fc00 0x2e20fc00 672 (Outside [(5, OpV), (16, OpV)]) 673 , Encoding "FDIV_H_floatdp2" 0xffe0fc00 0x1ee01800 674 (Outside [(5, OpH), (16, OpH)]) 675 , Encoding "FDIV_S_floatdp2" 0xffe0fc00 0x1e201800 676 (Outside [(5, OpS), (16, OpS)]) 677 , Encoding "FDIV_D_floatdp2" 0xffe0fc00 0x1e601800 678 (Outside [(5, OpD), (16, OpD)]) 679 , Encoding "FJCVTZS_32D_float2int" 0xfffffc00 0x1e7e0000 (Outside [(5, OpD)]) 680 , Encoding "FMADD_H_floatdp3" 0xffe08000 0x1fc00000 681 (Outside [(5, OpH), (10, OpH), (16, OpH)]) 682 , Encoding "FMADD_S_floatdp3" 0xffe08000 0x1f000000 683 (Outside [(5, OpS), (10, OpS), (16, OpS)]) 684 , Encoding "FMADD_D_floatdp3" 0xffe08000 0x1f400000 685 (Outside [(5, OpD), (10, OpD), (16, OpD)]) 686 , Encoding "FMAX_asimdsamefp16_only" 0xbfe0fc00 0x0e403400 687 (Outside [(5, OpV), (16, OpV)]) 688 , Encoding "FMAX_asimdsame_only" 0xbfa0fc00 0x0e20f400 689 (Outside [(5, OpV), (16, OpV)]) 690 , Encoding "FMAX_H_floatdp2" 0xffe0fc00 0x1ee04800 691 (Outside [(5, OpH), (16, OpH)]) 692 , Encoding "FMAX_S_floatdp2" 0xffe0fc00 0x1e204800 693 (Outside [(5, OpS), (16, OpS)]) 694 , Encoding "FMAX_D_floatdp2" 0xffe0fc00 0x1e604800 695 (Outside [(5, OpD), (16, OpD)]) 696 , Encoding "FMAXNM_asimdsamefp16_only" 0xbfe0fc00 0x0e400400 697 (Outside [(5, OpV), (16, OpV)]) 698 , Encoding "FMAXNM_asimdsame_only" 0xbfa0fc00 0x0e20c400 699 (Outside [(5, OpV), (16, OpV)]) 700 , Encoding "FMAXNM_H_floatdp2" 0xffe0fc00 0x1ee06800 701 (Outside [(5, OpH), (16, OpH)]) 702 , Encoding "FMAXNM_S_floatdp2" 0xffe0fc00 0x1e206800 703 (Outside [(5, OpS), (16, OpS)]) 704 , Encoding "FMAXNM_D_floatdp2" 0xffe0fc00 0x1e606800 705 (Outside [(5, OpD), (16, OpD)]) 706 , Encoding "FMAXNMP_asisdpair_only_H" 0xffbffc00 0x5e30c800 707 (Outside [(5, OpVWhole)]) 708 , Encoding "FMAXNMP_asisdpair_only_SD" 0xffbffc00 0x7e30c800 709 (Outside [(5, OpVWhole)]) 710 , Encoding "FMAXNMP_asimdsamefp16_only" 0xbfe0fc00 0x2e400400 711 (Outside [(5, OpV), (16, OpV)]) 712 , Encoding "FMAXNMP_asimdsame_only" 0xbfa0fc00 0x2e20c400 713 (Outside [(5, OpV), (16, OpV)]) 714 , Encoding "FMAXNMV_asimdall_only_H" 0xbffffc00 0x0e30c800 715 (Outside [(5, OpV)]) 716 , Encoding "FMAXNMV_asimdall_only_SD" 0xbfbffc00 0x2e30c800 717 (Outside [(5, OpV)]) 718 , Encoding "FMAXP_asisdpair_only_H" 0xffbffc00 0x5e30f800 719 (Outside [(5, OpVWhole)]) 720 , Encoding "FMAXP_asisdpair_only_SD" 0xffbffc00 0x7e30f800 721 (Outside [(5, OpVWhole)]) 722 , Encoding "FMAXP_asimdsamefp16_only" 0xbfe0fc00 0x2e403400 723 (Outside [(5, OpV), (16, OpV)]) 724 , Encoding "FMAXP_asimdsame_only" 0xbfa0fc00 0x2e20f400 725 (Outside [(5, OpV), (16, OpV)]) 726 , Encoding "FMAXV_asimdall_only_H" 0xbffffc00 0x0e30f800 (Outside [(5, OpV)]) 727 , Encoding "FMAXV_asimdall_only_SD" 0xbfbffc00 0x2e30f800 728 (Outside [(5, OpV)]) 729 , Encoding "FMIN_asimdsamefp16_only" 0xbfe0fc00 0x0ec03400 730 (Outside [(5, OpV), (16, OpV)]) 731 , Encoding "FMIN_asimdsame_only" 0xbfa0fc00 0x0ea0f400 732 (Outside [(5, OpV), (16, OpV)]) 733 , Encoding "FMIN_H_floatdp2" 0xffe0fc00 0x1ee05800 734 (Outside [(5, OpH), (16, OpH)]) 735 , Encoding "FMIN_S_floatdp2" 0xffe0fc00 0x1e205800 736 (Outside [(5, OpS), (16, OpS)]) 737 , Encoding "FMIN_D_floatdp2" 0xffe0fc00 0x1e605800 738 (Outside [(5, OpD), (16, OpD)]) 739 , Encoding "FMINNM_asimdsamefp16_only" 0xbfe0fc00 0x0ec00400 740 (Outside [(5, OpV), (16, OpV)]) 741 , Encoding "FMINNM_asimdsame_only" 0xbfa0fc00 0x0ea0c400 742 (Outside [(5, OpV), (16, OpV)]) 743 , Encoding "FMINNM_H_floatdp2" 0xffe0fc00 0x1ee07800 744 (Outside [(5, OpH), (16, OpH)]) 745 , Encoding "FMINNM_S_floatdp2" 0xffe0fc00 0x1e207800 746 (Outside [(5, OpS), (16, OpS)]) 747 , Encoding "FMINNM_D_floatdp2" 0xffe0fc00 0x1e607800 748 (Outside [(5, OpD), (16, OpD)]) 749 , Encoding "FMINNMP_asisdpair_only_H" 0xffbffc00 0x5eb0c800 750 (Outside [(5, OpVWhole)]) 751 , Encoding "FMINNMP_asisdpair_only_SD" 0xffbffc00 0x7eb0c800 752 (Outside [(5, OpVWhole)]) 753 , Encoding "FMINNMP_asimdsamefp16_only" 0xbfe0fc00 0x2ec00400 754 (Outside [(5, OpV), (16, OpV)]) 755 , Encoding "FMINNMP_asimdsame_only" 0xbfa0fc00 0x2ea0c400 756 (Outside [(5, OpV), (16, OpV)]) 757 , Encoding "FMINNMV_asimdall_only_H" 0xbffffc00 0x0eb0c800 758 (Outside [(5, OpV)]) 759 , Encoding "FMINNMV_asimdall_only_SD" 0xbfbffc00 0x2eb0c800 760 (Outside [(5, OpV)]) 761 , Encoding "FMINP_asisdpair_only_H" 0xffbffc00 0x5eb0f800 762 (Outside [(5, OpVWhole)]) 763 , Encoding "FMINP_asisdpair_only_SD" 0xffbffc00 0x7eb0f800 764 (Outside [(5, OpVWhole)]) 765 , Encoding "FMINP_asimdsamefp16_only" 0xbfe0fc00 0x2ec03400 766 (Outside [(5, OpV), (16, OpV)]) 767 , Encoding "FMINP_asimdsame_only" 0xbfa0fc00 0x2ea0f400 768 (Outside [(5, OpV), (16, OpV)]) 769 , Encoding "FMINV_asimdall_only_H" 0xbffffc00 0x0eb0f800 (Outside [(5, OpV)]) 770 , Encoding "FMINV_asimdall_only_SD" 0xbfbffc00 0x2eb0f800 771 (Outside [(5, OpV)]) 772 , Encoding "FMLA_asisdelem_RH_H" 0xffc0f400 0x5f001000 (Outside [(5, OpH)]) 773 , Encoding "FMLA_asisdelem_R_SD" 0xff80f400 0x5f801000 (Outside []) 774 , Encoding "FMLA_asimdelem_RH_H" 0xbfc0f400 0x0f001000 (Outside [(5, OpV)]) 775 , Encoding "FMLA_asimdelem_R_SD" 0xbf80f400 0x0f801000 (Outside [(5, OpV)]) 776 , Encoding "FMLA_asimdsamefp16_only" 0xbfe0fc00 0x0e400c00 777 (Outside [(5, OpV), (16, OpV)]) 778 , Encoding "FMLA_asimdsame_only" 0xbfa0fc00 0x0e20cc00 779 (Outside [(5, OpV), (16, OpV)]) 780 , Encoding "FMLAL_asimdelem_LH" 0xbfc0f400 0x0f800000 (Outside [(5, OpV)]) 781 , Encoding "FMLAL2_asimdelem_LH" 0xbfc0f400 0x2f808000 (Outside [(5, OpV)]) 782 , Encoding "FMLAL_asimdsame_F" 0xbfe0fc00 0x0e20ec00 783 (Outside [(5, OpV), (16, OpV)]) 784 , Encoding "FMLAL2_asimdsame_F" 0xbfe0fc00 0x2e20cc00 785 (Outside [(5, OpV), (16, OpV)]) 786 , Encoding "FMLS_asisdelem_RH_H" 0xffc0f400 0x5f005000 (Outside [(5, OpH)]) 787 , Encoding "FMLS_asisdelem_R_SD" 0xff80f400 0x5f805000 (Outside []) 788 , Encoding "FMLS_asimdelem_RH_H" 0xbfc0f400 0x0f005000 (Outside [(5, OpV)]) 789 , Encoding "FMLS_asimdelem_R_SD" 0xbf80f400 0x0f805000 (Outside [(5, OpV)]) 790 , Encoding "FMLS_asimdsamefp16_only" 0xbfe0fc00 0x0ec00c00 791 (Outside [(5, OpV), (16, OpV)]) 792 , Encoding "FMLS_asimdsame_only" 0xbfa0fc00 0x0ea0cc00 793 (Outside [(5, OpV), (16, OpV)]) 794 , Encoding "FMLSL_asimdelem_LH" 0xbfc0f400 0x0f804000 (Outside [(5, OpV)]) 795 , Encoding "FMLSL2_asimdelem_LH" 0xbfc0f400 0x2f80c000 (Outside [(5, OpV)]) 796 , Encoding "FMLSL_asimdsame_F" 0xbfe0fc00 0x0ea0ec00 797 (Outside [(5, OpV), (16, OpV)]) 798 , Encoding "FMLSL2_asimdsame_F" 0xbfe0fc00 0x2ea0cc00 799 (Outside [(5, OpV), (16, OpV)]) 800 , Encoding "FMOV_asimdimm_H_h" 0xbff8fc00 0x0f00fc00 (Outside []) 801 , Encoding "FMOV_asimdimm_S_s" 0xbff8fc00 0x0f00f400 (Outside []) 802 , Encoding "FMOV_asimdimm_D2_d" 0xfff8fc00 0x6f00f400 (Outside []) 803 , Encoding "FMOV_H_floatdp1" 0xfffffc00 0x1ee04000 (Outside [(5, OpH)]) 804 , Encoding "FMOV_S_floatdp1" 0xfffffc00 0x1e204000 (Outside [(5, OpS)]) 805 , Encoding "FMOV_D_floatdp1" 0xfffffc00 0x1e604000 (Outside [(5, OpD)]) 806 , Encoding "FMOV_32H_float2int" 0xffe9fc00 0x1ee00000 (Outside [(5, OpH)]) 807 , Encoding "FMOV_64H_float2int" 0xffe9fc00 0x9ee00000 (Outside [(5, OpH)]) 808 , Encoding "FMOV_H32_float2int" 0xffe9fc00 0x1ee10000 (Outside [(5, OpW)]) 809 , Encoding "FMOV_S32_float2int" 0xffe9fc00 0x1e210000 (Outside [(5, OpW)]) 810 , Encoding "FMOV_32S_float2int" 0xffe9fc00 0x1e200000 (Outside [(5, OpS)]) 811 , Encoding "FMOV_H64_float2int" 0xffe9fc00 0x9ee10000 (Outside [(5, OpX)]) 812 , Encoding "FMOV_D64_float2int" 0xffe9fc00 0x9e610000 (Outside [(5, OpX)]) 813 , Encoding "FMOV_V64I_float2int" 0xffe9fc00 0x9ea90000 (Outside [(5, OpX)]) 814 , Encoding "FMOV_64D_float2int" 0xffe9fc00 0x9e600000 (Outside [(5, OpD)]) 815 , Encoding "FMOV_64VX_float2int" 0xffe9fc00 0x9ea80000 816 (Outside [(5, OpVWhole)]) 817 , Encoding "FMOV_H_floatimm" 0xffe01fe0 0x1ee01000 (Outside []) 818 , Encoding "FMOV_S_floatimm" 0xffe01fe0 0x1e201000 (Outside []) 819 , Encoding "FMOV_D_floatimm" 0xffe01fe0 0x1e601000 (Outside []) 820 , Encoding "FMSUB_H_floatdp3" 0xffe08000 0x1fc08000 821 (Outside [(5, OpH), (10, OpH), (16, OpH)]) 822 , Encoding "FMSUB_S_floatdp3" 0xffe08000 0x1f008000 823 (Outside [(5, OpS), (10, OpS), (16, OpS)]) 824 , Encoding "FMSUB_D_floatdp3" 0xffe08000 0x1f408000 825 (Outside [(5, OpD), (10, OpD), (16, OpD)]) 826 , Encoding "FMUL_asisdelem_RH_H" 0xffc0f400 0x5f009000 (Outside [(5, OpH)]) 827 , Encoding "FMUL_asisdelem_R_SD" 0xff80f400 0x5f809000 (Outside []) 828 , Encoding "FMUL_asimdelem_RH_H" 0xbfc0f400 0x0f009000 (Outside [(5, OpV)]) 829 , Encoding "FMUL_asimdelem_R_SD" 0xbf80f400 0x0f809000 (Outside [(5, OpV)]) 830 , Encoding "FMUL_asimdsamefp16_only" 0xbfe0fc00 0x2e401c00 831 (Outside [(5, OpV), (16, OpV)]) 832 , Encoding "FMUL_asimdsame_only" 0xbfa0fc00 0x2e20dc00 833 (Outside [(5, OpV), (16, OpV)]) 834 , Encoding "FMUL_H_floatdp2" 0xffe0fc00 0x1ee00800 835 (Outside [(5, OpH), (16, OpH)]) 836 , Encoding "FMUL_S_floatdp2" 0xffe0fc00 0x1e200800 837 (Outside [(5, OpS), (16, OpS)]) 838 , Encoding "FMUL_D_floatdp2" 0xffe0fc00 0x1e600800 839 (Outside [(5, OpD), (16, OpD)]) 840 , Encoding "FMULX_asisdelem_RH_H" 0xffc0f400 0x7f009000 (Outside [(5, OpH)]) 841 , Encoding "FMULX_asisdelem_R_SD" 0xff80f400 0x7f809000 (Outside []) 842 , Encoding "FMULX_asimdelem_RH_H" 0xbfc0f400 0x2f009000 (Outside [(5, OpV)]) 843 , Encoding "FMULX_asimdelem_R_SD" 0xbf80f400 0x2f809000 (Outside [(5, OpV)]) 844 , Encoding "FMULX_asisdsamefp16_only" 0xffe0fc00 0x5e401c00 845 (Outside [(5, OpH), (16, OpH)]) 846 , Encoding "FMULX_asisdsame_only" 0xffa0fc00 0x5e20dc00 (Outside []) 847 , Encoding "FMULX_asimdsamefp16_only" 0xbfe0fc00 0x0e401c00 848 (Outside [(5, OpV), (16, OpV)]) 849 , Encoding "FMULX_asimdsame_only" 0xbfa0fc00 0x0e20dc00 850 (Outside [(5, OpV), (16, OpV)]) 851 , Encoding "FNEG_asimdmiscfp16_R" 0xbffffc00 0x2ef8f800 (Outside [(5, OpV)]) 852 , Encoding "FNEG_asimdmisc_R" 0xbfbffc00 0x2ea0f800 (Outside [(5, OpV)]) 853 , Encoding "FNEG_H_floatdp1" 0xfffffc00 0x1ee14000 (Outside [(5, OpH)]) 854 , Encoding "FNEG_S_floatdp1" 0xfffffc00 0x1e214000 (Outside [(5, OpS)]) 855 , Encoding "FNEG_D_floatdp1" 0xfffffc00 0x1e614000 (Outside [(5, OpD)]) 856 , Encoding "FNMADD_H_floatdp3" 0xffe08000 0x1fe00000 857 (Outside [(5, OpH), (10, OpH), (16, OpH)]) 858 , Encoding "FNMADD_S_floatdp3" 0xffe08000 0x1f200000 859 (Outside [(5, OpS), (10, OpS), (16, OpS)]) 860 , Encoding "FNMADD_D_floatdp3" 0xffe08000 0x1f600000 861 (Outside [(5, OpD), (10, OpD), (16, OpD)]) 862 , Encoding "FNMSUB_H_floatdp3" 0xffe08000 0x1fe08000 863 (Outside [(5, OpH), (10, OpH), (16, OpH)]) 864 , Encoding "FNMSUB_S_floatdp3" 0xffe08000 0x1f208000 865 (Outside [(5, OpS), (10, OpS), (16, OpS)]) 866 , Encoding "FNMSUB_D_floatdp3" 0xffe08000 0x1f608000 867 (Outside [(5, OpD), (10, OpD), (16, OpD)]) 868 , Encoding "FNMUL_H_floatdp2" 0xffe0fc00 0x1ee08800 869 (Outside [(5, OpH), (16, OpH)]) 870 , Encoding "FNMUL_S_floatdp2" 0xffe0fc00 0x1e208800 871 (Outside [(5, OpS), (16, OpS)]) 872 , Encoding "FNMUL_D_floatdp2" 0xffe0fc00 0x1e608800 873 (Outside [(5, OpD), (16, OpD)]) 874 , Encoding "FRECPE_asisdmiscfp16_R" 0xfffffc00 0x5ef9d800 875 (Outside [(5, OpH)]) 876 , Encoding "FRECPE_asisdmisc_R" 0xffbffc00 0x5ea1d800 (Outside []) 877 , Encoding "FRECPE_asimdmiscfp16_R" 0xbffffc00 0x0ef9d800 878 (Outside [(5, OpV)]) 879 , Encoding "FRECPE_asimdmisc_R" 0xbfbffc00 0x0ea1d800 (Outside [(5, OpV)]) 880 , Encoding "FRECPS_asisdsamefp16_only" 0xffe0fc00 0x5e403c00 881 (Outside [(5, OpH), (16, OpH)]) 882 , Encoding "FRECPS_asisdsame_only" 0xffa0fc00 0x5e20fc00 (Outside []) 883 , Encoding "FRECPS_asimdsamefp16_only" 0xbfe0fc00 0x0e403c00 884 (Outside [(5, OpV), (16, OpV)]) 885 , Encoding "FRECPS_asimdsame_only" 0xbfa0fc00 0x0e20fc00 886 (Outside [(5, OpV), (16, OpV)]) 887 , Encoding "FRECPX_asisdmiscfp16_R" 0xfffffc00 0x5ef9f800 888 (Outside [(5, OpH)]) 889 , Encoding "FRECPX_asisdmisc_R" 0xffbffc00 0x5ea1f800 (Outside []) 890 , Encoding "FRINT32X_asimdmisc_R" 0xbfbffc00 0x2e21e800 (Outside [(5, OpV)]) 891 , Encoding "FRINT32X_S_floatdp1" 0xff7ffc00 0x1e28c000 (Outside [(5, OpS)]) 892 , Encoding "FRINT32X_D_floatdp1" 0xff7ffc00 0x1e68c000 (Outside [(5, OpD)]) 893 , Encoding "FRINT32Z_asimdmisc_R" 0xbfbffc00 0x0e21e800 (Outside [(5, OpV)]) 894 , Encoding "FRINT32Z_S_floatdp1" 0xff7ffc00 0x1e284000 (Outside [(5, OpS)]) 895 , Encoding "FRINT32Z_D_floatdp1" 0xff7ffc00 0x1e684000 (Outside [(5, OpD)]) 896 , Encoding "FRINT64X_asimdmisc_R" 0xbfbffc00 0x2e21f800 (Outside [(5, OpV)]) 897 , Encoding "FRINT64X_S_floatdp1" 0xff7ffc00 0x1e29c000 (Outside [(5, OpS)]) 898 , Encoding "FRINT64X_D_floatdp1" 0xff7ffc00 0x1e69c000 (Outside [(5, OpD)]) 899 , Encoding "FRINT64Z_asimdmisc_R" 0xbfbffc00 0x0e21f800 (Outside [(5, OpV)]) 900 , Encoding "FRINT64Z_S_floatdp1" 0xff7ffc00 0x1e294000 (Outside [(5, OpS)]) 901 , Encoding "FRINT64Z_D_floatdp1" 0xff7ffc00 0x1e694000 (Outside [(5, OpD)]) 902 , Encoding "FRINTA_asimdmiscfp16_R" 0xbffffc00 0x2e798800 903 (Outside [(5, OpV)]) 904 , Encoding "FRINTA_asimdmisc_R" 0xbfbffc00 0x2e218800 (Outside [(5, OpV)]) 905 , Encoding "FRINTA_H_floatdp1" 0xfffffc00 0x1ee64000 (Outside [(5, OpH)]) 906 , Encoding "FRINTA_S_floatdp1" 0xfffffc00 0x1e264000 (Outside [(5, OpS)]) 907 , Encoding "FRINTA_D_floatdp1" 0xfffffc00 0x1e664000 (Outside [(5, OpD)]) 908 , Encoding "FRINTI_asimdmiscfp16_R" 0xbffffc00 0x2ef99800 909 (Outside [(5, OpV)]) 910 , Encoding "FRINTI_asimdmisc_R" 0xbfbffc00 0x2ea19800 (Outside [(5, OpV)]) 911 , Encoding "FRINTI_H_floatdp1" 0xfffffc00 0x1ee7c000 (Outside [(5, OpH)]) 912 , Encoding "FRINTI_S_floatdp1" 0xfffffc00 0x1e27c000 (Outside [(5, OpS)]) 913 , Encoding "FRINTI_D_floatdp1" 0xfffffc00 0x1e67c000 (Outside [(5, OpD)]) 914 , Encoding "FRINTM_asimdmiscfp16_R" 0xbffffc00 0x0e799800 915 (Outside [(5, OpV)]) 916 , Encoding "FRINTM_asimdmisc_R" 0xbfbffc00 0x0e219800 (Outside [(5, OpV)]) 917 , Encoding "FRINTM_H_floatdp1" 0xfffffc00 0x1ee54000 (Outside [(5, OpH)]) 918 , Encoding "FRINTM_S_floatdp1" 0xfffffc00 0x1e254000 (Outside [(5, OpS)]) 919 , Encoding "FRINTM_D_floatdp1" 0xfffffc00 0x1e654000 (Outside [(5, OpD)]) 920 , Encoding "FRINTN_asimdmiscfp16_R" 0xbffffc00 0x0e798800 921 (Outside [(5, OpV)]) 922 , Encoding "FRINTN_asimdmisc_R" 0xbfbffc00 0x0e218800 (Outside [(5, OpV)]) 923 , Encoding "FRINTN_H_floatdp1" 0xfffffc00 0x1ee44000 (Outside [(5, OpH)]) 924 , Encoding "FRINTN_S_floatdp1" 0xfffffc00 0x1e244000 (Outside [(5, OpS)]) 925 , Encoding "FRINTN_D_floatdp1" 0xfffffc00 0x1e644000 (Outside [(5, OpD)]) 926 , Encoding "FRINTP_asimdmiscfp16_R" 0xbffffc00 0x0ef98800 927 (Outside [(5, OpV)]) 928 , Encoding "FRINTP_asimdmisc_R" 0xbfbffc00 0x0ea18800 (Outside [(5, OpV)]) 929 , Encoding "FRINTP_H_floatdp1" 0xfffffc00 0x1ee4c000 (Outside [(5, OpH)]) 930 , Encoding "FRINTP_S_floatdp1" 0xfffffc00 0x1e24c000 (Outside [(5, OpS)]) 931 , Encoding "FRINTP_D_floatdp1" 0xfffffc00 0x1e64c000 (Outside [(5, OpD)]) 932 , Encoding "FRINTX_asimdmiscfp16_R" 0xbffffc00 0x2e799800 933 (Outside [(5, OpV)]) 934 , Encoding "FRINTX_asimdmisc_R" 0xbfbffc00 0x2e219800 (Outside [(5, OpV)]) 935 , Encoding "FRINTX_H_floatdp1" 0xfffffc00 0x1ee74000 (Outside [(5, OpH)]) 936 , Encoding "FRINTX_S_floatdp1" 0xfffffc00 0x1e274000 (Outside [(5, OpS)]) 937 , Encoding "FRINTX_D_floatdp1" 0xfffffc00 0x1e674000 (Outside [(5, OpD)]) 938 , Encoding "FRINTZ_asimdmiscfp16_R" 0xbffffc00 0x0ef99800 939 (Outside [(5, OpV)]) 940 , Encoding "FRINTZ_asimdmisc_R" 0xbfbffc00 0x0ea19800 (Outside [(5, OpV)]) 941 , Encoding "FRINTZ_H_floatdp1" 0xfffffc00 0x1ee5c000 (Outside [(5, OpH)]) 942 , Encoding "FRINTZ_S_floatdp1" 0xfffffc00 0x1e25c000 (Outside [(5, OpS)]) 943 , Encoding "FRINTZ_D_floatdp1" 0xfffffc00 0x1e65c000 (Outside [(5, OpD)]) 944 , Encoding "FRSQRTE_asisdmiscfp16_R" 0xfffffc00 0x7ef9d800 945 (Outside [(5, OpH)]) 946 , Encoding "FRSQRTE_asisdmisc_R" 0xffbffc00 0x7ea1d800 (Outside []) 947 , Encoding "FRSQRTE_asimdmiscfp16_R" 0xbffffc00 0x2ef9d800 948 (Outside [(5, OpV)]) 949 , Encoding "FRSQRTE_asimdmisc_R" 0xbfbffc00 0x2ea1d800 (Outside [(5, OpV)]) 950 , Encoding "FRSQRTS_asisdsamefp16_only" 0xffe0fc00 0x5ec03c00 951 (Outside [(5, OpH), (16, OpH)]) 952 , Encoding "FRSQRTS_asisdsame_only" 0xffa0fc00 0x5ea0fc00 (Outside []) 953 , Encoding "FRSQRTS_asimdsamefp16_only" 0xbfe0fc00 0x0ec03c00 954 (Outside [(5, OpV), (16, OpV)]) 955 , Encoding "FRSQRTS_asimdsame_only" 0xbfa0fc00 0x0ea0fc00 956 (Outside [(5, OpV), (16, OpV)]) 957 , Encoding "FSQRT_asimdmiscfp16_R" 0xbffffc00 0x2ef9f800 (Outside [(5, OpV)]) 958 , Encoding "FSQRT_asimdmisc_R" 0xbfbffc00 0x2ea1f800 (Outside [(5, OpV)]) 959 , Encoding "FSQRT_H_floatdp1" 0xfffffc00 0x1ee1c000 (Outside [(5, OpH)]) 960 , Encoding "FSQRT_S_floatdp1" 0xfffffc00 0x1e21c000 (Outside [(5, OpS)]) 961 , Encoding "FSQRT_D_floatdp1" 0xfffffc00 0x1e61c000 (Outside [(5, OpD)]) 962 , Encoding "FSUB_asimdsamefp16_only" 0xbfe0fc00 0x0ec01400 963 (Outside [(5, OpV), (16, OpV)]) 964 , Encoding "FSUB_asimdsame_only" 0xbfa0fc00 0x0ea0d400 965 (Outside [(5, OpV), (16, OpV)]) 966 , Encoding "FSUB_H_floatdp2" 0xffe0fc00 0x1ee03800 967 (Outside [(5, OpH), (16, OpH)]) 968 , Encoding "FSUB_S_floatdp2" 0xffe0fc00 0x1e203800 969 (Outside [(5, OpS), (16, OpS)]) 970 , Encoding "FSUB_D_floatdp2" 0xffe0fc00 0x1e603800 971 (Outside [(5, OpD), (16, OpD)]) 972 , Encoding "GCSB_HD_hints" 0xffffffff 0xd503227f Control 973 , Encoding "GCSSTR_64_ldst_gcs" 0xfffffc00 0xd91f0c00 (Outside [(0, OpX)]) 974 , Encoding "GCSSTTR_64_ldst_gcs" 0xfffffc00 0xd91f1c00 (Outside [(0, OpX)]) 975 , Encoding "GMI_64G_dp_2src" 0xffe0fc00 0x9ac01400 976 (Outside [(5, OpXSp), (16, OpX)]) 977 , Encoding "HINT_HM_hints" 0xfffff01f 0xd503201f Control 978 , Encoding "HLT_EX_exception" 0xffe0001f 0xd4400000 Control 979 , Encoding "HVC_EX_exception" 0xffe0001f 0xd4000002 Control 980 , Encoding "INS_asimdins_IV_v" 0xffe08400 0x6e000400 Covered 981 , Encoding "INS_asimdins_IR_r" 0xffe0fc00 0x4e001c00 Covered 982 , Encoding "IRG_64I_dp_2src" 0xffe0fc00 0x9ac01000 983 (Outside [(5, OpXSp), (16, OpX)]) 984 , Encoding "ISB_BI_barriers" 0xfffff0ff 0xd50330df Control 985 , Encoding "LD1_asisdlse_R1_1v" 0xbfffd000 0x0c405000 Covered 986 , Encoding "LD1_asisdlse_R2_2v" 0xbfffd000 0x0c408000 Covered 987 , Encoding "LD1_asisdlse_R3_3v" 0xbfffd000 0x0c404000 Covered 988 , Encoding "LD1_asisdlse_R4_4v" 0xbfffd000 0x0c400000 Covered 989 , Encoding "LD1_asisdlsep_I1_i1" 0xbfffd000 0x0cdf5000 Covered 990 , Encoding "LD1_asisdlsep_R1_r1" 0xbfe0d000 0x0cc05000 Covered 991 , Encoding "LD1_asisdlsep_I2_i2" 0xbfffd000 0x0cdf8000 Covered 992 , Encoding "LD1_asisdlsep_R2_r2" 0xbfe0d000 0x0cc08000 Covered 993 , Encoding "LD1_asisdlsep_I3_i3" 0xbfffd000 0x0cdf4000 Covered 994 , Encoding "LD1_asisdlsep_R3_r3" 0xbfe0d000 0x0cc04000 Covered 995 , Encoding "LD1_asisdlsep_I4_i4" 0xbfffd000 0x0cdf0000 Covered 996 , Encoding "LD1_asisdlsep_R4_r4" 0xbfe0d000 0x0cc00000 Covered 997 , Encoding "LD1_asisdlso_B1_1b" 0xbfffc000 0x0d400000 Covered 998 , Encoding "LD1_asisdlso_H1_1h" 0xbfffc400 0x0d404000 Covered 999 , Encoding "LD1_asisdlso_S1_1s" 0xbfffcc00 0x0d408000 Covered 1000 , Encoding "LD1_asisdlso_D1_1d" 0xbfffdc00 0x0d408400 Covered 1001 , Encoding "LD1_asisdlsop_B1_i1b" 0xbfffc000 0x0ddf0000 Covered 1002 , Encoding "LD1_asisdlsop_BX1_r1b" 0xbfe0c000 0x0dc00000 Covered 1003 , Encoding "LD1_asisdlsop_H1_i1h" 0xbfffc400 0x0ddf4000 Covered 1004 , Encoding "LD1_asisdlsop_HX1_r1h" 0xbfe0c400 0x0dc04000 Covered 1005 , Encoding "LD1_asisdlsop_S1_i1s" 0xbfffcc00 0x0ddf8000 Covered 1006 , Encoding "LD1_asisdlsop_SX1_r1s" 0xbfe0cc00 0x0dc08000 Covered 1007 , Encoding "LD1_asisdlsop_D1_i1d" 0xbfffdc00 0x0ddf8400 Covered 1008 , Encoding "LD1_asisdlsop_DX1_r1d" 0xbfe0dc00 0x0dc08400 Covered 1009 , Encoding "LD1R_asisdlso_R1" 0xbffff000 0x0d40c000 Covered 1010 , Encoding "LD1R_asisdlsop_R1_i" 0xbffff000 0x0ddfc000 Covered 1011 , Encoding "LD1R_asisdlsop_RX1_r" 0xbfe0f000 0x0dc0c000 Covered 1012 , Encoding "LD2_asisdlse_R2" 0xbffff000 0x0c408000 Covered 1013 , Encoding "LD2_asisdlsep_I2_i" 0xbffff000 0x0cdf8000 Covered 1014 , Encoding "LD2_asisdlsep_R2_r" 0xbfe0f000 0x0cc08000 Covered 1015 , Encoding "LD2_asisdlso_B2_2b" 0xbfffc000 0x0d600000 Covered 1016 , Encoding "LD2_asisdlso_H2_2h" 0xbfffc400 0x0d604000 Covered 1017 , Encoding "LD2_asisdlso_S2_2s" 0xbfffcc00 0x0d608000 Covered 1018 , Encoding "LD2_asisdlso_D2_2d" 0xbfffdc00 0x0d608400 Covered 1019 , Encoding "LD2_asisdlsop_B2_i2b" 0xbfffc000 0x0dff0000 Covered 1020 , Encoding "LD2_asisdlsop_BX2_r2b" 0xbfe0c000 0x0de00000 Covered 1021 , Encoding "LD2_asisdlsop_H2_i2h" 0xbfffc400 0x0dff4000 Covered 1022 , Encoding "LD2_asisdlsop_HX2_r2h" 0xbfe0c400 0x0de04000 Covered 1023 , Encoding "LD2_asisdlsop_S2_i2s" 0xbfffcc00 0x0dff8000 Covered 1024 , Encoding "LD2_asisdlsop_SX2_r2s" 0xbfe0cc00 0x0de08000 Covered 1025 , Encoding "LD2_asisdlsop_D2_i2d" 0xbfffdc00 0x0dff8400 Covered 1026 , Encoding "LD2_asisdlsop_DX2_r2d" 0xbfe0dc00 0x0de08400 Covered 1027 , Encoding "LD2R_asisdlso_R2" 0xbffff000 0x0d60c000 Covered 1028 , Encoding "LD2R_asisdlsop_R2_i" 0xbffff000 0x0dffc000 Covered 1029 , Encoding "LD2R_asisdlsop_RX2_r" 0xbfe0f000 0x0de0c000 Covered 1030 , Encoding "LD3_asisdlse_R3" 0xbffff000 0x0c404000 Covered 1031 , Encoding "LD3_asisdlsep_I3_i" 0xbffff000 0x0cdf4000 Covered 1032 , Encoding "LD3_asisdlsep_R3_r" 0xbfe0f000 0x0cc04000 Covered 1033 , Encoding "LD3_asisdlso_B3_3b" 0xbfffc000 0x0d400000 Covered 1034 , Encoding "LD3_asisdlso_H3_3h" 0xbfffc400 0x0d404000 Covered 1035 , Encoding "LD3_asisdlso_S3_3s" 0xbfffcc00 0x0d408000 Covered 1036 , Encoding "LD3_asisdlso_D3_3d" 0xbfffdc00 0x0d408400 Covered 1037 , Encoding "LD3_asisdlsop_B3_i3b" 0xbfffc000 0x0ddf0000 Covered 1038 , Encoding "LD3_asisdlsop_BX3_r3b" 0xbfe0c000 0x0dc00000 Covered 1039 , Encoding "LD3_asisdlsop_H3_i3h" 0xbfffc400 0x0ddf4000 Covered 1040 , Encoding "LD3_asisdlsop_HX3_r3h" 0xbfe0c400 0x0dc04000 Covered 1041 , Encoding "LD3_asisdlsop_S3_i3s" 0xbfffcc00 0x0ddf8000 Covered 1042 , Encoding "LD3_asisdlsop_SX3_r3s" 0xbfe0cc00 0x0dc08000 Covered 1043 , Encoding "LD3_asisdlsop_D3_i3d" 0xbfffdc00 0x0ddf8400 Covered 1044 , Encoding "LD3_asisdlsop_DX3_r3d" 0xbfe0dc00 0x0dc08400 Covered 1045 , Encoding "LD3R_asisdlso_R3" 0xbffff000 0x0d40e000 Covered 1046 , Encoding "LD3R_asisdlsop_R3_i" 0xbffff000 0x0ddfe000 Covered 1047 , Encoding "LD3R_asisdlsop_RX3_r" 0xbfe0f000 0x0dc0e000 Covered 1048 , Encoding "LD4_asisdlse_R4" 0xbffff000 0x0c400000 Covered 1049 , Encoding "LD4_asisdlsep_I4_i" 0xbffff000 0x0cdf0000 Covered 1050 , Encoding "LD4_asisdlsep_R4_r" 0xbfe0f000 0x0cc00000 Covered 1051 , Encoding "LD4_asisdlso_B4_4b" 0xbfffc000 0x0d600000 Covered 1052 , Encoding "LD4_asisdlso_H4_4h" 0xbfffc400 0x0d604000 Covered 1053 , Encoding "LD4_asisdlso_S4_4s" 0xbfffcc00 0x0d608000 Covered 1054 , Encoding "LD4_asisdlso_D4_4d" 0xbfffdc00 0x0d608400 Covered 1055 , Encoding "LD4_asisdlsop_B4_i4b" 0xbfffc000 0x0dff0000 Covered 1056 , Encoding "LD4_asisdlsop_BX4_r4b" 0xbfe0c000 0x0de00000 Covered 1057 , Encoding "LD4_asisdlsop_H4_i4h" 0xbfffc400 0x0dff4000 Covered 1058 , Encoding "LD4_asisdlsop_HX4_r4h" 0xbfe0c400 0x0de04000 Covered 1059 , Encoding "LD4_asisdlsop_S4_i4s" 0xbfffcc00 0x0dff8000 Covered 1060 , Encoding "LD4_asisdlsop_SX4_r4s" 0xbfe0cc00 0x0de08000 Covered 1061 , Encoding "LD4_asisdlsop_D4_i4d" 0xbfffdc00 0x0dff8400 Covered 1062 , Encoding "LD4_asisdlsop_DX4_r4d" 0xbfe0dc00 0x0de08400 Covered 1063 , Encoding "LD4R_asisdlso_R4" 0xbffff000 0x0d60e000 Covered 1064 , Encoding "LD4R_asisdlsop_R4_i" 0xbffff000 0x0dffe000 Covered 1065 , Encoding "LD4R_asisdlsop_RX4_r" 0xbfe0f000 0x0de0e000 Covered 1066 , Encoding "LD64B_64L_memop" 0xfffffc00 0xf83fd000 (Outside [(0, OpX)]) 1067 , Encoding "LDADD_32_memop" 0x7fe0fc00 0x38200000 Covered 1068 , Encoding "LDADDA_32_memop" 0x7fe0fc00 0x38a00000 Covered 1069 , Encoding "LDADDAL_32_memop" 0x7fe0fc00 0x38e00000 Covered 1070 , Encoding "LDADDL_32_memop" 0x7fe0fc00 0x38600000 Covered 1071 , Encoding "LDADD_64_memop" 0x7fe0fc00 0x78200000 Covered 1072 , Encoding "LDADDA_64_memop" 0x7fe0fc00 0x78a00000 Covered 1073 , Encoding "LDADDAL_64_memop" 0x7fe0fc00 0x78e00000 Covered 1074 , Encoding "LDADDL_64_memop" 0x7fe0fc00 0x78600000 Covered 1075 , Encoding "LDADDAB_32_memop" 0xffe0fc00 0x38a00000 Covered 1076 , Encoding "LDADDALB_32_memop" 0xffe0fc00 0x38e00000 Covered 1077 , Encoding "LDADDB_32_memop" 0xffe0fc00 0x38200000 Covered 1078 , Encoding "LDADDLB_32_memop" 0xffe0fc00 0x38600000 Covered 1079 , Encoding "LDADDAH_32_memop" 0xffe0fc00 0x78a00000 Covered 1080 , Encoding "LDADDALH_32_memop" 0xffe0fc00 0x78e00000 Covered 1081 , Encoding "LDADDH_32_memop" 0xffe0fc00 0x78200000 Covered 1082 , Encoding "LDADDLH_32_memop" 0xffe0fc00 0x78600000 Covered 1083 , Encoding "LDAP1_asisdlso_D1" 0xbffffc00 0x0d418400 Covered 1084 , Encoding "LDAPR_32L_memop" 0x7fe0fc00 0x38a0c000 Covered 1085 , Encoding "LDAPR_64L_memop" 0x7fe0fc00 0x78a0c000 Covered 1086 , Encoding "LDAPR_32L_ldapstl_writeback" 0x7ffffc00 0x19c00800 Covered 1087 , Encoding "LDAPR_64L_ldapstl_writeback" 0x7ffffc00 0x59c00800 Covered 1088 , Encoding "LDAPRB_32L_memop" 0xffe0fc00 0x38a0c000 Covered 1089 , Encoding "LDAPRH_32L_memop" 0xffe0fc00 0x78a0c000 Covered 1090 , Encoding "LDAPUR_B_ldapstl_simd" 0xffa00c00 0x1d000800 Covered 1091 , Encoding "LDAPUR_H_ldapstl_simd" 0xffa00c00 0x5d000800 Covered 1092 , Encoding "LDAPUR_S_ldapstl_simd" 0xffa00c00 0x9d000800 Covered 1093 , Encoding "LDAPUR_D_ldapstl_simd" 0xffa00c00 0xdd000800 Covered 1094 , Encoding "LDAPUR_Q_ldapstl_simd" 0xffa00c00 0x1d800800 Covered 1095 , Encoding "LDAPUR_32_ldapstl_unscaled" 0x7fe00c00 0x19400000 Covered 1096 , Encoding "LDAPUR_64_ldapstl_unscaled" 0x7fe00c00 0x59400000 Covered 1097 , Encoding "LDAPURB_32_ldapstl_unscaled" 0xffe00c00 0x19400000 Covered 1098 , Encoding "LDAPURH_32_ldapstl_unscaled" 0xffe00c00 0x59400000 Covered 1099 , Encoding "LDAPURSB_32_ldapstl_unscaled" 0xff600c00 0x19400000 Covered 1100 , Encoding "LDAPURSB_64_ldapstl_unscaled" 0xff600c00 0x19000000 Covered 1101 , Encoding "LDAPURSH_32_ldapstl_unscaled" 0xff600c00 0x59400000 Covered 1102 , Encoding "LDAPURSH_64_ldapstl_unscaled" 0xff600c00 0x59000000 Covered 1103 , Encoding "LDAPURSW_64_ldapstl_unscaled" 0xffe00c00 0x99800000 Covered 1104 , Encoding "LDAR_LR32_ldstord" 0x7fe08000 0x08c08000 Covered 1105 , Encoding "LDAR_LR64_ldstord" 0x7fe08000 0x48c08000 Covered 1106 , Encoding "LDARB_LR32_ldstord" 0xffe08000 0x08c08000 Covered 1107 , Encoding "LDARH_LR32_ldstord" 0xffe08000 0x48c08000 Covered 1108 , Encoding "LDAXP_LP32_ldstexclp" 0xffe08000 0x88608000 Covered 1109 , Encoding "LDAXP_LP64_ldstexclp" 0xffe08000 0xc8608000 Covered 1110 , Encoding "LDAXR_LR32_ldstexclr" 0x7fe08000 0x08408000 Covered 1111 , Encoding "LDAXR_LR64_ldstexclr" 0x7fe08000 0x48408000 Covered 1112 , Encoding "LDAXRB_LR32_ldstexclr" 0xffe08000 0x08408000 Covered 1113 , Encoding "LDAXRH_LR32_ldstexclr" 0xffe08000 0x48408000 Covered 1114 , Encoding "LDCLR_32_memop" 0x7fe0fc00 0x38201000 Covered 1115 , Encoding "LDCLRA_32_memop" 0x7fe0fc00 0x38a01000 Covered 1116 , Encoding "LDCLRAL_32_memop" 0x7fe0fc00 0x38e01000 Covered 1117 , Encoding "LDCLRL_32_memop" 0x7fe0fc00 0x38601000 Covered 1118 , Encoding "LDCLR_64_memop" 0x7fe0fc00 0x78201000 Covered 1119 , Encoding "LDCLRA_64_memop" 0x7fe0fc00 0x78a01000 Covered 1120 , Encoding "LDCLRAL_64_memop" 0x7fe0fc00 0x78e01000 Covered 1121 , Encoding "LDCLRL_64_memop" 0x7fe0fc00 0x78601000 Covered 1122 , Encoding "LDCLRAB_32_memop" 0xffe0fc00 0x38a01000 Covered 1123 , Encoding "LDCLRALB_32_memop" 0xffe0fc00 0x38e01000 Covered 1124 , Encoding "LDCLRB_32_memop" 0xffe0fc00 0x38201000 Covered 1125 , Encoding "LDCLRLB_32_memop" 0xffe0fc00 0x38601000 Covered 1126 , Encoding "LDCLRAH_32_memop" 0xffe0fc00 0x78a01000 Covered 1127 , Encoding "LDCLRALH_32_memop" 0xffe0fc00 0x78e01000 Covered 1128 , Encoding "LDCLRH_32_memop" 0xffe0fc00 0x78201000 Covered 1129 , Encoding "LDCLRLH_32_memop" 0xffe0fc00 0x78601000 Covered 1130 , Encoding "LDCLRP_128_memop_128" 0xffe0fc00 0x19201000 Covered 1131 , Encoding "LDCLRPA_128_memop_128" 0xffe0fc00 0x19a01000 Covered 1132 , Encoding "LDCLRPAL_128_memop_128" 0xffe0fc00 0x19e01000 Covered 1133 , Encoding "LDCLRPL_128_memop_128" 0xffe0fc00 0x19601000 Covered 1134 , Encoding "LDEOR_32_memop" 0x7fe0fc00 0x38202000 Covered 1135 , Encoding "LDEORA_32_memop" 0x7fe0fc00 0x38a02000 Covered 1136 , Encoding "LDEORAL_32_memop" 0x7fe0fc00 0x38e02000 Covered 1137 , Encoding "LDEORL_32_memop" 0x7fe0fc00 0x38602000 Covered 1138 , Encoding "LDEOR_64_memop" 0x7fe0fc00 0x78202000 Covered 1139 , Encoding "LDEORA_64_memop" 0x7fe0fc00 0x78a02000 Covered 1140 , Encoding "LDEORAL_64_memop" 0x7fe0fc00 0x78e02000 Covered 1141 , Encoding "LDEORL_64_memop" 0x7fe0fc00 0x78602000 Covered 1142 , Encoding "LDEORAB_32_memop" 0xffe0fc00 0x38a02000 Covered 1143 , Encoding "LDEORALB_32_memop" 0xffe0fc00 0x38e02000 Covered 1144 , Encoding "LDEORB_32_memop" 0xffe0fc00 0x38202000 Covered 1145 , Encoding "LDEORLB_32_memop" 0xffe0fc00 0x38602000 Covered 1146 , Encoding "LDEORAH_32_memop" 0xffe0fc00 0x78a02000 Covered 1147 , Encoding "LDEORALH_32_memop" 0xffe0fc00 0x78e02000 Covered 1148 , Encoding "LDEORH_32_memop" 0xffe0fc00 0x78202000 Covered 1149 , Encoding "LDEORLH_32_memop" 0xffe0fc00 0x78602000 Covered 1150 , Encoding "LDG_64Loffset_ldsttags" 0xffe00c00 0xd9600000 (Outside []) 1151 , Encoding "LDGM_64bulk_ldsttags" 0xfffffc00 0xd9e00000 (Outside []) 1152 , Encoding "LDIAPP_32L_ldiappstilp" 0x7fe01c00 0x19401800 Covered 1153 , Encoding "LDIAPP_32LE_ldiappstilp" 0x7fe01c00 0x19400800 Covered 1154 , Encoding "LDIAPP_64L_ldiappstilp" 0x7fe01c00 0x59401800 Covered 1155 , Encoding "LDIAPP_64LS_ldiappstilp" 0x7fe01c00 0x59400800 Covered 1156 , Encoding "LDLAR_LR32_ldstord" 0x7fe08000 0x08c00000 Covered 1157 , Encoding "LDLAR_LR64_ldstord" 0x7fe08000 0x48c00000 Covered 1158 , Encoding "LDLARB_LR32_ldstord" 0xffe08000 0x08c00000 Covered 1159 , Encoding "LDLARH_LR32_ldstord" 0xffe08000 0x48c00000 Covered 1160 , Encoding "LDNP_S_ldstnapair_offs" 0xffc00000 0x2c400000 Covered 1161 , Encoding "LDNP_D_ldstnapair_offs" 0xffc00000 0x6c400000 Covered 1162 , Encoding "LDNP_Q_ldstnapair_offs" 0xffc00000 0xac400000 Covered 1163 , Encoding "LDNP_32_ldstnapair_offs" 0xbfc00000 0x28400000 Covered 1164 , Encoding "LDNP_64_ldstnapair_offs" 0xbfc00000 0xa8400000 Covered 1165 , Encoding "LDP_S_ldstpair_post" 0xffc00000 0x2cc00000 Covered 1166 , Encoding "LDP_D_ldstpair_post" 0xffc00000 0x6cc00000 Covered 1167 , Encoding "LDP_Q_ldstpair_post" 0xffc00000 0xacc00000 Covered 1168 , Encoding "LDP_S_ldstpair_pre" 0xffc00000 0x2dc00000 Covered 1169 , Encoding "LDP_D_ldstpair_pre" 0xffc00000 0x6dc00000 Covered 1170 , Encoding "LDP_Q_ldstpair_pre" 0xffc00000 0xadc00000 Covered 1171 , Encoding "LDP_S_ldstpair_off" 0xffc00000 0x2d400000 Covered 1172 , Encoding "LDP_D_ldstpair_off" 0xffc00000 0x6d400000 Covered 1173 , Encoding "LDP_Q_ldstpair_off" 0xffc00000 0xad400000 Covered 1174 , Encoding "LDP_32_ldstpair_post" 0xbfc00000 0x28c00000 Covered 1175 , Encoding "LDP_64_ldstpair_post" 0xbfc00000 0xa8c00000 Covered 1176 , Encoding "LDP_32_ldstpair_pre" 0xbfc00000 0x29c00000 Covered 1177 , Encoding "LDP_64_ldstpair_pre" 0xbfc00000 0xa9c00000 Covered 1178 , Encoding "LDP_32_ldstpair_off" 0xbfc00000 0x29400000 Covered 1179 , Encoding "LDP_64_ldstpair_off" 0xbfc00000 0xa9400000 Covered 1180 , Encoding "LDPSW_64_ldstpair_post" 0xffc00000 0x68c00000 Covered 1181 , Encoding "LDPSW_64_ldstpair_pre" 0xffc00000 0x69c00000 Covered 1182 , Encoding "LDPSW_64_ldstpair_off" 0xffc00000 0x69400000 Covered 1183 , Encoding "LDR_B_ldst_immpost" 0xffa00c00 0x3c000400 Covered 1184 , Encoding "LDR_H_ldst_immpost" 0xffa00c00 0x7c000400 Covered 1185 , Encoding "LDR_S_ldst_immpost" 0xffa00c00 0xbc000400 Covered 1186 , Encoding "LDR_D_ldst_immpost" 0xffa00c00 0xfc000400 Covered 1187 , Encoding "LDR_Q_ldst_immpost" 0xffa00c00 0x3c800400 Covered 1188 , Encoding "LDR_B_ldst_immpre" 0xffa00c00 0x3c000c00 Covered 1189 , Encoding "LDR_H_ldst_immpre" 0xffa00c00 0x7c000c00 Covered 1190 , Encoding "LDR_S_ldst_immpre" 0xffa00c00 0xbc000c00 Covered 1191 , Encoding "LDR_D_ldst_immpre" 0xffa00c00 0xfc000c00 Covered 1192 , Encoding "LDR_Q_ldst_immpre" 0xffa00c00 0x3c800c00 Covered 1193 , Encoding "LDR_B_ldst_pos" 0xff800000 0x3d000000 Covered 1194 , Encoding "LDR_H_ldst_pos" 0xff800000 0x7d000000 Covered 1195 , Encoding "LDR_S_ldst_pos" 0xff800000 0xbd000000 Covered 1196 , Encoding "LDR_D_ldst_pos" 0xff800000 0xfd000000 Covered 1197 , Encoding "LDR_Q_ldst_pos" 0xff800000 0x3d800000 Covered 1198 , Encoding "LDR_32_ldst_immpost" 0x7fe00c00 0x38400400 Covered 1199 , Encoding "LDR_64_ldst_immpost" 0x7fe00c00 0x78400400 Covered 1200 , Encoding "LDR_32_ldst_immpre" 0x7fe00c00 0x38400c00 Covered 1201 , Encoding "LDR_64_ldst_immpre" 0x7fe00c00 0x78400c00 Covered 1202 , Encoding "LDR_32_ldst_pos" 0x7fc00000 0x39400000 Covered 1203 , Encoding "LDR_64_ldst_pos" 0x7fc00000 0x79400000 Covered 1204 , Encoding "LDR_S_loadlit" 0xff000000 0x1c000000 Covered 1205 , Encoding "LDR_D_loadlit" 0xff000000 0x5c000000 Covered 1206 , Encoding "LDR_Q_loadlit" 0xff000000 0x9c000000 Covered 1207 , Encoding "LDR_32_loadlit" 0x7f000000 0x18000000 Covered 1208 , Encoding "LDR_64_loadlit" 0x7f000000 0x58000000 Covered 1209 , Encoding "LDR_B_ldst_regoff" 0xffa00c00 0x3c200800 Covered 1210 , Encoding "LDR_BL_ldst_regoff" 0xffa0ec00 0x3c206800 Covered 1211 , Encoding "LDR_H_ldst_regoff" 0xffa00c00 0x7c200800 Covered 1212 , Encoding "LDR_S_ldst_regoff" 0xffa00c00 0xbc200800 Covered 1213 , Encoding "LDR_D_ldst_regoff" 0xffa00c00 0xfc200800 Covered 1214 , Encoding "LDR_Q_ldst_regoff" 0xffa00c00 0x3ca00800 Covered 1215 , Encoding "LDR_32_ldst_regoff" 0x7fe00c00 0x38600800 Covered 1216 , Encoding "LDR_64_ldst_regoff" 0x7fe00c00 0x78600800 Covered 1217 , Encoding "LDRAA_64_ldst_pac" 0xffa00c00 0xf8200400 Covered 1218 , Encoding "LDRAA_64W_ldst_pac" 0xffa00c00 0xf8200c00 Covered 1219 , Encoding "LDRAB_64_ldst_pac" 0xffa00c00 0xf8a00400 Covered 1220 , Encoding "LDRAB_64W_ldst_pac" 0xffa00c00 0xf8a00c00 Covered 1221 , Encoding "LDRB_32_ldst_immpost" 0xffe00c00 0x38400400 Covered 1222 , Encoding "LDRB_32_ldst_immpre" 0xffe00c00 0x38400c00 Covered 1223 , Encoding "LDRB_32_ldst_pos" 0xffc00000 0x39400000 Covered 1224 , Encoding "LDRB_32B_ldst_regoff" 0xffe00c00 0x38600800 Covered 1225 , Encoding "LDRB_32BL_ldst_regoff" 0xffe0ec00 0x38606800 Covered 1226 , Encoding "LDRH_32_ldst_immpost" 0xffe00c00 0x78400400 Covered 1227 , Encoding "LDRH_32_ldst_immpre" 0xffe00c00 0x78400c00 Covered 1228 , Encoding "LDRH_32_ldst_pos" 0xffc00000 0x79400000 Covered 1229 , Encoding "LDRH_32_ldst_regoff" 0xffe00c00 0x78600800 Covered 1230 , Encoding "LDRSB_32_ldst_immpost" 0xff600c00 0x38400400 Covered 1231 , Encoding "LDRSB_64_ldst_immpost" 0xff600c00 0x38000400 Covered 1232 , Encoding "LDRSB_32_ldst_immpre" 0xff600c00 0x38400c00 Covered 1233 , Encoding "LDRSB_64_ldst_immpre" 0xff600c00 0x38000c00 Covered 1234 , Encoding "LDRSB_32_ldst_pos" 0xff400000 0x39400000 Covered 1235 , Encoding "LDRSB_64_ldst_pos" 0xff400000 0x39000000 Covered 1236 , Encoding "LDRSB_32B_ldst_regoff" 0xff600c00 0x38600800 Covered 1237 , Encoding "LDRSB_32BL_ldst_regoff" 0xff60ec00 0x38606800 Covered 1238 , Encoding "LDRSB_64B_ldst_regoff" 0xff600c00 0x38200800 Covered 1239 , Encoding "LDRSB_64BL_ldst_regoff" 0xff60ec00 0x38206800 Covered 1240 , Encoding "LDRSH_32_ldst_immpost" 0xff600c00 0x78400400 Covered 1241 , Encoding "LDRSH_64_ldst_immpost" 0xff600c00 0x78000400 Covered 1242 , Encoding "LDRSH_32_ldst_immpre" 0xff600c00 0x78400c00 Covered 1243 , Encoding "LDRSH_64_ldst_immpre" 0xff600c00 0x78000c00 Covered 1244 , Encoding "LDRSH_32_ldst_pos" 0xff400000 0x79400000 Covered 1245 , Encoding "LDRSH_64_ldst_pos" 0xff400000 0x79000000 Covered 1246 , Encoding "LDRSH_32_ldst_regoff" 0xff600c00 0x78600800 Covered 1247 , Encoding "LDRSH_64_ldst_regoff" 0xff600c00 0x78200800 Covered 1248 , Encoding "LDRSW_64_ldst_immpost" 0xffe00c00 0xb8800400 Covered 1249 , Encoding "LDRSW_64_ldst_immpre" 0xffe00c00 0xb8800c00 Covered 1250 , Encoding "LDRSW_64_ldst_pos" 0xffc00000 0xb9800000 Covered 1251 , Encoding "LDRSW_64_loadlit" 0xff000000 0x98000000 Covered 1252 , Encoding "LDRSW_64_ldst_regoff" 0xffe00c00 0xb8a00800 Covered 1253 , Encoding "LDSET_32_memop" 0x7fe0fc00 0x38203000 Covered 1254 , Encoding "LDSETA_32_memop" 0x7fe0fc00 0x38a03000 Covered 1255 , Encoding "LDSETAL_32_memop" 0x7fe0fc00 0x38e03000 Covered 1256 , Encoding "LDSETL_32_memop" 0x7fe0fc00 0x38603000 Covered 1257 , Encoding "LDSET_64_memop" 0x7fe0fc00 0x78203000 Covered 1258 , Encoding "LDSETA_64_memop" 0x7fe0fc00 0x78a03000 Covered 1259 , Encoding "LDSETAL_64_memop" 0x7fe0fc00 0x78e03000 Covered 1260 , Encoding "LDSETL_64_memop" 0x7fe0fc00 0x78603000 Covered 1261 , Encoding "LDSETAB_32_memop" 0xffe0fc00 0x38a03000 Covered 1262 , Encoding "LDSETALB_32_memop" 0xffe0fc00 0x38e03000 Covered 1263 , Encoding "LDSETB_32_memop" 0xffe0fc00 0x38203000 Covered 1264 , Encoding "LDSETLB_32_memop" 0xffe0fc00 0x38603000 Covered 1265 , Encoding "LDSETAH_32_memop" 0xffe0fc00 0x78a03000 Covered 1266 , Encoding "LDSETALH_32_memop" 0xffe0fc00 0x78e03000 Covered 1267 , Encoding "LDSETH_32_memop" 0xffe0fc00 0x78203000 Covered 1268 , Encoding "LDSETLH_32_memop" 0xffe0fc00 0x78603000 Covered 1269 , Encoding "LDSETP_128_memop_128" 0xffe0fc00 0x19203000 Covered 1270 , Encoding "LDSETPA_128_memop_128" 0xffe0fc00 0x19a03000 Covered 1271 , Encoding "LDSETPAL_128_memop_128" 0xffe0fc00 0x19e03000 Covered 1272 , Encoding "LDSETPL_128_memop_128" 0xffe0fc00 0x19603000 Covered 1273 , Encoding "LDSMAX_32_memop" 0x7fe0fc00 0x38204000 Covered 1274 , Encoding "LDSMAXA_32_memop" 0x7fe0fc00 0x38a04000 Covered 1275 , Encoding "LDSMAXAL_32_memop" 0x7fe0fc00 0x38e04000 Covered 1276 , Encoding "LDSMAXL_32_memop" 0x7fe0fc00 0x38604000 Covered 1277 , Encoding "LDSMAX_64_memop" 0x7fe0fc00 0x78204000 Covered 1278 , Encoding "LDSMAXA_64_memop" 0x7fe0fc00 0x78a04000 Covered 1279 , Encoding "LDSMAXAL_64_memop" 0x7fe0fc00 0x78e04000 Covered 1280 , Encoding "LDSMAXL_64_memop" 0x7fe0fc00 0x78604000 Covered 1281 , Encoding "LDSMAXAB_32_memop" 0xffe0fc00 0x38a04000 Covered 1282 , Encoding "LDSMAXALB_32_memop" 0xffe0fc00 0x38e04000 Covered 1283 , Encoding "LDSMAXB_32_memop" 0xffe0fc00 0x38204000 Covered 1284 , Encoding "LDSMAXLB_32_memop" 0xffe0fc00 0x38604000 Covered 1285 , Encoding "LDSMAXAH_32_memop" 0xffe0fc00 0x78a04000 Covered 1286 , Encoding "LDSMAXALH_32_memop" 0xffe0fc00 0x78e04000 Covered 1287 , Encoding "LDSMAXH_32_memop" 0xffe0fc00 0x78204000 Covered 1288 , Encoding "LDSMAXLH_32_memop" 0xffe0fc00 0x78604000 Covered 1289 , Encoding "LDSMIN_32_memop" 0x7fe0fc00 0x38205000 Covered 1290 , Encoding "LDSMINA_32_memop" 0x7fe0fc00 0x38a05000 Covered 1291 , Encoding "LDSMINAL_32_memop" 0x7fe0fc00 0x38e05000 Covered 1292 , Encoding "LDSMINL_32_memop" 0x7fe0fc00 0x38605000 Covered 1293 , Encoding "LDSMIN_64_memop" 0x7fe0fc00 0x78205000 Covered 1294 , Encoding "LDSMINA_64_memop" 0x7fe0fc00 0x78a05000 Covered 1295 , Encoding "LDSMINAL_64_memop" 0x7fe0fc00 0x78e05000 Covered 1296 , Encoding "LDSMINL_64_memop" 0x7fe0fc00 0x78605000 Covered 1297 , Encoding "LDSMINAB_32_memop" 0xffe0fc00 0x38a05000 Covered 1298 , Encoding "LDSMINALB_32_memop" 0xffe0fc00 0x38e05000 Covered 1299 , Encoding "LDSMINB_32_memop" 0xffe0fc00 0x38205000 Covered 1300 , Encoding "LDSMINLB_32_memop" 0xffe0fc00 0x38605000 Covered 1301 , Encoding "LDSMINAH_32_memop" 0xffe0fc00 0x78a05000 Covered 1302 , Encoding "LDSMINALH_32_memop" 0xffe0fc00 0x78e05000 Covered 1303 , Encoding "LDSMINH_32_memop" 0xffe0fc00 0x78205000 Covered 1304 , Encoding "LDSMINLH_32_memop" 0xffe0fc00 0x78605000 Covered 1305 , Encoding "LDTR_32_ldst_unpriv" 0x7fe00c00 0x38400800 Covered 1306 , Encoding "LDTR_64_ldst_unpriv" 0x7fe00c00 0x78400800 Covered 1307 , Encoding "LDTRB_32_ldst_unpriv" 0xffe00c00 0x38400800 Covered 1308 , Encoding "LDTRH_32_ldst_unpriv" 0xffe00c00 0x78400800 Covered 1309 , Encoding "LDTRSB_32_ldst_unpriv" 0xff600c00 0x38400800 Covered 1310 , Encoding "LDTRSB_64_ldst_unpriv" 0xff600c00 0x38000800 Covered 1311 , Encoding "LDTRSH_32_ldst_unpriv" 0xff600c00 0x78400800 Covered 1312 , Encoding "LDTRSH_64_ldst_unpriv" 0xff600c00 0x78000800 Covered 1313 , Encoding "LDTRSW_64_ldst_unpriv" 0xffe00c00 0xb8800800 Covered 1314 , Encoding "LDUMAX_32_memop" 0x7fe0fc00 0x38206000 Covered 1315 , Encoding "LDUMAXA_32_memop" 0x7fe0fc00 0x38a06000 Covered 1316 , Encoding "LDUMAXAL_32_memop" 0x7fe0fc00 0x38e06000 Covered 1317 , Encoding "LDUMAXL_32_memop" 0x7fe0fc00 0x38606000 Covered 1318 , Encoding "LDUMAX_64_memop" 0x7fe0fc00 0x78206000 Covered 1319 , Encoding "LDUMAXA_64_memop" 0x7fe0fc00 0x78a06000 Covered 1320 , Encoding "LDUMAXAL_64_memop" 0x7fe0fc00 0x78e06000 Covered 1321 , Encoding "LDUMAXL_64_memop" 0x7fe0fc00 0x78606000 Covered 1322 , Encoding "LDUMAXAB_32_memop" 0xffe0fc00 0x38a06000 Covered 1323 , Encoding "LDUMAXALB_32_memop" 0xffe0fc00 0x38e06000 Covered 1324 , Encoding "LDUMAXB_32_memop" 0xffe0fc00 0x38206000 Covered 1325 , Encoding "LDUMAXLB_32_memop" 0xffe0fc00 0x38606000 Covered 1326 , Encoding "LDUMAXAH_32_memop" 0xffe0fc00 0x78a06000 Covered 1327 , Encoding "LDUMAXALH_32_memop" 0xffe0fc00 0x78e06000 Covered 1328 , Encoding "LDUMAXH_32_memop" 0xffe0fc00 0x78206000 Covered 1329 , Encoding "LDUMAXLH_32_memop" 0xffe0fc00 0x78606000 Covered 1330 , Encoding "LDUMIN_32_memop" 0x7fe0fc00 0x38207000 Covered 1331 , Encoding "LDUMINA_32_memop" 0x7fe0fc00 0x38a07000 Covered 1332 , Encoding "LDUMINAL_32_memop" 0x7fe0fc00 0x38e07000 Covered 1333 , Encoding "LDUMINL_32_memop" 0x7fe0fc00 0x38607000 Covered 1334 , Encoding "LDUMIN_64_memop" 0x7fe0fc00 0x78207000 Covered 1335 , Encoding "LDUMINA_64_memop" 0x7fe0fc00 0x78a07000 Covered 1336 , Encoding "LDUMINAL_64_memop" 0x7fe0fc00 0x78e07000 Covered 1337 , Encoding "LDUMINL_64_memop" 0x7fe0fc00 0x78607000 Covered 1338 , Encoding "LDUMINAB_32_memop" 0xffe0fc00 0x38a07000 Covered 1339 , Encoding "LDUMINALB_32_memop" 0xffe0fc00 0x38e07000 Covered 1340 , Encoding "LDUMINB_32_memop" 0xffe0fc00 0x38207000 Covered 1341 , Encoding "LDUMINLB_32_memop" 0xffe0fc00 0x38607000 Covered 1342 , Encoding "LDUMINAH_32_memop" 0xffe0fc00 0x78a07000 Covered 1343 , Encoding "LDUMINALH_32_memop" 0xffe0fc00 0x78e07000 Covered 1344 , Encoding "LDUMINH_32_memop" 0xffe0fc00 0x78207000 Covered 1345 , Encoding "LDUMINLH_32_memop" 0xffe0fc00 0x78607000 Covered 1346 , Encoding "LDUR_B_ldst_unscaled" 0xffa00c00 0x3c000000 Covered 1347 , Encoding "LDUR_H_ldst_unscaled" 0xffa00c00 0x7c000000 Covered 1348 , Encoding "LDUR_S_ldst_unscaled" 0xffa00c00 0xbc000000 Covered 1349 , Encoding "LDUR_D_ldst_unscaled" 0xffa00c00 0xfc000000 Covered 1350 , Encoding "LDUR_Q_ldst_unscaled" 0xffa00c00 0x3c800000 Covered 1351 , Encoding "LDUR_32_ldst_unscaled" 0x7fe00c00 0x38400000 Covered 1352 , Encoding "LDUR_64_ldst_unscaled" 0x7fe00c00 0x78400000 Covered 1353 , Encoding "LDURB_32_ldst_unscaled" 0xffe00c00 0x38400000 Covered 1354 , Encoding "LDURH_32_ldst_unscaled" 0xffe00c00 0x78400000 Covered 1355 , Encoding "LDURSB_32_ldst_unscaled" 0xff600c00 0x38400000 Covered 1356 , Encoding "LDURSB_64_ldst_unscaled" 0xff600c00 0x38000000 Covered 1357 , Encoding "LDURSH_32_ldst_unscaled" 0xff600c00 0x78400000 Covered 1358 , Encoding "LDURSH_64_ldst_unscaled" 0xff600c00 0x78000000 Covered 1359 , Encoding "LDURSW_64_ldst_unscaled" 0xffe00c00 0xb8800000 Covered 1360 , Encoding "LDXP_LP32_ldstexclp" 0xffe08000 0x88600000 Covered 1361 , Encoding "LDXP_LP64_ldstexclp" 0xffe08000 0xc8600000 Covered 1362 , Encoding "LDXR_LR32_ldstexclr" 0x7fe08000 0x08400000 Covered 1363 , Encoding "LDXR_LR64_ldstexclr" 0x7fe08000 0x48400000 Covered 1364 , Encoding "LDXRB_LR32_ldstexclr" 0xffe08000 0x08400000 Covered 1365 , Encoding "LDXRH_LR32_ldstexclr" 0xffe08000 0x48400000 Covered 1366 , Encoding "LSLV_32_dp_2src" 0xffe0fc00 0x1ac02000 Covered 1367 , Encoding "LSLV_64_dp_2src" 0xffe0fc00 0x9ac02000 Covered 1368 , Encoding "LSRV_32_dp_2src" 0xffe0fc00 0x1ac02400 Covered 1369 , Encoding "LSRV_64_dp_2src" 0xffe0fc00 0x9ac02400 Covered 1370 , Encoding "MADD_32A_dp_3src" 0xffe08000 0x1b000000 Covered 1371 , Encoding "MADD_64A_dp_3src" 0xffe08000 0x9b000000 Covered 1372 , Encoding "MLA_asimdelem_R" 0xbf00f400 0x2f000000 Covered 1373 , Encoding "MLA_asimdsame_only" 0xbf20fc00 0x0e209400 Covered 1374 , Encoding "MLS_asimdelem_R" 0xbf00f400 0x2f004000 Covered 1375 , Encoding "MLS_asimdsame_only" 0xbf20fc00 0x2e209400 Covered 1376 , Encoding "MOVI_asimdimm_N_b" 0xbff8fc00 0x0f00e400 Covered 1377 , Encoding "MOVI_asimdimm_L_hl" 0xbff8dc00 0x0f008400 Covered 1378 , Encoding "MOVI_asimdimm_L_sl" 0xbff89c00 0x0f000400 Covered 1379 , Encoding "MOVI_asimdimm_M_sm" 0xbff8ec00 0x0f00c400 Covered 1380 , Encoding "MOVI_asimdimm_D_ds" 0xfff8fc00 0x2f00e400 Covered 1381 , Encoding "MOVI_asimdimm_D2_d" 0xfff8fc00 0x6f00e400 Covered 1382 , Encoding "MOVK_32_movewide" 0xffc00000 0x72800000 Covered 1383 , Encoding "MOVK_64_movewide" 0xff800000 0xf2800000 Covered 1384 , Encoding "MOVN_32_movewide" 0xffc00000 0x12800000 Covered 1385 , Encoding "MOVN_64_movewide" 0xff800000 0x92800000 Covered 1386 , Encoding "MOVZ_32_movewide" 0xffc00000 0x52800000 Covered 1387 , Encoding "MOVZ_64_movewide" 0xff800000 0xd2800000 Covered 1388 , Encoding "MRRS_RS_systemmovepr" 0xfff00000 0xd5700000 Control 1389 , Encoding "MRS_RS_systemmove" 0xfff00000 0xd5300000 Control 1390 , Encoding "MSR_SI_pstate" 0xfff8f01f 0xd500401f Control 1391 , Encoding "MSR_SR_systemmove" 0xfff00000 0xd5100000 Control 1392 , Encoding "MSRR_SR_systemmovepr" 0xfff00000 0xd5500000 Control 1393 , Encoding "MSUB_32A_dp_3src" 0xffe08000 0x1b008000 Covered 1394 , Encoding "MSUB_64A_dp_3src" 0xffe08000 0x9b008000 Covered 1395 , Encoding "MUL_asimdelem_R" 0xbf00f400 0x0f008000 Covered 1396 , Encoding "MUL_asimdsame_only" 0xbf20fc00 0x0e209c00 Covered 1397 , Encoding "MVNI_asimdimm_L_hl" 0xbff8dc00 0x2f008400 Covered 1398 , Encoding "MVNI_asimdimm_L_sl" 0xbff89c00 0x2f000400 Covered 1399 , Encoding "MVNI_asimdimm_M_sm" 0xbff8ec00 0x2f00c400 Covered 1400 , Encoding "NEG_asisdmisc_R" 0xff3ffc00 0x7e20b800 Covered 1401 , Encoding "NEG_asimdmisc_R" 0xbf3ffc00 0x2e20b800 Covered 1402 , Encoding "NOP_HI_hints" 0xffffffff 0xd503201f Covered 1403 , Encoding "NOT_asimdmisc_R" 0xbffffc00 0x2e205800 Covered 1404 , Encoding "ORN_asimdsame_only" 0xbfe0fc00 0x0ee01c00 Covered 1405 , Encoding "ORN_32_log_shift" 0xff200000 0x2a200000 Covered 1406 , Encoding "ORN_64_log_shift" 0xff200000 0xaa200000 Covered 1407 , Encoding "ORR_asimdimm_L_hl" 0xbff8cc00 0x0f008400 Covered 1408 , Encoding "ORR_asimdimm_L_sl" 0xbff88c00 0x0f000400 Covered 1409 , Encoding "ORR_asimdsame_only" 0xbfe0fc00 0x0ea01c00 Covered 1410 , Encoding "ORR_32_log_imm" 0xffc00000 0x32000000 Covered 1411 , Encoding "ORR_64_log_imm" 0xff800000 0xb2000000 Covered 1412 , Encoding "ORR_32_log_shift" 0xff200000 0x2a000000 Covered 1413 , Encoding "ORR_64_log_shift" 0xff200000 0xaa000000 Covered 1414 , Encoding "PACDA_64P_dp_1src" 0xfffffc00 0xdac10800 (Outside [(5, OpXSp)]) 1415 , Encoding "PACDZA_64Z_dp_1src" 0xffffffe0 0xdac12be0 (Outside []) 1416 , Encoding "PACDB_64P_dp_1src" 0xfffffc00 0xdac10c00 (Outside [(5, OpXSp)]) 1417 , Encoding "PACDZB_64Z_dp_1src" 0xffffffe0 0xdac12fe0 (Outside []) 1418 , Encoding "PACGA_64P_dp_2src" 0xffe0fc00 0x9ac03000 1419 (Outside [(5, OpX), (16, OpXSp)]) 1420 , Encoding "PACIA_64P_dp_1src" 0xfffffc00 0xdac10000 (Outside [(5, OpXSp)]) 1421 , Encoding "PACIZA_64Z_dp_1src" 0xffffffe0 0xdac123e0 (Outside []) 1422 , Encoding "PACIA1716_HI_hints" 0xfffff23f 0xd503201f (Outside []) 1423 , Encoding "PACIASP_HI_hints" 0xfffff23f 0xd503223f (Outside []) 1424 , Encoding "PACIAZ_HI_hints" 0xfffff23f 0xd503221f (Outside []) 1425 , Encoding "PACIB_64P_dp_1src" 0xfffffc00 0xdac10400 (Outside [(5, OpXSp)]) 1426 , Encoding "PACIZB_64Z_dp_1src" 0xffffffe0 0xdac127e0 (Outside []) 1427 , Encoding "PACIB1716_HI_hints" 0xfffff23f 0xd503201f (Outside []) 1428 , Encoding "PACIBSP_HI_hints" 0xfffff23f 0xd503223f (Outside []) 1429 , Encoding "PACIBZ_HI_hints" 0xfffff23f 0xd503221f (Outside []) 1430 , Encoding "PMUL_asimdsame_only" 0xbf20fc00 0x2e209c00 Covered 1431 , Encoding "PMULL_asimddiff_L" 0xbf20fc00 0x0e20e000 Covered 1432 , Encoding "PRFM_P_ldst_pos" 0xffc00000 0xf9800000 (Outside []) 1433 , Encoding "PRFM_P_loadlit" 0xff000000 0xd8000000 (Outside []) 1434 , Encoding "PRFM_P_ldst_regoff" 0xffe04c00 0xf8a04800 (Outside []) 1435 , Encoding "PRFUM_P_ldst_unscaled" 0xffe00c00 0xf8800000 (Outside []) 1436 , Encoding "PSB_HC_hints" 0xffffffff 0xd503223f Control 1437 , Encoding "RADDHN_asimddiff_N" 0xbf20fc00 0x2e204000 Covered 1438 , Encoding "RAX1_VVV2_cryptosha512_3" 0xffe0fc00 0xce608c00 Covered 1439 , Encoding "RBIT_asimdmisc_R" 0xbffffc00 0x2e605800 Covered 1440 , Encoding "RBIT_32_dp_1src" 0xfffffc00 0x5ac00000 Covered 1441 , Encoding "RBIT_64_dp_1src" 0xfffffc00 0xdac00000 Covered 1442 , Encoding "RCWCAS_C64_rcwcomswap" 0xffe0fc00 0x19200800 Covered 1443 , Encoding "RCWCASA_C64_rcwcomswap" 0xffe0fc00 0x19a00800 Covered 1444 , Encoding "RCWCASAL_C64_rcwcomswap" 0xffe0fc00 0x19e00800 Covered 1445 , Encoding "RCWCASL_C64_rcwcomswap" 0xffe0fc00 0x19600800 Covered 1446 , Encoding "RCWCASP_C64_rcwcomswappr" 0xffe0fc00 0x19200c00 Covered 1447 , Encoding "RCWCASPA_C64_rcwcomswappr" 0xffe0fc00 0x19a00c00 Covered 1448 , Encoding "RCWCASPAL_C64_rcwcomswappr" 0xffe0fc00 0x19e00c00 Covered 1449 , Encoding "RCWCASPL_C64_rcwcomswappr" 0xffe0fc00 0x19600c00 Covered 1450 , Encoding "RCWCLR_64_memop" 0xffe0fc00 0x38209000 Covered 1451 , Encoding "RCWCLRA_64_memop" 0xffe0fc00 0x38a09000 Covered 1452 , Encoding "RCWCLRAL_64_memop" 0xffe0fc00 0x38e09000 Covered 1453 , Encoding "RCWCLRL_64_memop" 0xffe0fc00 0x38609000 Covered 1454 , Encoding "RCWCLRP_128_memop_128" 0xffe0fc00 0x19209000 Covered 1455 , Encoding "RCWCLRPA_128_memop_128" 0xffe0fc00 0x19a09000 Covered 1456 , Encoding "RCWCLRPAL_128_memop_128" 0xffe0fc00 0x19e09000 Covered 1457 , Encoding "RCWCLRPL_128_memop_128" 0xffe0fc00 0x19609000 Covered 1458 , Encoding "RCWSCAS_C64_rcwcomswap" 0xffe0fc00 0x59200800 Covered 1459 , Encoding "RCWSCASA_C64_rcwcomswap" 0xffe0fc00 0x59a00800 Covered 1460 , Encoding "RCWSCASAL_C64_rcwcomswap" 0xffe0fc00 0x59e00800 Covered 1461 , Encoding "RCWSCASL_C64_rcwcomswap" 0xffe0fc00 0x59600800 Covered 1462 , Encoding "RCWSCASP_C64_rcwcomswappr" 0xffe0fc00 0x59200c00 Covered 1463 , Encoding "RCWSCASPA_C64_rcwcomswappr" 0xffe0fc00 0x59a00c00 Covered 1464 , Encoding "RCWSCASPAL_C64_rcwcomswappr" 0xffe0fc00 0x59e00c00 Covered 1465 , Encoding "RCWSCASPL_C64_rcwcomswappr" 0xffe0fc00 0x59600c00 Covered 1466 , Encoding "RCWSCLR_64_memop" 0xffe0fc00 0x78209000 Covered 1467 , Encoding "RCWSCLRA_64_memop" 0xffe0fc00 0x78a09000 Covered 1468 , Encoding "RCWSCLRAL_64_memop" 0xffe0fc00 0x78e09000 Covered 1469 , Encoding "RCWSCLRL_64_memop" 0xffe0fc00 0x78609000 Covered 1470 , Encoding "RCWSCLRP_128_memop_128" 0xffe0fc00 0x59209000 Covered 1471 , Encoding "RCWSCLRPA_128_memop_128" 0xffe0fc00 0x59a09000 Covered 1472 , Encoding "RCWSCLRPAL_128_memop_128" 0xffe0fc00 0x59e09000 Covered 1473 , Encoding "RCWSCLRPL_128_memop_128" 0xffe0fc00 0x59609000 Covered 1474 , Encoding "RCWSET_64_memop" 0xffe0fc00 0x3820b000 Covered 1475 , Encoding "RCWSETA_64_memop" 0xffe0fc00 0x38a0b000 Covered 1476 , Encoding "RCWSETAL_64_memop" 0xffe0fc00 0x38e0b000 Covered 1477 , Encoding "RCWSETL_64_memop" 0xffe0fc00 0x3860b000 Covered 1478 , Encoding "RCWSETP_128_memop_128" 0xffe0fc00 0x1920b000 Covered 1479 , Encoding "RCWSETPA_128_memop_128" 0xffe0fc00 0x19a0b000 Covered 1480 , Encoding "RCWSETPAL_128_memop_128" 0xffe0fc00 0x19e0b000 Covered 1481 , Encoding "RCWSETPL_128_memop_128" 0xffe0fc00 0x1960b000 Covered 1482 , Encoding "RCWSSET_64_memop" 0xffe0fc00 0x7820b000 Covered 1483 , Encoding "RCWSSETA_64_memop" 0xffe0fc00 0x78a0b000 Covered 1484 , Encoding "RCWSSETAL_64_memop" 0xffe0fc00 0x78e0b000 Covered 1485 , Encoding "RCWSSETL_64_memop" 0xffe0fc00 0x7860b000 Covered 1486 , Encoding "RCWSSETP_128_memop_128" 0xffe0fc00 0x5920b000 Covered 1487 , Encoding "RCWSSETPA_128_memop_128" 0xffe0fc00 0x59a0b000 Covered 1488 , Encoding "RCWSSETPAL_128_memop_128" 0xffe0fc00 0x59e0b000 Covered 1489 , Encoding "RCWSSETPL_128_memop_128" 0xffe0fc00 0x5960b000 Covered 1490 , Encoding "RCWSSWP_64_memop" 0xffe0fc00 0x7820a000 Covered 1491 , Encoding "RCWSSWPA_64_memop" 0xffe0fc00 0x78a0a000 Covered 1492 , Encoding "RCWSSWPAL_64_memop" 0xffe0fc00 0x78e0a000 Covered 1493 , Encoding "RCWSSWPL_64_memop" 0xffe0fc00 0x7860a000 Covered 1494 , Encoding "RCWSSWPP_128_memop_128" 0xffe0fc00 0x5920a000 Covered 1495 , Encoding "RCWSSWPPA_128_memop_128" 0xffe0fc00 0x59a0a000 Covered 1496 , Encoding "RCWSSWPPAL_128_memop_128" 0xffe0fc00 0x59e0a000 Covered 1497 , Encoding "RCWSSWPPL_128_memop_128" 0xffe0fc00 0x5960a000 Covered 1498 , Encoding "RCWSWP_64_memop" 0xffe0fc00 0x3820a000 Covered 1499 , Encoding "RCWSWPA_64_memop" 0xffe0fc00 0x38a0a000 Covered 1500 , Encoding "RCWSWPAL_64_memop" 0xffe0fc00 0x38e0a000 Covered 1501 , Encoding "RCWSWPL_64_memop" 0xffe0fc00 0x3860a000 Covered 1502 , Encoding "RCWSWPP_128_memop_128" 0xffe0fc00 0x1920a000 Covered 1503 , Encoding "RCWSWPPA_128_memop_128" 0xffe0fc00 0x19a0a000 Covered 1504 , Encoding "RCWSWPPAL_128_memop_128" 0xffe0fc00 0x19e0a000 Covered 1505 , Encoding "RCWSWPPL_128_memop_128" 0xffe0fc00 0x1960a000 Covered 1506 , Encoding "RET_64R_branch_reg" 0xfffffc1f 0xd65f0000 Control 1507 , Encoding "RETAA_64E_branch_reg" 0xffffffff 0xd65f0bff Control 1508 , Encoding "RETAB_64E_branch_reg" 0xffffffff 0xd65f0fff Control 1509 , Encoding "REV_32_dp_1src" 0xfffff400 0x5ac00000 Covered 1510 , Encoding "REV_64_dp_1src" 0xfffff400 0xdac00400 Covered 1511 , Encoding "REV16_asimdmisc_R" 0xbf3ffc00 0x0e201800 Covered 1512 , Encoding "REV16_32_dp_1src" 0xfffffc00 0x5ac00400 Covered 1513 , Encoding "REV16_64_dp_1src" 0xfffffc00 0xdac00400 Covered 1514 , Encoding "REV32_asimdmisc_R" 0xbf3ffc00 0x2e200800 Covered 1515 , Encoding "REV32_64_dp_1src" 0xfffffc00 0xdac00800 Covered 1516 , Encoding "REV64_asimdmisc_R" 0xbf3ffc00 0x0e200800 Covered 1517 , Encoding "RMIF_only_rmif" 0xffe07c10 0xba000400 Covered 1518 , Encoding "RORV_32_dp_2src" 0xffe0fc00 0x1ac02c00 Covered 1519 , Encoding "RORV_64_dp_2src" 0xffe0fc00 0x9ac02c00 Covered 1520 , Encoding "RPRFM_R_ldst_regoff" 0xffe04c18 0xf8a04818 (Outside [(16, OpX)]) 1521 , Encoding "RSHRN_asimdshf_N" 0xbf80fc00 0x0f008c00 Covered 1522 , Encoding "RSUBHN_asimddiff_N" 0xbf20fc00 0x2e206000 Covered 1523 , Encoding "SABA_asimdsame_only" 0xbf20fc00 0x0e207c00 Covered 1524 , Encoding "SABAL_asimddiff_L" 0xbf20fc00 0x0e205000 Covered 1525 , Encoding "SABD_asimdsame_only" 0xbf20fc00 0x0e207400 Covered 1526 , Encoding "SABDL_asimddiff_L" 0xbf20fc00 0x0e207000 Covered 1527 , Encoding "SADALP_asimdmisc_P" 0xbf3ffc00 0x0e206800 Covered 1528 , Encoding "SADDL_asimddiff_L" 0xbf20fc00 0x0e200000 Covered 1529 , Encoding "SADDLP_asimdmisc_P" 0xbf3ffc00 0x0e202800 Covered 1530 , Encoding "SADDLV_asimdall_only" 0xbf3ffc00 0x0e303800 Covered 1531 , Encoding "SADDW_asimddiff_W" 0xbf20fc00 0x0e201000 Covered 1532 , Encoding "SB_only_barriers" 0xfffff0ff 0xd50330ff Control 1533 , Encoding "SBC_32_addsub_carry" 0xffe0fc00 0x5a000000 Covered 1534 , Encoding "SBC_64_addsub_carry" 0xffe0fc00 0xda000000 Covered 1535 , Encoding "SBCS_32_addsub_carry" 0xffe0fc00 0x7a000000 Covered 1536 , Encoding "SBCS_64_addsub_carry" 0xffe0fc00 0xfa000000 Covered 1537 , Encoding "SBFM_32M_bitfield" 0xffc00000 0x13000000 Covered 1538 , Encoding "SBFM_64M_bitfield" 0xffc00000 0x93400000 Covered 1539 , Encoding "SCVTF_asisdshf_C" 0xff80fc00 0x5f00e400 (Outside []) 1540 , Encoding "SCVTF_asimdshf_C" 0xbf80fc00 0x0f00e400 (Outside [(5, OpV)]) 1541 , Encoding "SCVTF_asisdmiscfp16_R" 0xfffffc00 0x5e79d800 (Outside [(5, OpH)]) 1542 , Encoding "SCVTF_asisdmisc_R" 0xffbffc00 0x5e21d800 (Outside []) 1543 , Encoding "SCVTF_asimdmiscfp16_R" 0xbffffc00 0x0e79d800 (Outside [(5, OpV)]) 1544 , Encoding "SCVTF_asimdmisc_R" 0xbfbffc00 0x0e21d800 (Outside [(5, OpV)]) 1545 , Encoding "SCVTF_H32_float2fix" 0xffff0000 0x1ec20000 (Outside [(5, OpW)]) 1546 , Encoding "SCVTF_S32_float2fix" 0xffff0000 0x1e020000 (Outside [(5, OpW)]) 1547 , Encoding "SCVTF_D32_float2fix" 0xffff0000 0x1e420000 (Outside [(5, OpW)]) 1548 , Encoding "SCVTF_H64_float2fix" 0xffff0000 0x9ec20000 (Outside [(5, OpX)]) 1549 , Encoding "SCVTF_S64_float2fix" 0xffff0000 0x9e020000 (Outside [(5, OpX)]) 1550 , Encoding "SCVTF_D64_float2fix" 0xffff0000 0x9e420000 (Outside [(5, OpX)]) 1551 , Encoding "SCVTF_H32_float2int" 0xfffffc00 0x1ee20000 (Outside [(5, OpW)]) 1552 , Encoding "SCVTF_S32_float2int" 0xfffffc00 0x1e220000 (Outside [(5, OpW)]) 1553 , Encoding "SCVTF_D32_float2int" 0xfffffc00 0x1e620000 (Outside [(5, OpW)]) 1554 , Encoding "SCVTF_H64_float2int" 0xfffffc00 0x9ee20000 (Outside [(5, OpX)]) 1555 , Encoding "SCVTF_S64_float2int" 0xfffffc00 0x9e220000 (Outside [(5, OpX)]) 1556 , Encoding "SCVTF_D64_float2int" 0xfffffc00 0x9e620000 (Outside [(5, OpX)]) 1557 , Encoding "SDIV_32_dp_2src" 0xffe0fc00 0x1ac00c00 1558 (Outside [(5, OpW), (16, OpW)]) 1559 , Encoding "SDIV_64_dp_2src" 0xffe0fc00 0x9ac00c00 1560 (Outside [(5, OpX), (16, OpX)]) 1561 , Encoding "SDOT_asimdelem_D" 0xbf00f400 0x0f00e000 1562 (Outside [(0, OpV), (5, OpV)]) 1563 , Encoding "SDOT_asimdsame2_D" 0xbf20fc00 0x0e009400 1564 (Outside [(0, OpV), (5, OpV), (16, OpV)]) 1565 , Encoding "SETF8_only_setf" 0xfffffc1f 0x3a00080d Covered 1566 , Encoding "SETF16_only_setf" 0xfffffc1f 0x3a00480d Covered 1567 , Encoding "SETGE_SET_memcms" 0x3fe0cc00 0x1dc08400 1568 (Outside [(5, OpX), (16, OpX)]) 1569 , Encoding "SETGM_SET_memcms" 0x3fe0cc00 0x1dc04400 1570 (Outside [(5, OpX), (16, OpX)]) 1571 , Encoding "SETGP_SET_memcms" 0x3fe0cc00 0x1dc00400 1572 (Outside [(5, OpX), (16, OpX)]) 1573 , Encoding "SETGEN_SET_memcms" 0x3fe0cc00 0x1dc08400 1574 (Outside [(5, OpX), (16, OpX)]) 1575 , Encoding "SETGMN_SET_memcms" 0x3fe0cc00 0x1dc04400 1576 (Outside [(5, OpX), (16, OpX)]) 1577 , Encoding "SETGPN_SET_memcms" 0x3fe0cc00 0x1dc00400 1578 (Outside [(5, OpX), (16, OpX)]) 1579 , Encoding "SETGET_SET_memcms" 0x3fe0cc00 0x1dc08400 1580 (Outside [(5, OpX), (16, OpX)]) 1581 , Encoding "SETGMT_SET_memcms" 0x3fe0cc00 0x1dc04400 1582 (Outside [(5, OpX), (16, OpX)]) 1583 , Encoding "SETGPT_SET_memcms" 0x3fe0cc00 0x1dc00400 1584 (Outside [(5, OpX), (16, OpX)]) 1585 , Encoding "SETGETN_SET_memcms" 0x3fe0cc00 0x1dc08400 1586 (Outside [(5, OpX), (16, OpX)]) 1587 , Encoding "SETGMTN_SET_memcms" 0x3fe0cc00 0x1dc04400 1588 (Outside [(5, OpX), (16, OpX)]) 1589 , Encoding "SETGPTN_SET_memcms" 0x3fe0cc00 0x1dc00400 1590 (Outside [(5, OpX), (16, OpX)]) 1591 , Encoding "SETE_SET_memcms" 0x3fe0cc00 0x19c08400 1592 (Outside [(5, OpX), (16, OpX)]) 1593 , Encoding "SETM_SET_memcms" 0x3fe0cc00 0x19c04400 1594 (Outside [(5, OpX), (16, OpX)]) 1595 , Encoding "SETP_SET_memcms" 0x3fe0cc00 0x19c00400 1596 (Outside [(5, OpX), (16, OpX)]) 1597 , Encoding "SETEN_SET_memcms" 0x3fe0cc00 0x19c08400 1598 (Outside [(5, OpX), (16, OpX)]) 1599 , Encoding "SETMN_SET_memcms" 0x3fe0cc00 0x19c04400 1600 (Outside [(5, OpX), (16, OpX)]) 1601 , Encoding "SETPN_SET_memcms" 0x3fe0cc00 0x19c00400 1602 (Outside [(5, OpX), (16, OpX)]) 1603 , Encoding "SETET_SET_memcms" 0x3fe0cc00 0x19c08400 1604 (Outside [(5, OpX), (16, OpX)]) 1605 , Encoding "SETMT_SET_memcms" 0x3fe0cc00 0x19c04400 1606 (Outside [(5, OpX), (16, OpX)]) 1607 , Encoding "SETPT_SET_memcms" 0x3fe0cc00 0x19c00400 1608 (Outside [(5, OpX), (16, OpX)]) 1609 , Encoding "SETETN_SET_memcms" 0x3fe0cc00 0x19c08400 1610 (Outside [(5, OpX), (16, OpX)]) 1611 , Encoding "SETMTN_SET_memcms" 0x3fe0cc00 0x19c04400 1612 (Outside [(5, OpX), (16, OpX)]) 1613 , Encoding "SETPTN_SET_memcms" 0x3fe0cc00 0x19c00400 1614 (Outside [(5, OpX), (16, OpX)]) 1615 , Encoding "SEV_HI_hints" 0xffffffff 0xd503209f Control 1616 , Encoding "SEVL_HI_hints" 0xffffffff 0xd50320bf Control 1617 , Encoding "SHA1C_QSV_cryptosha3" 0xffe0fc00 0x5e000000 Covered 1618 , Encoding "SHA1H_SS_cryptosha2" 0xfffffc00 0x5e280800 Covered 1619 , Encoding "SHA1M_QSV_cryptosha3" 0xffe0fc00 0x5e002000 Covered 1620 , Encoding "SHA1P_QSV_cryptosha3" 0xffe0fc00 0x5e001000 Covered 1621 , Encoding "SHA1SU0_VVV_cryptosha3" 0xffe0fc00 0x5e003000 Covered 1622 , Encoding "SHA1SU1_VV_cryptosha2" 0xfffffc00 0x5e281800 Covered 1623 , Encoding "SHA256H2_QQV_cryptosha3" 0xffe0fc00 0x5e005000 Covered 1624 , Encoding "SHA256H_QQV_cryptosha3" 0xffe0fc00 0x5e004000 Covered 1625 , Encoding "SHA256SU0_VV_cryptosha2" 0xfffffc00 0x5e282800 Covered 1626 , Encoding "SHA256SU1_VVV_cryptosha3" 0xffe0fc00 0x5e006000 Covered 1627 , Encoding "SHA512H2_QQV_cryptosha512_3" 0xffe0fc00 0xce608400 Covered 1628 , Encoding "SHA512H_QQV_cryptosha512_3" 0xffe0fc00 0xce608000 Covered 1629 , Encoding "SHA512SU0_VV2_cryptosha512_2" 0xfffffc00 0xcec08000 Covered 1630 , Encoding "SHA512SU1_VVV2_cryptosha512_3" 0xffe0fc00 0xce608800 Covered 1631 , Encoding "SHADD_asimdsame_only" 0xbf20fc00 0x0e200400 Covered 1632 , Encoding "SHL_asisdshf_R" 0xff80fc00 0x5f005400 Covered 1633 , Encoding "SHL_asimdshf_R" 0xbf80fc00 0x0f005400 Covered 1634 , Encoding "SHLL_asimdmisc_S" 0xbf3ffc00 0x2e213800 Covered 1635 , Encoding "SHRN_asimdshf_N" 0xbf80fc00 0x0f008400 Covered 1636 , Encoding "SHSUB_asimdsame_only" 0xbf20fc00 0x0e202400 Covered 1637 , Encoding "SLI_asisdshf_R" 0xff80fc00 0x7f005400 Covered 1638 , Encoding "SLI_asimdshf_R" 0xbf80fc00 0x2f005400 Covered 1639 , Encoding "SM3PARTW1_VVV4_cryptosha512_3" 0xffe0fc00 0xce60c000 Covered 1640 , Encoding "SM3PARTW2_VVV4_cryptosha512_3" 0xffe0fc00 0xce60c400 Covered 1641 , Encoding "SM3SS1_VVV4_crypto4" 0xffe08000 0xce400000 Covered 1642 , Encoding "SM3TT1A_VVV4_crypto3_imm2" 0xffe0cc00 0xce408000 Covered 1643 , Encoding "SM3TT1B_VVV4_crypto3_imm2" 0xffe0cc00 0xce408400 Covered 1644 , Encoding "SM3TT2A_VVV4_crypto3_imm2" 0xffe0cc00 0xce408800 Covered 1645 , Encoding "SM3TT2B_VVV_crypto3_imm2" 0xffe0cc00 0xce408c00 Covered 1646 , Encoding "SM4E_VV4_cryptosha512_2" 0xfffffc00 0xcec08400 Covered 1647 , Encoding "SM4EKEY_VVV4_cryptosha512_3" 0xffe0fc00 0xce60c800 Covered 1648 , Encoding "SMADDL_64WA_dp_3src" 0xffe08000 0x9b200000 Covered 1649 , Encoding "SMAX_asimdsame_only" 0xbf20fc00 0x0e206400 Covered 1650 , Encoding "SMAX_32_minmax_imm" 0xfffc0000 0x11c00000 Covered 1651 , Encoding "SMAX_64_minmax_imm" 0xfffc0000 0x91c00000 Covered 1652 , Encoding "SMAX_32_dp_2src" 0xffe0fc00 0x1ac06000 Covered 1653 , Encoding "SMAX_64_dp_2src" 0xffe0fc00 0x9ac06000 Covered 1654 , Encoding "SMAXP_asimdsame_only" 0xbf20fc00 0x0e20a400 Covered 1655 , Encoding "SMAXV_asimdall_only" 0xbf3ffc00 0x0e30a800 Covered 1656 , Encoding "SMC_EX_exception" 0xffe0001f 0xd4000003 Control 1657 , Encoding "SMIN_asimdsame_only" 0xbf20fc00 0x0e206c00 Covered 1658 , Encoding "SMIN_32_minmax_imm" 0xfffc0000 0x11c80000 Covered 1659 , Encoding "SMIN_64_minmax_imm" 0xfffc0000 0x91c80000 Covered 1660 , Encoding "SMIN_32_dp_2src" 0xffe0fc00 0x1ac06800 Covered 1661 , Encoding "SMIN_64_dp_2src" 0xffe0fc00 0x9ac06800 Covered 1662 , Encoding "SMINP_asimdsame_only" 0xbf20fc00 0x0e20ac00 Covered 1663 , Encoding "SMINV_asimdall_only" 0xbf3ffc00 0x0e31a800 Covered 1664 , Encoding "SMLAL_asimdelem_L" 0xbf00f400 0x0f002000 Covered 1665 , Encoding "SMLAL_asimddiff_L" 0xbf20fc00 0x0e208000 Covered 1666 , Encoding "SMLSL_asimdelem_L" 0xbf00f400 0x0f006000 Covered 1667 , Encoding "SMLSL_asimddiff_L" 0xbf20fc00 0x0e20a000 Covered 1668 , Encoding "SMMLA_asimdsame2_G" 0xffe0fc00 0x4e80a400 1669 (Outside [(0, OpV), (5, OpV), (16, OpV)]) 1670 , Encoding "SMOV_asimdins_W_w" 0xffe0fc00 0x0e002c00 Covered 1671 , Encoding "SMOV_asimdins_X_x" 0xffe0fc00 0x4e002c00 Covered 1672 , Encoding "SMSUBL_64WA_dp_3src" 0xffe08000 0x9b208000 Covered 1673 , Encoding "SMULH_64_dp_3src" 0xffe08000 0x9b400000 Covered 1674 , Encoding "SMULL_asimdelem_L" 0xbf00f400 0x0f00a000 Covered 1675 , Encoding "SMULL_asimddiff_L" 0xbf20fc00 0x0e20c000 Covered 1676 , Encoding "SQABS_asisdmisc_R" 0xff3ffc00 0x5e207800 (Outside []) 1677 , Encoding "SQABS_asimdmisc_R" 0xbf3ffc00 0x0e207800 (Outside [(5, OpV)]) 1678 , Encoding "SQADD_asisdsame_only" 0xff20fc00 0x5e200c00 (Outside []) 1679 , Encoding "SQADD_asimdsame_only" 0xbf20fc00 0x0e200c00 1680 (Outside [(5, OpV), (16, OpV)]) 1681 , Encoding "SQDMLAL_asisdelem_L" 0xff00f400 0x5f003000 (Outside []) 1682 , Encoding "SQDMLAL_asimdelem_L" 0xbf00f400 0x0f003000 (Outside [(5, OpV)]) 1683 , Encoding "SQDMLAL_asisddiff_only" 0xff20fc00 0x5e209000 (Outside []) 1684 , Encoding "SQDMLAL_asimddiff_L" 0xbf20fc00 0x0e209000 1685 (Outside [(5, OpV), (16, OpV)]) 1686 , Encoding "SQDMLSL_asisdelem_L" 0xff00f400 0x5f007000 (Outside []) 1687 , Encoding "SQDMLSL_asimdelem_L" 0xbf00f400 0x0f007000 (Outside [(5, OpV)]) 1688 , Encoding "SQDMLSL_asisddiff_only" 0xff20fc00 0x5e20b000 (Outside []) 1689 , Encoding "SQDMLSL_asimddiff_L" 0xbf20fc00 0x0e20b000 1690 (Outside [(5, OpV), (16, OpV)]) 1691 , Encoding "SQDMULH_asisdelem_R" 0xff00f400 0x5f00c000 Covered 1692 , Encoding "SQDMULH_asimdelem_R" 0xbf00f400 0x0f00c000 Covered 1693 , Encoding "SQDMULH_asisdsame_only" 0xff20fc00 0x5e20b400 Covered 1694 , Encoding "SQDMULH_asimdsame_only" 0xbf20fc00 0x0e20b400 Covered 1695 , Encoding "SQDMULL_asisdelem_L" 0xff00f400 0x5f00b000 (Outside []) 1696 , Encoding "SQDMULL_asimdelem_L" 0xbf00f400 0x0f00b000 (Outside [(5, OpV)]) 1697 , Encoding "SQDMULL_asisddiff_only" 0xff20fc00 0x5e20d000 (Outside []) 1698 , Encoding "SQDMULL_asimddiff_L" 0xbf20fc00 0x0e20d000 1699 (Outside [(5, OpV), (16, OpV)]) 1700 , Encoding "SQNEG_asisdmisc_R" 0xff3ffc00 0x7e207800 (Outside []) 1701 , Encoding "SQNEG_asimdmisc_R" 0xbf3ffc00 0x2e207800 (Outside [(5, OpV)]) 1702 , Encoding "SQRDMLAH_asisdelem_R" 0xff00f400 0x7f00d000 Covered 1703 , Encoding "SQRDMLAH_asimdelem_R" 0xbf00f400 0x2f00d000 Covered 1704 , Encoding "SQRDMLAH_asisdsame2_only" 0xff20fc00 0x7e008400 Covered 1705 , Encoding "SQRDMLAH_asimdsame2_only" 0xbf20fc00 0x2e008400 Covered 1706 , Encoding "SQRDMLSH_asisdelem_R" 0xff00f400 0x7f00f000 (Outside []) 1707 , Encoding "SQRDMLSH_asimdelem_R" 0xbf00f400 0x2f00f000 (Outside [(5, OpV)]) 1708 , Encoding "SQRDMLSH_asisdsame2_only" 0xff20fc00 0x7e008c00 (Outside []) 1709 , Encoding "SQRDMLSH_asimdsame2_only" 0xbf20fc00 0x2e008c00 1710 (Outside [(5, OpV), (16, OpV)]) 1711 , Encoding "SQRDMULH_asisdelem_R" 0xff00f400 0x5f00d000 Covered 1712 , Encoding "SQRDMULH_asimdelem_R" 0xbf00f400 0x0f00d000 Covered 1713 , Encoding "SQRDMULH_asisdsame_only" 0xff20fc00 0x7e20b400 Covered 1714 , Encoding "SQRDMULH_asimdsame_only" 0xbf20fc00 0x2e20b400 Covered 1715 , Encoding "SQRSHL_asisdsame_only" 0xff20fc00 0x5e205c00 (Outside []) 1716 , Encoding "SQRSHL_asimdsame_only" 0xbf20fc00 0x0e205c00 1717 (Outside [(5, OpV), (16, OpV)]) 1718 , Encoding "SQRSHRN_asisdshf_N" 0xff80fc00 0x5f009c00 (Outside []) 1719 , Encoding "SQRSHRN_asimdshf_N" 0xbf80fc00 0x0f009c00 (Outside [(5, OpV)]) 1720 , Encoding "SQRSHRUN_asisdshf_N" 0xff80fc00 0x7f008c00 (Outside []) 1721 , Encoding "SQRSHRUN_asimdshf_N" 0xbf80fc00 0x2f008c00 (Outside [(5, OpV)]) 1722 , Encoding "SQSHL_asisdshf_R" 0xff80fc00 0x5f007400 (Outside []) 1723 , Encoding "SQSHL_asimdshf_R" 0xbf80fc00 0x0f007400 (Outside [(5, OpV)]) 1724 , Encoding "SQSHL_asisdsame_only" 0xff20fc00 0x5e204c00 (Outside []) 1725 , Encoding "SQSHL_asimdsame_only" 0xbf20fc00 0x0e204c00 1726 (Outside [(5, OpV), (16, OpV)]) 1727 , Encoding "SQSHLU_asisdshf_R" 0xff80fc00 0x7f006400 (Outside []) 1728 , Encoding "SQSHLU_asimdshf_R" 0xbf80fc00 0x2f006400 (Outside [(5, OpV)]) 1729 , Encoding "SQSHRN_asisdshf_N" 0xff80fc00 0x5f009400 (Outside []) 1730 , Encoding "SQSHRN_asimdshf_N" 0xbf80fc00 0x0f009400 (Outside [(5, OpV)]) 1731 , Encoding "SQSHRUN_asisdshf_N" 0xff80fc00 0x7f008400 (Outside []) 1732 , Encoding "SQSHRUN_asimdshf_N" 0xbf80fc00 0x2f008400 (Outside [(5, OpV)]) 1733 , Encoding "SQSUB_asisdsame_only" 0xff20fc00 0x5e202c00 (Outside []) 1734 , Encoding "SQSUB_asimdsame_only" 0xbf20fc00 0x0e202c00 1735 (Outside [(5, OpV), (16, OpV)]) 1736 , Encoding "SQXTN_asisdmisc_N" 0xff3ffc00 0x5e214800 (Outside []) 1737 , Encoding "SQXTN_asimdmisc_N" 0xbf3ffc00 0x0e214800 (Outside [(5, OpV)]) 1738 , Encoding "SQXTUN_asisdmisc_N" 0xff3ffc00 0x7e212800 (Outside []) 1739 , Encoding "SQXTUN_asimdmisc_N" 0xbf3ffc00 0x2e212800 (Outside [(5, OpV)]) 1740 , Encoding "SRHADD_asimdsame_only" 0xbf20fc00 0x0e201400 1741 (Outside [(5, OpV), (16, OpV)]) 1742 , Encoding "SRI_asisdshf_R" 0xff80fc00 0x7f004400 Covered 1743 , Encoding "SRI_asimdshf_R" 0xbf80fc00 0x2f004400 Covered 1744 , Encoding "SRSHL_asisdsame_only" 0xff20fc00 0x5e205400 (Outside []) 1745 , Encoding "SRSHL_asimdsame_only" 0xbf20fc00 0x0e205400 1746 (Outside [(5, OpV), (16, OpV)]) 1747 , Encoding "SRSHR_asisdshf_R" 0xff80fc00 0x5f002400 (Outside []) 1748 , Encoding "SRSHR_asimdshf_R" 0xbf80fc00 0x0f002400 (Outside [(5, OpV)]) 1749 , Encoding "SRSRA_asisdshf_R" 0xff80fc00 0x5f003400 (Outside []) 1750 , Encoding "SRSRA_asimdshf_R" 0xbf80fc00 0x0f003400 (Outside [(5, OpV)]) 1751 , Encoding "SSHL_asisdsame_only" 0xff20fc00 0x5e204400 Covered 1752 , Encoding "SSHL_asimdsame_only" 0xbf20fc00 0x0e204400 Covered 1753 , Encoding "SSHLL_asimdshf_L" 0xbf80fc00 0x0f00a400 Covered 1754 , Encoding "SSHR_asisdshf_R" 0xff80fc00 0x5f000400 Covered 1755 , Encoding "SSHR_asimdshf_R" 0xbf80fc00 0x0f000400 Covered 1756 , Encoding "SSRA_asisdshf_R" 0xff80fc00 0x5f001400 Covered 1757 , Encoding "SSRA_asimdshf_R" 0xbf80fc00 0x0f001400 Covered 1758 , Encoding "SSUBL_asimddiff_L" 0xbf20fc00 0x0e202000 Covered 1759 , Encoding "SSUBW_asimddiff_W" 0xbf20fc00 0x0e203000 Covered 1760 , Encoding "ST1_asisdlse_R1_1v" 0xbfffd000 0x0c005000 Covered 1761 , Encoding "ST1_asisdlse_R2_2v" 0xbfffd000 0x0c008000 Covered 1762 , Encoding "ST1_asisdlse_R3_3v" 0xbfffd000 0x0c004000 Covered 1763 , Encoding "ST1_asisdlse_R4_4v" 0xbfffd000 0x0c000000 Covered 1764 , Encoding "ST1_asisdlsep_I1_i1" 0xbfffd000 0x0c9f5000 Covered 1765 , Encoding "ST1_asisdlsep_R1_r1" 0xbfe0d000 0x0c805000 Covered 1766 , Encoding "ST1_asisdlsep_I2_i2" 0xbfffd000 0x0c9f8000 Covered 1767 , Encoding "ST1_asisdlsep_R2_r2" 0xbfe0d000 0x0c808000 Covered 1768 , Encoding "ST1_asisdlsep_I3_i3" 0xbfffd000 0x0c9f4000 Covered 1769 , Encoding "ST1_asisdlsep_R3_r3" 0xbfe0d000 0x0c804000 Covered 1770 , Encoding "ST1_asisdlsep_I4_i4" 0xbfffd000 0x0c9f0000 Covered 1771 , Encoding "ST1_asisdlsep_R4_r4" 0xbfe0d000 0x0c800000 Covered 1772 , Encoding "ST1_asisdlso_B1_1b" 0xbfffc000 0x0d000000 Covered 1773 , Encoding "ST1_asisdlso_H1_1h" 0xbfffc400 0x0d004000 Covered 1774 , Encoding "ST1_asisdlso_S1_1s" 0xbfffcc00 0x0d008000 Covered 1775 , Encoding "ST1_asisdlso_D1_1d" 0xbfffdc00 0x0d008400 Covered 1776 , Encoding "ST1_asisdlsop_B1_i1b" 0xbfffc000 0x0d9f0000 Covered 1777 , Encoding "ST1_asisdlsop_BX1_r1b" 0xbfe0c000 0x0d800000 Covered 1778 , Encoding "ST1_asisdlsop_H1_i1h" 0xbfffc400 0x0d9f4000 Covered 1779 , Encoding "ST1_asisdlsop_HX1_r1h" 0xbfe0c400 0x0d804000 Covered 1780 , Encoding "ST1_asisdlsop_S1_i1s" 0xbfffcc00 0x0d9f8000 Covered 1781 , Encoding "ST1_asisdlsop_SX1_r1s" 0xbfe0cc00 0x0d808000 Covered 1782 , Encoding "ST1_asisdlsop_D1_i1d" 0xbfffdc00 0x0d9f8400 Covered 1783 , Encoding "ST1_asisdlsop_DX1_r1d" 0xbfe0dc00 0x0d808400 Covered 1784 , Encoding "ST2_asisdlse_R2" 0xbffff000 0x0c008000 Covered 1785 , Encoding "ST2_asisdlsep_I2_i" 0xbffff000 0x0c9f8000 Covered 1786 , Encoding "ST2_asisdlsep_R2_r" 0xbfe0f000 0x0c808000 Covered 1787 , Encoding "ST2_asisdlso_B2_2b" 0xbfffc000 0x0d200000 Covered 1788 , Encoding "ST2_asisdlso_H2_2h" 0xbfffc400 0x0d204000 Covered 1789 , Encoding "ST2_asisdlso_S2_2s" 0xbfffcc00 0x0d208000 Covered 1790 , Encoding "ST2_asisdlso_D2_2d" 0xbfffdc00 0x0d208400 Covered 1791 , Encoding "ST2_asisdlsop_B2_i2b" 0xbfffc000 0x0dbf0000 Covered 1792 , Encoding "ST2_asisdlsop_BX2_r2b" 0xbfe0c000 0x0da00000 Covered 1793 , Encoding "ST2_asisdlsop_H2_i2h" 0xbfffc400 0x0dbf4000 Covered 1794 , Encoding "ST2_asisdlsop_HX2_r2h" 0xbfe0c400 0x0da04000 Covered 1795 , Encoding "ST2_asisdlsop_S2_i2s" 0xbfffcc00 0x0dbf8000 Covered 1796 , Encoding "ST2_asisdlsop_SX2_r2s" 0xbfe0cc00 0x0da08000 Covered 1797 , Encoding "ST2_asisdlsop_D2_i2d" 0xbfffdc00 0x0dbf8400 Covered 1798 , Encoding "ST2_asisdlsop_DX2_r2d" 0xbfe0dc00 0x0da08400 Covered 1799 , Encoding "ST2G_64Spost_ldsttags" 0xffe00c00 0xd9a00400 1800 (Outside [(0, OpXSp)]) 1801 , Encoding "ST2G_64Spre_ldsttags" 0xffe00c00 0xd9a00c00 1802 (Outside [(0, OpXSp)]) 1803 , Encoding "ST2G_64Soffset_ldsttags" 0xffe00c00 0xd9a00800 1804 (Outside [(0, OpXSp)]) 1805 , Encoding "ST3_asisdlse_R3" 0xbffff000 0x0c004000 Covered 1806 , Encoding "ST3_asisdlsep_I3_i" 0xbffff000 0x0c9f4000 Covered 1807 , Encoding "ST3_asisdlsep_R3_r" 0xbfe0f000 0x0c804000 Covered 1808 , Encoding "ST3_asisdlso_B3_3b" 0xbfffc000 0x0d000000 Covered 1809 , Encoding "ST3_asisdlso_H3_3h" 0xbfffc400 0x0d004000 Covered 1810 , Encoding "ST3_asisdlso_S3_3s" 0xbfffcc00 0x0d008000 Covered 1811 , Encoding "ST3_asisdlso_D3_3d" 0xbfffdc00 0x0d008400 Covered 1812 , Encoding "ST3_asisdlsop_B3_i3b" 0xbfffc000 0x0d9f0000 Covered 1813 , Encoding "ST3_asisdlsop_BX3_r3b" 0xbfe0c000 0x0d800000 Covered 1814 , Encoding "ST3_asisdlsop_H3_i3h" 0xbfffc400 0x0d9f4000 Covered 1815 , Encoding "ST3_asisdlsop_HX3_r3h" 0xbfe0c400 0x0d804000 Covered 1816 , Encoding "ST3_asisdlsop_S3_i3s" 0xbfffcc00 0x0d9f8000 Covered 1817 , Encoding "ST3_asisdlsop_SX3_r3s" 0xbfe0cc00 0x0d808000 Covered 1818 , Encoding "ST3_asisdlsop_D3_i3d" 0xbfffdc00 0x0d9f8400 Covered 1819 , Encoding "ST3_asisdlsop_DX3_r3d" 0xbfe0dc00 0x0d808400 Covered 1820 , Encoding "ST4_asisdlse_R4" 0xbffff000 0x0c000000 Covered 1821 , Encoding "ST4_asisdlsep_I4_i" 0xbffff000 0x0c9f0000 Covered 1822 , Encoding "ST4_asisdlsep_R4_r" 0xbfe0f000 0x0c800000 Covered 1823 , Encoding "ST4_asisdlso_B4_4b" 0xbfffc000 0x0d200000 Covered 1824 , Encoding "ST4_asisdlso_H4_4h" 0xbfffc400 0x0d204000 Covered 1825 , Encoding "ST4_asisdlso_S4_4s" 0xbfffcc00 0x0d208000 Covered 1826 , Encoding "ST4_asisdlso_D4_4d" 0xbfffdc00 0x0d208400 Covered 1827 , Encoding "ST4_asisdlsop_B4_i4b" 0xbfffc000 0x0dbf0000 Covered 1828 , Encoding "ST4_asisdlsop_BX4_r4b" 0xbfe0c000 0x0da00000 Covered 1829 , Encoding "ST4_asisdlsop_H4_i4h" 0xbfffc400 0x0dbf4000 Covered 1830 , Encoding "ST4_asisdlsop_HX4_r4h" 0xbfe0c400 0x0da04000 Covered 1831 , Encoding "ST4_asisdlsop_S4_i4s" 0xbfffcc00 0x0dbf8000 Covered 1832 , Encoding "ST4_asisdlsop_SX4_r4s" 0xbfe0cc00 0x0da08000 Covered 1833 , Encoding "ST4_asisdlsop_D4_i4d" 0xbfffdc00 0x0dbf8400 Covered 1834 , Encoding "ST4_asisdlsop_DX4_r4d" 0xbfe0dc00 0x0da08400 Covered 1835 , Encoding "ST64B_64L_memop" 0xfffffc00 0xf83f9000 (Outside [(0, OpX)]) 1836 , Encoding "ST64BV_64_memop" 0xffe0fc00 0xf820b000 1837 (Outside [(0, OpX), (16, OpX)]) 1838 , Encoding "ST64BV0_64_memop" 0xffe0fc00 0xf820a000 1839 (Outside [(0, OpX), (16, OpX)]) 1840 , Encoding "STG_64Spost_ldsttags" 0xffe00c00 0xd9200400 1841 (Outside [(0, OpXSp)]) 1842 , Encoding "STG_64Spre_ldsttags" 0xffe00c00 0xd9200c00 (Outside [(0, OpXSp)]) 1843 , Encoding "STG_64Soffset_ldsttags" 0xffe00c00 0xd9200800 1844 (Outside [(0, OpXSp)]) 1845 , Encoding "STGM_64bulk_ldsttags" 0xfffffc00 0xd9a00000 (Outside [(0, OpX)]) 1846 , Encoding "STGP_64_ldstpair_post" 0xffc00000 0x68800000 1847 (Outside [(0, OpX), (10, OpX)]) 1848 , Encoding "STGP_64_ldstpair_pre" 0xffc00000 0x69800000 1849 (Outside [(0, OpX), (10, OpX)]) 1850 , Encoding "STGP_64_ldstpair_off" 0xffc00000 0x69000000 1851 (Outside [(0, OpX), (10, OpX)]) 1852 , Encoding "STILP_32S_ldiappstilp" 0x7fe01c00 0x19001800 Covered 1853 , Encoding "STILP_32SE_ldiappstilp" 0x7fe01c00 0x19000800 Covered 1854 , Encoding "STILP_64S_ldiappstilp" 0x7fe01c00 0x59001800 Covered 1855 , Encoding "STILP_64SS_ldiappstilp" 0x7fe01c00 0x59000800 Covered 1856 , Encoding "STL1_asisdlso_D1" 0xbffffc00 0x0d018400 Covered 1857 , Encoding "STLLR_SL32_ldstord" 0x7fe08000 0x08800000 Covered 1858 , Encoding "STLLR_SL64_ldstord" 0x7fe08000 0x48800000 Covered 1859 , Encoding "STLLRB_SL32_ldstord" 0xffe08000 0x08800000 Covered 1860 , Encoding "STLLRH_SL32_ldstord" 0xffe08000 0x48800000 Covered 1861 , Encoding "STLR_SL32_ldstord" 0x7fe08000 0x08808000 Covered 1862 , Encoding "STLR_SL64_ldstord" 0x7fe08000 0x48808000 Covered 1863 , Encoding "STLR_32S_ldapstl_writeback" 0x7ffffc00 0x19800800 Covered 1864 , Encoding "STLR_64S_ldapstl_writeback" 0x7ffffc00 0x59800800 Covered 1865 , Encoding "STLRB_SL32_ldstord" 0xffe08000 0x08808000 Covered 1866 , Encoding "STLRH_SL32_ldstord" 0xffe08000 0x48808000 Covered 1867 , Encoding "STLUR_B_ldapstl_simd" 0xffa00c00 0x1d000800 Covered 1868 , Encoding "STLUR_H_ldapstl_simd" 0xffa00c00 0x5d000800 Covered 1869 , Encoding "STLUR_S_ldapstl_simd" 0xffa00c00 0x9d000800 Covered 1870 , Encoding "STLUR_D_ldapstl_simd" 0xffa00c00 0xdd000800 Covered 1871 , Encoding "STLUR_Q_ldapstl_simd" 0xffa00c00 0x1d800800 Covered 1872 , Encoding "STLUR_32_ldapstl_unscaled" 0x7fe00c00 0x19000000 Covered 1873 , Encoding "STLUR_64_ldapstl_unscaled" 0x7fe00c00 0x59000000 Covered 1874 , Encoding "STLURB_32_ldapstl_unscaled" 0xffe00c00 0x19000000 Covered 1875 , Encoding "STLURH_32_ldapstl_unscaled" 0xffe00c00 0x59000000 Covered 1876 , Encoding "STLXP_SP32_ldstexclp" 0xffe08000 0x88208000 Covered 1877 , Encoding "STLXP_SP64_ldstexclp" 0xffe08000 0xc8208000 Covered 1878 , Encoding "STLXR_SR32_ldstexclr" 0x7fe08000 0x08008000 Covered 1879 , Encoding "STLXR_SR64_ldstexclr" 0x7fe08000 0x48008000 Covered 1880 , Encoding "STLXRB_SR32_ldstexclr" 0xffe08000 0x08008000 Covered 1881 , Encoding "STLXRH_SR32_ldstexclr" 0xffe08000 0x48008000 Covered 1882 , Encoding "STNP_S_ldstnapair_offs" 0xffc00000 0x2c000000 Covered 1883 , Encoding "STNP_D_ldstnapair_offs" 0xffc00000 0x6c000000 Covered 1884 , Encoding "STNP_Q_ldstnapair_offs" 0xffc00000 0xac000000 Covered 1885 , Encoding "STNP_32_ldstnapair_offs" 0xbfc00000 0x28000000 Covered 1886 , Encoding "STNP_64_ldstnapair_offs" 0xbfc00000 0xa8000000 Covered 1887 , Encoding "STP_S_ldstpair_post" 0xffc00000 0x2c800000 Covered 1888 , Encoding "STP_D_ldstpair_post" 0xffc00000 0x6c800000 Covered 1889 , Encoding "STP_Q_ldstpair_post" 0xffc00000 0xac800000 Covered 1890 , Encoding "STP_S_ldstpair_pre" 0xffc00000 0x2d800000 Covered 1891 , Encoding "STP_D_ldstpair_pre" 0xffc00000 0x6d800000 Covered 1892 , Encoding "STP_Q_ldstpair_pre" 0xffc00000 0xad800000 Covered 1893 , Encoding "STP_S_ldstpair_off" 0xffc00000 0x2d000000 Covered 1894 , Encoding "STP_D_ldstpair_off" 0xffc00000 0x6d000000 Covered 1895 , Encoding "STP_Q_ldstpair_off" 0xffc00000 0xad000000 Covered 1896 , Encoding "STP_32_ldstpair_post" 0xbfc00000 0x28800000 Covered 1897 , Encoding "STP_64_ldstpair_post" 0xbfc00000 0xa8800000 Covered 1898 , Encoding "STP_32_ldstpair_pre" 0xbfc00000 0x29800000 Covered 1899 , Encoding "STP_64_ldstpair_pre" 0xbfc00000 0xa9800000 Covered 1900 , Encoding "STP_32_ldstpair_off" 0xbfc00000 0x29000000 Covered 1901 , Encoding "STP_64_ldstpair_off" 0xbfc00000 0xa9000000 Covered 1902 , Encoding "STR_B_ldst_immpost" 0xffa00c00 0x3c000400 Covered 1903 , Encoding "STR_H_ldst_immpost" 0xffa00c00 0x7c000400 Covered 1904 , Encoding "STR_S_ldst_immpost" 0xffa00c00 0xbc000400 Covered 1905 , Encoding "STR_D_ldst_immpost" 0xffa00c00 0xfc000400 Covered 1906 , Encoding "STR_Q_ldst_immpost" 0xffa00c00 0x3c800400 Covered 1907 , Encoding "STR_B_ldst_immpre" 0xffa00c00 0x3c000c00 Covered 1908 , Encoding "STR_H_ldst_immpre" 0xffa00c00 0x7c000c00 Covered 1909 , Encoding "STR_S_ldst_immpre" 0xffa00c00 0xbc000c00 Covered 1910 , Encoding "STR_D_ldst_immpre" 0xffa00c00 0xfc000c00 Covered 1911 , Encoding "STR_Q_ldst_immpre" 0xffa00c00 0x3c800c00 Covered 1912 , Encoding "STR_B_ldst_pos" 0xff800000 0x3d000000 Covered 1913 , Encoding "STR_H_ldst_pos" 0xff800000 0x7d000000 Covered 1914 , Encoding "STR_S_ldst_pos" 0xff800000 0xbd000000 Covered 1915 , Encoding "STR_D_ldst_pos" 0xff800000 0xfd000000 Covered 1916 , Encoding "STR_Q_ldst_pos" 0xff800000 0x3d800000 Covered 1917 , Encoding "STR_32_ldst_immpost" 0x7fe00c00 0x38000400 Covered 1918 , Encoding "STR_64_ldst_immpost" 0x7fe00c00 0x78000400 Covered 1919 , Encoding "STR_32_ldst_immpre" 0x7fe00c00 0x38000c00 Covered 1920 , Encoding "STR_64_ldst_immpre" 0x7fe00c00 0x78000c00 Covered 1921 , Encoding "STR_32_ldst_pos" 0x7fc00000 0x39000000 Covered 1922 , Encoding "STR_64_ldst_pos" 0x7fc00000 0x79000000 Covered 1923 , Encoding "STR_B_ldst_regoff" 0xffa00c00 0x3c200800 Covered 1924 , Encoding "STR_BL_ldst_regoff" 0xffa0ec00 0x3c206800 Covered 1925 , Encoding "STR_H_ldst_regoff" 0xffa00c00 0x7c200800 Covered 1926 , Encoding "STR_S_ldst_regoff" 0xffa00c00 0xbc200800 Covered 1927 , Encoding "STR_D_ldst_regoff" 0xffa00c00 0xfc200800 Covered 1928 , Encoding "STR_Q_ldst_regoff" 0xffa00c00 0x3ca00800 Covered 1929 , Encoding "STR_32_ldst_regoff" 0x7fe00c00 0x38200800 Covered 1930 , Encoding "STR_64_ldst_regoff" 0x7fe00c00 0x78200800 Covered 1931 , Encoding "STRB_32_ldst_immpost" 0xffe00c00 0x38000400 Covered 1932 , Encoding "STRB_32_ldst_immpre" 0xffe00c00 0x38000c00 Covered 1933 , Encoding "STRB_32_ldst_pos" 0xffc00000 0x39000000 Covered 1934 , Encoding "STRB_32B_ldst_regoff" 0xffe00c00 0x38200800 Covered 1935 , Encoding "STRB_32BL_ldst_regoff" 0xffe0ec00 0x38206800 Covered 1936 , Encoding "STRH_32_ldst_immpost" 0xffe00c00 0x78000400 Covered 1937 , Encoding "STRH_32_ldst_immpre" 0xffe00c00 0x78000c00 Covered 1938 , Encoding "STRH_32_ldst_pos" 0xffc00000 0x79000000 Covered 1939 , Encoding "STRH_32_ldst_regoff" 0xffe00c00 0x78200800 Covered 1940 , Encoding "STTR_32_ldst_unpriv" 0x7fe00c00 0x38000800 Covered 1941 , Encoding "STTR_64_ldst_unpriv" 0x7fe00c00 0x78000800 Covered 1942 , Encoding "STTRB_32_ldst_unpriv" 0xffe00c00 0x38000800 Covered 1943 , Encoding "STTRH_32_ldst_unpriv" 0xffe00c00 0x78000800 Covered 1944 , Encoding "STUR_B_ldst_unscaled" 0xffa00c00 0x3c000000 Covered 1945 , Encoding "STUR_H_ldst_unscaled" 0xffa00c00 0x7c000000 Covered 1946 , Encoding "STUR_S_ldst_unscaled" 0xffa00c00 0xbc000000 Covered 1947 , Encoding "STUR_D_ldst_unscaled" 0xffa00c00 0xfc000000 Covered 1948 , Encoding "STUR_Q_ldst_unscaled" 0xffa00c00 0x3c800000 Covered 1949 , Encoding "STUR_32_ldst_unscaled" 0x7fe00c00 0x38000000 Covered 1950 , Encoding "STUR_64_ldst_unscaled" 0x7fe00c00 0x78000000 Covered 1951 , Encoding "STURB_32_ldst_unscaled" 0xffe00c00 0x38000000 Covered 1952 , Encoding "STURH_32_ldst_unscaled" 0xffe00c00 0x78000000 Covered 1953 , Encoding "STXP_SP32_ldstexclp" 0xffe08000 0x88200000 Covered 1954 , Encoding "STXP_SP64_ldstexclp" 0xffe08000 0xc8200000 Covered 1955 , Encoding "STXR_SR32_ldstexclr" 0x7fe08000 0x08000000 Covered 1956 , Encoding "STXR_SR64_ldstexclr" 0x7fe08000 0x48000000 Covered 1957 , Encoding "STXRB_SR32_ldstexclr" 0xffe08000 0x08000000 Covered 1958 , Encoding "STXRH_SR32_ldstexclr" 0xffe08000 0x48000000 Covered 1959 , Encoding "STZ2G_64Spost_ldsttags" 0xffe00c00 0xd9e00400 1960 (Outside [(0, OpXSp)]) 1961 , Encoding "STZ2G_64Spre_ldsttags" 0xffe00c00 0xd9e00c00 1962 (Outside [(0, OpXSp)]) 1963 , Encoding "STZ2G_64Soffset_ldsttags" 0xffe00c00 0xd9e00800 1964 (Outside [(0, OpXSp)]) 1965 , Encoding "STZG_64Spost_ldsttags" 0xffe00c00 0xd9600400 1966 (Outside [(0, OpXSp)]) 1967 , Encoding "STZG_64Spre_ldsttags" 0xffe00c00 0xd9600c00 1968 (Outside [(0, OpXSp)]) 1969 , Encoding "STZG_64Soffset_ldsttags" 0xffe00c00 0xd9600800 1970 (Outside [(0, OpXSp)]) 1971 , Encoding "STZGM_64bulk_ldsttags" 0xfffffc00 0xd9200000 (Outside [(0, OpX)]) 1972 , Encoding "SUB_32_addsub_ext" 0xffe00000 0x4b200000 Covered 1973 , Encoding "SUB_64_addsub_ext" 0xffe00000 0xcb200000 Covered 1974 , Encoding "SUB_32_addsub_imm" 0xff800000 0x51000000 Covered 1975 , Encoding "SUB_64_addsub_imm" 0xff800000 0xd1000000 Covered 1976 , Encoding "SUB_32_addsub_shift" 0xff200000 0x4b000000 Covered 1977 , Encoding "SUB_64_addsub_shift" 0xff200000 0xcb000000 Covered 1978 , Encoding "SUB_asisdsame_only" 0xff20fc00 0x7e208400 Covered 1979 , Encoding "SUB_asimdsame_only" 0xbf20fc00 0x2e208400 Covered 1980 , Encoding "SUBG_64_addsub_immtags" 0xffc00000 0xd1800000 1981 (Outside [(5, OpXSp)]) 1982 , Encoding "SUBHN_asimddiff_N" 0xbf20fc00 0x0e206000 Covered 1983 , Encoding "SUBP_64S_dp_2src" 0xffe0fc00 0x9ac00000 1984 (Outside [(5, OpXSp), (16, OpXSp)]) 1985 , Encoding "SUBPS_64S_dp_2src" 0xffe0fc00 0xbac00000 1986 (Outside [(5, OpXSp), (16, OpXSp)]) 1987 , Encoding "SUBS_32S_addsub_ext" 0xffe00000 0x6b200000 Covered 1988 , Encoding "SUBS_64S_addsub_ext" 0xffe00000 0xeb200000 Covered 1989 , Encoding "SUBS_32S_addsub_imm" 0xff800000 0x71000000 Covered 1990 , Encoding "SUBS_64S_addsub_imm" 0xff800000 0xf1000000 Covered 1991 , Encoding "SUBS_32_addsub_shift" 0xff200000 0x6b000000 Covered 1992 , Encoding "SUBS_64_addsub_shift" 0xff200000 0xeb000000 Covered 1993 , Encoding "SUDOT_asimdelem_D" 0xbfc0f400 0x0f00f000 1994 (Outside [(0, OpV), (5, OpV)]) 1995 , Encoding "SUQADD_asisdmisc_R" 0xff3ffc00 0x5e203800 (Outside []) 1996 , Encoding "SUQADD_asimdmisc_R" 0xbf3ffc00 0x0e203800 (Outside [(5, OpV)]) 1997 , Encoding "SVC_EX_exception" 0xffe0001f 0xd4000001 Control 1998 , Encoding "SWP_32_memop" 0x7fe0fc00 0x38208000 1999 (Outside [(0, OpW), (16, OpW)]) 2000 , Encoding "SWPA_32_memop" 0x7fe0fc00 0x38a08000 2001 (Outside [(0, OpW), (16, OpW)]) 2002 , Encoding "SWPAL_32_memop" 0x7fe0fc00 0x38e08000 2003 (Outside [(0, OpW), (16, OpW)]) 2004 , Encoding "SWPL_32_memop" 0x7fe0fc00 0x38608000 2005 (Outside [(0, OpW), (16, OpW)]) 2006 , Encoding "SWP_64_memop" 0x7fe0fc00 0x78208000 2007 (Outside [(0, OpX), (16, OpX)]) 2008 , Encoding "SWPA_64_memop" 0x7fe0fc00 0x78a08000 2009 (Outside [(0, OpX), (16, OpX)]) 2010 , Encoding "SWPAL_64_memop" 0x7fe0fc00 0x78e08000 2011 (Outside [(0, OpX), (16, OpX)]) 2012 , Encoding "SWPL_64_memop" 0x7fe0fc00 0x78608000 2013 (Outside [(0, OpX), (16, OpX)]) 2014 , Encoding "SWPAB_32_memop" 0xffe0fc00 0x38a08000 2015 (Outside [(0, OpW), (16, OpW)]) 2016 , Encoding "SWPALB_32_memop" 0xffe0fc00 0x38e08000 2017 (Outside [(0, OpW), (16, OpW)]) 2018 , Encoding "SWPB_32_memop" 0xffe0fc00 0x38208000 2019 (Outside [(0, OpW), (16, OpW)]) 2020 , Encoding "SWPLB_32_memop" 0xffe0fc00 0x38608000 2021 (Outside [(0, OpW), (16, OpW)]) 2022 , Encoding "SWPAH_32_memop" 0xffe0fc00 0x78a08000 2023 (Outside [(0, OpW), (16, OpW)]) 2024 , Encoding "SWPALH_32_memop" 0xffe0fc00 0x78e08000 2025 (Outside [(0, OpW), (16, OpW)]) 2026 , Encoding "SWPH_32_memop" 0xffe0fc00 0x78208000 2027 (Outside [(0, OpW), (16, OpW)]) 2028 , Encoding "SWPLH_32_memop" 0xffe0fc00 0x78608000 2029 (Outside [(0, OpW), (16, OpW)]) 2030 , Encoding "SWPP_128_memop_128" 0xffe0fc00 0x19208000 Covered 2031 , Encoding "SWPPA_128_memop_128" 0xffe0fc00 0x19a08000 Covered 2032 , Encoding "SWPPAL_128_memop_128" 0xffe0fc00 0x19e08000 Covered 2033 , Encoding "SWPPL_128_memop_128" 0xffe0fc00 0x19608000 Covered 2034 , Encoding "SYS_CR_systeminstrs" 0xfff80000 0xd5080000 Control 2035 , Encoding "SYSL_RC_systeminstrs" 0xfff80000 0xd5280000 Control 2036 , Encoding "SYSP_CR_syspairinstrs" 0xfff80000 0xd5480000 Control 2037 , Encoding "TBL_asimdtbl_L2_2" 0xbfe0fc00 0x0e002000 Covered 2038 , Encoding "TBL_asimdtbl_L3_3" 0xbfe0fc00 0x0e004000 Covered 2039 , Encoding "TBL_asimdtbl_L4_4" 0xbfe0fc00 0x0e006000 Covered 2040 , Encoding "TBL_asimdtbl_L1_1" 0xbfe0fc00 0x0e000000 Covered 2041 , Encoding "TBNZ_only_testbranch" 0x7f000000 0x37000000 Control 2042 , Encoding "TBX_asimdtbl_L2_2" 0xbfe0fc00 0x0e003000 Covered 2043 , Encoding "TBX_asimdtbl_L3_3" 0xbfe0fc00 0x0e005000 Covered 2044 , Encoding "TBX_asimdtbl_L4_4" 0xbfe0fc00 0x0e007000 Covered 2045 , Encoding "TBX_asimdtbl_L1_1" 0xbfe0fc00 0x0e001000 Covered 2046 , Encoding "TBZ_only_testbranch" 0x7f000000 0x36000000 Control 2047 , Encoding "TCANCEL_EX_exception" 0xffe0001f 0xd4600000 Control 2048 , Encoding "TCOMMIT_only_barriers" 0xffffffff 0xd503307f Control 2049 , Encoding "TRN1_asimdperm_only" 0xbf20fc00 0x0e002800 Covered 2050 , Encoding "TRN2_asimdperm_only" 0xbf20fc00 0x0e006800 Covered 2051 , Encoding "TSB_HC_hints" 0xffffffff 0xd503225f Control 2052 , Encoding "TSTART_BR_systemresult" 0xffffffe0 0xd5233060 Control 2053 , Encoding "TTEST_BR_systemresult" 0xffffffe0 0xd5233160 Control 2054 , Encoding "UABA_asimdsame_only" 0xbf20fc00 0x2e207c00 Covered 2055 , Encoding "UABAL_asimddiff_L" 0xbf20fc00 0x2e205000 Covered 2056 , Encoding "UABD_asimdsame_only" 0xbf20fc00 0x2e207400 Covered 2057 , Encoding "UABDL_asimddiff_L" 0xbf20fc00 0x2e207000 Covered 2058 , Encoding "UADALP_asimdmisc_P" 0xbf3ffc00 0x2e206800 Covered 2059 , Encoding "UADDL_asimddiff_L" 0xbf20fc00 0x2e200000 Covered 2060 , Encoding "UADDLP_asimdmisc_P" 0xbf3ffc00 0x2e202800 Covered 2061 , Encoding "UADDLV_asimdall_only" 0xbf3ffc00 0x2e303800 Covered 2062 , Encoding "UADDW_asimddiff_W" 0xbf20fc00 0x2e201000 Covered 2063 , Encoding "UBFM_32M_bitfield" 0xffc00000 0x53000000 Covered 2064 , Encoding "UBFM_64M_bitfield" 0xffc00000 0xd3400000 Covered 2065 , Encoding "UCVTF_asisdshf_C" 0xff80fc00 0x7f00e400 (Outside []) 2066 , Encoding "UCVTF_asimdshf_C" 0xbf80fc00 0x2f00e400 (Outside [(5, OpV)]) 2067 , Encoding "UCVTF_asisdmiscfp16_R" 0xfffffc00 0x7e79d800 (Outside [(5, OpH)]) 2068 , Encoding "UCVTF_asisdmisc_R" 0xffbffc00 0x7e21d800 (Outside []) 2069 , Encoding "UCVTF_asimdmiscfp16_R" 0xbffffc00 0x2e79d800 (Outside [(5, OpV)]) 2070 , Encoding "UCVTF_asimdmisc_R" 0xbfbffc00 0x2e21d800 (Outside [(5, OpV)]) 2071 , Encoding "UCVTF_H32_float2fix" 0xffff0000 0x1ec30000 (Outside [(5, OpW)]) 2072 , Encoding "UCVTF_S32_float2fix" 0xffff0000 0x1e030000 (Outside [(5, OpW)]) 2073 , Encoding "UCVTF_D32_float2fix" 0xffff0000 0x1e430000 (Outside [(5, OpW)]) 2074 , Encoding "UCVTF_H64_float2fix" 0xffff0000 0x9ec30000 (Outside [(5, OpX)]) 2075 , Encoding "UCVTF_S64_float2fix" 0xffff0000 0x9e030000 (Outside [(5, OpX)]) 2076 , Encoding "UCVTF_D64_float2fix" 0xffff0000 0x9e430000 (Outside [(5, OpX)]) 2077 , Encoding "UCVTF_H32_float2int" 0xfffffc00 0x1ee30000 (Outside [(5, OpW)]) 2078 , Encoding "UCVTF_S32_float2int" 0xfffffc00 0x1e230000 (Outside [(5, OpW)]) 2079 , Encoding "UCVTF_D32_float2int" 0xfffffc00 0x1e630000 (Outside [(5, OpW)]) 2080 , Encoding "UCVTF_H64_float2int" 0xfffffc00 0x9ee30000 (Outside [(5, OpX)]) 2081 , Encoding "UCVTF_S64_float2int" 0xfffffc00 0x9e230000 (Outside [(5, OpX)]) 2082 , Encoding "UCVTF_D64_float2int" 0xfffffc00 0x9e630000 (Outside [(5, OpX)]) 2083 , Encoding "UDF_only_perm_undef" 0xffff0000 0x00000000 (Outside []) 2084 , Encoding "UDIV_32_dp_2src" 0xffe0fc00 0x1ac00800 2085 (Outside [(5, OpW), (16, OpW)]) 2086 , Encoding "UDIV_64_dp_2src" 0xffe0fc00 0x9ac00800 2087 (Outside [(5, OpX), (16, OpX)]) 2088 , Encoding "UDOT_asimdelem_D" 0xbf00f400 0x2f00e000 2089 (Outside [(0, OpV), (5, OpV)]) 2090 , Encoding "UDOT_asimdsame2_D" 0xbf20fc00 0x2e009400 2091 (Outside [(0, OpV), (5, OpV), (16, OpV)]) 2092 , Encoding "UHADD_asimdsame_only" 0xbf20fc00 0x2e200400 Covered 2093 , Encoding "UHSUB_asimdsame_only" 0xbf20fc00 0x2e202400 Covered 2094 , Encoding "UMADDL_64WA_dp_3src" 0xffe08000 0x9ba00000 Covered 2095 , Encoding "UMAX_asimdsame_only" 0xbf20fc00 0x2e206400 Covered 2096 , Encoding "UMAX_32U_minmax_imm" 0xfffc0000 0x11c40000 Covered 2097 , Encoding "UMAX_64U_minmax_imm" 0xfffc0000 0x91c40000 Covered 2098 , Encoding "UMAX_32_dp_2src" 0xffe0fc00 0x1ac06400 Covered 2099 , Encoding "UMAX_64_dp_2src" 0xffe0fc00 0x9ac06400 Covered 2100 , Encoding "UMAXP_asimdsame_only" 0xbf20fc00 0x2e20a400 Covered 2101 , Encoding "UMAXV_asimdall_only" 0xbf3ffc00 0x2e30a800 Covered 2102 , Encoding "UMIN_asimdsame_only" 0xbf20fc00 0x2e206c00 Covered 2103 , Encoding "UMIN_32U_minmax_imm" 0xfffc0000 0x11cc0000 Covered 2104 , Encoding "UMIN_64U_minmax_imm" 0xfffc0000 0x91cc0000 Covered 2105 , Encoding "UMIN_32_dp_2src" 0xffe0fc00 0x1ac06c00 Covered 2106 , Encoding "UMIN_64_dp_2src" 0xffe0fc00 0x9ac06c00 Covered 2107 , Encoding "UMINP_asimdsame_only" 0xbf20fc00 0x2e20ac00 Covered 2108 , Encoding "UMINV_asimdall_only" 0xbf3ffc00 0x2e31a800 Covered 2109 , Encoding "UMLAL_asimdelem_L" 0xbf00f400 0x2f002000 Covered 2110 , Encoding "UMLAL_asimddiff_L" 0xbf20fc00 0x2e208000 Covered 2111 , Encoding "UMLSL_asimdelem_L" 0xbf00f400 0x2f006000 Covered 2112 , Encoding "UMLSL_asimddiff_L" 0xbf20fc00 0x2e20a000 Covered 2113 , Encoding "UMMLA_asimdsame2_G" 0xffe0fc00 0x6e80a400 2114 (Outside [(0, OpV), (5, OpV), (16, OpV)]) 2115 , Encoding "UMOV_asimdins_W_w" 0xffe0fc00 0x0e003c00 Covered 2116 , Encoding "UMOV_asimdins_X_x" 0xffeffc00 0x4e083c00 Covered 2117 , Encoding "UMSUBL_64WA_dp_3src" 0xffe08000 0x9ba08000 Covered 2118 , Encoding "UMULH_64_dp_3src" 0xffe08000 0x9bc00000 Covered 2119 , Encoding "UMULL_asimdelem_L" 0xbf00f400 0x2f00a000 Covered 2120 , Encoding "UMULL_asimddiff_L" 0xbf20fc00 0x2e20c000 Covered 2121 , Encoding "UQADD_asisdsame_only" 0xff20fc00 0x7e200c00 (Outside []) 2122 , Encoding "UQADD_asimdsame_only" 0xbf20fc00 0x2e200c00 2123 (Outside [(5, OpV), (16, OpV)]) 2124 , Encoding "UQRSHL_asisdsame_only" 0xff20fc00 0x7e205c00 (Outside []) 2125 , Encoding "UQRSHL_asimdsame_only" 0xbf20fc00 0x2e205c00 2126 (Outside [(5, OpV), (16, OpV)]) 2127 , Encoding "UQRSHRN_asisdshf_N" 0xff80fc00 0x7f009c00 (Outside []) 2128 , Encoding "UQRSHRN_asimdshf_N" 0xbf80fc00 0x2f009c00 (Outside [(5, OpV)]) 2129 , Encoding "UQSHL_asisdshf_R" 0xff80fc00 0x7f007400 (Outside []) 2130 , Encoding "UQSHL_asimdshf_R" 0xbf80fc00 0x2f007400 (Outside [(5, OpV)]) 2131 , Encoding "UQSHL_asisdsame_only" 0xff20fc00 0x7e204c00 (Outside []) 2132 , Encoding "UQSHL_asimdsame_only" 0xbf20fc00 0x2e204c00 2133 (Outside [(5, OpV), (16, OpV)]) 2134 , Encoding "UQSHRN_asisdshf_N" 0xff80fc00 0x7f009400 (Outside []) 2135 , Encoding "UQSHRN_asimdshf_N" 0xbf80fc00 0x2f009400 (Outside [(5, OpV)]) 2136 , Encoding "UQSUB_asisdsame_only" 0xff20fc00 0x7e202c00 (Outside []) 2137 , Encoding "UQSUB_asimdsame_only" 0xbf20fc00 0x2e202c00 2138 (Outside [(5, OpV), (16, OpV)]) 2139 , Encoding "UQXTN_asisdmisc_N" 0xff3ffc00 0x7e214800 (Outside []) 2140 , Encoding "UQXTN_asimdmisc_N" 0xbf3ffc00 0x2e214800 (Outside [(5, OpV)]) 2141 , Encoding "URECPE_asimdmisc_R" 0xbfbffc00 0x0ea1c800 (Outside [(5, OpV)]) 2142 , Encoding "URHADD_asimdsame_only" 0xbf20fc00 0x2e201400 2143 (Outside [(5, OpV), (16, OpV)]) 2144 , Encoding "URSHL_asisdsame_only" 0xff20fc00 0x7e205400 (Outside []) 2145 , Encoding "URSHL_asimdsame_only" 0xbf20fc00 0x2e205400 2146 (Outside [(5, OpV), (16, OpV)]) 2147 , Encoding "URSHR_asisdshf_R" 0xff80fc00 0x7f002400 (Outside []) 2148 , Encoding "URSHR_asimdshf_R" 0xbf80fc00 0x2f002400 (Outside [(5, OpV)]) 2149 , Encoding "URSQRTE_asimdmisc_R" 0xbfbffc00 0x2ea1c800 (Outside [(5, OpV)]) 2150 , Encoding "URSRA_asisdshf_R" 0xff80fc00 0x7f003400 (Outside []) 2151 , Encoding "URSRA_asimdshf_R" 0xbf80fc00 0x2f003400 (Outside [(5, OpV)]) 2152 , Encoding "USDOT_asimdelem_D" 0xbfc0f400 0x0f80f000 2153 (Outside [(0, OpV), (5, OpV)]) 2154 , Encoding "USDOT_asimdsame2_D" 0xbfe0fc00 0x0e809c00 2155 (Outside [(0, OpV), (5, OpV), (16, OpV)]) 2156 , Encoding "USHL_asisdsame_only" 0xff20fc00 0x7e204400 Covered 2157 , Encoding "USHL_asimdsame_only" 0xbf20fc00 0x2e204400 Covered 2158 , Encoding "USHLL_asimdshf_L" 0xbf80fc00 0x2f00a400 Covered 2159 , Encoding "USHR_asisdshf_R" 0xff80fc00 0x7f000400 Covered 2160 , Encoding "USHR_asimdshf_R" 0xbf80fc00 0x2f000400 Covered 2161 , Encoding "USMMLA_asimdsame2_G" 0xffe0fc00 0x4e80ac00 2162 (Outside [(0, OpV), (5, OpV), (16, OpV)]) 2163 , Encoding "USQADD_asisdmisc_R" 0xff3ffc00 0x7e203800 (Outside []) 2164 , Encoding "USQADD_asimdmisc_R" 0xbf3ffc00 0x2e203800 (Outside [(5, OpV)]) 2165 , Encoding "USRA_asisdshf_R" 0xff80fc00 0x7f001400 Covered 2166 , Encoding "USRA_asimdshf_R" 0xbf80fc00 0x2f001400 Covered 2167 , Encoding "USUBL_asimddiff_L" 0xbf20fc00 0x2e202000 Covered 2168 , Encoding "USUBW_asimddiff_W" 0xbf20fc00 0x2e203000 Covered 2169 , Encoding "UZP1_asimdperm_only" 0xbf20fc00 0x0e001800 Covered 2170 , Encoding "UZP2_asimdperm_only" 0xbf20fc00 0x0e005800 Covered 2171 , Encoding "WFE_HI_hints" 0xffffffff 0xd503205f Control 2172 , Encoding "WFET_only_systeminstrswithreg" 0xffffffe0 0xd5031000 Control 2173 , Encoding "WFI_HI_hints" 0xffffffff 0xd503207f Control 2174 , Encoding "WFIT_only_systeminstrswithreg" 0xffffffe0 0xd5031020 Control 2175 , Encoding "XAFLAG_M_pstate" 0xfffff0ff 0xd500403f Control 2176 , Encoding "XAR_VVV2_crypto3_imm6" 0xffe00000 0xce800000 Covered 2177 , Encoding "XPACD_64Z_dp_1src" 0xffffffe0 0xdac147e0 (Outside []) 2178 , Encoding "XPACI_64Z_dp_1src" 0xffffffe0 0xdac143e0 (Outside []) 2179 , Encoding "XPACLRI_HI_hints" 0xffffffff 0xd50320ff (Outside []) 2180 , Encoding "XTN_asimdmisc_N" 0xbf3ffc00 0x0e212800 Covered 2181 , Encoding "YIELD_HI_hints" 0xffffffff 0xd503203f Control 2182 , Encoding "ZIP1_asimdperm_only" 0xbf20fc00 0x0e003800 Covered 2183 , Encoding "ZIP2_asimdperm_only" 0xbf20fc00 0x0e007800 Covered 2184 ]