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 50x40 0xf6 0x17 0xe8 60xb8 0xbf 7 8# CHECK: bflt #18, #40 90xc0 0xf4 0x15 0xe0 10 11# CHECK: bfcsel #14, #36, #16, ne 120x84 0xf3 0x13 0xe0 13 14# CHECK: bfx #10, r2 150xe2 0xf2 0x01 0xe0 16 17# CHECK: bflx #6, r3 180xf3 0xf1 0x01 0xe0 19 20# CHECK: bfl #2, #30402 210x87 0xf0 0x61 0xcb 22 23# CHECK: wls lr, r8, #36 240x48 0xf0 0x13 0xc0 25 26# CHECK: dls lr, r10 270x4a 0xf0 0x01 0xe0 28 29# CHECK: le #-24 300x2f 0xf0 0x0d 0xc0 31 32# CHECK: le lr, #-32 330x0f 0xf0 0x11 0xc0 34 35# CHECK: bf #10, #-56508 @ encoding: [0xd2,0xf2,0xa3,0xe1] 360xd2 0xf2 0xa3 0xe1 37 38# CHECK: bf #10, #3942 @ encoding: [0xc0,0xf2,0xb3,0xef] 390xc0 0xf2 0xb3 0xef 40 41# CHECK: bf #10, #50810 @ encoding: [0xcc,0xf2,0x3d,0xeb] 420xcc 0xf2 0x3d 0xeb 43 44# CHECK: bf #12, #-35896 @ encoding: [0x57,0xf3,0xe5,0xe1] 450x57 0xf3 0xe5 0xe1 46 47# CHECK: bf #12, #-62848 @ encoding: [0x50,0xf3,0x41,0xe5] 480x50 0xf3 0x41 0xe5 49 50# CHECK: bf #12, #25864 @ encoding: [0x46,0xf3,0x85,0xe2] 510x46 0xf3 0x85 0xe2 52 53# CHECK: bf #12, #30558 @ encoding: [0x47,0xf3,0xaf,0xeb] 540x47 0xf3 0xaf 0xeb 55 56# CHECK: bf #12, #33774 @ encoding: [0x48,0xf3,0xf7,0xe9] 570x48 0xf3 0xf7 0xe9 58 59# CHECK: bf #14, #-48062 @ encoding: [0xd4,0xf3,0x21,0xea] 600xd4 0xf3 0x21 0xea 61 62# CHECK: bf #16, #58260 @ encoding: [0x4e,0xf4,0xcb,0xe1] 630x4e 0xf4 0xcb 0xe1 64 65# CHECK: bf #2, #1814 @ encoding: [0xc0,0xf0,0x8b,0xeb] 660xc0 0xf0 0x8b 0xeb 67 68# CHECK: bf #2, #28648 @ encoding: [0xc6,0xf0,0xf5,0xe7] 690xc6 0xf0 0xf5 0xe7 70 71# CHECK: bf #2, #39722 @ encoding: [0xc9,0xf0,0x95,0xed] 720xc9 0xf0 0x95 0xed 73 74# CHECK: bf #2, #50996 @ encoding: [0xcc,0xf0,0x9b,0xe3] 750xcc 0xf0 0x9b 0xe3 76 77# CHECK: bf #20, #-31552 @ encoding: [0x58,0xf5,0x61,0xe2] 780x58 0xf5 0x61 0xe2 79 80# CHECK: bf #22, #40634 @ encoding: [0xc9,0xf5,0x5d,0xef] 810xc9 0xf5 0x5d 0xef 82 83# CHECK: bf #24, #-17436 @ encoding: [0x5b,0xf6,0xf3,0xe5] 840x5b 0xf6 0xf3 0xe5 85 86# CHECK: bf #24, #-29092 @ encoding: [0x58,0xf6,0x2f,0xe7] 870x58 0xf6 0x2f 0xe7 88 89# CHECK: bf #24, #-41178 @ encoding: [0x55,0xf6,0x93,0xef] 900x55 0xf6 0x93 0xef 91 92# CHECK: bf #24, #26858 @ encoding: [0x46,0xf6,0x75,0xec] 930x46 0xf6 0x75 0xec 94 95# CHECK: bf #24, #58116 @ encoding: [0x4e,0xf6,0x83,0xe1] 960x4e 0xf6 0x83 0xe1 97 98# CHECK: bf #26, #-46754 @ encoding: [0xd4,0xf6,0xaf,0xec] 990xd4 0xf6 0xaf 0xec 100 101# CHECK: bf #26, #-64786 @ encoding: [0xd0,0xf6,0x77,0xe9] 1020xd0 0xf6 0x77 0xe9 103 104# CHECK: bf #26, #35362 @ encoding: [0xc8,0xf6,0x11,0xed] 1050xc8 0xf6 0x11 0xed 106 107# CHECK: bf #28, #-13500 @ encoding: [0x5c,0xf7,0xa3,0xe5] 1080x5c 0xf7 0xa3 0xe5 109 110# CHECK: bf #28, #-15996 @ encoding: [0x5c,0xf7,0xc3,0xe0] 1110x5c 0xf7 0xc3 0xe0 112 113# CHECK: bf #28, #-19990 @ encoding: [0x5b,0xf7,0xf5,0xe8] 1140x5b 0xf7 0xf5 0xe8 115 116# CHECK: bf #28, #-2302 @ encoding: [0x5f,0xf7,0x81,0xeb] 1170x5f 0xf7 0x81 0xeb 118 119# CHECK: bf #28, #-46326 @ encoding: [0x54,0xf7,0x85,0xed] 1200x54 0xf7 0x85 0xed 121 122# CHECK: bf #28, #24202 @ encoding: [0x45,0xf7,0x45,0xef] 1230x45 0xf7 0x45 0xef 124 125# CHECK: bf #28, #28282 @ encoding: [0x46,0xf7,0x3d,0xef] 1260x46 0xf7 0x3d 0xef 127 128# CHECK: bf #28, #57104 @ encoding: [0x4d,0xf7,0x89,0xe7] 1290x4d 0xf7 0x89 0xe7 130 131# CHECK: bf #30, #-25942 @ encoding: [0xd9,0xf7,0x55,0xed] 1320xd9 0xf7 0x55 0xed 133 134# CHECK: bf #30, #-32656 @ encoding: [0xd8,0xf7,0x39,0xe0] 1350xd8 0xf7 0x39 0xe0 136 137# CHECK: bf #4, #-23408 @ encoding: [0x5a,0xf1,0x49,0xe2] 1380x5a 0xf1 0x49 0xe2 139 140# CHECK: bf #4, #28878 @ encoding: [0x47,0xf1,0x67,0xe8] 1410x47 0xf1 0x67 0xe8 142 143# CHECK: bf #4, #31362 @ encoding: [0x47,0xf1,0x41,0xed] 1440x47 0xf1 0x41 0xed 145 146# CHECK: bf #6, #23604 @ encoding: [0xc5,0xf1,0x1b,0xe6] 1470xc5 0xf1 0x1b 0xe6 148 149# CHECK: bf #6, #9258 @ encoding: [0xc2,0xf1,0x15,0xea] 1500xc2 0xf1 0x15 0xea 151 152# CHECK: bf #8, #-10032 @ encoding: [0x5d,0xf2,0x69,0xe4] 1530x5d 0xf2 0x69 0xe4 154 155# CHECK: bf #8, #-26268 @ encoding: [0x59,0xf2,0xb3,0xe4] 1560x59 0xf2 0xb3 0xe4 157 158# CHECK: bf #8, #-60046 @ encoding: [0x51,0xf2,0xb9,0xea] 1590x51 0xf2 0xb9 0xea 160 161# CHECK: bf #8, #19254 @ encoding: [0x44,0xf2,0x9b,0xed] 1620x44 0xf2 0x9b 0xed 163 164# CHECK: bf #8, #38620 @ encoding: [0x49,0xf2,0x6f,0xe3] 1650x49 0xf2 0x6f 0xe3 166 167# CHECK: bfcsel #10, #-672, #14, lt @ encoding: [0xaf,0xf2,0xb1,0xe6] 1680xaf 0xf2 0xb1 0xe6 169 170# CHECK: bfcsel #10, #2584, #12, pl @ encoding: [0x94,0xf2,0x0d,0xe5] 1710x94 0xf2 0x0d 0xe5 172 173# CHECK: bfcsel #12, #1358, #14, ls @ encoding: [0x24,0xf3,0xa7,0xea] 1740x24 0xf3 0xa7 0xea 175 176# CHECK: bfcsel #12, #2108, #14, mi @ encoding: [0x10,0xf3,0x1f,0xe4] 1770x10 0xf3 0x1f 0xe4 178 179# CHECK: bfcsel #12, #2794, #16, eq @ encoding: [0x02,0xf3,0x75,0xed] 1800x02 0xf3 0x75 0xed 181 182# CHECK: bfcsel #14, #-1174, #18, vc @ encoding: [0x9f,0xf3,0xb5,0xed] 1830x9f 0xf3 0xb5 0xed 184 185# CHECK: bfcsel #14, #1466, #18, ge @ encoding: [0xaa,0xf3,0xdd,0xea] 1860xaa 0xf3 0xdd 0xea 187 188# CHECK: bfcsel #14, #466, #16, lo @ encoding: [0x8c,0xf3,0xe9,0xe8] 1890x8c 0xf3 0xe9 0xe8 190 191# CHECK: bfcsel #16, #-2782, #20, vs @ encoding: [0x1b,0xf4,0x91,0xea] 1920x1b 0xf4 0x91 0xea 193 194# CHECK: bfcsel #16, #124, #18, ls @ encoding: [0x24,0xf4,0x3f,0xe0] 1950x24 0xf4 0x3f 0xe0 196 197# CHECK: bfcsel #16, #1320, #20, ne @ encoding: [0x06,0xf4,0x95,0xe2] 1980x06 0xf4 0x95 0xe2 199 200# CHECK: bfcsel #18, #-1914, #20, gt @ encoding: [0xb1,0xf4,0x43,0xec] 2010xb1 0xf4 0x43 0xec 202 203# CHECK: bfcsel #18, #-3102, #20, eq @ encoding: [0x81,0xf4,0xf1,0xe9] 2040x81 0xf4 0xf1 0xe9 205 206# CHECK: bfcsel #18, #3872, #20, eq @ encoding: [0x80,0xf4,0x91,0xe7] 2070x80 0xf4 0x91 0xe7 208 209# CHECK: bfcsel #2, #-1354, #4, vs @ encoding: [0x99,0xf0,0x5b,0xed] 2100x99 0xf0 0x5b 0xed 211 212# CHECK: bfcsel #2, #-144, #4, le @ encoding: [0xb5,0xf0,0xb9,0xe7] 2130xb5 0xf0 0xb9 0xe7 214 215# CHECK: bfcsel #2, #1552, #4, vc @ encoding: [0x9c,0xf0,0x09,0xe3] 2160x9c 0xf0 0x09 0xe3 217 218# CHECK: bfcsel #2, #3962, #4, ls @ encoding: [0xa4,0xf0,0xbd,0xef] 2190xa4 0xf0 0xbd 0xef 220 221# CHECK: bfcsel #20, #-1758, #22, gt @ encoding: [0x31,0xf5,0x91,0xec] 2220x31 0xf5 0x91 0xec 223 224# CHECK: bfcsel #20, #-2300, #22, mi @ encoding: [0x11,0xf5,0x83,0xe3] 2250x11 0xf5 0x83 0xe3 226 227# CHECK: bfcsel #20, #1146, #22, le @ encoding: [0x34,0xf5,0x3d,0xea] 2280x34 0xf5 0x3d 0xea 229 230# CHECK: bfcsel #20, #1526, #24, le @ encoding: [0x36,0xf5,0xfb,0xea] 2310x36 0xf5 0xfb 0xea 232 233# CHECK: bfcsel #20, #3826, #22, pl @ encoding: [0x14,0xf5,0x79,0xef] 2340x14 0xf5 0x79 0xef 235 236# CHECK: bfcsel #20, #4060, #22, eq @ encoding: [0x00,0xf5,0xef,0xe7] 2370x00 0xf5 0xef 0xe7 238 239# CHECK: bfcsel #22, #1438, #26, gt @ encoding: [0xb2,0xf5,0xcf,0xea] 2400xb2 0xf5 0xcf 0xea 241 242# CHECK: bfcsel #24, #-2782, #28, ne @ encoding: [0x07,0xf6,0x91,0xea] 2430x07 0xf6 0x91 0xea 244 245# CHECK: bfcsel #26, #-2112, #28, ge @ encoding: [0xa9,0xf6,0xe1,0xe3] 2460xa9 0xf6 0xe1 0xe3 247 248# CHECK: bfcsel #26, #3534, #30, lo @ encoding: [0x8e,0xf6,0xe7,0xee] 2490x8e 0xf6 0xe7 0xee 250 251# CHECK: bfcsel #28, #-3198, #32, lo @ encoding: [0x0f,0xf7,0xc1,0xe9] 2520x0f 0xf7 0xc1 0xe9 253 254# CHECK: bfcsel #28, #3924, #32, pl @ encoding: [0x16,0xf7,0xab,0xe7] 2550x16 0xf7 0xab 0xe7 256 257# CHECK: bfcsel #30, #-1958, #32, ge @ encoding: [0xa9,0xf7,0x2d,0xec] 2580xa9 0xf7 0x2d 0xec 259 260# CHECK: bfcsel #30, #2794, #34, vc @ encoding: [0x9e,0xf7,0x75,0xed] 2610x9e 0xf7 0x75 0xed 262 263# CHECK: bfcsel #30, #472, #32, ge @ encoding: [0xa8,0xf7,0xed,0xe0] 2640xa8 0xf7 0xed 0xe0 265 266# CHECK: bfcsel #4, #-2146, #6, lt @ encoding: [0x2d,0xf1,0xcf,0xeb] 2670x2d 0xf1 0xcf 0xeb 268 269# CHECK: bfcsel #4, #-3718, #8, lo @ encoding: [0x0f,0xf1,0xbd,0xe8] 2700x0f 0xf1 0xbd 0xe8 271 272# CHECK: bfcsel #4, #-454, #8, ls @ encoding: [0x27,0xf1,0x1d,0xef] 2730x27 0xf1 0x1d 0xef 274 275# CHECK: bfcsel #6, #3808, #8, gt @ encoding: [0xb0,0xf1,0x71,0xe7] 2760xb0 0xf1 0x71 0xe7 277 278# CHECK: bfcsel #8, #-1158, #12, ls @ encoding: [0x27,0xf2,0xbd,0xed] 2790x27 0xf2 0xbd 0xed 280 281# CHECK: bfcsel #8, #2558, #10, ne @ encoding: [0x04,0xf2,0xff,0xec] 2820x04 0xf2 0xff 0xec 283 284# CHECK: bfcsel #8, #906, #10, hi @ encoding: [0x20,0xf2,0xc5,0xe9] 2850x20 0xf2 0xc5 0xe9 286 287# CHECK: bfl #10, #-201030 @ encoding: [0xce,0xf2,0x5d,0xcf] 2880xce 0xf2 0x5d 0xcf 289 290# CHECK: bfl #10, #-246952 @ encoding: [0xc3,0xf2,0xad,0xc5] 2910xc3 0xf2 0xad 0xc5 292 293# CHECK: bfl #10, #173972 @ encoding: [0xaa,0xf2,0xcb,0xc3] 2940xaa 0xf2 0xcb 0xc3 295 296# CHECK: bfl #10, #95564 @ encoding: [0x97,0xf2,0xa7,0xc2] 2970x97 0xf2 0xa7 0xc2 298 299# CHECK: bfl #12, #-125840 @ encoding: [0x61,0xf3,0x39,0xc2] 3000x61 0xf3 0x39 0xc2 301 302# CHECK: bfl #12, #-143570 @ encoding: [0x5c,0xf3,0x97,0xcf] 3030x5c 0xf3 0x97 0xcf 304 305# CHECK: bfl #12, #128910 @ encoding: [0x1f,0xf3,0xc7,0xcb] 3060x1f 0xf3 0xc7 0xcb 307 308# CHECK: bfl #12, #221064 @ encoding: [0x35,0xf3,0xc5,0xc7] 3090x35 0xf3 0xc5 0xc7 310 311# CHECK: bfl #14, #136028 @ encoding: [0xa1,0xf3,0xaf,0xc1] 3120xa1 0xf3 0xaf 0xc1 313 314# CHECK: bfl #14, #158274 @ encoding: [0xa6,0xf3,0x21,0xcd] 3150xa6 0xf3 0x21 0xcd 316 317# CHECK: bfl #16, #-1934 @ encoding: [0x7f,0xf4,0x39,0xcc] 3180x7f 0xf4 0x39 0xcc 319 320# CHECK: bfl #16, #231446 @ encoding: [0x38,0xf4,0x0b,0xcc] 3210x38 0xf4 0x0b 0xcc 322 323# CHECK: bfl #18, #-15646 @ encoding: [0xfc,0xf4,0x71,0xc9] 3240xfc 0xf4 0x71 0xc9 325 326# CHECK: bfl #18, #132222 @ encoding: [0xa0,0xf4,0x3f,0xca] 3270xa0 0xf4 0x3f 0xca 328 329# CHECK: bfl #18, #158602 @ encoding: [0xa6,0xf4,0xc5,0xcd] 3300xa6 0xf4 0xc5 0xcd 331 332# CHECK: bfl #18, #176344 @ encoding: [0xab,0xf4,0x6d,0xc0] 3330xab 0xf4 0x6d 0xc0 334 335# CHECK: bfl #2, #-143878 @ encoding: [0xdc,0xf0,0xfd,0xce] 3360xdc 0xf0 0xfd 0xce 337 338# CHECK: bfl #2, #-198298 @ encoding: [0xcf,0xf0,0xb3,0xcc] 3390xcf 0xf0 0xb3 0xcc 340 341# CHECK: bfl #2, #229916 @ encoding: [0xb8,0xf0,0x0f,0xc1] 3420xb8 0xf0 0x0f 0xc1 343 344# CHECK: bfl #2, #69548 @ encoding: [0x90,0xf0,0xd7,0xc7] 3450x90 0xf0 0xd7 0xc7 346 347# CHECK: bfl #20, #-118408 @ encoding: [0x63,0xf5,0xbd,0xc0] 3480x63 0xf5 0xbd 0xc0 349 350# CHECK: bfl #20, #-249792 @ encoding: [0x43,0xf5,0x21,0xc0] 3510x43 0xf5 0x21 0xc0 352 353# CHECK: bfl #20, #207388 @ encoding: [0x32,0xf5,0x0f,0xc5] 3540x32 0xf5 0x0f 0xc5 355 356# CHECK: bfl #20, #227830 @ encoding: [0x37,0xf5,0xfb,0xcc] 3570x37 0xf5 0xfb 0xcc 358 359# CHECK: bfl #20, #33722 @ encoding: [0x08,0xf5,0xdd,0xc9] 3600x08 0xf5 0xdd 0xc9 361 362# CHECK: bfl #22, #207354 @ encoding: [0xb2,0xf5,0xfd,0xcc] 3630xb2 0xf5 0xfd 0xcc 364 365# CHECK: bfl #22, #232416 @ encoding: [0xb8,0xf5,0xf1,0xc5] 3660xb8 0xf5 0xf1 0xc5 367 368# CHECK: bfl #24, #-138084 @ encoding: [0x5e,0xf6,0x4f,0xc2] 3690x5e 0xf6 0x4f 0xc2 370 371# CHECK: bfl #24, #-258634 @ encoding: [0x40,0xf6,0xdb,0xce] 3720x40 0xf6 0xdb 0xce 373 374# CHECK: bfl #24, #208602 @ encoding: [0x32,0xf6,0x6d,0xcf] 3750x32 0xf6 0x6d 0xcf 376 377# CHECK: bfl #24, #44986 @ encoding: [0x0a,0xf6,0xdd,0xcf] 3780x0a 0xf6 0xdd 0xcf 379 380# CHECK: bfl #26, #128586 @ encoding: [0x9f,0xf6,0x25,0xcb] 3810x9f 0xf6 0x25 0xcb 382 383# CHECK: bfl #26, #2276 @ encoding: [0x80,0xf6,0x73,0xc4] 3840x80 0xf6 0x73 0xc4 385 386# CHECK: bfl #28, #-194678 @ encoding: [0x50,0xf7,0xc5,0xcb] 3870x50 0xf7 0xc5 0xcb 388 389# CHECK: bfl #28, #-245860 @ encoding: [0x43,0xf7,0xcf,0xc7] 3900x43 0xf7 0xcf 0xc7 391 392# CHECK: bfl #30, #181956 @ encoding: [0xac,0xf7,0x63,0xc3] 3930xac 0xf7 0x63 0xc3 394 395# CHECK: bfl #30, #227704 @ encoding: [0xb7,0xf7,0xbd,0xc4] 3960xb7 0xf7 0xbd 0xc4 397 398# CHECK: bfl #30, #52348 @ encoding: [0x8c,0xf7,0x3f,0xc6] 3990x8c 0xf7 0x3f 0xc6 400 401# CHECK: bfl #4, #-228328 @ encoding: [0x48,0xf1,0x0d,0xc2] 4020x48 0xf1 0x0d 0xc2 403 404# CHECK: bfl #4, #-72122 @ encoding: [0x6e,0xf1,0x23,0xcb] 4050x6e 0xf1 0x23 0xcb 406 407# CHECK: bfl #4, #129032 @ encoding: [0x1f,0xf1,0x05,0xc4] 4080x1f 0xf1 0x05 0xc4 409 410# CHECK: bfl #4, #221134 @ encoding: [0x35,0xf1,0xe7,0xcf] 4110x35 0xf1 0xe7 0xcf 412 413# CHECK: bfl #6, #-106948 @ encoding: [0xe5,0xf1,0x1f,0xc7] 4140xe5 0xf1 0x1f 0xc7 415 416# CHECK: bfl #6, #-135484 @ encoding: [0xde,0xf1,0x63,0xc7] 4170xde 0xf1 0x63 0xc7 418 419# CHECK: bfl #6, #-169018 @ encoding: [0xd6,0xf1,0xe3,0xcd] 4200xd6 0xf1 0xe3 0xcd 421 422# CHECK: bfl #8, #-212316 @ encoding: [0x4c,0xf2,0x53,0xc1] 4230x4c 0xf2 0x53 0xc1 424 425# CHECK: bfl #8, #148710 @ encoding: [0x24,0xf2,0x73,0xca] 4260x24 0xf2 0x73 0xca 427 428# CHECK: bfl #8, #15868 @ encoding: [0x03,0xf2,0xff,0xc6] 4290x03 0xf2 0xff 0xc6 430 431# CHECK: bfl #8, #215194 @ encoding: [0x34,0xf2,0x4d,0xcc] 4320x34 0xf2 0x4d 0xcc 433 434# CHECK: bflx #10, lr @ encoding: [0xfe,0xf2,0x01,0xe0] 4350xfe 0xf2 0x01 0xe0 436 437# CHECK: bflx #10, r7 @ encoding: [0xf7,0xf2,0x01,0xe0] 4380xf7 0xf2 0x01 0xe0 439 440# CHECK: bflx #12, r4 @ encoding: [0x74,0xf3,0x01,0xe0] 4410x74 0xf3 0x01 0xe0 442 443# CHECK: bflx #16, r7 @ encoding: [0x77,0xf4,0x01,0xe0] 4440x77 0xf4 0x01 0xe0 445 446# CHECK: bflx #18, r0 @ encoding: [0xf0,0xf4,0x01,0xe0] 4470xf0 0xf4 0x01 0xe0 448 449# CHECK: bflx #18, r1 @ encoding: [0xf1,0xf4,0x01,0xe0] 4500xf1 0xf4 0x01 0xe0 451 452# CHECK: bflx #18, r10 @ encoding: [0xfa,0xf4,0x01,0xe0] 4530xfa 0xf4 0x01 0xe0 454 455# CHECK: bflx #18, r12 @ encoding: [0xfc,0xf4,0x01,0xe0] 4560xfc 0xf4 0x01 0xe0 457 458# CHECK: bflx #18, r3 @ encoding: [0xf3,0xf4,0x01,0xe0] 4590xf3 0xf4 0x01 0xe0 460 461# CHECK: bflx #2, r8 @ encoding: [0xf8,0xf0,0x01,0xe0] 4620xf8 0xf0 0x01 0xe0 463 464# CHECK: bflx #20, r10 @ encoding: [0x7a,0xf5,0x01,0xe0] 4650x7a 0xf5 0x01 0xe0 466 467# CHECK: bflx #20, r11 @ encoding: [0x7b,0xf5,0x01,0xe0] 4680x7b 0xf5 0x01 0xe0 469 470# CHECK: bflx #20, r12 @ encoding: [0x7c,0xf5,0x01,0xe0] 4710x7c 0xf5 0x01 0xe0 472 473# CHECK: bflx #20, r3 @ encoding: [0x73,0xf5,0x01,0xe0] 4740x73 0xf5 0x01 0xe0 475 476# CHECK: bflx #20, r6 @ encoding: [0x76,0xf5,0x01,0xe0] 4770x76 0xf5 0x01 0xe0 478 479# CHECK: bflx #20, r7 @ encoding: [0x77,0xf5,0x01,0xe0] 4800x77 0xf5 0x01 0xe0 481 482# CHECK: bflx #22, r0 @ encoding: [0xf0,0xf5,0x01,0xe0] 4830xf0 0xf5 0x01 0xe0 484 485# CHECK: bflx #22, r11 @ encoding: [0xfb,0xf5,0x01,0xe0] 4860xfb 0xf5 0x01 0xe0 487 488# CHECK: bflx #24, r11 @ encoding: [0x7b,0xf6,0x01,0xe0] 4890x7b 0xf6 0x01 0xe0 490 491# CHECK: bflx #24, r5 @ encoding: [0x75,0xf6,0x01,0xe0] 4920x75 0xf6 0x01 0xe0 493 494# CHECK: bflx #26, lr @ encoding: [0xfe,0xf6,0x01,0xe0] 4950xfe 0xf6 0x01 0xe0 496 497# CHECK: bflx #26, r0 @ encoding: [0xf0,0xf6,0x01,0xe0] 4980xf0 0xf6 0x01 0xe0 499 500# CHECK: bflx #26, r11 @ encoding: [0xfb,0xf6,0x01,0xe0] 5010xfb 0xf6 0x01 0xe0 502 503# CHECK: bflx #26, r7 @ encoding: [0xf7,0xf6,0x01,0xe0] 5040xf7 0xf6 0x01 0xe0 505 506# CHECK: bflx #26, r8 @ encoding: [0xf8,0xf6,0x01,0xe0] 5070xf8 0xf6 0x01 0xe0 508 509# CHECK: bflx #28, r2 @ encoding: [0x72,0xf7,0x01,0xe0] 5100x72 0xf7 0x01 0xe0 511 512# CHECK: bflx #28, r7 @ encoding: [0x77,0xf7,0x01,0xe0] 5130x77 0xf7 0x01 0xe0 514 515# CHECK: bflx #30, r2 @ encoding: [0xf2,0xf7,0x01,0xe0] 5160xf2 0xf7 0x01 0xe0 517 518# CHECK: bflx #30, r3 @ encoding: [0xf3,0xf7,0x01,0xe0] 5190xf3 0xf7 0x01 0xe0 520 521# CHECK: bflx #30, r5 @ encoding: [0xf5,0xf7,0x01,0xe0] 5220xf5 0xf7 0x01 0xe0 523 524# CHECK: bflx #30, r7 @ encoding: [0xf7,0xf7,0x01,0xe0] 5250xf7 0xf7 0x01 0xe0 526 527# CHECK: bflx #4, r9 @ encoding: [0x79,0xf1,0x01,0xe0] 5280x79 0xf1 0x01 0xe0 529 530# CHECK: bflx #6, r3 @ encoding: [0xf3,0xf1,0x01,0xe0] 5310xf3 0xf1 0x01 0xe0 532 533# CHECK: bflx #6, r4 @ encoding: [0xf4,0xf1,0x01,0xe0] 5340xf4 0xf1 0x01 0xe0 535 536# CHECK: bflx #6, r7 @ encoding: [0xf7,0xf1,0x01,0xe0] 5370xf7 0xf1 0x01 0xe0 538 539# CHECK: bflx #8, r1 @ encoding: [0x71,0xf2,0x01,0xe0] 5400x71 0xf2 0x01 0xe0 541 542# CHECK: bflx #8, r9 @ encoding: [0x79,0xf2,0x01,0xe0] 5430x79 0xf2 0x01 0xe0 544 545# CHECK: bfx #10, r1 @ encoding: [0xe1,0xf2,0x01,0xe0] 5460xe1 0xf2 0x01 0xe0 547 548# CHECK: bfx #10, r6 @ encoding: [0xe6,0xf2,0x01,0xe0] 5490xe6 0xf2 0x01 0xe0 550 551# CHECK: bfx #10, r7 @ encoding: [0xe7,0xf2,0x01,0xe0] 5520xe7 0xf2 0x01 0xe0 553 554# CHECK: bfx #12, r2 @ encoding: [0x62,0xf3,0x01,0xe0] 5550x62 0xf3 0x01 0xe0 556 557# CHECK: bfx #12, r4 @ encoding: [0x64,0xf3,0x01,0xe0] 5580x64 0xf3 0x01 0xe0 559 560# CHECK: bfx #12, r9 @ encoding: [0x69,0xf3,0x01,0xe0] 5610x69 0xf3 0x01 0xe0 562 563# CHECK: bfx #14, r10 @ encoding: [0xea,0xf3,0x01,0xe0] 5640xea 0xf3 0x01 0xe0 565 566# CHECK: bfx #14, r3 @ encoding: [0xe3,0xf3,0x01,0xe0] 5670xe3 0xf3 0x01 0xe0 568 569# CHECK: bfx #14, r5 @ encoding: [0xe5,0xf3,0x01,0xe0] 5700xe5 0xf3 0x01 0xe0 571 572# CHECK: bfx #14, r7 @ encoding: [0xe7,0xf3,0x01,0xe0] 5730xe7 0xf3 0x01 0xe0 574 575# CHECK: bfx #16, r4 @ encoding: [0x64,0xf4,0x01,0xe0] 5760x64 0xf4 0x01 0xe0 577 578# CHECK: bfx #16, r6 @ encoding: [0x66,0xf4,0x01,0xe0] 5790x66 0xf4 0x01 0xe0 580 581# CHECK: bfx #2, r1 @ encoding: [0xe1,0xf0,0x01,0xe0] 5820xe1 0xf0 0x01 0xe0 583 584# CHECK: bfx #2, r12 @ encoding: [0xec,0xf0,0x01,0xe0] 5850xec 0xf0 0x01 0xe0 586 587# CHECK: bfx #2, r6 @ encoding: [0xe6,0xf0,0x01,0xe0] 5880xe6 0xf0 0x01 0xe0 589 590# CHECK: bfx #20, r6 @ encoding: [0x66,0xf5,0x01,0xe0] 5910x66 0xf5 0x01 0xe0 592 593# CHECK: bfx #20, r8 @ encoding: [0x68,0xf5,0x01,0xe0] 5940x68 0xf5 0x01 0xe0 595 596# CHECK: bfx #22, r0 @ encoding: [0xe0,0xf5,0x01,0xe0] 5970xe0 0xf5 0x01 0xe0 598 599# CHECK: bfx #22, r12 @ encoding: [0xec,0xf5,0x01,0xe0] 6000xec 0xf5 0x01 0xe0 601 602# CHECK: bfx #22, r8 @ encoding: [0xe8,0xf5,0x01,0xe0] 6030xe8 0xf5 0x01 0xe0 604 605# CHECK: bfx #24, r1 @ encoding: [0x61,0xf6,0x01,0xe0] 6060x61 0xf6 0x01 0xe0 607 608# CHECK: bfx #26, lr @ encoding: [0xee,0xf6,0x01,0xe0] 6090xee 0xf6 0x01 0xe0 610 611# CHECK: bfx #26, r5 @ encoding: [0xe5,0xf6,0x01,0xe0] 6120xe5 0xf6 0x01 0xe0 613 614# CHECK: bfx #26, r8 @ encoding: [0xe8,0xf6,0x01,0xe0] 6150xe8 0xf6 0x01 0xe0 616 617# CHECK: bfx #28, r0 @ encoding: [0x60,0xf7,0x01,0xe0] 6180x60 0xf7 0x01 0xe0 619 620# CHECK: bfx #28, r3 @ encoding: [0x63,0xf7,0x01,0xe0] 6210x63 0xf7 0x01 0xe0 622 623# CHECK: bfx #28, r4 @ encoding: [0x64,0xf7,0x01,0xe0] 6240x64 0xf7 0x01 0xe0 625 626# CHECK: bfx #28, r5 @ encoding: [0x65,0xf7,0x01,0xe0] 6270x65 0xf7 0x01 0xe0 628 629# CHECK: bfx #30, r7 @ encoding: [0xe7,0xf7,0x01,0xe0] 6300xe7 0xf7 0x01 0xe0 631 632# CHECK: bfx #4, r0 @ encoding: [0x60,0xf1,0x01,0xe0] 6330x60 0xf1 0x01 0xe0 634 635# CHECK: bfx #4, r2 @ encoding: [0x62,0xf1,0x01,0xe0] 6360x62 0xf1 0x01 0xe0 637 638# CHECK: bfx #4, r9 @ encoding: [0x69,0xf1,0x01,0xe0] 6390x69 0xf1 0x01 0xe0 640 641# CHECK: bfx #6, lr @ encoding: [0xee,0xf1,0x01,0xe0] 6420xee 0xf1 0x01 0xe0 643 644# CHECK: bfx #6, r0 @ encoding: [0xe0,0xf1,0x01,0xe0] 6450xe0 0xf1 0x01 0xe0 646 647# CHECK: bfx #6, r3 @ encoding: [0xe3,0xf1,0x01,0xe0] 6480xe3 0xf1 0x01 0xe0 649 650# CHECK: bfx #8, r0 @ encoding: [0x60,0xf2,0x01,0xe0] 6510x60 0xf2 0x01 0xe0 652 653# CHECK: bfx #8, r11 @ encoding: [0x6b,0xf2,0x01,0xe0] 6540x6b 0xf2 0x01 0xe0 655 656# CHECK: bfx #8, r12 @ encoding: [0x6c,0xf2,0x01,0xe0] 6570x6c 0xf2 0x01 0xe0 658 659# CHECK: dls lr, lr @ encoding: [0x4e,0xf0,0x01,0xe0] 6600x4e 0xf0 0x01 0xe0 661 662# CHECK: dls lr, r0 @ encoding: [0x40,0xf0,0x01,0xe0] 6630x40 0xf0 0x01 0xe0 664 665# CHECK: dls lr, r1 @ encoding: [0x41,0xf0,0x01,0xe0] 6660x41 0xf0 0x01 0xe0 667 668# CHECK: dls lr, r10 @ encoding: [0x4a,0xf0,0x01,0xe0] 6690x4a 0xf0 0x01 0xe0 670 671# CHECK: dls lr, r11 @ encoding: [0x4b,0xf0,0x01,0xe0] 6720x4b 0xf0 0x01 0xe0 673 674# CHECK: dls lr, r12 @ encoding: [0x4c,0xf0,0x01,0xe0] 6750x4c 0xf0 0x01 0xe0 676 677# CHECK: dls lr, r2 @ encoding: [0x42,0xf0,0x01,0xe0] 6780x42 0xf0 0x01 0xe0 679 680# CHECK: dls lr, r3 @ encoding: [0x43,0xf0,0x01,0xe0] 6810x43 0xf0 0x01 0xe0 682 683# CHECK: dls lr, r5 @ encoding: [0x45,0xf0,0x01,0xe0] 6840x45 0xf0 0x01 0xe0 685 686# CHECK: dls lr, r6 @ encoding: [0x46,0xf0,0x01,0xe0] 6870x46 0xf0 0x01 0xe0 688 689# CHECK: dls lr, r7 @ encoding: [0x47,0xf0,0x01,0xe0] 6900x47 0xf0 0x01 0xe0 691 692# CHECK: dls lr, r8 @ encoding: [0x48,0xf0,0x01,0xe0] 6930x48 0xf0 0x01 0xe0 694 695# CHECK: dls lr, r9 @ encoding: [0x49,0xf0,0x01,0xe0] 6960x49 0xf0 0x01 0xe0 697 698# CHECK: le #-106 @ encoding: [0x2f,0xf0,0x35,0xc8] 6990x2f 0xf0 0x35 0xc8 700 701# CHECK: le #-1172 @ encoding: [0x2f,0xf0,0x4b,0xc2] 7020x2f 0xf0 0x4b 0xc2 703 704# CHECK: le #-1210 @ encoding: [0x2f,0xf0,0x5d,0xca] 7050x2f 0xf0 0x5d 0xca 706 707# CHECK: le #-1260 @ encoding: [0x2f,0xf0,0x77,0xc2] 7080x2f 0xf0 0x77 0xc2 709 710# CHECK: le #-1262 @ encoding: [0x2f,0xf0,0x77,0xca] 7110x2f 0xf0 0x77 0xca 712 713# CHECK: le #-1284 @ encoding: [0x2f,0xf0,0x83,0xc2] 7140x2f 0xf0 0x83 0xc2 715 716# CHECK: le #-1286 @ encoding: [0x2f,0xf0,0x83,0xca] 7170x2f 0xf0 0x83 0xca 718 719# CHECK: le #-1556 @ encoding: [0x2f,0xf0,0x0b,0xc3] 7200x2f 0xf0 0x0b 0xc3 721 722# CHECK: le #-178 @ encoding: [0x2f,0xf0,0x59,0xc8] 7230x2f 0xf0 0x59 0xc8 724 725# CHECK: le #-1882 @ encoding: [0x2f,0xf0,0xad,0xcb] 7260x2f 0xf0 0xad 0xcb 727 728# CHECK: le #-1900 @ encoding: [0x2f,0xf0,0xb7,0xc3] 7290x2f 0xf0 0xb7 0xc3 730 731# CHECK: le #-1910 @ encoding: [0x2f,0xf0,0xbb,0xcb] 7320x2f 0xf0 0xbb 0xcb 733 734# CHECK: le #-2076 @ encoding: [0x2f,0xf0,0x0f,0xc4] 7350x2f 0xf0 0x0f 0xc4 736 737# CHECK: le #-2266 @ encoding: [0x2f,0xf0,0x6d,0xcc] 7380x2f 0xf0 0x6d 0xcc 739 740# CHECK: le #-2324 @ encoding: [0x2f,0xf0,0x8b,0xc4] 7410x2f 0xf0 0x8b 0xc4 742 743# CHECK: le #-2328 @ encoding: [0x2f,0xf0,0x8d,0xc4] 7440x2f 0xf0 0x8d 0xc4 745 746# CHECK: le #-2456 @ encoding: [0x2f,0xf0,0xcd,0xc4] 7470x2f 0xf0 0xcd 0xc4 748 749# CHECK: le #-246 @ encoding: [0x2f,0xf0,0x7b,0xc8] 7500x2f 0xf0 0x7b 0xc8 751 752# CHECK: le #-2476 @ encoding: [0x2f,0xf0,0xd7,0xc4] 7530x2f 0xf0 0xd7 0xc4 754 755# CHECK: le #-2578 @ encoding: [0x2f,0xf0,0x09,0xcd] 7560x2f 0xf0 0x09 0xcd 757 758# CHECK: le #-262 @ encoding: [0x2f,0xf0,0x83,0xc8] 7590x2f 0xf0 0x83 0xc8 760 761# CHECK: le #-2660 @ encoding: [0x2f,0xf0,0x33,0xc5] 7620x2f 0xf0 0x33 0xc5 763 764# CHECK: le #-2722 @ encoding: [0x2f,0xf0,0x51,0xcd] 7650x2f 0xf0 0x51 0xcd 766 767# CHECK: le #-2868 @ encoding: [0x2f,0xf0,0x9b,0xc5] 7680x2f 0xf0 0x9b 0xc5 769 770# CHECK: le #-2882 @ encoding: [0x2f,0xf0,0xa1,0xcd] 7710x2f 0xf0 0xa1 0xcd 772 773# CHECK: le #-3154 @ encoding: [0x2f,0xf0,0x29,0xce] 7740x2f 0xf0 0x29 0xce 775 776# CHECK: le #-3274 @ encoding: [0x2f,0xf0,0x65,0xce] 7770x2f 0xf0 0x65 0xce 778 779# CHECK: le #-3352 @ encoding: [0x2f,0xf0,0x8d,0xc6] 7800x2f 0xf0 0x8d 0xc6 781 782# CHECK: le #-338 @ encoding: [0x2f,0xf0,0xa9,0xc8] 7830x2f 0xf0 0xa9 0xc8 784 785# CHECK: le #-3458 @ encoding: [0x2f,0xf0,0xc1,0xce] 7860x2f 0xf0 0xc1 0xce 787 788# CHECK: le #-3480 @ encoding: [0x2f,0xf0,0xcd,0xc6] 7890x2f 0xf0 0xcd 0xc6 790 791# CHECK: le #-3542 @ encoding: [0x2f,0xf0,0xeb,0xce] 7920x2f 0xf0 0xeb 0xce 793 794# CHECK: le #-3644 @ encoding: [0x2f,0xf0,0x1f,0xc7] 7950x2f 0xf0 0x1f 0xc7 796 797# CHECK: le #-3676 @ encoding: [0x2f,0xf0,0x2f,0xc7] 7980x2f 0xf0 0x2f 0xc7 799 800# CHECK: le #-3692 @ encoding: [0x2f,0xf0,0x37,0xc7] 8010x2f 0xf0 0x37 0xc7 802 803# CHECK: le #-3860 @ encoding: [0x2f,0xf0,0x8b,0xc7] 8040x2f 0xf0 0x8b 0xc7 805 806# CHECK: le #-3986 @ encoding: [0x2f,0xf0,0xc9,0xcf] 8070x2f 0xf0 0xc9 0xcf 808 809# CHECK: le #-4006 @ encoding: [0x2f,0xf0,0xd3,0xcf] 8100x2f 0xf0 0xd3 0xcf 811 812# CHECK: le #-4034 @ encoding: [0x2f,0xf0,0xe1,0xcf] 8130x2f 0xf0 0xe1 0xcf 814 815# CHECK: le #-4060 @ encoding: [0x2f,0xf0,0xef,0xc7] 8160x2f 0xf0 0xef 0xc7 817 818# CHECK: le #-4068 @ encoding: [0x2f,0xf0,0xf3,0xc7] 8190x2f 0xf0 0xf3 0xc7 820 821# CHECK: le #-478 @ encoding: [0x2f,0xf0,0xef,0xc8] 8220x2f 0xf0 0xef 0xc8 823 824# CHECK: le #-544 @ encoding: [0x2f,0xf0,0x11,0xc1] 8250x2f 0xf0 0x11 0xc1 826 827# CHECK: le #-586 @ encoding: [0x2f,0xf0,0x25,0xc9] 8280x2f 0xf0 0x25 0xc9 829 830# CHECK: le #-606 @ encoding: [0x2f,0xf0,0x2f,0xc9] 8310x2f 0xf0 0x2f 0xc9 832 833# CHECK: le #-656 @ encoding: [0x2f,0xf0,0x49,0xc1] 8340x2f 0xf0 0x49 0xc1 835 836# CHECK: le #-740 @ encoding: [0x2f,0xf0,0x73,0xc1] 8370x2f 0xf0 0x73 0xc1 838 839# CHECK: le #-762 @ encoding: [0x2f,0xf0,0x7d,0xc9] 8400x2f 0xf0 0x7d 0xc9 841 842# CHECK: le #-862 @ encoding: [0x2f,0xf0,0xaf,0xc9] 8430x2f 0xf0 0xaf 0xc9 844 845# CHECK: le #-870 @ encoding: [0x2f,0xf0,0xb3,0xc9] 8460x2f 0xf0 0xb3 0xc9 847 848# CHECK: le lr, #-1080 @ encoding: [0x0f,0xf0,0x1d,0xc2] 8490x0f 0xf0 0x1d 0xc2 850 851# CHECK: le lr, #-1104 @ encoding: [0x0f,0xf0,0x29,0xc2] 8520x0f 0xf0 0x29 0xc2 853 854# CHECK: le lr, #-1152 @ encoding: [0x0f,0xf0,0x41,0xc2] 8550x0f 0xf0 0x41 0xc2 856 857# CHECK: le lr, #-1462 @ encoding: [0x0f,0xf0,0xdb,0xca] 8580x0f 0xf0 0xdb 0xca 859 860# CHECK: le lr, #-1470 @ encoding: [0x0f,0xf0,0xdf,0xca] 8610x0f 0xf0 0xdf 0xca 862 863# CHECK: le lr, #-1612 @ encoding: [0x0f,0xf0,0x27,0xc3] 8640x0f 0xf0 0x27 0xc3 865 866# CHECK: le lr, #-1632 @ encoding: [0x0f,0xf0,0x31,0xc3] 8670x0f 0xf0 0x31 0xc3 868 869# CHECK: le lr, #-1694 @ encoding: [0x0f,0xf0,0x4f,0xcb] 8700x0f 0xf0 0x4f 0xcb 871 872# CHECK: le lr, #-1714 @ encoding: [0x0f,0xf0,0x59,0xcb] 8730x0f 0xf0 0x59 0xcb 874 875# CHECK: le lr, #-1850 @ encoding: [0x0f,0xf0,0x9d,0xcb] 8760x0f 0xf0 0x9d 0xcb 877 878# CHECK: le lr, #-1878 @ encoding: [0x0f,0xf0,0xab,0xcb] 8790x0f 0xf0 0xab 0xcb 880 881# CHECK: le lr, #-1896 @ encoding: [0x0f,0xf0,0xb5,0xc3] 8820x0f 0xf0 0xb5 0xc3 883 884# CHECK: le lr, #-1922 @ encoding: [0x0f,0xf0,0xc1,0xcb] 8850x0f 0xf0 0xc1 0xcb 886 887# CHECK: le lr, #-1926 @ encoding: [0x0f,0xf0,0xc3,0xcb] 8880x0f 0xf0 0xc3 0xcb 889 890# CHECK: le lr, #-2 @ encoding: [0x0f,0xf0,0x01,0xc8] 8910x0f 0xf0 0x01 0xc8 892 893# CHECK: le lr, #-2104 @ encoding: [0x0f,0xf0,0x1d,0xc4] 8940x0f 0xf0 0x1d 0xc4 895 896# CHECK: le lr, #-2116 @ encoding: [0x0f,0xf0,0x23,0xc4] 8970x0f 0xf0 0x23 0xc4 898 899# CHECK: le lr, #-2144 @ encoding: [0x0f,0xf0,0x31,0xc4] 9000x0f 0xf0 0x31 0xc4 901 902# CHECK: le lr, #-2188 @ encoding: [0x0f,0xf0,0x47,0xc4] 9030x0f 0xf0 0x47 0xc4 904 905# CHECK: le lr, #-2344 @ encoding: [0x0f,0xf0,0x95,0xc4] 9060x0f 0xf0 0x95 0xc4 907 908# CHECK: le lr, #-2456 @ encoding: [0x0f,0xf0,0xcd,0xc4] 9090x0f 0xf0 0xcd 0xc4 910 911# CHECK: le lr, #-2608 @ encoding: [0x0f,0xf0,0x19,0xc5] 9120x0f 0xf0 0x19 0xc5 913 914# CHECK: le lr, #-2616 @ encoding: [0x0f,0xf0,0x1d,0xc5] 9150x0f 0xf0 0x1d 0xc5 916 917# CHECK: le lr, #-2622 @ encoding: [0x0f,0xf0,0x1f,0xcd] 9180x0f 0xf0 0x1f 0xcd 919 920# CHECK: le lr, #-2680 @ encoding: [0x0f,0xf0,0x3d,0xc5] 9210x0f 0xf0 0x3d 0xc5 922 923# CHECK: le lr, #-2694 @ encoding: [0x0f,0xf0,0x43,0xcd] 9240x0f 0xf0 0x43 0xcd 925 926# CHECK: le lr, #-2850 @ encoding: [0x0f,0xf0,0x91,0xcd] 9270x0f 0xf0 0x91 0xcd 928 929# CHECK: le lr, #-2860 @ encoding: [0x0f,0xf0,0x97,0xc5] 9300x0f 0xf0 0x97 0xc5 931 932# CHECK: le lr, #-3004 @ encoding: [0x0f,0xf0,0xdf,0xc5] 9330x0f 0xf0 0xdf 0xc5 934 935# CHECK: le lr, #-3018 @ encoding: [0x0f,0xf0,0xe5,0xcd] 9360x0f 0xf0 0xe5 0xcd 937 938# CHECK: le lr, #-304 @ encoding: [0x0f,0xf0,0x99,0xc0] 9390x0f 0xf0 0x99 0xc0 940 941# CHECK: le lr, #-3098 @ encoding: [0x0f,0xf0,0x0d,0xce] 9420x0f 0xf0 0x0d 0xce 943 944# CHECK: le lr, #-3228 @ encoding: [0x0f,0xf0,0x4f,0xc6] 9450x0f 0xf0 0x4f 0xc6 946 947# CHECK: le lr, #-3316 @ encoding: [0x0f,0xf0,0x7b,0xc6] 9480x0f 0xf0 0x7b 0xc6 949 950# CHECK: le lr, #-3332 @ encoding: [0x0f,0xf0,0x83,0xc6] 9510x0f 0xf0 0x83 0xc6 952 953# CHECK: le lr, #-3354 @ encoding: [0x0f,0xf0,0x8d,0xce] 9540x0f 0xf0 0x8d 0xce 955 956# CHECK: le lr, #-3962 @ encoding: [0x0f,0xf0,0xbd,0xcf] 9570x0f 0xf0 0xbd 0xcf 958 959# CHECK: le lr, #-4042 @ encoding: [0x0f,0xf0,0xe5,0xcf] 9600x0f 0xf0 0xe5 0xcf 961 962# CHECK: le lr, #-4052 @ encoding: [0x0f,0xf0,0xeb,0xc7] 9630x0f 0xf0 0xeb 0xc7 964 965# CHECK: le lr, #-458 @ encoding: [0x0f,0xf0,0xe5,0xc8] 9660x0f 0xf0 0xe5 0xc8 967 968# CHECK: le lr, #-56 @ encoding: [0x0f,0xf0,0x1d,0xc0] 9690x0f 0xf0 0x1d 0xc0 970 971# CHECK: le lr, #-582 @ encoding: [0x0f,0xf0,0x23,0xc9] 9720x0f 0xf0 0x23 0xc9 973 974# CHECK: le lr, #-676 @ encoding: [0x0f,0xf0,0x53,0xc1] 9750x0f 0xf0 0x53 0xc1 976 977# CHECK: le lr, #-752 @ encoding: [0x0f,0xf0,0x79,0xc1] 9780x0f 0xf0 0x79 0xc1 979 980# CHECK: le lr, #-76 @ encoding: [0x0f,0xf0,0x27,0xc0] 9810x0f 0xf0 0x27 0xc0 982 983# CHECK: le lr, #-802 @ encoding: [0x0f,0xf0,0x91,0xc9] 9840x0f 0xf0 0x91 0xc9 985 986# CHECK: le lr, #-862 @ encoding: [0x0f,0xf0,0xaf,0xc9] 9870x0f 0xf0 0xaf 0xc9 988 989# CHECK: le lr, #-902 @ encoding: [0x0f,0xf0,0xc3,0xc9] 9900x0f 0xf0 0xc3 0xc9 991 992# CHECK: le lr, #-968 @ encoding: [0x0f,0xf0,0xe5,0xc1] 9930x0f 0xf0 0xe5 0xc1 994 995# CHECK: wls lr, lr, #1192 @ encoding: [0x4e,0xf0,0x55,0xc2] 9960x4e 0xf0 0x55 0xc2 997 998# CHECK: wls lr, lr, #2134 @ encoding: [0x4e,0xf0,0x2b,0xcc] 9990x4e 0xf0 0x2b 0xcc 1000 1001# CHECK: wls lr, lr, #962 @ encoding: [0x4e,0xf0,0xe1,0xc9] 10020x4e 0xf0 0xe1 0xc9 1003 1004# CHECK: wls lr, r0, #1668 @ encoding: [0x40,0xf0,0x43,0xc3] 10050x40 0xf0 0x43 0xc3 1006 1007# CHECK: wls lr, r0, #2706 @ encoding: [0x40,0xf0,0x49,0xcd] 10080x40 0xf0 0x49 0xcd 1009 1010# CHECK: wls lr, r0, #3026 @ encoding: [0x40,0xf0,0xe9,0xcd] 10110x40 0xf0 0xe9 0xcd 1012 1013# CHECK: wls lr, r0, #3436 @ encoding: [0x40,0xf0,0xb7,0xc6] 10140x40 0xf0 0xb7 0xc6 1015 1016# CHECK: wls lr, r1, #1060 @ encoding: [0x41,0xf0,0x13,0xc2] 10170x41 0xf0 0x13 0xc2 1018 1019# CHECK: wls lr, r1, #4036 @ encoding: [0x41,0xf0,0xe3,0xc7] 10200x41 0xf0 0xe3 0xc7 1021 1022# CHECK: wls lr, r1, #538 @ encoding: [0x41,0xf0,0x0d,0xc9] 10230x41 0xf0 0x0d 0xc9 1024 1025# CHECK: wls lr, r10, #1404 @ encoding: [0x4a,0xf0,0xbf,0xc2] 10260x4a 0xf0 0xbf 0xc2 1027 1028# CHECK: wls lr, r10, #1408 @ encoding: [0x4a,0xf0,0xc1,0xc2] 10290x4a 0xf0 0xc1 0xc2 1030 1031# CHECK: wls lr, r10, #2358 @ encoding: [0x4a,0xf0,0x9b,0xcc] 10320x4a 0xf0 0x9b 0xcc 1033 1034# CHECK: wls lr, r10, #4086 @ encoding: [0x4a,0xf0,0xfb,0xcf] 10350x4a 0xf0 0xfb 0xcf 1036 1037# CHECK: wls lr, r11, #1442 @ encoding: [0x4b,0xf0,0xd1,0xca] 10380x4b 0xf0 0xd1 0xca 1039 1040# CHECK: wls lr, r11, #2678 @ encoding: [0x4b,0xf0,0x3b,0xcd] 10410x4b 0xf0 0x3b 0xcd 1042 1043# CHECK: wls lr, r11, #3610 @ encoding: [0x4b,0xf0,0x0d,0xcf] 10440x4b 0xf0 0x0d 0xcf 1045 1046# CHECK: wls lr, r12, #206 @ encoding: [0x4c,0xf0,0x67,0xc8] 10470x4c 0xf0 0x67 0xc8 1048 1049# CHECK: wls lr, r12, #2896 @ encoding: [0x4c,0xf0,0xa9,0xc5] 10500x4c 0xf0 0xa9 0xc5 1051 1052# CHECK: wls lr, r12, #3258 @ encoding: [0x4c,0xf0,0x5d,0xce] 10530x4c 0xf0 0x5d 0xce 1054 1055# CHECK: wls lr, r2, #3242 @ encoding: [0x42,0xf0,0x55,0xce] 10560x42 0xf0 0x55 0xce 1057 1058# CHECK: wls lr, r2, #3832 @ encoding: [0x42,0xf0,0x7d,0xc7] 10590x42 0xf0 0x7d 0xc7 1060 1061# CHECK: wls lr, r2, #872 @ encoding: [0x42,0xf0,0xb5,0xc1] 10620x42 0xf0 0xb5 0xc1 1063 1064# CHECK: wls lr, r3, #3514 @ encoding: [0x43,0xf0,0xdd,0xce] 10650x43 0xf0 0xdd 0xce 1066 1067# CHECK: wls lr, r3, #3636 @ encoding: [0x43,0xf0,0x1b,0xc7] 10680x43 0xf0 0x1b 0xc7 1069 1070# CHECK: wls lr, r3, #3942 @ encoding: [0x43,0xf0,0xb3,0xcf] 10710x43 0xf0 0xb3 0xcf 1072 1073# CHECK: wls lr, r3, #712 @ encoding: [0x43,0xf0,0x65,0xc1] 10740x43 0xf0 0x65 0xc1 1075 1076# CHECK: wls lr, r4, #2146 @ encoding: [0x44,0xf0,0x31,0xcc] 10770x44 0xf0 0x31 0xcc 1078 1079# CHECK: wls lr, r4, #2486 @ encoding: [0x44,0xf0,0xdb,0xcc] 10800x44 0xf0 0xdb 0xcc 1081 1082# CHECK: wls lr, r5, #1906 @ encoding: [0x45,0xf0,0xb9,0xcb] 10830x45 0xf0 0xb9 0xcb 1084 1085# CHECK: wls lr, r5, #3396 @ encoding: [0x45,0xf0,0xa3,0xc6] 10860x45 0xf0 0xa3 0xc6 1087 1088# CHECK: wls lr, r6, #3326 @ encoding: [0x46,0xf0,0x7f,0xce] 10890x46 0xf0 0x7f 0xce 1090 1091# CHECK: wls lr, r6, #416 @ encoding: [0x46,0xf0,0xd1,0xc0] 10920x46 0xf0 0xd1 0xc0 1093 1094# CHECK: wls lr, r6, #422 @ encoding: [0x46,0xf0,0xd3,0xc8] 10950x46 0xf0 0xd3 0xc8 1096 1097# CHECK: wls lr, r7, #3474 @ encoding: [0x47,0xf0,0xc9,0xce] 10980x47 0xf0 0xc9 0xce 1099 1100# CHECK: wls lr, r7, #3640 @ encoding: [0x47,0xf0,0x1d,0xc7] 11010x47 0xf0 0x1d 0xc7 1102 1103# CHECK: wls lr, r8, #2700 @ encoding: [0x48,0xf0,0x47,0xc5] 11040x48 0xf0 0x47 0xc5 1105 1106# CHECK: wls lr, r9, #1114 @ encoding: [0x49,0xf0,0x2d,0xca] 11070x49 0xf0 0x2d 0xca 1108 1109# CHECK: wls lr, r9, #1984 @ encoding: [0x49,0xf0,0xe1,0xc3] 11100x49 0xf0 0xe1 0xc3 1111 1112# CHECK: wls lr, r9, #3758 @ encoding: [0x49,0xf0,0x57,0xcf] 11130x49 0xf0 0x57 0xcf 1114 1115# CHECK: wls lr, r9, #3796 @ encoding: [0x49,0xf0,0x6b,0xc7] 11160x49 0xf0 0x6b 0xc7 1117 1118# CHECK: cinc lr, r2, lo @ encoding: [0x52,0xea,0x22,0x9e] 11190x52 0xea 0x22 0x9e 1120 1121# CHECK: cinc lr, r7, pl @ encoding: [0x57,0xea,0x47,0x9e] 11220x57 0xea 0x47 0x9e 1123 1124# CHECK: cinv lr, r12, hs @ encoding: [0x5c,0xea,0x3c,0xae] 11250x5c 0xea 0x3c 0xae 1126 1127# CHECK: cneg lr, r10, hs @ encoding: [0x5a,0xea,0x3a,0xbe] 11280x5a 0xea 0x3a 0xbe 1129 1130# CHECK: csel r9, r9, r11, vc @ encoding: [0x59,0xea,0x7b,0x89] 11310x59 0xea 0x7b 0x89 1132 1133# CHECK: cset lr, eq @ encoding: [0x5f,0xea,0x1f,0x9e] 11340x5f 0xea 0x1f 0x9e 1135 1136# CHECK: csetm lr, hs @ encoding: [0x5f,0xea,0x3f,0xae] 11370x5f 0xea 0x3f 0xae 1138 1139# CHECK: csinc lr, r10, r7, le @ encoding: [0x5a,0xea,0xd7,0x9e] 11400x5a 0xea 0xd7 0x9e 1141 1142# CHECK: csinv lr, r5, zr, hs @ encoding: [0x55,0xea,0x2f,0xae] 11430x55 0xea 0x2f 0xae 1144 1145# CHECK: cinv lr, r2, pl @ encoding: [0x52,0xea,0x42,0xae] 11460x52 0xea 0x42 0xae 1147 1148# CHECK: csneg lr, r1, r11, vc @ encoding: [0x51,0xea,0x7b,0xbe] 11490x51 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] 1177