basic-arm-instructions.s revision 80d01dd3d19a84621324ac444c6749602df7a513
1@ RUN: llvm-mc -triple=armv7-apple-darwin -show-encoding < %s | FileCheck %s 2 .syntax unified 3 .globl _func 4 5@ Check that the assembler can handle the documented syntax from the ARM ARM. 6@ For complex constructs like shifter operands, check more thoroughly for them 7@ once then spot check that following instructions accept the form generally. 8@ This gives us good coverage while keeping the overall size of the test 9@ more reasonable. 10 11_func: 12@ CHECK: _func 13 14@------------------------------------------------------------------------------ 15@ ADC (immediate) 16@------------------------------------------------------------------------------ 17 adc r1, r2, #0xf 18 adc r1, r2, #0xf0 19 adc r1, r2, #0xf00 20 adc r1, r2, #0xf000 21 adc r1, r2, #0xf0000 22 adc r1, r2, #0xf00000 23 adc r1, r2, #0xf000000 24 adc r1, r2, #0xf0000000 25 adc r1, r2, #0xf000000f 26 adcs r1, r2, #0xf00 27 adcseq r1, r2, #0xf00 28 adceq r1, r2, #0xf00 29 30@ CHECK: adc r1, r2, #15 @ encoding: [0x0f,0x10,0xa2,0xe2] 31@ CHECK: adc r1, r2, #240 @ encoding: [0xf0,0x10,0xa2,0xe2] 32@ CHECK: adc r1, r2, #3840 @ encoding: [0x0f,0x1c,0xa2,0xe2] 33@ CHECK: adc r1, r2, #61440 @ encoding: [0x0f,0x1a,0xa2,0xe2] 34@ CHECK: adc r1, r2, #983040 @ encoding: [0x0f,0x18,0xa2,0xe2] 35@ CHECK: adc r1, r2, #15728640 @ encoding: [0x0f,0x16,0xa2,0xe2] 36@ CHECK: adc r1, r2, #251658240 @ encoding: [0x0f,0x14,0xa2,0xe2] 37@ CHECK: adc r1, r2, #4026531840 @ encoding: [0x0f,0x12,0xa2,0xe2] 38@ CHECK: adc r1, r2, #4026531855 @ encoding: [0xff,0x12,0xa2,0xe2] 39 40@ CHECK: adcs r1, r2, #3840 @ encoding: [0x0f,0x1c,0xb2,0xe2] 41@ CHECK: adcseq r1, r2, #3840 @ encoding: [0x0f,0x1c,0xb2,0x02] 42@ CHECK: adceq r1, r2, #3840 @ encoding: [0x0f,0x1c,0xa2,0x02] 43 44@------------------------------------------------------------------------------ 45@ ADC (register) 46@ ADC (shifted register) 47@------------------------------------------------------------------------------ 48 adc r4, r5, r6 49 @ Constant shifts 50 adc r4, r5, r6, lsl #1 51 adc r4, r5, r6, lsl #31 52 adc r4, r5, r6, lsr #1 53 adc r4, r5, r6, lsr #31 54 adc r4, r5, r6, lsr #32 55 adc r4, r5, r6, asr #1 56 adc r4, r5, r6, asr #31 57 adc r4, r5, r6, asr #32 58 adc r4, r5, r6, ror #1 59 adc r4, r5, r6, ror #31 60 61 @ Register shifts 62 adc r6, r7, r8, lsl r9 63 adc r6, r7, r8, lsr r9 64 adc r6, r7, r8, asr r9 65 adc r6, r7, r8, ror r9 66 adc r4, r5, r6, rrx 67 68 @ Destination register is optional 69 adc r5, r6 70 adc r4, r5, lsl #1 71 adc r4, r5, lsl #31 72 adc r4, r5, lsr #1 73 adc r4, r5, lsr #31 74 adc r4, r5, lsr #32 75 adc r4, r5, asr #1 76 adc r4, r5, asr #31 77 adc r4, r5, asr #32 78 adc r4, r5, ror #1 79 adc r4, r5, ror #31 80 adc r4, r5, rrx 81 adc r6, r7, lsl r9 82 adc r6, r7, lsr r9 83 adc r6, r7, asr r9 84 adc r6, r7, ror r9 85 adc r4, r5, rrx 86 87@ CHECK: adc r4, r5, r6 @ encoding: [0x06,0x40,0xa5,0xe0] 88 89@ CHECK: adc r4, r5, r6, lsl #1 @ encoding: [0x86,0x40,0xa5,0xe0] 90@ CHECK: adc r4, r5, r6, lsl #31 @ encoding: [0x86,0x4f,0xa5,0xe0] 91@ CHECK: adc r4, r5, r6, lsr #1 @ encoding: [0xa6,0x40,0xa5,0xe0] 92@ CHECK: adc r4, r5, r6, lsr #31 @ encoding: [0xa6,0x4f,0xa5,0xe0] 93@ CHECK: adc r4, r5, r6, lsr #32 @ encoding: [0x26,0x40,0xa5,0xe0] 94@ CHECK: adc r4, r5, r6, asr #1 @ encoding: [0xc6,0x40,0xa5,0xe0] 95@ CHECK: adc r4, r5, r6, asr #31 @ encoding: [0xc6,0x4f,0xa5,0xe0] 96@ CHECK: adc r4, r5, r6, asr #32 @ encoding: [0x46,0x40,0xa5,0xe0] 97@ CHECK: adc r4, r5, r6, ror #1 @ encoding: [0xe6,0x40,0xa5,0xe0] 98@ CHECK: adc r4, r5, r6, ror #31 @ encoding: [0xe6,0x4f,0xa5,0xe0] 99 100@ CHECK: adc r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0xa7,0xe0] 101@ CHECK: adc r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0xa7,0xe0] 102@ CHECK: adc r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0xa7,0xe0] 103@ CHECK: adc r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0xa7,0xe0] 104@ CHECK: adc r4, r5, r6, rrx @ encoding: [0x66,0x40,0xa5,0xe0] 105 106@ CHECK: adc r5, r5, r6 @ encoding: [0x06,0x50,0xa5,0xe0] 107@ CHECK: adc r4, r4, r5, lsl #1 @ encoding: [0x85,0x40,0xa4,0xe0] 108@ CHECK: adc r4, r4, r5, lsl #31 @ encoding: [0x85,0x4f,0xa4,0xe0] 109@ CHECK: adc r4, r4, r5, lsr #1 @ encoding: [0xa5,0x40,0xa4,0xe0] 110@ CHECK: adc r4, r4, r5, lsr #31 @ encoding: [0xa5,0x4f,0xa4,0xe0] 111@ CHECK: adc r4, r4, r5, lsr #32 @ encoding: [0x25,0x40,0xa4,0xe0] 112@ CHECK: adc r4, r4, r5, asr #1 @ encoding: [0xc5,0x40,0xa4,0xe0] 113@ CHECK: adc r4, r4, r5, asr #31 @ encoding: [0xc5,0x4f,0xa4,0xe0] 114@ CHECK: adc r4, r4, r5, asr #32 @ encoding: [0x45,0x40,0xa4,0xe0] 115@ CHECK: adc r4, r4, r5, ror #1 @ encoding: [0xe5,0x40,0xa4,0xe0] 116@ CHECK: adc r4, r4, r5, ror #31 @ encoding: [0xe5,0x4f,0xa4,0xe0] 117@ CHECK: adc r4, r4, r5, rrx @ encoding: [0x65,0x40,0xa4,0xe0] 118@ CHECK: adc r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0xa6,0xe0] 119@ CHECK: adc r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0xa6,0xe0] 120@ CHECK: adc r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0xa6,0xe0] 121@ CHECK: adc r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0xa6,0xe0] 122@ CHECK: adc r4, r4, r5, rrx @ encoding: [0x65,0x40,0xa4,0xe0] 123 124 125@------------------------------------------------------------------------------ 126@ FIXME: ADR 127@------------------------------------------------------------------------------ 128 129@------------------------------------------------------------------------------ 130@ ADD 131@------------------------------------------------------------------------------ 132 add r4, r5, #0xf000 133 add r4, r5, r6 134 add r4, r5, r6, lsl #5 135 add r4, r5, r6, lsr #5 136 add r4, r5, r6, lsr #5 137 add r4, r5, r6, asr #5 138 add r4, r5, r6, ror #5 139 add r6, r7, r8, lsl r9 140 add r6, r7, r8, lsr r9 141 add r6, r7, r8, asr r9 142 add r6, r7, r8, ror r9 143 add r4, r5, r6, rrx 144 145 @ destination register is optional 146 add r5, #0xf000 147 add r4, r5 148 add r4, r5, lsl #5 149 add r4, r5, lsr #5 150 add r4, r5, lsr #5 151 add r4, r5, asr #5 152 add r4, r5, ror #5 153 add r6, r7, lsl r9 154 add r6, r7, lsr r9 155 add r6, r7, asr r9 156 add r6, r7, ror r9 157 add r4, r5, rrx 158 159@ CHECK: add r4, r5, #61440 @ encoding: [0x0f,0x4a,0x85,0xe2] 160@ CHECK: add r4, r5, r6 @ encoding: [0x06,0x40,0x85,0xe0] 161@ CHECK: add r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x85,0xe0] 162@ CHECK: add r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe0] 163@ CHECK: add r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe0] 164@ CHECK: add r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x85,0xe0] 165@ CHECK: add r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x85,0xe0] 166@ CHECK: add r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x87,0xe0] 167@ CHECK: add r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x87,0xe0] 168@ CHECK: add r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x87,0xe0] 169@ CHECK: add r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x87,0xe0] 170@ CHECK: add r4, r5, r6, rrx @ encoding: [0x66,0x40,0x85,0xe0] 171 172 173@ CHECK: add r5, r5, #61440 @ encoding: [0x0f,0x5a,0x85,0xe2] 174@ CHECK: add r4, r4, r5 @ encoding: [0x05,0x40,0x84,0xe0] 175@ CHECK: add r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x84,0xe0] 176@ CHECK: add r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe0] 177@ CHECK: add r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe0] 178@ CHECK: add r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x84,0xe0] 179@ CHECK: add r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x84,0xe0] 180@ CHECK: add r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x86,0xe0] 181@ CHECK: add r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x86,0xe0] 182@ CHECK: add r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x86,0xe0] 183@ CHECK: add r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x86,0xe0] 184@ CHECK: add r4, r4, r5, rrx @ encoding: [0x65,0x40,0x84,0xe0] 185 186 187@------------------------------------------------------------------------------ 188@ AND 189@------------------------------------------------------------------------------ 190 and r10, r1, #0xf 191 and r10, r1, r6 192 and r10, r1, r6, lsl #10 193 and r10, r1, r6, lsr #10 194 and r10, r1, r6, lsr #10 195 and r10, r1, r6, asr #10 196 and r10, r1, r6, ror #10 197 and r6, r7, r8, lsl r2 198 and r6, r7, r8, lsr r2 199 and r6, r7, r8, asr r2 200 and r6, r7, r8, ror r2 201 and r10, r1, r6, rrx 202 203 @ destination register is optional 204 and r1, #0xf 205 and r10, r1 206 and r10, r1, lsl #10 207 and r10, r1, lsr #10 208 and r10, r1, lsr #10 209 and r10, r1, asr #10 210 and r10, r1, ror #10 211 and r6, r7, lsl r2 212 and r6, r7, lsr r2 213 and r6, r7, asr r2 214 and r6, r7, ror r2 215 and r10, r1, rrx 216 217@ CHECK: and r10, r1, #15 @ encoding: [0x0f,0xa0,0x01,0xe2] 218@ CHECK: and r10, r1, r6 @ encoding: [0x06,0xa0,0x01,0xe0] 219@ CHECK: and r10, r1, r6, lsl #10 @ encoding: [0x06,0xa5,0x01,0xe0] 220@ CHECK: and r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0x01,0xe0] 221@ CHECK: and r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0x01,0xe0] 222@ CHECK: and r10, r1, r6, asr #10 @ encoding: [0x46,0xa5,0x01,0xe0] 223@ CHECK: and r10, r1, r6, ror #10 @ encoding: [0x66,0xa5,0x01,0xe0] 224@ CHECK: and r6, r7, r8, lsl r2 @ encoding: [0x18,0x62,0x07,0xe0] 225@ CHECK: and r6, r7, r8, lsr r2 @ encoding: [0x38,0x62,0x07,0xe0] 226@ CHECK: and r6, r7, r8, asr r2 @ encoding: [0x58,0x62,0x07,0xe0] 227@ CHECK: and r6, r7, r8, ror r2 @ encoding: [0x78,0x62,0x07,0xe0] 228@ CHECK: and r10, r1, r6, rrx @ encoding: [0x66,0xa0,0x01,0xe0] 229 230@ CHECK: and r1, r1, #15 @ encoding: [0x0f,0x10,0x01,0xe2] 231@ CHECK: and r10, r10, r1 @ encoding: [0x01,0xa0,0x0a,0xe0] 232@ CHECK: and r10, r10, r1, lsl #10 @ encoding: [0x01,0xa5,0x0a,0xe0] 233@ CHECK: and r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0x0a,0xe0] 234@ CHECK: and r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0x0a,0xe0] 235@ CHECK: and r10, r10, r1, asr #10 @ encoding: [0x41,0xa5,0x0a,0xe0] 236@ CHECK: and r10, r10, r1, ror #10 @ encoding: [0x61,0xa5,0x0a,0xe0] 237@ CHECK: and r6, r6, r7, lsl r2 @ encoding: [0x17,0x62,0x06,0xe0] 238@ CHECK: and r6, r6, r7, lsr r2 @ encoding: [0x37,0x62,0x06,0xe0] 239@ CHECK: and r6, r6, r7, asr r2 @ encoding: [0x57,0x62,0x06,0xe0] 240@ CHECK: and r6, r6, r7, ror r2 @ encoding: [0x77,0x62,0x06,0xe0] 241@ CHECK: and r10, r10, r1, rrx @ encoding: [0x61,0xa0,0x0a,0xe0] 242 243@------------------------------------------------------------------------------ 244@ FIXME: ASR 245@------------------------------------------------------------------------------ 246@------------------------------------------------------------------------------ 247@ FIXME: B 248@------------------------------------------------------------------------------ 249@------------------------------------------------------------------------------ 250@ FIXME: BFC 251@------------------------------------------------------------------------------ 252@------------------------------------------------------------------------------ 253@ FIXME: BFI 254@------------------------------------------------------------------------------ 255 256@------------------------------------------------------------------------------ 257@ BIC 258@------------------------------------------------------------------------------ 259 bic r10, r1, #0xf 260 bic r10, r1, r6 261 bic r10, r1, r6, lsl #10 262 bic r10, r1, r6, lsr #10 263 bic r10, r1, r6, lsr #10 264 bic r10, r1, r6, asr #10 265 bic r10, r1, r6, ror #10 266 bic r6, r7, r8, lsl r2 267 bic r6, r7, r8, lsr r2 268 bic r6, r7, r8, asr r2 269 bic r6, r7, r8, ror r2 270 bic r10, r1, r6, rrx 271 272 @ destination register is optional 273 bic r1, #0xf 274 bic r10, r1 275 bic r10, r1, lsl #10 276 bic r10, r1, lsr #10 277 bic r10, r1, lsr #10 278 bic r10, r1, asr #10 279 bic r10, r1, ror #10 280 bic r6, r7, lsl r2 281 bic r6, r7, lsr r2 282 bic r6, r7, asr r2 283 bic r6, r7, ror r2 284 bic r10, r1, rrx 285 286@ CHECK: bic r10, r1, #15 @ encoding: [0x0f,0xa0,0xc1,0xe3] 287@ CHECK: bic r10, r1, r6 @ encoding: [0x06,0xa0,0xc1,0xe1] 288@ CHECK: bic r10, r1, r6, lsl #10 @ encoding: [0x06,0xa5,0xc1,0xe1] 289@ CHECK: bic r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0xc1,0xe1] 290@ CHECK: bic r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0xc1,0xe1] 291@ CHECK: bic r10, r1, r6, asr #10 @ encoding: [0x46,0xa5,0xc1,0xe1] 292@ CHECK: bic r10, r1, r6, ror #10 @ encoding: [0x66,0xa5,0xc1,0xe1] 293@ CHECK: bic r6, r7, r8, lsl r2 @ encoding: [0x18,0x62,0xc7,0xe1] 294@ CHECK: bic r6, r7, r8, lsr r2 @ encoding: [0x38,0x62,0xc7,0xe1] 295@ CHECK: bic r6, r7, r8, asr r2 @ encoding: [0x58,0x62,0xc7,0xe1] 296@ CHECK: bic r6, r7, r8, ror r2 @ encoding: [0x78,0x62,0xc7,0xe1] 297@ CHECK: bic r10, r1, r6, rrx @ encoding: [0x66,0xa0,0xc1,0xe1] 298 299 300@ CHECK: bic r1, r1, #15 @ encoding: [0x0f,0x10,0xc1,0xe3] 301@ CHECK: bic r10, r10, r1 @ encoding: [0x01,0xa0,0xca,0xe1] 302@ CHECK: bic r10, r10, r1, lsl #10 @ encoding: [0x01,0xa5,0xca,0xe1] 303@ CHECK: bic r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0xca,0xe1] 304@ CHECK: bic r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0xca,0xe1] 305@ CHECK: bic r10, r10, r1, asr #10 @ encoding: [0x41,0xa5,0xca,0xe1] 306@ CHECK: bic r10, r10, r1, ror #10 @ encoding: [0x61,0xa5,0xca,0xe1] 307@ CHECK: bic r6, r6, r7, lsl r2 @ encoding: [0x17,0x62,0xc6,0xe1] 308@ CHECK: bic r6, r6, r7, lsr r2 @ encoding: [0x37,0x62,0xc6,0xe1] 309@ CHECK: bic r6, r6, r7, asr r2 @ encoding: [0x57,0x62,0xc6,0xe1] 310@ CHECK: bic r6, r6, r7, ror r2 @ encoding: [0x77,0x62,0xc6,0xe1] 311@ CHECK: bic r10, r10, r1, rrx @ encoding: [0x61,0xa0,0xca,0xe1] 312 313@------------------------------------------------------------------------------ 314@ BKPT 315@------------------------------------------------------------------------------ 316 bkpt #10 317 bkpt #65535 318 319@ CHECK: bkpt #10 @ encoding: [0x7a,0x00,0x20,0xe1] 320@ CHECK: bkpt #65535 @ encoding: [0x7f,0xff,0x2f,0xe1] 321 322@------------------------------------------------------------------------------ 323@ BL/BLX (immediate) 324@------------------------------------------------------------------------------ 325 326 bl _bar 327 @ FIXME: blx _bar 328 329@ CHECK: bl _bar @ encoding: [A,A,A,0xeb] 330@ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_uncondbranch 331 332@------------------------------------------------------------------------------ 333@ BLX (register) 334@------------------------------------------------------------------------------ 335 blx r2 336 blxne r2 337 338@ CHECK: blx r2 @ encoding: [0x32,0xff,0x2f,0xe1] 339@ CHECK: blxne r2 @ encoding: [0x32,0xff,0x2f,0x11] 340 341@------------------------------------------------------------------------------ 342@ BX 343@------------------------------------------------------------------------------ 344 345 bx r2 346 bxne r2 347 348@ CHECK: bx r2 @ encoding: [0x12,0xff,0x2f,0xe1] 349@ CHECK: bxne r2 @ encoding: [0x12,0xff,0x2f,0x11] 350 351@------------------------------------------------------------------------------ 352@ BXJ 353@------------------------------------------------------------------------------ 354 355 bxj r2 356 bxjne r2 357 358@ CHECK: bxj r2 @ encoding: [0x22,0xff,0x2f,0xe1] 359@ CHECK: bxjne r2 @ encoding: [0x22,0xff,0x2f,0x11] 360 361@------------------------------------------------------------------------------ 362@ FIXME: CBNZ/CBZ 363@------------------------------------------------------------------------------ 364 365 366@------------------------------------------------------------------------------ 367@ CDP/CDP2 368@------------------------------------------------------------------------------ 369 cdp p7, #1, c1, c1, c1, #4 370 cdp2 p7, #1, c1, c1, c1, #4 371 372@ CHECK: cdp p7, #1, c1, c1, c1, #4 @ encoding: [0x81,0x17,0x11,0xee] 373@ CHECK: cdp2 p7, #1, c1, c1, c1, #4 @ encoding: [0x81,0x17,0x11,0xfe] 374 375 376@------------------------------------------------------------------------------ 377@ CLREX 378@------------------------------------------------------------------------------ 379 clrex 380 381@ CHECK: clrex @ encoding: [0x1f,0xf0,0x7f,0xf5] 382 383 384@------------------------------------------------------------------------------ 385@ CLZ 386@------------------------------------------------------------------------------ 387 clz r1, r2 388 clzeq r1, r2 389 390@ CHECK: clz r1, r2 @ encoding: [0x12,0x1f,0x6f,0xe1] 391@ CHECK: clzeq r1, r2 @ encoding: [0x12,0x1f,0x6f,0x01] 392 393@------------------------------------------------------------------------------ 394@ CMN 395@------------------------------------------------------------------------------ 396 cmn r1, #0xf 397 cmn r1, r6 398 cmn r1, r6, lsl #10 399 cmn r1, r6, lsr #10 400 cmn sp, r6, lsr #10 401 cmn r1, r6, asr #10 402 cmn r1, r6, ror #10 403 cmn r7, r8, lsl r2 404 cmn sp, r8, lsr r2 405 cmn r7, r8, asr r2 406 cmn r7, r8, ror r2 407 cmn r1, r6, rrx 408 409@ CHECK: cmn r1, #15 @ encoding: [0x0f,0x00,0x71,0xe3] 410@ CHECK: cmn r1, r6 @ encoding: [0x06,0x00,0x71,0xe1] 411@ CHECK: cmn r1, r6, lsl #10 @ encoding: [0x06,0x05,0x71,0xe1] 412@ CHECK: cmn r1, r6, lsr #10 @ encoding: [0x26,0x05,0x71,0xe1] 413@ CHECK: cmn sp, r6, lsr #10 @ encoding: [0x26,0x05,0x7d,0xe1] 414@ CHECK: cmn r1, r6, asr #10 @ encoding: [0x46,0x05,0x71,0xe1] 415@ CHECK: cmn r1, r6, ror #10 @ encoding: [0x66,0x05,0x71,0xe1] 416@ CHECK: cmn r7, r8, lsl r2 @ encoding: [0x18,0x02,0x77,0xe1] 417@ CHECK: cmn sp, r8, lsr r2 @ encoding: [0x38,0x02,0x7d,0xe1] 418@ CHECK: cmn r7, r8, asr r2 @ encoding: [0x58,0x02,0x77,0xe1] 419@ CHECK: cmn r7, r8, ror r2 @ encoding: [0x78,0x02,0x77,0xe1] 420@ CHECK: cmn r1, r6, rrx @ encoding: [0x66,0x00,0x71,0xe1] 421 422@------------------------------------------------------------------------------ 423@ CMP 424@------------------------------------------------------------------------------ 425 cmp r1, #0xf 426 cmp r1, r6 427 cmp r1, r6, lsl #10 428 cmp r1, r6, lsr #10 429 cmp sp, r6, lsr #10 430 cmp r1, r6, asr #10 431 cmp r1, r6, ror #10 432 cmp r7, r8, lsl r2 433 cmp sp, r8, lsr r2 434 cmp r7, r8, asr r2 435 cmp r7, r8, ror r2 436 cmp r1, r6, rrx 437 438@ CHECK: cmp r1, #15 @ encoding: [0x0f,0x00,0x51,0xe3] 439@ CHECK: cmp r1, r6 @ encoding: [0x06,0x00,0x51,0xe1] 440@ CHECK: cmp r1, r6, lsl #10 @ encoding: [0x06,0x05,0x51,0xe1] 441@ CHECK: cmp r1, r6, lsr #10 @ encoding: [0x26,0x05,0x51,0xe1] 442@ CHECK: cmp sp, r6, lsr #10 @ encoding: [0x26,0x05,0x5d,0xe1] 443@ CHECK: cmp r1, r6, asr #10 @ encoding: [0x46,0x05,0x51,0xe1] 444@ CHECK: cmp r1, r6, ror #10 @ encoding: [0x66,0x05,0x51,0xe1] 445@ CHECK: cmp r7, r8, lsl r2 @ encoding: [0x18,0x02,0x57,0xe1] 446@ CHECK: cmp sp, r8, lsr r2 @ encoding: [0x38,0x02,0x5d,0xe1] 447@ CHECK: cmp r7, r8, asr r2 @ encoding: [0x58,0x02,0x57,0xe1] 448@ CHECK: cmp r7, r8, ror r2 @ encoding: [0x78,0x02,0x57,0xe1] 449@ CHECK: cmp r1, r6, rrx @ encoding: [0x66,0x00,0x51,0xe1] 450 451@------------------------------------------------------------------------------ 452@ DBG 453@------------------------------------------------------------------------------ 454 dbg #0 455 dbg #5 456 dbg #15 457 458@ CHECK: dbg #0 @ encoding: [0xf0,0xf0,0x20,0xe3] 459@ CHECK: dbg #5 @ encoding: [0xf5,0xf0,0x20,0xe3] 460@ CHECK: dbg #15 @ encoding: [0xff,0xf0,0x20,0xe3] 461 462 463@------------------------------------------------------------------------------ 464@ DMB 465@------------------------------------------------------------------------------ 466 dmb sy 467 dmb st 468 dmb sh 469 dmb ish 470 dmb shst 471 dmb ishst 472 dmb un 473 dmb nsh 474 dmb unst 475 dmb nshst 476 dmb osh 477 dmb oshst 478 dmb 479 480@ CHECK: dmb sy @ encoding: [0x5f,0xf0,0x7f,0xf5] 481@ CHECK: dmb st @ encoding: [0x5e,0xf0,0x7f,0xf5] 482@ CHECK: dmb ish @ encoding: [0x5b,0xf0,0x7f,0xf5] 483@ CHECK: dmb ish @ encoding: [0x5b,0xf0,0x7f,0xf5] 484@ CHECK: dmb ishst @ encoding: [0x5a,0xf0,0x7f,0xf5] 485@ CHECK: dmb ishst @ encoding: [0x5a,0xf0,0x7f,0xf5] 486@ CHECK: dmb nsh @ encoding: [0x57,0xf0,0x7f,0xf5] 487@ CHECK: dmb nsh @ encoding: [0x57,0xf0,0x7f,0xf5] 488@ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5] 489@ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5] 490@ CHECK: dmb osh @ encoding: [0x53,0xf0,0x7f,0xf5] 491@ CHECK: dmb oshst @ encoding: [0x52,0xf0,0x7f,0xf5] 492@ CHECK: dmb sy @ encoding: [0x5f,0xf0,0x7f,0xf5] 493 494@------------------------------------------------------------------------------ 495@ DSB 496@------------------------------------------------------------------------------ 497 dsb sy 498 dsb st 499 dsb sh 500 dsb ish 501 dsb shst 502 dsb ishst 503 dsb un 504 dsb nsh 505 dsb unst 506 dsb nshst 507 dsb osh 508 dsb oshst 509 dsb 510 511@ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5] 512@ CHECK: dsb st @ encoding: [0x4e,0xf0,0x7f,0xf5] 513@ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5] 514@ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5] 515@ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5] 516@ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5] 517@ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5] 518@ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5] 519@ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5] 520@ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5] 521@ CHECK: dsb osh @ encoding: [0x43,0xf0,0x7f,0xf5] 522@ CHECK: dsb oshst @ encoding: [0x42,0xf0,0x7f,0xf5] 523@ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5] 524 525@------------------------------------------------------------------------------ 526@ EOR 527@------------------------------------------------------------------------------ 528 eor r4, r5, #0xf000 529 eor r4, r5, r6 530 eor r4, r5, r6, lsl #5 531 eor r4, r5, r6, lsr #5 532 eor r4, r5, r6, lsr #5 533 eor r4, r5, r6, asr #5 534 eor r4, r5, r6, ror #5 535 eor r6, r7, r8, lsl r9 536 eor r6, r7, r8, lsr r9 537 eor r6, r7, r8, asr r9 538 eor r6, r7, r8, ror r9 539 eor r4, r5, r6, rrx 540 541 @ destination register is optional 542 eor r5, #0xf000 543 eor r4, r5 544 eor r4, r5, lsl #5 545 eor r4, r5, lsr #5 546 eor r4, r5, lsr #5 547 eor r4, r5, asr #5 548 eor r4, r5, ror #5 549 eor r6, r7, lsl r9 550 eor r6, r7, lsr r9 551 eor r6, r7, asr r9 552 eor r6, r7, ror r9 553 eor r4, r5, rrx 554 555@ CHECK: eor r4, r5, #61440 @ encoding: [0x0f,0x4a,0x25,0xe2] 556@ CHECK: eor r4, r5, r6 @ encoding: [0x06,0x40,0x25,0xe0] 557@ CHECK: eor r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x25,0xe0] 558@ CHECK: eor r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x25,0xe0] 559@ CHECK: eor r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x25,0xe0] 560@ CHECK: eor r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x25,0xe0] 561@ CHECK: eor r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x25,0xe0] 562@ CHECK: eor r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x27,0xe0] 563@ CHECK: eor r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x27,0xe0] 564@ CHECK: eor r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x27,0xe0] 565@ CHECK: eor r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x27,0xe0] 566@ CHECK: eor r4, r5, r6, rrx @ encoding: [0x66,0x40,0x25,0xe0] 567 568 569@ CHECK: eor r5, r5, #61440 @ encoding: [0x0f,0x5a,0x25,0xe2] 570@ CHECK: eor r4, r4, r5 @ encoding: [0x05,0x40,0x24,0xe0] 571@ CHECK: eor r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x24,0xe0] 572@ CHECK: eor r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x24,0xe0] 573@ CHECK: eor r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x24,0xe0] 574@ CHECK: eor r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x24,0xe0] 575@ CHECK: eor r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x24,0xe0] 576@ CHECK: eor r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x26,0xe0] 577@ CHECK: eor r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x26,0xe0] 578@ CHECK: eor r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x26,0xe0] 579@ CHECK: eor r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x26,0xe0] 580@ CHECK: eor r4, r4, r5, rrx @ encoding: [0x65,0x40,0x24,0xe0] 581 582 583@------------------------------------------------------------------------------ 584@ ISB 585@------------------------------------------------------------------------------ 586 isb sy 587 isb 588 589@ CHECK: isb sy @ encoding: [0x6f,0xf0,0x7f,0xf5] 590@ CHECK: isb sy @ encoding: [0x6f,0xf0,0x7f,0xf5] 591 592 593 594@------------------------------------------------------------------------------ 595@ LDM* 596@------------------------------------------------------------------------------ 597 ldm r2, {r1,r3-r6,sp} 598 ldmia r2, {r1,r3-r6,sp} 599 ldmib r2, {r1,r3-r6,sp} 600 ldmda r2, {r1,r3-r6,sp} 601 ldmdb r2, {r1,r3-r6,sp} 602 ldmfd r2, {r1,r3-r6,sp} 603 604 @ with update 605 ldm r2!, {r1,r3-r6,sp} 606 ldmib r2!, {r1,r3-r6,sp} 607 ldmda r2!, {r1,r3-r6,sp} 608 ldmdb r2!, {r1,r3-r6,sp} 609 610@ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8] 611@ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8] 612@ CHECK: ldmib r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe9] 613@ CHECK: ldmda r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x12,0xe8] 614@ CHECK: ldmdb r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x12,0xe9] 615@ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8] 616 617@ CHECK: ldm r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xb2,0xe8] 618@ CHECK: ldmib r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xb2,0xe9] 619@ CHECK: ldmda r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x32,0xe8] 620@ CHECK: ldmdb r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x32,0xe9] 621 622@------------------------------------------------------------------------------ 623@ FIXME: LDR* 624@------------------------------------------------------------------------------ 625@------------------------------------------------------------------------------ 626@ FIXME: LSL 627@------------------------------------------------------------------------------ 628@------------------------------------------------------------------------------ 629@ FIXME: LSR 630@------------------------------------------------------------------------------ 631 632@------------------------------------------------------------------------------ 633@ MCR/MCR2 634@------------------------------------------------------------------------------ 635 mcr p7, #1, r5, c1, c1, #4 636 mcr2 p7, #1, r5, c1, c1, #4 637 638@ CHECK: mcr p7, #1, r5, c1, c1, #4 @ encoding: [0x91,0x57,0x21,0xee] 639@ CHECK: mcr2 p7, #1, r5, c1, c1, #4 @ encoding: [0x91,0x57,0x21,0xfe] 640 641@------------------------------------------------------------------------------ 642@ MCRR/MCRR2 643@------------------------------------------------------------------------------ 644 mcrr p7, #15, r5, r4, c1 645 mcrr2 p7, #15, r5, r4, c1 646 647@ CHECK: mcrr p7, #15, r5, r4, c1 @ encoding: [0xf1,0x57,0x44,0xec] 648@ CHECK: mcrr2 p7, #15, r5, r4, c1 @ encoding: [0xf1,0x57,0x44,0xfc] 649 650 651@------------------------------------------------------------------------------ 652@ MLA 653@------------------------------------------------------------------------------ 654 mla r1,r2,r3,r4 655 mlas r1,r2,r3,r4 656 mlane r1,r2,r3,r4 657 mlasne r1,r2,r3,r4 658 659@ CHECK: mla r1, r2, r3, r4 @ encoding: [0x92,0x43,0x21,0xe0] 660@ CHECK: mlas r1, r2, r3, r4 @ encoding: [0x92,0x43,0x31,0xe0] 661@ CHECK: mlane r1, r2, r3, r4 @ encoding: [0x92,0x43,0x21,0x10] 662@ CHECK: mlasne r1, r2, r3, r4 @ encoding: [0x92,0x43,0x31,0x10] 663 664@------------------------------------------------------------------------------ 665@ MLS 666@------------------------------------------------------------------------------ 667 mls r2,r5,r6,r3 668 mlsne r2,r5,r6,r3 669 670@ CHECK: mls r2, r5, r6, r3 @ encoding: [0x95,0x36,0x62,0xe0] 671@ CHECK: mlsne r2, r5, r6, r3 @ encoding: [0x95,0x36,0x62,0x10] 672 673@------------------------------------------------------------------------------ 674@ MOV (immediate) 675@------------------------------------------------------------------------------ 676 mov r3, #7 677 mov r4, #0xff0 678 mov r5, #0xff0000 679 mov r6, #0xffff 680 movw r9, #0xffff 681 movs r3, #7 682 moveq r4, #0xff0 683 movseq r5, #0xff0000 684 685@ CHECK: mov r3, #7 @ encoding: [0x07,0x30,0xa0,0xe3] 686@ CHECK: mov r4, #4080 @ encoding: [0xff,0x4e,0xa0,0xe3] 687@ CHECK: mov r5, #16711680 @ encoding: [0xff,0x58,0xa0,0xe3] 688@ CHECK: movw r6, #65535 @ encoding: [0xff,0x6f,0x0f,0xe3] 689@ CHECK: movw r9, #65535 @ encoding: [0xff,0x9f,0x0f,0xe3] 690@ CHECK: movs r3, #7 @ encoding: [0x07,0x30,0xb0,0xe3] 691@ CHECK: moveq r4, #4080 @ encoding: [0xff,0x4e,0xa0,0x03] 692@ CHECK: movseq r5, #16711680 @ encoding: [0xff,0x58,0xb0,0x03] 693 694@------------------------------------------------------------------------------ 695@ MOV (register) 696@------------------------------------------------------------------------------ 697 mov r2, r3 698 movs r2, r3 699 moveq r2, r3 700 movseq r2, r3 701 702@ CHECK: mov r2, r3 @ encoding: [0x03,0x20,0xa0,0xe1] 703@ CHECK: movs r2, r3 @ encoding: [0x03,0x20,0xb0,0xe1] 704@ CHECK: moveq r2, r3 @ encoding: [0x03,0x20,0xa0,0x01] 705@ CHECK: movseq r2, r3 @ encoding: [0x03,0x20,0xb0,0x01] 706 707@------------------------------------------------------------------------------ 708@ MOVT 709@------------------------------------------------------------------------------ 710 movt r3, #7 711 movt r6, #0xffff 712 movteq r4, #0xff0 713 714@ CHECK: movt r3, #7 @ encoding: [0x07,0x30,0x40,0xe3] 715@ CHECK: movt r6, #65535 @ encoding: [0xff,0x6f,0x4f,0xe3] 716@ CHECK: movteq r4, #4080 @ encoding: [0xf0,0x4f,0x40,0x03] 717 718 719@------------------------------------------------------------------------------ 720@ MRC/MRC2 721@------------------------------------------------------------------------------ 722 mrc p14, #0, r1, c1, c2, #4 723 mrc2 p14, #0, r1, c1, c2, #4 724 725@ CHECK: mrc p14, #0, r1, c1, c2, #4 @ encoding: [0x92,0x1e,0x11,0xee] 726@ CHECK: mrc2 p14, #0, r1, c1, c2, #4 @ encoding: [0x92,0x1e,0x11,0xfe] 727 728@------------------------------------------------------------------------------ 729@ MRRC/MRRC2 730@------------------------------------------------------------------------------ 731 mrrc p7, #1, r5, r4, c1 732 mrrc2 p7, #1, r5, r4, c1 733 734@ CHECK: mrrc p7, #1, r5, r4, c1 @ encoding: [0x11,0x57,0x54,0xec] 735@ CHECK: mrrc2 p7, #1, r5, r4, c1 @ encoding: [0x11,0x57,0x54,0xfc] 736 737 738@------------------------------------------------------------------------------ 739@ MRS 740@------------------------------------------------------------------------------ 741 mrs r8, apsr 742 mrs r8, cpsr 743 mrs r8, spsr 744@ CHECK: mrs r8, apsr @ encoding: [0x00,0x80,0x0f,0xe1] 745@ CHECK: mrs r8, apsr @ encoding: [0x00,0x80,0x0f,0xe1] 746@ CHECK: mrs r8, spsr @ encoding: [0x00,0x80,0x4f,0xe1] 747 748 749 750@------------------------------------------------------------------------------ 751@ STM* 752@------------------------------------------------------------------------------ 753 stm r2, {r1,r3-r6,sp} 754 stmia r2, {r1,r3-r6,sp} 755 stmib r2, {r1,r3-r6,sp} 756 stmda r2, {r1,r3-r6,sp} 757 stmdb r2, {r1,r3-r6,sp} 758 stmfd r2, {r1,r3-r6,sp} 759 760 @ with update 761 stmia r2!, {r1,r3-r6,sp} 762 stmib r2!, {r1,r3-r6,sp} 763 stmda r2!, {r1,r3-r6,sp} 764 stmdb r2!, {r1,r3-r6,sp} 765@ CHECK: stm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x82,0xe8] 766@ CHECK: stm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x82,0xe8] 767@ CHECK: stmib r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x82,0xe9] 768@ CHECK: stmda r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x02,0xe8] 769@ CHECK: stmdb r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x02,0xe9] 770@ CHECK: stmdb r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x02,0xe9] 771 772@ CHECK: stm r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xa2,0xe8] 773@ CHECK: stmib r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xa2,0xe9] 774@ CHECK: stmda r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x22,0xe8] 775@ CHECK: stmdb r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x22,0xe9] 776