test/MC/Disassembler/ARM/thumb2-v8.1m.txt

   1 # RUN: not llvm-mc -disassemble --show-encoding %s -triple=thumbv8.1m.main 2> %t | FileCheck %s
   2 # RUN: FileCheck --check-prefix=ERROR < %t %s
   3
   4 # CHECK:  bf #24, #46
   5 0x40 0xf6 0x17 0xe8
   6 0xb8 0xbf
   7
   8 # CHECK:  bflt #18, #40
   9 0xc0 0xf4 0x15 0xe0
  10
  11 # CHECK: bfcsel #14, #36, #16, ne
  12 0x84 0xf3 0x13 0xe0
  13
  14 # CHECK:  bfx #10, r2
  15 0xe2 0xf2 0x01 0xe0
  16
  17 # CHECK:  bflx #6, r3
  18 0xf3 0xf1 0x01 0xe0
  19
  20 # CHECK:  bfl #2, #30402
  21 0x87 0xf0 0x61 0xcb
  22
  23 # CHECK:  wls lr, r8, #36
  24 0x48 0xf0 0x13 0xc0
  25
  26 # CHECK:  dls lr, r10
  27 0x4a 0xf0 0x01 0xe0
  28
  29 # CHECK:  le #-24
  30 0x2f 0xf0 0x0d 0xc0
  31
  32 # CHECK:  le lr, #-32
  33 0x0f 0xf0 0x11 0xc0
  34
  35 # CHECK: bf      #10, #-56508  @ encoding: [0xd2,0xf2,0xa3,0xe1]
  36 0xd2 0xf2 0xa3 0xe1
  37
  38 # CHECK: bf      #10, #3942  @ encoding: [0xc0,0xf2,0xb3,0xef]
  39 0xc0 0xf2 0xb3 0xef
  40
  41 # CHECK: bf      #10, #50810  @ encoding: [0xcc,0xf2,0x3d,0xeb]
  42 0xcc 0xf2 0x3d 0xeb
  43
  44 # CHECK: bf      #12, #-35896  @ encoding: [0x57,0xf3,0xe5,0xe1]
  45 0x57 0xf3 0xe5 0xe1
  46
  47 # CHECK: bf      #12, #-62848  @ encoding: [0x50,0xf3,0x41,0xe5]
  48 0x50 0xf3 0x41 0xe5
  49
  50 # CHECK: bf      #12, #25864  @ encoding: [0x46,0xf3,0x85,0xe2]
  51 0x46 0xf3 0x85 0xe2
  52
  53 # CHECK: bf      #12, #30558  @ encoding: [0x47,0xf3,0xaf,0xeb]
  54 0x47 0xf3 0xaf 0xeb
  55
  56 # CHECK: bf      #12, #33774  @ encoding: [0x48,0xf3,0xf7,0xe9]
  57 0x48 0xf3 0xf7 0xe9
  58
  59 # CHECK: bf      #14, #-48062  @ encoding: [0xd4,0xf3,0x21,0xea]
  60 0xd4 0xf3 0x21 0xea
  61
  62 # CHECK: bf      #16, #58260  @ encoding: [0x4e,0xf4,0xcb,0xe1]
  63 0x4e 0xf4 0xcb 0xe1
  64
  65 # CHECK: bf      #2, #1814  @ encoding: [0xc0,0xf0,0x8b,0xeb]
  66 0xc0 0xf0 0x8b 0xeb
  67
  68 # CHECK: bf      #2, #28648  @ encoding: [0xc6,0xf0,0xf5,0xe7]
  69 0xc6 0xf0 0xf5 0xe7
  70
  71 # CHECK: bf      #2, #39722  @ encoding: [0xc9,0xf0,0x95,0xed]
  72 0xc9 0xf0 0x95 0xed
  73
  74 # CHECK: bf      #2, #50996  @ encoding: [0xcc,0xf0,0x9b,0xe3]
  75 0xcc 0xf0 0x9b 0xe3
  76
  77 # CHECK: bf      #20, #-31552  @ encoding: [0x58,0xf5,0x61,0xe2]
  78 0x58 0xf5 0x61 0xe2
  79
  80 # CHECK: bf      #22, #40634  @ encoding: [0xc9,0xf5,0x5d,0xef]
  81 0xc9 0xf5 0x5d 0xef
  82
  83 # CHECK: bf      #24, #-17436  @ encoding: [0x5b,0xf6,0xf3,0xe5]
  84 0x5b 0xf6 0xf3 0xe5
  85
  86 # CHECK: bf      #24, #-29092  @ encoding: [0x58,0xf6,0x2f,0xe7]
  87 0x58 0xf6 0x2f 0xe7
  88
  89 # CHECK: bf      #24, #-41178  @ encoding: [0x55,0xf6,0x93,0xef]
  90 0x55 0xf6 0x93 0xef
  91
  92 # CHECK: bf      #24, #26858  @ encoding: [0x46,0xf6,0x75,0xec]
  93 0x46 0xf6 0x75 0xec
  94
  95 # CHECK: bf      #24, #58116  @ encoding: [0x4e,0xf6,0x83,0xe1]
  96 0x4e 0xf6 0x83 0xe1
  97
  98 # CHECK: bf      #26, #-46754  @ encoding: [0xd4,0xf6,0xaf,0xec]
  99 0xd4 0xf6 0xaf 0xec
 100
 101 # CHECK: bf      #26, #-64786  @ encoding: [0xd0,0xf6,0x77,0xe9]
 102 0xd0 0xf6 0x77 0xe9
 103
 104 # CHECK: bf      #26, #35362  @ encoding: [0xc8,0xf6,0x11,0xed]
 105 0xc8 0xf6 0x11 0xed
 106
 107 # CHECK: bf      #28, #-13500  @ encoding: [0x5c,0xf7,0xa3,0xe5]
 108 0x5c 0xf7 0xa3 0xe5
 109
 110 # CHECK: bf      #28, #-15996  @ encoding: [0x5c,0xf7,0xc3,0xe0]
 111 0x5c 0xf7 0xc3 0xe0
 112
 113 # CHECK: bf      #28, #-19990  @ encoding: [0x5b,0xf7,0xf5,0xe8]
 114 0x5b 0xf7 0xf5 0xe8
 115
 116 # CHECK: bf      #28, #-2302  @ encoding: [0x5f,0xf7,0x81,0xeb]
 117 0x5f 0xf7 0x81 0xeb
 118
 119 # CHECK: bf      #28, #-46326  @ encoding: [0x54,0xf7,0x85,0xed]
 120 0x54 0xf7 0x85 0xed
 121
 122 # CHECK: bf      #28, #24202  @ encoding: [0x45,0xf7,0x45,0xef]
 123 0x45 0xf7 0x45 0xef
 124
 125 # CHECK: bf      #28, #28282  @ encoding: [0x46,0xf7,0x3d,0xef]
 126 0x46 0xf7 0x3d 0xef
 127
 128 # CHECK: bf      #28, #57104  @ encoding: [0x4d,0xf7,0x89,0xe7]
 129 0x4d 0xf7 0x89 0xe7
 130
 131 # CHECK: bf      #30, #-25942  @ encoding: [0xd9,0xf7,0x55,0xed]
 132 0xd9 0xf7 0x55 0xed
 133
 134 # CHECK: bf      #30, #-32656  @ encoding: [0xd8,0xf7,0x39,0xe0]
 135 0xd8 0xf7 0x39 0xe0
 136
 137 # CHECK: bf      #4, #-23408  @ encoding: [0x5a,0xf1,0x49,0xe2]
 138 0x5a 0xf1 0x49 0xe2
 139
 140 # CHECK: bf      #4, #28878  @ encoding: [0x47,0xf1,0x67,0xe8]
 141 0x47 0xf1 0x67 0xe8
 142
 143 # CHECK: bf      #4, #31362  @ encoding: [0x47,0xf1,0x41,0xed]
 144 0x47 0xf1 0x41 0xed
 145
 146 # CHECK: bf      #6, #23604  @ encoding: [0xc5,0xf1,0x1b,0xe6]
 147 0xc5 0xf1 0x1b 0xe6
 148
 149 # CHECK: bf      #6, #9258  @ encoding: [0xc2,0xf1,0x15,0xea]
 150 0xc2 0xf1 0x15 0xea
 151
 152 # CHECK: bf      #8, #-10032  @ encoding: [0x5d,0xf2,0x69,0xe4]
 153 0x5d 0xf2 0x69 0xe4
 154
 155 # CHECK: bf      #8, #-26268  @ encoding: [0x59,0xf2,0xb3,0xe4]
 156 0x59 0xf2 0xb3 0xe4
 157
 158 # CHECK: bf      #8, #-60046  @ encoding: [0x51,0xf2,0xb9,0xea]
 159 0x51 0xf2 0xb9 0xea
 160
 161 # CHECK: bf      #8, #19254  @ encoding: [0x44,0xf2,0x9b,0xed]
 162 0x44 0xf2 0x9b 0xed
 163
 164 # CHECK: bf      #8, #38620  @ encoding: [0x49,0xf2,0x6f,0xe3]
 165 0x49 0xf2 0x6f 0xe3
 166
 167 # CHECK: bfcsel  #10, #-672, #14, lt  @ encoding: [0xaf,0xf2,0xb1,0xe6]
 168 0xaf 0xf2 0xb1 0xe6
 169
 170 # CHECK: bfcsel  #10, #2584, #12, pl  @ encoding: [0x94,0xf2,0x0d,0xe5]
 171 0x94 0xf2 0x0d 0xe5
 172
 173 # CHECK: bfcsel  #12, #1358, #14, ls  @ encoding: [0x24,0xf3,0xa7,0xea]
 174 0x24 0xf3 0xa7 0xea
 175
 176 # CHECK: bfcsel  #12, #2108, #14, mi  @ encoding: [0x10,0xf3,0x1f,0xe4]
 177 0x10 0xf3 0x1f 0xe4
 178
 179 # CHECK: bfcsel  #12, #2794, #16, eq  @ encoding: [0x02,0xf3,0x75,0xed]
 180 0x02 0xf3 0x75 0xed
 181
 182 # CHECK: bfcsel  #14, #-1174, #18, vc  @ encoding: [0x9f,0xf3,0xb5,0xed]
 183 0x9f 0xf3 0xb5 0xed
 184
 185 # CHECK: bfcsel  #14, #1466, #18, ge  @ encoding: [0xaa,0xf3,0xdd,0xea]
 186 0xaa 0xf3 0xdd 0xea
 187
 188 # CHECK: bfcsel  #14, #466, #16, lo  @ encoding: [0x8c,0xf3,0xe9,0xe8]
 189 0x8c 0xf3 0xe9 0xe8
 190
 191 # CHECK: bfcsel  #16, #-2782, #20, vs  @ encoding: [0x1b,0xf4,0x91,0xea]
 192 0x1b 0xf4 0x91 0xea
 193
 194 # CHECK: bfcsel  #16, #124, #18, ls  @ encoding: [0x24,0xf4,0x3f,0xe0]
 195 0x24 0xf4 0x3f 0xe0
 196
 197 # CHECK: bfcsel  #16, #1320, #20, ne  @ encoding: [0x06,0xf4,0x95,0xe2]
 198 0x06 0xf4 0x95 0xe2
 199
 200 # CHECK: bfcsel  #18, #-1914, #20, gt  @ encoding: [0xb1,0xf4,0x43,0xec]
 201 0xb1 0xf4 0x43 0xec
 202
 203 # CHECK: bfcsel  #18, #-3102, #20, eq  @ encoding: [0x81,0xf4,0xf1,0xe9]
 204 0x81 0xf4 0xf1 0xe9
 205
 206 # CHECK: bfcsel  #18, #3872, #20, eq  @ encoding: [0x80,0xf4,0x91,0xe7]
 207 0x80 0xf4 0x91 0xe7
 208
 209 # CHECK: bfcsel  #2, #-1354, #4, vs  @ encoding: [0x99,0xf0,0x5b,0xed]
 210 0x99 0xf0 0x5b 0xed
 211
 212 # CHECK: bfcsel  #2, #-144, #4, le  @ encoding: [0xb5,0xf0,0xb9,0xe7]
 213 0xb5 0xf0 0xb9 0xe7
 214
 215 # CHECK: bfcsel  #2, #1552, #4, vc  @ encoding: [0x9c,0xf0,0x09,0xe3]
 216 0x9c 0xf0 0x09 0xe3
 217
 218 # CHECK: bfcsel  #2, #3962, #4, ls  @ encoding: [0xa4,0xf0,0xbd,0xef]
 219 0xa4 0xf0 0xbd 0xef
 220
 221 # CHECK: bfcsel  #20, #-1758, #22, gt  @ encoding: [0x31,0xf5,0x91,0xec]
 222 0x31 0xf5 0x91 0xec
 223
 224 # CHECK: bfcsel  #20, #-2300, #22, mi  @ encoding: [0x11,0xf5,0x83,0xe3]
 225 0x11 0xf5 0x83 0xe3
 226
 227 # CHECK: bfcsel  #20, #1146, #22, le  @ encoding: [0x34,0xf5,0x3d,0xea]
 228 0x34 0xf5 0x3d 0xea
 229
 230 # CHECK: bfcsel  #20, #1526, #24, le  @ encoding: [0x36,0xf5,0xfb,0xea]
 231 0x36 0xf5 0xfb 0xea
 232
 233 # CHECK: bfcsel  #20, #3826, #22, pl  @ encoding: [0x14,0xf5,0x79,0xef]
 234 0x14 0xf5 0x79 0xef
 235
 236 # CHECK: bfcsel  #20, #4060, #22, eq  @ encoding: [0x00,0xf5,0xef,0xe7]
 237 0x00 0xf5 0xef 0xe7
 238
 239 # CHECK: bfcsel  #22, #1438, #26, gt  @ encoding: [0xb2,0xf5,0xcf,0xea]
 240 0xb2 0xf5 0xcf 0xea
 241
 242 # CHECK: bfcsel  #24, #-2782, #28, ne  @ encoding: [0x07,0xf6,0x91,0xea]
 243 0x07 0xf6 0x91 0xea
 244
 245 # CHECK: bfcsel  #26, #-2112, #28, ge  @ encoding: [0xa9,0xf6,0xe1,0xe3]
 246 0xa9 0xf6 0xe1 0xe3
 247
 248 # CHECK: bfcsel  #26, #3534, #30, lo  @ encoding: [0x8e,0xf6,0xe7,0xee]
 249 0x8e 0xf6 0xe7 0xee
 250
 251 # CHECK: bfcsel  #28, #-3198, #32, lo  @ encoding: [0x0f,0xf7,0xc1,0xe9]
 252 0x0f 0xf7 0xc1 0xe9
 253
 254 # CHECK: bfcsel  #28, #3924, #32, pl  @ encoding: [0x16,0xf7,0xab,0xe7]
 255 0x16 0xf7 0xab 0xe7
 256
 257 # CHECK: bfcsel  #30, #-1958, #32, ge  @ encoding: [0xa9,0xf7,0x2d,0xec]
 258 0xa9 0xf7 0x2d 0xec
 259
 260 # CHECK: bfcsel  #30, #2794, #34, vc  @ encoding: [0x9e,0xf7,0x75,0xed]
 261 0x9e 0xf7 0x75 0xed
 262
 263 # CHECK: bfcsel  #30, #472, #32, ge  @ encoding: [0xa8,0xf7,0xed,0xe0]
 264 0xa8 0xf7 0xed 0xe0
 265
 266 # CHECK: bfcsel  #4, #-2146, #6, lt  @ encoding: [0x2d,0xf1,0xcf,0xeb]
 267 0x2d 0xf1 0xcf 0xeb
 268
 269 # CHECK: bfcsel  #4, #-3718, #8, lo  @ encoding: [0x0f,0xf1,0xbd,0xe8]
 270 0x0f 0xf1 0xbd 0xe8
 271
 272 # CHECK: bfcsel  #4, #-454, #8, ls  @ encoding: [0x27,0xf1,0x1d,0xef]
 273 0x27 0xf1 0x1d 0xef
 274
 275 # CHECK: bfcsel  #6, #3808, #8, gt  @ encoding: [0xb0,0xf1,0x71,0xe7]
 276 0xb0 0xf1 0x71 0xe7
 277
 278 # CHECK: bfcsel  #8, #-1158, #12, ls  @ encoding: [0x27,0xf2,0xbd,0xed]
 279 0x27 0xf2 0xbd 0xed
 280
 281 # CHECK: bfcsel  #8, #2558, #10, ne  @ encoding: [0x04,0xf2,0xff,0xec]
 282 0x04 0xf2 0xff 0xec
 283
 284 # CHECK: bfcsel  #8, #906, #10, hi  @ encoding: [0x20,0xf2,0xc5,0xe9]
 285 0x20 0xf2 0xc5 0xe9
 286
 287 # CHECK: bfl     #10, #-201030  @ encoding: [0xce,0xf2,0x5d,0xcf]
 288 0xce 0xf2 0x5d 0xcf
 289
 290 # CHECK: bfl     #10, #-246952  @ encoding: [0xc3,0xf2,0xad,0xc5]
 291 0xc3 0xf2 0xad 0xc5
 292
 293 # CHECK: bfl     #10, #173972  @ encoding: [0xaa,0xf2,0xcb,0xc3]
 294 0xaa 0xf2 0xcb 0xc3
 295
 296 # CHECK: bfl     #10, #95564  @ encoding: [0x97,0xf2,0xa7,0xc2]
 297 0x97 0xf2 0xa7 0xc2
 298
 299 # CHECK: bfl     #12, #-125840  @ encoding: [0x61,0xf3,0x39,0xc2]
 300 0x61 0xf3 0x39 0xc2
 301
 302 # CHECK: bfl     #12, #-143570  @ encoding: [0x5c,0xf3,0x97,0xcf]
 303 0x5c 0xf3 0x97 0xcf
 304
 305 # CHECK: bfl     #12, #128910  @ encoding: [0x1f,0xf3,0xc7,0xcb]
 306 0x1f 0xf3 0xc7 0xcb
 307
 308 # CHECK: bfl     #12, #221064  @ encoding: [0x35,0xf3,0xc5,0xc7]
 309 0x35 0xf3 0xc5 0xc7
 310
 311 # CHECK: bfl     #14, #136028  @ encoding: [0xa1,0xf3,0xaf,0xc1]
 312 0xa1 0xf3 0xaf 0xc1
 313
 314 # CHECK: bfl     #14, #158274  @ encoding: [0xa6,0xf3,0x21,0xcd]
 315 0xa6 0xf3 0x21 0xcd
 316
 317 # CHECK: bfl     #16, #-1934  @ encoding: [0x7f,0xf4,0x39,0xcc]
 318 0x7f 0xf4 0x39 0xcc
 319
 320 # CHECK: bfl     #16, #231446  @ encoding: [0x38,0xf4,0x0b,0xcc]
 321 0x38 0xf4 0x0b 0xcc
 322
 323 # CHECK: bfl     #18, #-15646  @ encoding: [0xfc,0xf4,0x71,0xc9]
 324 0xfc 0xf4 0x71 0xc9
 325
 326 # CHECK: bfl     #18, #132222  @ encoding: [0xa0,0xf4,0x3f,0xca]
 327 0xa0 0xf4 0x3f 0xca
 328
 329 # CHECK: bfl     #18, #158602  @ encoding: [0xa6,0xf4,0xc5,0xcd]
 330 0xa6 0xf4 0xc5 0xcd
 331
 332 # CHECK: bfl     #18, #176344  @ encoding: [0xab,0xf4,0x6d,0xc0]
 333 0xab 0xf4 0x6d 0xc0
 334
 335 # CHECK: bfl     #2, #-143878  @ encoding: [0xdc,0xf0,0xfd,0xce]
 336 0xdc 0xf0 0xfd 0xce
 337
 338 # CHECK: bfl     #2, #-198298  @ encoding: [0xcf,0xf0,0xb3,0xcc]
 339 0xcf 0xf0 0xb3 0xcc
 340
 341 # CHECK: bfl     #2, #229916  @ encoding: [0xb8,0xf0,0x0f,0xc1]
 342 0xb8 0xf0 0x0f 0xc1
 343
 344 # CHECK: bfl     #2, #69548  @ encoding: [0x90,0xf0,0xd7,0xc7]
 345 0x90 0xf0 0xd7 0xc7
 346
 347 # CHECK: bfl     #20, #-118408  @ encoding: [0x63,0xf5,0xbd,0xc0]
 348 0x63 0xf5 0xbd 0xc0
 349
 350 # CHECK: bfl     #20, #-249792  @ encoding: [0x43,0xf5,0x21,0xc0]
 351 0x43 0xf5 0x21 0xc0
 352
 353 # CHECK: bfl     #20, #207388  @ encoding: [0x32,0xf5,0x0f,0xc5]
 354 0x32 0xf5 0x0f 0xc5
 355
 356 # CHECK: bfl     #20, #227830  @ encoding: [0x37,0xf5,0xfb,0xcc]
 357 0x37 0xf5 0xfb 0xcc
 358
 359 # CHECK: bfl     #20, #33722  @ encoding: [0x08,0xf5,0xdd,0xc9]
 360 0x08 0xf5 0xdd 0xc9
 361
 362 # CHECK: bfl     #22, #207354  @ encoding: [0xb2,0xf5,0xfd,0xcc]
 363 0xb2 0xf5 0xfd 0xcc
 364
 365 # CHECK: bfl     #22, #232416  @ encoding: [0xb8,0xf5,0xf1,0xc5]
 366 0xb8 0xf5 0xf1 0xc5
 367
 368 # CHECK: bfl     #24, #-138084  @ encoding: [0x5e,0xf6,0x4f,0xc2]
 369 0x5e 0xf6 0x4f 0xc2
 370
 371 # CHECK: bfl     #24, #-258634  @ encoding: [0x40,0xf6,0xdb,0xce]
 372 0x40 0xf6 0xdb 0xce
 373
 374 # CHECK: bfl     #24, #208602  @ encoding: [0x32,0xf6,0x6d,0xcf]
 375 0x32 0xf6 0x6d 0xcf
 376
 377 # CHECK: bfl     #24, #44986  @ encoding: [0x0a,0xf6,0xdd,0xcf]
 378 0x0a 0xf6 0xdd 0xcf
 379
 380 # CHECK: bfl     #26, #128586  @ encoding: [0x9f,0xf6,0x25,0xcb]
 381 0x9f 0xf6 0x25 0xcb
 382
 383 # CHECK: bfl     #26, #2276  @ encoding: [0x80,0xf6,0x73,0xc4]
 384 0x80 0xf6 0x73 0xc4
 385
 386 # CHECK: bfl     #28, #-194678  @ encoding: [0x50,0xf7,0xc5,0xcb]
 387 0x50 0xf7 0xc5 0xcb
 388
 389 # CHECK: bfl     #28, #-245860  @ encoding: [0x43,0xf7,0xcf,0xc7]
 390 0x43 0xf7 0xcf 0xc7
 391
 392 # CHECK: bfl     #30, #181956  @ encoding: [0xac,0xf7,0x63,0xc3]
 393 0xac 0xf7 0x63 0xc3
 394
 395 # CHECK: bfl     #30, #227704  @ encoding: [0xb7,0xf7,0xbd,0xc4]
 396 0xb7 0xf7 0xbd 0xc4
 397
 398 # CHECK: bfl     #30, #52348  @ encoding: [0x8c,0xf7,0x3f,0xc6]
 399 0x8c 0xf7 0x3f 0xc6
 400
 401 # CHECK: bfl     #4, #-228328  @ encoding: [0x48,0xf1,0x0d,0xc2]
 402 0x48 0xf1 0x0d 0xc2
 403
 404 # CHECK: bfl     #4, #-72122  @ encoding: [0x6e,0xf1,0x23,0xcb]
 405 0x6e 0xf1 0x23 0xcb
 406
 407 # CHECK: bfl     #4, #129032  @ encoding: [0x1f,0xf1,0x05,0xc4]
 408 0x1f 0xf1 0x05 0xc4
 409
 410 # CHECK: bfl     #4, #221134  @ encoding: [0x35,0xf1,0xe7,0xcf]
 411 0x35 0xf1 0xe7 0xcf
 412
 413 # CHECK: bfl     #6, #-106948  @ encoding: [0xe5,0xf1,0x1f,0xc7]
 414 0xe5 0xf1 0x1f 0xc7
 415
 416 # CHECK: bfl     #6, #-135484  @ encoding: [0xde,0xf1,0x63,0xc7]
 417 0xde 0xf1 0x63 0xc7
 418
 419 # CHECK: bfl     #6, #-169018  @ encoding: [0xd6,0xf1,0xe3,0xcd]
 420 0xd6 0xf1 0xe3 0xcd
 421
 422 # CHECK: bfl     #8, #-212316  @ encoding: [0x4c,0xf2,0x53,0xc1]
 423 0x4c 0xf2 0x53 0xc1
 424
 425 # CHECK: bfl     #8, #148710  @ encoding: [0x24,0xf2,0x73,0xca]
 426 0x24 0xf2 0x73 0xca
 427
 428 # CHECK: bfl     #8, #15868  @ encoding: [0x03,0xf2,0xff,0xc6]
 429 0x03 0xf2 0xff 0xc6
 430
 431 # CHECK: bfl     #8, #215194  @ encoding: [0x34,0xf2,0x4d,0xcc]
 432 0x34 0xf2 0x4d 0xcc
 433
 434 # CHECK: bflx    #10, lr  @ encoding: [0xfe,0xf2,0x01,0xe0]
 435 0xfe 0xf2 0x01 0xe0
 436
 437 # CHECK: bflx    #10, r7  @ encoding: [0xf7,0xf2,0x01,0xe0]
 438 0xf7 0xf2 0x01 0xe0
 439
 440 # CHECK: bflx    #12, r4  @ encoding: [0x74,0xf3,0x01,0xe0]
 441 0x74 0xf3 0x01 0xe0
 442
 443 # CHECK: bflx    #16, r7  @ encoding: [0x77,0xf4,0x01,0xe0]
 444 0x77 0xf4 0x01 0xe0
 445
 446 # CHECK: bflx    #18, r0  @ encoding: [0xf0,0xf4,0x01,0xe0]
 447 0xf0 0xf4 0x01 0xe0
 448
 449 # CHECK: bflx    #18, r1  @ encoding: [0xf1,0xf4,0x01,0xe0]
 450 0xf1 0xf4 0x01 0xe0
 451
 452 # CHECK: bflx    #18, r10  @ encoding: [0xfa,0xf4,0x01,0xe0]
 453 0xfa 0xf4 0x01 0xe0
 454
 455 # CHECK: bflx    #18, r12  @ encoding: [0xfc,0xf4,0x01,0xe0]
 456 0xfc 0xf4 0x01 0xe0
 457
 458 # CHECK: bflx    #18, r3  @ encoding: [0xf3,0xf4,0x01,0xe0]
 459 0xf3 0xf4 0x01 0xe0
 460
 461 # CHECK: bflx    #2, r8  @ encoding: [0xf8,0xf0,0x01,0xe0]
 462 0xf8 0xf0 0x01 0xe0
 463
 464 # CHECK: bflx    #20, r10  @ encoding: [0x7a,0xf5,0x01,0xe0]
 465 0x7a 0xf5 0x01 0xe0
 466
 467 # CHECK: bflx    #20, r11  @ encoding: [0x7b,0xf5,0x01,0xe0]
 468 0x7b 0xf5 0x01 0xe0
 469
 470 # CHECK: bflx    #20, r12  @ encoding: [0x7c,0xf5,0x01,0xe0]
 471 0x7c 0xf5 0x01 0xe0
 472
 473 # CHECK: bflx    #20, r3  @ encoding: [0x73,0xf5,0x01,0xe0]
 474 0x73 0xf5 0x01 0xe0
 475
 476 # CHECK: bflx    #20, r6  @ encoding: [0x76,0xf5,0x01,0xe0]
 477 0x76 0xf5 0x01 0xe0
 478
 479 # CHECK: bflx    #20, r7  @ encoding: [0x77,0xf5,0x01,0xe0]
 480 0x77 0xf5 0x01 0xe0
 481
 482 # CHECK: bflx    #22, r0  @ encoding: [0xf0,0xf5,0x01,0xe0]
 483 0xf0 0xf5 0x01 0xe0
 484
 485 # CHECK: bflx    #22, r11  @ encoding: [0xfb,0xf5,0x01,0xe0]
 486 0xfb 0xf5 0x01 0xe0
 487
 488 # CHECK: bflx    #24, r11  @ encoding: [0x7b,0xf6,0x01,0xe0]
 489 0x7b 0xf6 0x01 0xe0
 490
 491 # CHECK: bflx    #24, r5  @ encoding: [0x75,0xf6,0x01,0xe0]
 492 0x75 0xf6 0x01 0xe0
 493
 494 # CHECK: bflx    #26, lr  @ encoding: [0xfe,0xf6,0x01,0xe0]
 495 0xfe 0xf6 0x01 0xe0
 496
 497 # CHECK: bflx    #26, r0  @ encoding: [0xf0,0xf6,0x01,0xe0]
 498 0xf0 0xf6 0x01 0xe0
 499
 500 # CHECK: bflx    #26, r11  @ encoding: [0xfb,0xf6,0x01,0xe0]
 501 0xfb 0xf6 0x01 0xe0
 502
 503 # CHECK: bflx    #26, r7  @ encoding: [0xf7,0xf6,0x01,0xe0]
 504 0xf7 0xf6 0x01 0xe0
 505
 506 # CHECK: bflx    #26, r8  @ encoding: [0xf8,0xf6,0x01,0xe0]
 507 0xf8 0xf6 0x01 0xe0
 508
 509 # CHECK: bflx    #28, r2  @ encoding: [0x72,0xf7,0x01,0xe0]
 510 0x72 0xf7 0x01 0xe0
 511
 512 # CHECK: bflx    #28, r7  @ encoding: [0x77,0xf7,0x01,0xe0]
 513 0x77 0xf7 0x01 0xe0
 514
 515 # CHECK: bflx    #30, r2  @ encoding: [0xf2,0xf7,0x01,0xe0]
 516 0xf2 0xf7 0x01 0xe0
 517
 518 # CHECK: bflx    #30, r3  @ encoding: [0xf3,0xf7,0x01,0xe0]
 519 0xf3 0xf7 0x01 0xe0
 520
 521 # CHECK: bflx    #30, r5  @ encoding: [0xf5,0xf7,0x01,0xe0]
 522 0xf5 0xf7 0x01 0xe0
 523
 524 # CHECK: bflx    #30, r7  @ encoding: [0xf7,0xf7,0x01,0xe0]
 525 0xf7 0xf7 0x01 0xe0
 526
 527 # CHECK: bflx    #4, r9  @ encoding: [0x79,0xf1,0x01,0xe0]
 528 0x79 0xf1 0x01 0xe0
 529
 530 # CHECK: bflx    #6, r3  @ encoding: [0xf3,0xf1,0x01,0xe0]
 531 0xf3 0xf1 0x01 0xe0
 532
 533 # CHECK: bflx    #6, r4  @ encoding: [0xf4,0xf1,0x01,0xe0]
 534 0xf4 0xf1 0x01 0xe0
 535
 536 # CHECK: bflx    #6, r7  @ encoding: [0xf7,0xf1,0x01,0xe0]
 537 0xf7 0xf1 0x01 0xe0
 538
 539 # CHECK: bflx    #8, r1  @ encoding: [0x71,0xf2,0x01,0xe0]
 540 0x71 0xf2 0x01 0xe0
 541
 542 # CHECK: bflx    #8, r9  @ encoding: [0x79,0xf2,0x01,0xe0]
 543 0x79 0xf2 0x01 0xe0
 544
 545 # CHECK: bfx     #10, r1  @ encoding: [0xe1,0xf2,0x01,0xe0]
 546 0xe1 0xf2 0x01 0xe0
 547
 548 # CHECK: bfx     #10, r6  @ encoding: [0xe6,0xf2,0x01,0xe0]
 549 0xe6 0xf2 0x01 0xe0
 550
 551 # CHECK: bfx     #10, r7  @ encoding: [0xe7,0xf2,0x01,0xe0]
 552 0xe7 0xf2 0x01 0xe0
 553
 554 # CHECK: bfx     #12, r2  @ encoding: [0x62,0xf3,0x01,0xe0]
 555 0x62 0xf3 0x01 0xe0
 556
 557 # CHECK: bfx     #12, r4  @ encoding: [0x64,0xf3,0x01,0xe0]
 558 0x64 0xf3 0x01 0xe0
 559
 560 # CHECK: bfx     #12, r9  @ encoding: [0x69,0xf3,0x01,0xe0]
 561 0x69 0xf3 0x01 0xe0
 562
 563 # CHECK: bfx     #14, r10  @ encoding: [0xea,0xf3,0x01,0xe0]
 564 0xea 0xf3 0x01 0xe0
 565
 566 # CHECK: bfx     #14, r3  @ encoding: [0xe3,0xf3,0x01,0xe0]
 567 0xe3 0xf3 0x01 0xe0
 568
 569 # CHECK: bfx     #14, r5  @ encoding: [0xe5,0xf3,0x01,0xe0]
 570 0xe5 0xf3 0x01 0xe0
 571
 572 # CHECK: bfx     #14, r7  @ encoding: [0xe7,0xf3,0x01,0xe0]
 573 0xe7 0xf3 0x01 0xe0
 574
 575 # CHECK: bfx     #16, r4  @ encoding: [0x64,0xf4,0x01,0xe0]
 576 0x64 0xf4 0x01 0xe0
 577
 578 # CHECK: bfx     #16, r6  @ encoding: [0x66,0xf4,0x01,0xe0]
 579 0x66 0xf4 0x01 0xe0
 580
 581 # CHECK: bfx     #2, r1  @ encoding: [0xe1,0xf0,0x01,0xe0]
 582 0xe1 0xf0 0x01 0xe0
 583
 584 # CHECK: bfx     #2, r12  @ encoding: [0xec,0xf0,0x01,0xe0]
 585 0xec 0xf0 0x01 0xe0
 586
 587 # CHECK: bfx     #2, r6  @ encoding: [0xe6,0xf0,0x01,0xe0]
 588 0xe6 0xf0 0x01 0xe0
 589
 590 # CHECK: bfx     #20, r6  @ encoding: [0x66,0xf5,0x01,0xe0]
 591 0x66 0xf5 0x01 0xe0
 592
 593 # CHECK: bfx     #20, r8  @ encoding: [0x68,0xf5,0x01,0xe0]
 594 0x68 0xf5 0x01 0xe0
 595
 596 # CHECK: bfx     #22, r0  @ encoding: [0xe0,0xf5,0x01,0xe0]
 597 0xe0 0xf5 0x01 0xe0
 598
 599 # CHECK: bfx     #22, r12  @ encoding: [0xec,0xf5,0x01,0xe0]
 600 0xec 0xf5 0x01 0xe0
 601
 602 # CHECK: bfx     #22, r8  @ encoding: [0xe8,0xf5,0x01,0xe0]
 603 0xe8 0xf5 0x01 0xe0
 604
 605 # CHECK: bfx     #24, r1  @ encoding: [0x61,0xf6,0x01,0xe0]
 606 0x61 0xf6 0x01 0xe0
 607
 608 # CHECK: bfx     #26, lr  @ encoding: [0xee,0xf6,0x01,0xe0]
 609 0xee 0xf6 0x01 0xe0
 610
 611 # CHECK: bfx     #26, r5  @ encoding: [0xe5,0xf6,0x01,0xe0]
 612 0xe5 0xf6 0x01 0xe0
 613
 614 # CHECK: bfx     #26, r8  @ encoding: [0xe8,0xf6,0x01,0xe0]
 615 0xe8 0xf6 0x01 0xe0
 616
 617 # CHECK: bfx     #28, r0  @ encoding: [0x60,0xf7,0x01,0xe0]
 618 0x60 0xf7 0x01 0xe0
 619
 620 # CHECK: bfx     #28, r3  @ encoding: [0x63,0xf7,0x01,0xe0]
 621 0x63 0xf7 0x01 0xe0
 622
 623 # CHECK: bfx     #28, r4  @ encoding: [0x64,0xf7,0x01,0xe0]
 624 0x64 0xf7 0x01 0xe0
 625
 626 # CHECK: bfx     #28, r5  @ encoding: [0x65,0xf7,0x01,0xe0]
 627 0x65 0xf7 0x01 0xe0
 628
 629 # CHECK: bfx     #30, r7  @ encoding: [0xe7,0xf7,0x01,0xe0]
 630 0xe7 0xf7 0x01 0xe0
 631
 632 # CHECK: bfx     #4, r0  @ encoding: [0x60,0xf1,0x01,0xe0]
 633 0x60 0xf1 0x01 0xe0
 634
 635 # CHECK: bfx     #4, r2  @ encoding: [0x62,0xf1,0x01,0xe0]
 636 0x62 0xf1 0x01 0xe0
 637
 638 # CHECK: bfx     #4, r9  @ encoding: [0x69,0xf1,0x01,0xe0]
 639 0x69 0xf1 0x01 0xe0
 640
 641 # CHECK: bfx     #6, lr  @ encoding: [0xee,0xf1,0x01,0xe0]
 642 0xee 0xf1 0x01 0xe0
 643
 644 # CHECK: bfx     #6, r0  @ encoding: [0xe0,0xf1,0x01,0xe0]
 645 0xe0 0xf1 0x01 0xe0
 646
 647 # CHECK: bfx     #6, r3  @ encoding: [0xe3,0xf1,0x01,0xe0]
 648 0xe3 0xf1 0x01 0xe0
 649
 650 # CHECK: bfx     #8, r0  @ encoding: [0x60,0xf2,0x01,0xe0]
 651 0x60 0xf2 0x01 0xe0
 652
 653 # CHECK: bfx     #8, r11  @ encoding: [0x6b,0xf2,0x01,0xe0]
 654 0x6b 0xf2 0x01 0xe0
 655
 656 # CHECK: bfx     #8, r12  @ encoding: [0x6c,0xf2,0x01,0xe0]
 657 0x6c 0xf2 0x01 0xe0
 658
 659 # CHECK: dls     lr, lr  @ encoding: [0x4e,0xf0,0x01,0xe0]
 660 0x4e 0xf0 0x01 0xe0
 661
 662 # CHECK: dls     lr, r0  @ encoding: [0x40,0xf0,0x01,0xe0]
 663 0x40 0xf0 0x01 0xe0
 664
 665 # CHECK: dls     lr, r1  @ encoding: [0x41,0xf0,0x01,0xe0]
 666 0x41 0xf0 0x01 0xe0
 667
 668 # CHECK: dls     lr, r10  @ encoding: [0x4a,0xf0,0x01,0xe0]
 669 0x4a 0xf0 0x01 0xe0
 670
 671 # CHECK: dls     lr, r11  @ encoding: [0x4b,0xf0,0x01,0xe0]
 672 0x4b 0xf0 0x01 0xe0
 673
 674 # CHECK: dls     lr, r12  @ encoding: [0x4c,0xf0,0x01,0xe0]
 675 0x4c 0xf0 0x01 0xe0
 676
 677 # CHECK: dls     lr, r2  @ encoding: [0x42,0xf0,0x01,0xe0]
 678 0x42 0xf0 0x01 0xe0
 679
 680 # CHECK: dls     lr, r3  @ encoding: [0x43,0xf0,0x01,0xe0]
 681 0x43 0xf0 0x01 0xe0
 682
 683 # CHECK: dls     lr, r5  @ encoding: [0x45,0xf0,0x01,0xe0]
 684 0x45 0xf0 0x01 0xe0
 685
 686 # CHECK: dls     lr, r6  @ encoding: [0x46,0xf0,0x01,0xe0]
 687 0x46 0xf0 0x01 0xe0
 688
 689 # CHECK: dls     lr, r7  @ encoding: [0x47,0xf0,0x01,0xe0]
 690 0x47 0xf0 0x01 0xe0
 691
 692 # CHECK: dls     lr, r8  @ encoding: [0x48,0xf0,0x01,0xe0]
 693 0x48 0xf0 0x01 0xe0
 694
 695 # CHECK: dls     lr, r9  @ encoding: [0x49,0xf0,0x01,0xe0]
 696 0x49 0xf0 0x01 0xe0
 697
 698 # CHECK: le      #-106  @ encoding: [0x2f,0xf0,0x35,0xc8]
 699 0x2f 0xf0 0x35 0xc8
 700
 701 # CHECK: le      #-1172  @ encoding: [0x2f,0xf0,0x4b,0xc2]
 702 0x2f 0xf0 0x4b 0xc2
 703
 704 # CHECK: le      #-1210  @ encoding: [0x2f,0xf0,0x5d,0xca]
 705 0x2f 0xf0 0x5d 0xca
 706
 707 # CHECK: le      #-1260  @ encoding: [0x2f,0xf0,0x77,0xc2]
 708 0x2f 0xf0 0x77 0xc2
 709
 710 # CHECK: le      #-1262  @ encoding: [0x2f,0xf0,0x77,0xca]
 711 0x2f 0xf0 0x77 0xca
 712
 713 # CHECK: le      #-1284  @ encoding: [0x2f,0xf0,0x83,0xc2]
 714 0x2f 0xf0 0x83 0xc2
 715
 716 # CHECK: le      #-1286  @ encoding: [0x2f,0xf0,0x83,0xca]
 717 0x2f 0xf0 0x83 0xca
 718
 719 # CHECK: le      #-1556  @ encoding: [0x2f,0xf0,0x0b,0xc3]
 720 0x2f 0xf0 0x0b 0xc3
 721
 722 # CHECK: le      #-178  @ encoding: [0x2f,0xf0,0x59,0xc8]
 723 0x2f 0xf0 0x59 0xc8
 724
 725 # CHECK: le      #-1882  @ encoding: [0x2f,0xf0,0xad,0xcb]
 726 0x2f 0xf0 0xad 0xcb
 727
 728 # CHECK: le      #-1900  @ encoding: [0x2f,0xf0,0xb7,0xc3]
 729 0x2f 0xf0 0xb7 0xc3
 730
 731 # CHECK: le      #-1910  @ encoding: [0x2f,0xf0,0xbb,0xcb]
 732 0x2f 0xf0 0xbb 0xcb
 733
 734 # CHECK: le      #-2076  @ encoding: [0x2f,0xf0,0x0f,0xc4]
 735 0x2f 0xf0 0x0f 0xc4
 736
 737 # CHECK: le      #-2266  @ encoding: [0x2f,0xf0,0x6d,0xcc]
 738 0x2f 0xf0 0x6d 0xcc
 739
 740 # CHECK: le      #-2324  @ encoding: [0x2f,0xf0,0x8b,0xc4]
 741 0x2f 0xf0 0x8b 0xc4
 742
 743 # CHECK: le      #-2328  @ encoding: [0x2f,0xf0,0x8d,0xc4]
 744 0x2f 0xf0 0x8d 0xc4
 745
 746 # CHECK: le      #-2456  @ encoding: [0x2f,0xf0,0xcd,0xc4]
 747 0x2f 0xf0 0xcd 0xc4
 748
 749 # CHECK: le      #-246  @ encoding: [0x2f,0xf0,0x7b,0xc8]
 750 0x2f 0xf0 0x7b 0xc8
 751
 752 # CHECK: le      #-2476  @ encoding: [0x2f,0xf0,0xd7,0xc4]
 753 0x2f 0xf0 0xd7 0xc4
 754
 755 # CHECK: le      #-2578  @ encoding: [0x2f,0xf0,0x09,0xcd]
 756 0x2f 0xf0 0x09 0xcd
 757
 758 # CHECK: le      #-262  @ encoding: [0x2f,0xf0,0x83,0xc8]
 759 0x2f 0xf0 0x83 0xc8
 760
 761 # CHECK: le      #-2660  @ encoding: [0x2f,0xf0,0x33,0xc5]
 762 0x2f 0xf0 0x33 0xc5
 763
 764 # CHECK: le      #-2722  @ encoding: [0x2f,0xf0,0x51,0xcd]
 765 0x2f 0xf0 0x51 0xcd
 766
 767 # CHECK: le      #-2868  @ encoding: [0x2f,0xf0,0x9b,0xc5]
 768 0x2f 0xf0 0x9b 0xc5
 769
 770 # CHECK: le      #-2882  @ encoding: [0x2f,0xf0,0xa1,0xcd]
 771 0x2f 0xf0 0xa1 0xcd
 772
 773 # CHECK: le      #-3154  @ encoding: [0x2f,0xf0,0x29,0xce]
 774 0x2f 0xf0 0x29 0xce
 775
 776 # CHECK: le      #-3274  @ encoding: [0x2f,0xf0,0x65,0xce]
 777 0x2f 0xf0 0x65 0xce
 778
 779 # CHECK: le      #-3352  @ encoding: [0x2f,0xf0,0x8d,0xc6]
 780 0x2f 0xf0 0x8d 0xc6
 781
 782 # CHECK: le      #-338  @ encoding: [0x2f,0xf0,0xa9,0xc8]
 783 0x2f 0xf0 0xa9 0xc8
 784
 785 # CHECK: le      #-3458  @ encoding: [0x2f,0xf0,0xc1,0xce]
 786 0x2f 0xf0 0xc1 0xce
 787
 788 # CHECK: le      #-3480  @ encoding: [0x2f,0xf0,0xcd,0xc6]
 789 0x2f 0xf0 0xcd 0xc6
 790
 791 # CHECK: le      #-3542  @ encoding: [0x2f,0xf0,0xeb,0xce]
 792 0x2f 0xf0 0xeb 0xce
 793
 794 # CHECK: le      #-3644  @ encoding: [0x2f,0xf0,0x1f,0xc7]
 795 0x2f 0xf0 0x1f 0xc7
 796
 797 # CHECK: le      #-3676  @ encoding: [0x2f,0xf0,0x2f,0xc7]
 798 0x2f 0xf0 0x2f 0xc7
 799
 800 # CHECK: le      #-3692  @ encoding: [0x2f,0xf0,0x37,0xc7]
 801 0x2f 0xf0 0x37 0xc7
 802
 803 # CHECK: le      #-3860  @ encoding: [0x2f,0xf0,0x8b,0xc7]
 804 0x2f 0xf0 0x8b 0xc7
 805
 806 # CHECK: le      #-3986  @ encoding: [0x2f,0xf0,0xc9,0xcf]
 807 0x2f 0xf0 0xc9 0xcf
 808
 809 # CHECK: le      #-4006  @ encoding: [0x2f,0xf0,0xd3,0xcf]
 810 0x2f 0xf0 0xd3 0xcf
 811
 812 # CHECK: le      #-4034  @ encoding: [0x2f,0xf0,0xe1,0xcf]
 813 0x2f 0xf0 0xe1 0xcf
 814
 815 # CHECK: le      #-4060  @ encoding: [0x2f,0xf0,0xef,0xc7]
 816 0x2f 0xf0 0xef 0xc7
 817
 818 # CHECK: le      #-4068  @ encoding: [0x2f,0xf0,0xf3,0xc7]
 819 0x2f 0xf0 0xf3 0xc7
 820
 821 # CHECK: le      #-478  @ encoding: [0x2f,0xf0,0xef,0xc8]
 822 0x2f 0xf0 0xef 0xc8
 823
 824 # CHECK: le      #-544  @ encoding: [0x2f,0xf0,0x11,0xc1]
 825 0x2f 0xf0 0x11 0xc1
 826
 827 # CHECK: le      #-586  @ encoding: [0x2f,0xf0,0x25,0xc9]
 828 0x2f 0xf0 0x25 0xc9
 829
 830 # CHECK: le      #-606  @ encoding: [0x2f,0xf0,0x2f,0xc9]
 831 0x2f 0xf0 0x2f 0xc9
 832
 833 # CHECK: le      #-656  @ encoding: [0x2f,0xf0,0x49,0xc1]
 834 0x2f 0xf0 0x49 0xc1
 835
 836 # CHECK: le      #-740  @ encoding: [0x2f,0xf0,0x73,0xc1]
 837 0x2f 0xf0 0x73 0xc1
 838
 839 # CHECK: le      #-762  @ encoding: [0x2f,0xf0,0x7d,0xc9]
 840 0x2f 0xf0 0x7d 0xc9
 841
 842 # CHECK: le      #-862  @ encoding: [0x2f,0xf0,0xaf,0xc9]
 843 0x2f 0xf0 0xaf 0xc9
 844
 845 # CHECK: le      #-870  @ encoding: [0x2f,0xf0,0xb3,0xc9]
 846 0x2f 0xf0 0xb3 0xc9
 847
 848 # CHECK: le      lr, #-1080  @ encoding: [0x0f,0xf0,0x1d,0xc2]
 849 0x0f 0xf0 0x1d 0xc2
 850
 851 # CHECK: le      lr, #-1104  @ encoding: [0x0f,0xf0,0x29,0xc2]
 852 0x0f 0xf0 0x29 0xc2
 853
 854 # CHECK: le      lr, #-1152  @ encoding: [0x0f,0xf0,0x41,0xc2]
 855 0x0f 0xf0 0x41 0xc2
 856
 857 # CHECK: le      lr, #-1462  @ encoding: [0x0f,0xf0,0xdb,0xca]
 858 0x0f 0xf0 0xdb 0xca
 859
 860 # CHECK: le      lr, #-1470  @ encoding: [0x0f,0xf0,0xdf,0xca]
 861 0x0f 0xf0 0xdf 0xca
 862
 863 # CHECK: le      lr, #-1612  @ encoding: [0x0f,0xf0,0x27,0xc3]
 864 0x0f 0xf0 0x27 0xc3
 865
 866 # CHECK: le      lr, #-1632  @ encoding: [0x0f,0xf0,0x31,0xc3]
 867 0x0f 0xf0 0x31 0xc3
 868
 869 # CHECK: le      lr, #-1694  @ encoding: [0x0f,0xf0,0x4f,0xcb]
 870 0x0f 0xf0 0x4f 0xcb
 871
 872 # CHECK: le      lr, #-1714  @ encoding: [0x0f,0xf0,0x59,0xcb]
 873 0x0f 0xf0 0x59 0xcb
 874
 875 # CHECK: le      lr, #-1850  @ encoding: [0x0f,0xf0,0x9d,0xcb]
 876 0x0f 0xf0 0x9d 0xcb
 877
 878 # CHECK: le      lr, #-1878  @ encoding: [0x0f,0xf0,0xab,0xcb]
 879 0x0f 0xf0 0xab 0xcb
 880
 881 # CHECK: le      lr, #-1896  @ encoding: [0x0f,0xf0,0xb5,0xc3]
 882 0x0f 0xf0 0xb5 0xc3
 883
 884 # CHECK: le      lr, #-1922  @ encoding: [0x0f,0xf0,0xc1,0xcb]
 885 0x0f 0xf0 0xc1 0xcb
 886
 887 # CHECK: le      lr, #-1926  @ encoding: [0x0f,0xf0,0xc3,0xcb]
 888 0x0f 0xf0 0xc3 0xcb
 889
 890 # CHECK: le      lr, #-2  @ encoding: [0x0f,0xf0,0x01,0xc8]
 891 0x0f 0xf0 0x01 0xc8
 892
 893 # CHECK: le      lr, #-2104  @ encoding: [0x0f,0xf0,0x1d,0xc4]
 894 0x0f 0xf0 0x1d 0xc4
 895
 896 # CHECK: le      lr, #-2116  @ encoding: [0x0f,0xf0,0x23,0xc4]
 897 0x0f 0xf0 0x23 0xc4
 898
 899 # CHECK: le      lr, #-2144  @ encoding: [0x0f,0xf0,0x31,0xc4]
 900 0x0f 0xf0 0x31 0xc4
 901
 902 # CHECK: le      lr, #-2188  @ encoding: [0x0f,0xf0,0x47,0xc4]
 903 0x0f 0xf0 0x47 0xc4
 904
 905 # CHECK: le      lr, #-2344  @ encoding: [0x0f,0xf0,0x95,0xc4]
 906 0x0f 0xf0 0x95 0xc4
 907
 908 # CHECK: le      lr, #-2456  @ encoding: [0x0f,0xf0,0xcd,0xc4]
 909 0x0f 0xf0 0xcd 0xc4
 910
 911 # CHECK: le      lr, #-2608  @ encoding: [0x0f,0xf0,0x19,0xc5]
 912 0x0f 0xf0 0x19 0xc5
 913
 914 # CHECK: le      lr, #-2616  @ encoding: [0x0f,0xf0,0x1d,0xc5]
 915 0x0f 0xf0 0x1d 0xc5
 916
 917 # CHECK: le      lr, #-2622  @ encoding: [0x0f,0xf0,0x1f,0xcd]
 918 0x0f 0xf0 0x1f 0xcd
 919
 920 # CHECK: le      lr, #-2680  @ encoding: [0x0f,0xf0,0x3d,0xc5]
 921 0x0f 0xf0 0x3d 0xc5
 922
 923 # CHECK: le      lr, #-2694  @ encoding: [0x0f,0xf0,0x43,0xcd]
 924 0x0f 0xf0 0x43 0xcd
 925
 926 # CHECK: le      lr, #-2850  @ encoding: [0x0f,0xf0,0x91,0xcd]
 927 0x0f 0xf0 0x91 0xcd
 928
 929 # CHECK: le      lr, #-2860  @ encoding: [0x0f,0xf0,0x97,0xc5]
 930 0x0f 0xf0 0x97 0xc5
 931
 932 # CHECK: le      lr, #-3004  @ encoding: [0x0f,0xf0,0xdf,0xc5]
 933 0x0f 0xf0 0xdf 0xc5
 934
 935 # CHECK: le      lr, #-3018  @ encoding: [0x0f,0xf0,0xe5,0xcd]
 936 0x0f 0xf0 0xe5 0xcd
 937
 938 # CHECK: le      lr, #-304  @ encoding: [0x0f,0xf0,0x99,0xc0]
 939 0x0f 0xf0 0x99 0xc0
 940
 941 # CHECK: le      lr, #-3098  @ encoding: [0x0f,0xf0,0x0d,0xce]
 942 0x0f 0xf0 0x0d 0xce
 943
 944 # CHECK: le      lr, #-3228  @ encoding: [0x0f,0xf0,0x4f,0xc6]
 945 0x0f 0xf0 0x4f 0xc6
 946
 947 # CHECK: le      lr, #-3316  @ encoding: [0x0f,0xf0,0x7b,0xc6]
 948 0x0f 0xf0 0x7b 0xc6
 949
 950 # CHECK: le      lr, #-3332  @ encoding: [0x0f,0xf0,0x83,0xc6]
 951 0x0f 0xf0 0x83 0xc6
 952
 953 # CHECK: le      lr, #-3354  @ encoding: [0x0f,0xf0,0x8d,0xce]
 954 0x0f 0xf0 0x8d 0xce
 955
 956 # CHECK: le      lr, #-3962  @ encoding: [0x0f,0xf0,0xbd,0xcf]
 957 0x0f 0xf0 0xbd 0xcf
 958
 959 # CHECK: le      lr, #-4042  @ encoding: [0x0f,0xf0,0xe5,0xcf]
 960 0x0f 0xf0 0xe5 0xcf
 961
 962 # CHECK: le      lr, #-4052  @ encoding: [0x0f,0xf0,0xeb,0xc7]
 963 0x0f 0xf0 0xeb 0xc7
 964
 965 # CHECK: le      lr, #-458  @ encoding: [0x0f,0xf0,0xe5,0xc8]
 966 0x0f 0xf0 0xe5 0xc8
 967
 968 # CHECK: le      lr, #-56  @ encoding: [0x0f,0xf0,0x1d,0xc0]
 969 0x0f 0xf0 0x1d 0xc0
 970
 971 # CHECK: le      lr, #-582  @ encoding: [0x0f,0xf0,0x23,0xc9]
 972 0x0f 0xf0 0x23 0xc9
 973
 974 # CHECK: le      lr, #-676  @ encoding: [0x0f,0xf0,0x53,0xc1]
 975 0x0f 0xf0 0x53 0xc1
 976
 977 # CHECK: le      lr, #-752  @ encoding: [0x0f,0xf0,0x79,0xc1]
 978 0x0f 0xf0 0x79 0xc1
 979
 980 # CHECK: le      lr, #-76  @ encoding: [0x0f,0xf0,0x27,0xc0]
 981 0x0f 0xf0 0x27 0xc0
 982
 983 # CHECK: le      lr, #-802  @ encoding: [0x0f,0xf0,0x91,0xc9]
 984 0x0f 0xf0 0x91 0xc9
 985
 986 # CHECK: le      lr, #-862  @ encoding: [0x0f,0xf0,0xaf,0xc9]
 987 0x0f 0xf0 0xaf 0xc9
 988
 989 # CHECK: le      lr, #-902  @ encoding: [0x0f,0xf0,0xc3,0xc9]
 990 0x0f 0xf0 0xc3 0xc9
 991
 992 # CHECK: le      lr, #-968  @ encoding: [0x0f,0xf0,0xe5,0xc1]
 993 0x0f 0xf0 0xe5 0xc1
 994
 995 # CHECK: wls     lr, lr, #1192  @ encoding: [0x4e,0xf0,0x55,0xc2]
 996 0x4e 0xf0 0x55 0xc2
 997
 998 # CHECK: wls     lr, lr, #2134  @ encoding: [0x4e,0xf0,0x2b,0xcc]
 999 0x4e 0xf0 0x2b 0xcc
1000
1001 # CHECK: wls     lr, lr, #962  @ encoding: [0x4e,0xf0,0xe1,0xc9]
1002 0x4e 0xf0 0xe1 0xc9
1003
1004 # CHECK: wls     lr, r0, #1668  @ encoding: [0x40,0xf0,0x43,0xc3]
1005 0x40 0xf0 0x43 0xc3
1006
1007 # CHECK: wls     lr, r0, #2706  @ encoding: [0x40,0xf0,0x49,0xcd]
1008 0x40 0xf0 0x49 0xcd
1009
1010 # CHECK: wls     lr, r0, #3026  @ encoding: [0x40,0xf0,0xe9,0xcd]
1011 0x40 0xf0 0xe9 0xcd
1012
1013 # CHECK: wls     lr, r0, #3436  @ encoding: [0x40,0xf0,0xb7,0xc6]
1014 0x40 0xf0 0xb7 0xc6
1015
1016 # CHECK: wls     lr, r1, #1060  @ encoding: [0x41,0xf0,0x13,0xc2]
1017 0x41 0xf0 0x13 0xc2
1018
1019 # CHECK: wls     lr, r1, #4036  @ encoding: [0x41,0xf0,0xe3,0xc7]
1020 0x41 0xf0 0xe3 0xc7
1021
1022 # CHECK: wls     lr, r1, #538  @ encoding: [0x41,0xf0,0x0d,0xc9]
1023 0x41 0xf0 0x0d 0xc9
1024
1025 # CHECK: wls     lr, r10, #1404  @ encoding: [0x4a,0xf0,0xbf,0xc2]
1026 0x4a 0xf0 0xbf 0xc2
1027
1028 # CHECK: wls     lr, r10, #1408  @ encoding: [0x4a,0xf0,0xc1,0xc2]
1029 0x4a 0xf0 0xc1 0xc2
1030
1031 # CHECK: wls     lr, r10, #2358  @ encoding: [0x4a,0xf0,0x9b,0xcc]
1032 0x4a 0xf0 0x9b 0xcc
1033
1034 # CHECK: wls     lr, r10, #4086  @ encoding: [0x4a,0xf0,0xfb,0xcf]
1035 0x4a 0xf0 0xfb 0xcf
1036
1037 # CHECK: wls     lr, r11, #1442  @ encoding: [0x4b,0xf0,0xd1,0xca]
1038 0x4b 0xf0 0xd1 0xca
1039
1040 # CHECK: wls     lr, r11, #2678  @ encoding: [0x4b,0xf0,0x3b,0xcd]
1041 0x4b 0xf0 0x3b 0xcd
1042
1043 # CHECK: wls     lr, r11, #3610  @ encoding: [0x4b,0xf0,0x0d,0xcf]
1044 0x4b 0xf0 0x0d 0xcf
1045
1046 # CHECK: wls     lr, r12, #206  @ encoding: [0x4c,0xf0,0x67,0xc8]
1047 0x4c 0xf0 0x67 0xc8
1048
1049 # CHECK: wls     lr, r12, #2896  @ encoding: [0x4c,0xf0,0xa9,0xc5]
1050 0x4c 0xf0 0xa9 0xc5
1051
1052 # CHECK: wls     lr, r12, #3258  @ encoding: [0x4c,0xf0,0x5d,0xce]
1053 0x4c 0xf0 0x5d 0xce
1054
1055 # CHECK: wls     lr, r2, #3242  @ encoding: [0x42,0xf0,0x55,0xce]
1056 0x42 0xf0 0x55 0xce
1057
1058 # CHECK: wls     lr, r2, #3832  @ encoding: [0x42,0xf0,0x7d,0xc7]
1059 0x42 0xf0 0x7d 0xc7
1060
1061 # CHECK: wls     lr, r2, #872  @ encoding: [0x42,0xf0,0xb5,0xc1]
1062 0x42 0xf0 0xb5 0xc1
1063
1064 # CHECK: wls     lr, r3, #3514  @ encoding: [0x43,0xf0,0xdd,0xce]
1065 0x43 0xf0 0xdd 0xce
1066
1067 # CHECK: wls     lr, r3, #3636  @ encoding: [0x43,0xf0,0x1b,0xc7]
1068 0x43 0xf0 0x1b 0xc7
1069
1070 # CHECK: wls     lr, r3, #3942  @ encoding: [0x43,0xf0,0xb3,0xcf]
1071 0x43 0xf0 0xb3 0xcf
1072
1073 # CHECK: wls     lr, r3, #712  @ encoding: [0x43,0xf0,0x65,0xc1]
1074 0x43 0xf0 0x65 0xc1
1075
1076 # CHECK: wls     lr, r4, #2146  @ encoding: [0x44,0xf0,0x31,0xcc]
1077 0x44 0xf0 0x31 0xcc
1078
1079 # CHECK: wls     lr, r4, #2486  @ encoding: [0x44,0xf0,0xdb,0xcc]
1080 0x44 0xf0 0xdb 0xcc
1081
1082 # CHECK: wls     lr, r5, #1906  @ encoding: [0x45,0xf0,0xb9,0xcb]
1083 0x45 0xf0 0xb9 0xcb
1084
1085 # CHECK: wls     lr, r5, #3396  @ encoding: [0x45,0xf0,0xa3,0xc6]
1086 0x45 0xf0 0xa3 0xc6
1087
1088 # CHECK: wls     lr, r6, #3326  @ encoding: [0x46,0xf0,0x7f,0xce]
1089 0x46 0xf0 0x7f 0xce
1090
1091 # CHECK: wls     lr, r6, #416  @ encoding: [0x46,0xf0,0xd1,0xc0]
1092 0x46 0xf0 0xd1 0xc0
1093
1094 # CHECK: wls     lr, r6, #422  @ encoding: [0x46,0xf0,0xd3,0xc8]
1095 0x46 0xf0 0xd3 0xc8
1096
1097 # CHECK: wls     lr, r7, #3474  @ encoding: [0x47,0xf0,0xc9,0xce]
1098 0x47 0xf0 0xc9 0xce
1099
1100 # CHECK: wls     lr, r7, #3640  @ encoding: [0x47,0xf0,0x1d,0xc7]
1101 0x47 0xf0 0x1d 0xc7
1102
1103 # CHECK: wls     lr, r8, #2700  @ encoding: [0x48,0xf0,0x47,0xc5]
1104 0x48 0xf0 0x47 0xc5
1105
1106 # CHECK: wls     lr, r9, #1114  @ encoding: [0x49,0xf0,0x2d,0xca]
1107 0x49 0xf0 0x2d 0xca
1108
1109 # CHECK: wls     lr, r9, #1984  @ encoding: [0x49,0xf0,0xe1,0xc3]
1110 0x49 0xf0 0xe1 0xc3
1111
1112 # CHECK: wls     lr, r9, #3758  @ encoding: [0x49,0xf0,0x57,0xcf]
1113 0x49 0xf0 0x57 0xcf
1114
1115 # CHECK: wls     lr, r9, #3796  @ encoding: [0x49,0xf0,0x6b,0xc7]
1116 0x49 0xf0 0x6b 0xc7
1117
1118 # CHECK: cinc lr, r2, lo  @ encoding: [0x52,0xea,0x22,0x9e]
1119 0x52 0xea 0x22 0x9e
1120
1121 # CHECK: cinc lr, r7, pl  @ encoding: [0x57,0xea,0x47,0x9e]
1122 0x57 0xea 0x47 0x9e
1123
1124 # CHECK: cinv lr, r12, hs  @ encoding: [0x5c,0xea,0x3c,0xae]
1125 0x5c 0xea 0x3c 0xae
1126
1127 # CHECK: cneg lr, r10, hs  @ encoding: [0x5a,0xea,0x3a,0xbe]
1128 0x5a 0xea 0x3a 0xbe
1129
1130 # CHECK: csel    r9, r9, r11, vc  @ encoding: [0x59,0xea,0x7b,0x89]
1131 0x59 0xea 0x7b 0x89
1132
1133 # CHECK: cset lr, eq  @ encoding: [0x5f,0xea,0x1f,0x9e]
1134 0x5f 0xea 0x1f 0x9e
1135
1136 # CHECK: csetm lr, hs  @ encoding: [0x5f,0xea,0x3f,0xae]
1137 0x5f 0xea 0x3f 0xae
1138
1139 # CHECK: csinc   lr, r10, r7, le  @ encoding: [0x5a,0xea,0xd7,0x9e]
1140 0x5a 0xea 0xd7 0x9e
1141
1142 # CHECK: csinv   lr, r5, zr, hs  @ encoding: [0x55,0xea,0x2f,0xae]
1143 0x55 0xea 0x2f 0xae
1144
1145 # CHECK: cinv lr, r2, pl  @ encoding: [0x52,0xea,0x42,0xae]
1146 0x52 0xea 0x42 0xae
1147
1148 # CHECK: csneg   lr, r1, r11, vc  @ encoding: [0x51,0xea,0x7b,0xbe]
1149 0x51 0xea 0x7b 0xbe
1150
1151 # CHECK: csel r0, r0, r1, eq @ encoding: [0x50,0xea,0x01,0x80]
1152 [0x50,0xea,0x01,0x80]
1153
1154 # ERROR: [[@LINE+1]]:2: warning: invalid instruction encoding
1155 [0x50,0xea,0xe0,0x80]
1156
1157 # ERROR: [[@LINE+1]]:2: warning: invalid instruction encoding
1158 [0x50,0xea,0xf0,0x80]
1159
1160 # CHECK: bf #4, #0 @ encoding: [0x40,0xf1,0x01,0xe0]
1161 [0x40,0xf1,0x01,0xe0]
1162
1163 # CHECK: bfl #4, #0 @ encoding: [0x00,0xf1,0x01,0xc0]
1164 [0x00,0xf1,0x01,0xc0]
1165
1166 # CHECK: bfcsel #4, #0, #8, eq @ encoding: [0x02,0xf1,0x01,0xe0]
1167 [0x02,0xf1,0x01,0xe0]
1168
1169 # CHECK: wls lr, r2, #0 @ encoding: [0x42,0xf0,0x01,0xc0]
1170 [0x42,0xf0,0x01,0xc0]
1171
1172 # ERROR: [[@LINE+1]]:2: warning: invalid instruction encoding
1173 [0x60,0xf0,0x01,0xe0]
1174
1175 # ERROR: [[@LINE+1]]:2: warning: invalid instruction encoding
1176 [0x70,0xf0,0x01,0xe0]