test/MC/ARM/basic-thumb2-instructions.s

   1 @ RUN: llvm-mc -triple=thumbv7-apple-darwin -mcpu=cortex-a8 -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
  12 @ FIXME: Some 3-operand instructions have a 2-operand assembly syntax.
  13
  14 _func:
  15 @ CHECK: _func
  16
  17 @------------------------------------------------------------------------------
  18 @ ADC (immediate)
  19 @------------------------------------------------------------------------------
  20         adc r0, r1, #4
  21         adcs r0, r1, #0
  22         adc r1, r2, #255
  23         adc r3, r7, #0x00550055
  24         adc r8, r12, #0xaa00aa00
  25         adc r9, r7, #0xa5a5a5a5
  26         adc r5, r3, #0x87000000
  27         adc r4, r2, #0x7f800000
  28         adc r4, r2, #0x00000680
  29
  30 @ CHECK: adc    r0, r1, #4              @ encoding: [0x41,0xf1,0x04,0x00]
  31 @ CHECK: adcs   r0, r1, #0              @ encoding: [0x51,0xf1,0x00,0x00]
  32 @ CHECK: adc    r1, r2, #255            @ encoding: [0x42,0xf1,0xff,0x01]
  33 @ CHECK: adc    r3, r7, #5570645        @ encoding: [0x47,0xf1,0x55,0x13]
  34 @ CHECK: adc    r8, r12, #2852170240    @ encoding: [0x4c,0xf1,0xaa,0x28]
  35 @ CHECK: adc    r9, r7, #2779096485     @ encoding: [0x47,0xf1,0xa5,0x39]
  36 @ CHECK: adc    r5, r3, #2264924160     @ encoding: [0x43,0xf1,0x07,0x45]
  37 @ CHECK: adc    r4, r2, #2139095040     @ encoding: [0x42,0xf1,0xff,0x44]
  38 @ CHECK: adc    r4, r2, #1664           @ encoding: [0x42,0xf5,0xd0,0x64]
  39
  40 @------------------------------------------------------------------------------
  41 @ ADC (register)
  42 @------------------------------------------------------------------------------
  43         adc r4, r5, r6
  44         adcs r4, r5, r6
  45         adc.w r9, r1, r3
  46         adcs.w r9, r1, r3
  47         adc     r0, r1, r3, ror #4
  48         adcs    r0, r1, r3, lsl #7
  49         adc.w   r0, r1, r3, lsr #31
  50         adcs.w  r0, r1, r3, asr #32
  51         add r2, sp, ip
  52
  53 @ CHECK: adc.w  r4, r5, r6              @ encoding: [0x45,0xeb,0x06,0x04]
  54 @ CHECK: adcs.w r4, r5, r6              @ encoding: [0x55,0xeb,0x06,0x04]
  55 @ CHECK: adc.w  r9, r1, r3              @ encoding: [0x41,0xeb,0x03,0x09]
  56 @ CHECK: adcs.w r9, r1, r3              @ encoding: [0x51,0xeb,0x03,0x09]
  57 @ CHECK: adc.w  r0, r1, r3, ror #4      @ encoding: [0x41,0xeb,0x33,0x10]
  58 @ CHECK: adcs.w r0, r1, r3, lsl #7      @ encoding: [0x51,0xeb,0xc3,0x10]
  59 @ CHECK: adc.w  r0, r1, r3, lsr #31     @ encoding: [0x41,0xeb,0xd3,0x70]
  60 @ CHECK: adcs.w r0, r1, r3, asr #32     @ encoding: [0x51,0xeb,0x23,0x00]
  61 @ CHECK: add.w  r2, sp, r12             @ encoding: [0x0d,0xeb,0x0c,0x02]
  62
  63
  64 @------------------------------------------------------------------------------
  65 @ ADD (immediate)
  66 @------------------------------------------------------------------------------
  67         itet eq
  68         addeq r1, r2, #4
  69         addwne r5, r3, #1023
  70         addeq r4, r5, #293
  71         add r2, sp, #1024
  72         add r2, r8, #0xff00
  73         add r2, r3, #257
  74         addw r2, r3, #257
  75         add r12, r6, #0x100
  76         addw r12, r6, #0x100
  77         adds r1, r2, #0x1f0
  78         add r2, #1
  79         add r0, r0, #32
  80         adds r2, r2, #56
  81         adds r2, #56
  82
  83         adds.w r2, #-16
  84         adds.w r2, r2, #-16
  85         addw r2, #-16
  86         addw r2, #-16
  87         addw r2, r2, #-16
  88
  89 @ CHECK: itet   eq                      @ encoding: [0x0a,0xbf]
  90 @ CHECK: addeq  r1, r2, #4              @ encoding: [0x11,0x1d]
  91 @ CHECK: addwne r5, r3, #1023           @ encoding: [0x03,0xf2,0xff,0x35]
  92 @ CHECK: addweq r4, r5, #293            @ encoding: [0x05,0xf2,0x25,0x14]
  93 @ CHECK: add.w  r2, sp, #1024           @ encoding: [0x0d,0xf5,0x80,0x62]
  94 @ CHECK: add.w  r2, r8, #65280          @ encoding: [0x08,0xf5,0x7f,0x42]
  95 @ CHECK: addw   r2, r3, #257            @ encoding: [0x03,0xf2,0x01,0x12]
  96 @ CHECK: addw   r2, r3, #257            @ encoding: [0x03,0xf2,0x01,0x12]
  97 @ CHECK: add.w  r12, r6, #256           @ encoding: [0x06,0xf5,0x80,0x7c]
  98 @ CHECK: addw   r12, r6, #256           @ encoding: [0x06,0xf2,0x00,0x1c]
  99 @ CHECK: adds.w r1, r2, #496            @ encoding: [0x12,0xf5,0xf8,0x71]
 100 @ CHECK: add.w  r2, r2, #1              @ encoding: [0x02,0xf1,0x01,0x02]
 101 @ CHECK: add.w  r0, r0, #32             @ encoding: [0x00,0xf1,0x20,0x00]
 102 @ CHECK: adds   r2, #56                 @ encoding: [0x38,0x32]
 103 @ CHECK: adds   r2, #56                 @ encoding: [0x38,0x32]
 104
 105 @ CHECK: subs.w r2, r2, #16             @ encoding: [0xb2,0xf1,0x10,0x02]
 106 @ CHECK: subs.w r2, r2, #16             @ encoding: [0xb2,0xf1,0x10,0x02]
 107 @ CHECK: subw   r2, r2, #16             @ encoding: [0xa2,0xf2,0x10,0x02]
 108 @ CHECK: subw   r2, r2, #16             @ encoding: [0xa2,0xf2,0x10,0x02]
 109 @ CHECK: subw   r2, r2, #16             @ encoding: [0xa2,0xf2,0x10,0x02]
 110
 111
 112 @------------------------------------------------------------------------------
 113 @ ADD (register)
 114 @------------------------------------------------------------------------------
 115         add r1, r2, r8
 116         add r5, r9, r2, asr #32
 117         adds r7, r3, r1, lsl #31
 118         adds.w r0, r3, r6, lsr #25
 119         add.w r4, r8, r1, ror #12
 120         add r10, r8
 121         add r10, r10, r8
 122
 123 @ CHECK: add.w  r1, r2, r8              @ encoding: [0x02,0xeb,0x08,0x01]
 124 @ CHECK: add.w  r5, r9, r2, asr #32     @ encoding: [0x09,0xeb,0x22,0x05]
 125 @ CHECK: adds.w r7, r3, r1, lsl #31     @ encoding: [0x13,0xeb,0xc1,0x77]
 126 @ CHECK: adds.w r0, r3, r6, lsr #25     @ encoding: [0x13,0xeb,0x56,0x60]
 127 @ CHECK: add.w  r4, r8, r1, ror #12     @ encoding: [0x08,0xeb,0x31,0x34]
 128 @ CHECK: add    r10, r8                 @ encoding: [0xc2,0x44]
 129 @ CHECK: add    r10, r8                 @ encoding: [0xc2,0x44]
 130
 131
 132 @------------------------------------------------------------------------------
 133 @ FIXME: ADR
 134 @------------------------------------------------------------------------------
 135
 136         subw r11, pc, #3270
 137         adr.w r11, #-826
 138         adr.w r1, #-0x0
 139
 140 @ CHECK: subw   r11, pc, #3270          @ encoding: [0xaf,0xf6,0xc6,0x4b]
 141 @ CHECK: adr.w  r11, #-826              @ encoding: [0xaf,0xf2,0x3a,0x3b]
 142 @ CHECK: adr.w  r1, #-0                 @ encoding: [0xaf,0xf2,0x00,0x01]
 143
 144 @------------------------------------------------------------------------------
 145 @ AND (immediate)
 146 @------------------------------------------------------------------------------
 147         and r2, r5, #0xff000
 148         ands r3, r12, #0xf
 149         and r1, #0xff
 150         and r1, r1, #0xff
 151
 152 @ CHECK: and    r2, r5, #1044480        @ encoding: [0x05,0xf4,0x7f,0x22]
 153 @ CHECK: ands   r3, r12, #15            @ encoding: [0x1c,0xf0,0x0f,0x03]
 154 @ CHECK: and    r1, r1, #255            @ encoding: [0x01,0xf0,0xff,0x01]
 155 @ CHECK: and    r1, r1, #255            @ encoding: [0x01,0xf0,0xff,0x01]
 156
 157
 158 @------------------------------------------------------------------------------
 159 @ AND (register)
 160 @------------------------------------------------------------------------------
 161         and r4, r9, r8
 162         and r1, r4, r8, asr #3
 163         ands r2, r1, r7, lsl #1
 164         ands.w r4, r5, r2, lsr #20
 165         and.w r9, r12, r1, ror #17
 166
 167 @ CHECK: and.w  r4, r9, r8              @ encoding: [0x09,0xea,0x08,0x04]
 168 @ CHECK: and.w  r1, r4, r8, asr #3      @ encoding: [0x04,0xea,0xe8,0x01]
 169 @ CHECK: ands.w r2, r1, r7, lsl #1      @ encoding: [0x11,0xea,0x47,0x02]
 170 @ CHECK: ands.w r4, r5, r2, lsr #20     @ encoding: [0x15,0xea,0x12,0x54]
 171 @ CHECK: and.w  r9, r12, r1, ror #17    @ encoding: [0x0c,0xea,0x71,0x49]
 172
 173 @------------------------------------------------------------------------------
 174 @ ASR (immediate)
 175 @------------------------------------------------------------------------------
 176         asr r2, r3, #12
 177         asrs r8, r3, #32
 178         asrs.w r2, r3, #1
 179         asr r2, r3, #4
 180         asrs r2, r12, #15
 181
 182         asr r3, #19
 183         asrs r8, #2
 184         asrs.w r7, #5
 185         asr.w r12, #21
 186
 187 @ CHECK: asr.w  r2, r3, #12             @ encoding: [0x4f,0xea,0x23,0x32]
 188 @ CHECK: asrs.w r8, r3, #32             @ encoding: [0x5f,0xea,0x23,0x08]
 189 @ CHECK: asrs.w r2, r3, #1              @ encoding: [0x5f,0xea,0x63,0x02]
 190 @ CHECK: asr.w  r2, r3, #4              @ encoding: [0x4f,0xea,0x23,0x12]
 191 @ CHECK: asrs.w r2, r12, #15            @ encoding: [0x5f,0xea,0xec,0x32]
 192
 193 @ CHECK: asr.w  r3, r3, #19             @ encoding: [0x4f,0xea,0xe3,0x43]
 194 @ CHECK: asrs.w r8, r8, #2              @ encoding: [0x5f,0xea,0xa8,0x08]
 195 @ CHECK: asrs.w r7, r7, #5              @ encoding: [0x5f,0xea,0x67,0x17]
 196 @ CHECK: asr.w  r12, r12, #21           @ encoding: [0x4f,0xea,0x6c,0x5c]
 197
 198
 199 @------------------------------------------------------------------------------
 200 @ ASR (register)
 201 @------------------------------------------------------------------------------
 202         asr r3, r4, r2
 203         asr.w r1, r2
 204         asrs r3, r4, r8
 205
 206 @ CHECK: asr.w  r3, r4, r2              @ encoding: [0x44,0xfa,0x02,0xf3]
 207 @ CHECK: asr.w  r1, r1, r2              @ encoding: [0x41,0xfa,0x02,0xf1]
 208 @ CHECK: asrs.w r3, r4, r8              @ encoding: [0x54,0xfa,0x08,0xf3]
 209
 210
 211 @------------------------------------------------------------------------------
 212 @ B
 213 @------------------------------------------------------------------------------
 214         b.w   _bar
 215         beq.w   _bar
 216         it eq
 217         beq.w _bar
 218         bmi.w   #-183396
 219
 220 @ CHECK: b.w    _bar                    @ encoding: [A,0xf0'A',A,0x90'A']
 221           @   fixup A - offset: 0, value: _bar, kind: fixup_t2_uncondbranch
 222 @ CHECK: beq.w  _bar                    @ encoding: [A,0xf0'A',A,0x80'A']
 223           @   fixup A - offset: 0, value: _bar, kind: fixup_t2_condbranch
 224 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
 225 @ CHECK: beq.w  _bar                    @ encoding: [A,0xf0'A',A,0x90'A']
 226           @   fixup A - offset: 0, value: _bar, kind: fixup_t2_uncondbranch
 227 @ CHECK: bmi.w   #-183396                @ encoding: [0x13,0xf5,0xce,0xa9]
 228
 229
 230 @------------------------------------------------------------------------------
 231 @ BFC
 232 @------------------------------------------------------------------------------
 233         bfc r5, #3, #17
 234         it lo
 235         bfccc r5, #3, #17
 236
 237 @ CHECK: bfc    r5, #3, #17             @ encoding: [0x6f,0xf3,0xd3,0x05]
 238 @ CHECK: it     lo                      @ encoding: [0x38,0xbf]
 239 @ CHECK: bfclo  r5, #3, #17             @ encoding: [0x6f,0xf3,0xd3,0x05]
 240
 241
 242 @------------------------------------------------------------------------------
 243 @ BFI
 244 @------------------------------------------------------------------------------
 245         bfi r5, r2, #3, #17
 246         it ne
 247         bfine r5, r2, #3, #17
 248
 249 @ CHECK: bfi    r5, r2, #3, #17         @ encoding: [0x62,0xf3,0xd3,0x05]
 250 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
 251 @ CHECK: bfine  r5, r2, #3, #17         @ encoding: [0x62,0xf3,0xd3,0x05]
 252
 253
 254 @------------------------------------------------------------------------------
 255 @ BIC
 256 @------------------------------------------------------------------------------
 257         bic r10, r1, #0xf
 258         bic r12, r3, r6
 259         bic r11, r2, r6, lsl #12
 260         bic r8, r4, r1, lsr #11
 261         bic r7, r5, r7, lsr #15
 262         bic r6, r7, r9, asr #32
 263         bic r5, r6, r8, ror #1
 264
 265         @ destination register is optional
 266         bic r1, #0xf
 267         bic r1, r1
 268         bic r4, r2, lsl #31
 269         bic r6, r3, lsr #12
 270         bic r7, r4, lsr #7
 271         bic r8, r5, asr #15
 272         bic r12, r6, ror #29
 273
 274 @ CHECK: bic    r10, r1, #15            @ encoding: [0x21,0xf0,0x0f,0x0a]
 275 @ CHECK: bic.w  r12, r3, r6             @ encoding: [0x23,0xea,0x06,0x0c]
 276 @ CHECK: bic.w  r11, r2, r6, lsl #12    @ encoding: [0x22,0xea,0x06,0x3b]
 277 @ CHECK: bic.w  r8, r4, r1, lsr #11     @ encoding: [0x24,0xea,0xd1,0x28]
 278 @ CHECK: bic.w  r7, r5, r7, lsr #15     @ encoding: [0x25,0xea,0xd7,0x37]
 279 @ CHECK: bic.w  r6, r7, r9, asr #32     @ encoding: [0x27,0xea,0x29,0x06]
 280 @ CHECK: bic.w  r5, r6, r8, ror #1      @ encoding: [0x26,0xea,0x78,0x05]
 281
 282 @ CHECK: bic    r1, r1, #15             @ encoding: [0x21,0xf0,0x0f,0x01]
 283 @ CHECK: bic.w  r1, r1, r1              @ encoding: [0x21,0xea,0x01,0x01]
 284 @ CHECK: bic.w  r4, r4, r2, lsl #31     @ encoding: [0x24,0xea,0xc2,0x74]
 285 @ CHECK: bic.w  r6, r6, r3, lsr #12     @ encoding: [0x26,0xea,0x13,0x36]
 286 @ CHECK: bic.w  r7, r7, r4, lsr #7      @ encoding: [0x27,0xea,0xd4,0x17]
 287 @ CHECK: bic.w  r8, r8, r5, asr #15     @ encoding: [0x28,0xea,0xe5,0x38]
 288 @ CHECK: bic.w  r12, r12, r6, ror #29   @ encoding: [0x2c,0xea,0x76,0x7c]
 289
 290 @------------------------------------------------------------------------------
 291 @ BKPT
 292 @------------------------------------------------------------------------------
 293         it pl
 294         bkpt #234
 295
 296 @ CHECK: it pl                      @ encoding: [0x58,0xbf]
 297 @ CHECK: bkpt #234                    @ encoding: [0xea,0xbe]
 298
 299 @------------------------------------------------------------------------------
 300 @ BXJ
 301 @------------------------------------------------------------------------------
 302         bxj r5
 303         it ne
 304         bxjne r7
 305
 306 @ CHECK: bxj    r5                      @ encoding: [0xc5,0xf3,0x00,0x8f]
 307 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
 308 @ CHECK: bxjne  r7                      @ encoding: [0xc7,0xf3,0x00,0x8f]
 309
 310
 311 @------------------------------------------------------------------------------
 312 @ CBZ/CBNZ
 313 @------------------------------------------------------------------------------
 314         cbnz    r7, #6
 315         cbnz    r7, #12
 316         cbz   r6, _bar
 317         cbnz   r6, _bar
 318
 319 @ CHECK: cbnz    r7, #6                  @ encoding: [0x1f,0xb9]
 320 @ CHECK: cbnz    r7, #12                 @ encoding: [0x37,0xb9]
 321 @ CHECK: cbz    r6, _bar                @ encoding: [0x06'A',0xb1'A']
 322            @   fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_cb
 323 @ CHECK: cbnz   r6, _bar                @ encoding: [0x06'A',0xb9'A']
 324            @   fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_cb
 325
 326
 327 @------------------------------------------------------------------------------
 328 @ CDP/CDP2
 329 @------------------------------------------------------------------------------
 330   cdp  p7, #1, c1, c1, c1, #4
 331   cdp2  p7, #1, c1, c1, c1, #4
 332
 333 @ CHECK: cdp    p7, #1, c1, c1, c1, #4  @ encoding: [0x11,0xee,0x81,0x17]
 334 @ CHECK: cdp2   p7, #1, c1, c1, c1, #4  @ encoding: [0x11,0xfe,0x81,0x17]
 335
 336
 337 @------------------------------------------------------------------------------
 338 @ CLREX
 339 @------------------------------------------------------------------------------
 340         clrex
 341         it ne
 342         clrexne
 343
 344 @ CHECK: clrex                           @ encoding: [0xbf,0xf3,0x2f,0x8f]
 345 @ CHECK: it     ne                       @ encoding: [0x18,0xbf]
 346 @ CHECK: clrexne                         @ encoding: [0xbf,0xf3,0x2f,0x8f]
 347
 348
 349 @------------------------------------------------------------------------------
 350 @ CLZ
 351 @------------------------------------------------------------------------------
 352         clz r1, r2
 353         it eq
 354         clzeq r1, r2
 355
 356 @ CHECK: clz    r1, r2                  @ encoding: [0xb2,0xfa,0x82,0xf1]
 357 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
 358 @ CHECK: clzeq  r1, r2                  @ encoding: [0xb2,0xfa,0x82,0xf1]
 359
 360
 361 @------------------------------------------------------------------------------
 362 @ CMN
 363 @------------------------------------------------------------------------------
 364         cmn r1, #0xf
 365         cmn r8, r6
 366         cmn r1, r6, lsl #10
 367         cmn r1, r6, lsr #10
 368         cmn sp, r6, lsr #10
 369         cmn r1, r6, asr #10
 370         cmn r1, r6, ror #10
 371
 372 @ CHECK: cmn.w  r1, #15                 @ encoding: [0x11,0xf1,0x0f,0x0f]
 373 @ CHECK: cmn.w  r8, r6                  @ encoding: [0x18,0xeb,0x06,0x0f]
 374 @ CHECK: cmn.w  r1, r6, lsl #10         @ encoding: [0x11,0xeb,0x86,0x2f]
 375 @ CHECK: cmn.w  r1, r6, lsr #10         @ encoding: [0x11,0xeb,0x96,0x2f]
 376 @ CHECK: cmn.w  sp, r6, lsr #10         @ encoding: [0x1d,0xeb,0x96,0x2f]
 377 @ CHECK: cmn.w  r1, r6, asr #10         @ encoding: [0x11,0xeb,0xa6,0x2f]
 378 @ CHECK: cmn.w  r1, r6, ror #10         @ encoding: [0x11,0xeb,0xb6,0x2f]
 379
 380
 381 @------------------------------------------------------------------------------
 382 @ CMP
 383 @------------------------------------------------------------------------------
 384         cmp r5, #0xff00
 385         cmp.w r4, r12
 386         cmp r9, r6, lsl #12
 387         cmp r3, r7, lsr #31
 388         cmp sp, r6, lsr #1
 389         cmp r2, r5, asr #24
 390         cmp r1, r4, ror #15
 391         cmp r2, #-2
 392         cmp r9, #1
 393
 394 @ CHECK: cmp.w  r5, #65280              @ encoding: [0xb5,0xf5,0x7f,0x4f]
 395 @ CHECK: cmp.w  r4, r12                 @ encoding: [0xb4,0xeb,0x0c,0x0f]
 396 @ CHECK: cmp.w  r9, r6, lsl #12         @ encoding: [0xb9,0xeb,0x06,0x3f]
 397 @ CHECK: cmp.w  r3, r7, lsr #31         @ encoding: [0xb3,0xeb,0xd7,0x7f]
 398 @ CHECK: cmp.w  sp, r6, lsr #1          @ encoding: [0xbd,0xeb,0x56,0x0f]
 399 @ CHECK: cmp.w  r2, r5, asr #24         @ encoding: [0xb2,0xeb,0x25,0x6f]
 400 @ CHECK: cmp.w  r1, r4, ror #15         @ encoding: [0xb1,0xeb,0xf4,0x3f]
 401 @ CHECK: cmn.w  r2, #2                  @ encoding: [0x12,0xf1,0x02,0x0f]
 402 @ CHECK: cmp.w  r9, #1                  @ encoding: [0xb9,0xf1,0x01,0x0f]
 403
 404
 405 @------------------------------------------------------------------------------
 406 @ DBG
 407 @------------------------------------------------------------------------------
 408         dbg #5
 409         dbg #0
 410         dbg #15
 411
 412 @ CHECK: dbg    #5                      @ encoding: [0xaf,0xf3,0xf5,0x80]
 413 @ CHECK: dbg    #0                      @ encoding: [0xaf,0xf3,0xf0,0x80]
 414 @ CHECK: dbg    #15                     @ encoding: [0xaf,0xf3,0xff,0x80]
 415
 416
 417 @------------------------------------------------------------------------------
 418 @ DMB
 419 @------------------------------------------------------------------------------
 420         dmb #0xf
 421         dmb #0xe
 422         dmb #0xd
 423         dmb #0xc
 424         dmb #0xb
 425         dmb #0xa
 426         dmb #0x9
 427         dmb #0x8
 428         dmb #0x7
 429         dmb #0x6
 430         dmb #0x5
 431         dmb #0x4
 432         dmb #0x3
 433         dmb #0x2
 434         dmb #0x1
 435         dmb #0x0
 436
 437         dmb sy
 438         dmb st
 439         dmb sh
 440         dmb ish
 441         dmb shst
 442         dmb ishst
 443         dmb un
 444         dmb nsh
 445         dmb unst
 446         dmb nshst
 447         dmb osh
 448         dmb oshst
 449         dmb
 450
 451 @ CHECK: dmb    sy                      @ encoding: [0xbf,0xf3,0x5f,0x8f]
 452 @ CHECK: dmb    st                      @ encoding: [0xbf,0xf3,0x5e,0x8f]
 453 @ CHECK: dmb    #0xd                    @ encoding: [0xbf,0xf3,0x5d,0x8f]
 454 @ CHECK: dmb    #0xc                    @ encoding: [0xbf,0xf3,0x5c,0x8f]
 455 @ CHECK: dmb    ish                     @ encoding: [0xbf,0xf3,0x5b,0x8f]
 456 @ CHECK: dmb    ishst                   @ encoding: [0xbf,0xf3,0x5a,0x8f]
 457 @ CHECK: dmb    #0x9                    @ encoding: [0xbf,0xf3,0x59,0x8f]
 458 @ CHECK: dmb    #0x8                    @ encoding: [0xbf,0xf3,0x58,0x8f]
 459 @ CHECK: dmb    nsh                     @ encoding: [0xbf,0xf3,0x57,0x8f]
 460 @ CHECK: dmb    nshst                   @ encoding: [0xbf,0xf3,0x56,0x8f]
 461 @ CHECK: dmb    #0x5                    @ encoding: [0xbf,0xf3,0x55,0x8f]
 462 @ CHECK: dmb    #0x4                    @ encoding: [0xbf,0xf3,0x54,0x8f]
 463 @ CHECK: dmb    osh                     @ encoding: [0xbf,0xf3,0x53,0x8f]
 464 @ CHECK: dmb    oshst                   @ encoding: [0xbf,0xf3,0x52,0x8f]
 465 @ CHECK: dmb    #0x1                    @ encoding: [0xbf,0xf3,0x51,0x8f]
 466 @ CHECK: dmb    #0x0                    @ encoding: [0xbf,0xf3,0x50,0x8f]
 467
 468 @ CHECK: dmb    sy                      @ encoding: [0xbf,0xf3,0x5f,0x8f]
 469 @ CHECK: dmb    st                      @ encoding: [0xbf,0xf3,0x5e,0x8f]
 470 @ CHECK: dmb    ish                     @ encoding: [0xbf,0xf3,0x5b,0x8f]
 471 @ CHECK: dmb    ish                     @ encoding: [0xbf,0xf3,0x5b,0x8f]
 472 @ CHECK: dmb    ishst                   @ encoding: [0xbf,0xf3,0x5a,0x8f]
 473 @ CHECK: dmb    ishst                   @ encoding: [0xbf,0xf3,0x5a,0x8f]
 474 @ CHECK: dmb    nsh                     @ encoding: [0xbf,0xf3,0x57,0x8f]
 475 @ CHECK: dmb    nsh                     @ encoding: [0xbf,0xf3,0x57,0x8f]
 476 @ CHECK: dmb    nshst                   @ encoding: [0xbf,0xf3,0x56,0x8f]
 477 @ CHECK: dmb    nshst                   @ encoding: [0xbf,0xf3,0x56,0x8f]
 478 @ CHECK: dmb    osh                     @ encoding: [0xbf,0xf3,0x53,0x8f]
 479 @ CHECK: dmb    oshst                   @ encoding: [0xbf,0xf3,0x52,0x8f]
 480 @ CHECK: dmb    sy                      @ encoding: [0xbf,0xf3,0x5f,0x8f]
 481
 482
 483 @------------------------------------------------------------------------------
 484 @ DSB
 485 @------------------------------------------------------------------------------
 486         dsb #0xf
 487         dsb #0xe
 488         dsb #0xd
 489         dsb #0xc
 490         dsb #0xb
 491         dsb #0xa
 492         dsb #0x9
 493         dsb #0x8
 494         dsb #0x7
 495         dsb #0x6
 496         dsb #0x5
 497         dsb #0x4
 498         dsb #0x3
 499         dsb #0x2
 500         dsb #0x1
 501         dsb #0x0
 502
 503         dsb sy
 504         dsb st
 505         dsb sh
 506         dsb ish
 507         dsb shst
 508         dsb ishst
 509         dsb un
 510         dsb nsh
 511         dsb unst
 512         dsb nshst
 513         dsb osh
 514         dsb oshst
 515         dsb
 516
 517 @ CHECK: dsb    sy                      @ encoding: [0xbf,0xf3,0x4f,0x8f]
 518 @ CHECK: dsb    st                      @ encoding: [0xbf,0xf3,0x4e,0x8f]
 519 @ CHECK: dsb    #0xd                    @ encoding: [0xbf,0xf3,0x4d,0x8f]
 520 @ CHECK: dsb    #0xc                    @ encoding: [0xbf,0xf3,0x4c,0x8f]
 521 @ CHECK: dsb    ish                     @ encoding: [0xbf,0xf3,0x4b,0x8f]
 522 @ CHECK: dsb    ishst                   @ encoding: [0xbf,0xf3,0x4a,0x8f]
 523 @ CHECK: dsb    #0x9                    @ encoding: [0xbf,0xf3,0x49,0x8f]
 524 @ CHECK: dsb    #0x8                    @ encoding: [0xbf,0xf3,0x48,0x8f]
 525 @ CHECK: dsb    nsh                     @ encoding: [0xbf,0xf3,0x47,0x8f]
 526 @ CHECK: dsb    nshst                   @ encoding: [0xbf,0xf3,0x46,0x8f]
 527 @ CHECK: dsb    #0x5                    @ encoding: [0xbf,0xf3,0x45,0x8f]
 528 @ CHECK: dsb    #0x4                    @ encoding: [0xbf,0xf3,0x44,0x8f]
 529 @ CHECK: dsb    osh                     @ encoding: [0xbf,0xf3,0x43,0x8f]
 530 @ CHECK: dsb    oshst                   @ encoding: [0xbf,0xf3,0x42,0x8f]
 531 @ CHECK: dsb    #0x1                    @ encoding: [0xbf,0xf3,0x41,0x8f]
 532 @ CHECK: dsb    #0x0                    @ encoding: [0xbf,0xf3,0x40,0x8f]
 533
 534 @ CHECK: dsb    sy                      @ encoding: [0xbf,0xf3,0x4f,0x8f]
 535 @ CHECK: dsb    st                      @ encoding: [0xbf,0xf3,0x4e,0x8f]
 536 @ CHECK: dsb    ish                     @ encoding: [0xbf,0xf3,0x4b,0x8f]
 537 @ CHECK: dsb    ish                     @ encoding: [0xbf,0xf3,0x4b,0x8f]
 538 @ CHECK: dsb    ishst                   @ encoding: [0xbf,0xf3,0x4a,0x8f]
 539 @ CHECK: dsb    ishst                   @ encoding: [0xbf,0xf3,0x4a,0x8f]
 540 @ CHECK: dsb    nsh                     @ encoding: [0xbf,0xf3,0x47,0x8f]
 541 @ CHECK: dsb    nsh                     @ encoding: [0xbf,0xf3,0x47,0x8f]
 542 @ CHECK: dsb    nshst                   @ encoding: [0xbf,0xf3,0x46,0x8f]
 543 @ CHECK: dsb    nshst                   @ encoding: [0xbf,0xf3,0x46,0x8f]
 544 @ CHECK: dsb    osh                     @ encoding: [0xbf,0xf3,0x43,0x8f]
 545 @ CHECK: dsb    oshst                   @ encoding: [0xbf,0xf3,0x42,0x8f]
 546 @ CHECK: dsb    sy                      @ encoding: [0xbf,0xf3,0x4f,0x8f]
 547
 548
 549 @------------------------------------------------------------------------------
 550 @ EOR
 551 @------------------------------------------------------------------------------
 552         eor r4, r5, #0xf000
 553         eor r4, r5, r6
 554         eor r4, r5, r6, lsl #5
 555         eor r4, r5, r6, lsr #5
 556         eor r4, r5, r6, lsr #5
 557         eor r4, r5, r6, asr #5
 558         eor r4, r5, r6, ror #5
 559
 560 @ CHECK: eor    r4, r5, #61440          @ encoding: [0x85,0xf4,0x70,0x44]
 561 @ CHECK: eor.w  r4, r5, r6              @ encoding: [0x85,0xea,0x06,0x04]
 562 @ CHECK: eor.w  r4, r5, r6, lsl #5      @ encoding: [0x85,0xea,0x46,0x14]
 563 @ CHECK: eor.w  r4, r5, r6, lsr #5      @ encoding: [0x85,0xea,0x56,0x14]
 564 @ CHECK: eor.w  r4, r5, r6, lsr #5      @ encoding: [0x85,0xea,0x56,0x14]
 565 @ CHECK: eor.w  r4, r5, r6, asr #5      @ encoding: [0x85,0xea,0x66,0x14]
 566 @ CHECK: eor.w  r4, r5, r6, ror #5      @ encoding: [0x85,0xea,0x76,0x14]
 567
 568
 569 @------------------------------------------------------------------------------
 570 @ ISB
 571 @------------------------------------------------------------------------------
 572         isb sy
 573         isb
 574         isb #15
 575         isb #1
 576
 577 @ CHECK: isb    sy                      @ encoding: [0xbf,0xf3,0x6f,0x8f]
 578 @ CHECK: isb    sy                      @ encoding: [0xbf,0xf3,0x6f,0x8f]
 579 @ CHECK: isb    sy                      @ encoding: [0xbf,0xf3,0x6f,0x8f]
 580 @ CHECK: isb    #0x1                    @ encoding: [0xbf,0xf3,0x61,0x8f]
 581
 582
 583 @------------------------------------------------------------------------------
 584 @ IT
 585 @------------------------------------------------------------------------------
 586 @ Test encodings of a few full IT blocks, not just the IT instruction
 587
 588         iteet eq
 589         addeq r0, r1, r2
 590         nopne
 591         subne r5, r6, r7
 592         addeq r1, r2, #4
 593
 594 @ CHECK: iteet  eq                      @ encoding: [0x0d,0xbf]
 595 @ CHECK: addeq  r0, r1, r2              @ encoding: [0x88,0x18]
 596 @ CHECK: nopne                          @ encoding: [0x00,0xbf]
 597 @ CHECK: subne  r5, r6, r7              @ encoding: [0xf5,0x1b]
 598 @ CHECK: addeq  r1, r2, #4              @ encoding: [0x11,0x1d]
 599
 600 @ Should also work for UPPER CASE condition codes.
 601
 602         ITEET EQ
 603         ADDEQ R0, R1, R2
 604         NOPNE
 605         SUBNE R5, R6, R7
 606         ADDEQ R1, R2, #4
 607
 608 @ CHECK: iteet  eq                      @ encoding: [0x0d,0xbf]
 609 @ CHECK: addeq  r0, r1, r2              @ encoding: [0x88,0x18]
 610 @ CHECK: nopne                          @ encoding: [0x00,0xbf]
 611 @ CHECK: subne  r5, r6, r7              @ encoding: [0xf5,0x1b]
 612 @ CHECK: addeq  r1, r2, #4              @ encoding: [0x11,0x1d]
 613
 614 @------------------------------------------------------------------------------
 615 @ LDC{L}/LDC2{L}
 616 @------------------------------------------------------------------------------
 617         ldc2 p0, c8, [r1, #4]
 618         ldc2 p1, c7, [r2]
 619         ldc2 p2, c6, [r3, #-224]
 620         ldc2 p3, c5, [r4, #-120]!
 621         ldc2 p4, c4, [r5], #16
 622         ldc2 p5, c3, [r6], #-72
 623         ldc2l p6, c2, [r7, #4]
 624         ldc2l p7, c1, [r8]
 625         ldc2l p8, c0, [r9, #-224]
 626         ldc2l p9, c1, [r10, #-120]!
 627         ldc2l p10, c2, [r11], #16
 628         ldc2l p11, c3, [r12], #-72
 629
 630         ldc p12, c4, [r0, #4]
 631         ldc p13, c5, [r1]
 632         ldc p14, c6, [r2, #-224]
 633         ldc p15, c7, [r3, #-120]!
 634         ldc p5, c8, [r4], #16
 635         ldc p4, c9, [r5], #-72
 636         ldcl p3, c10, [r6, #4]
 637         ldcl p2, c11, [r7]
 638         ldcl p1, c12, [r8, #-224]
 639         ldcl p0, c13, [r9, #-120]!
 640         ldcl p6, c14, [r10], #16
 641         ldcl p7, c15, [r11], #-72
 642
 643         ldc2 p2, c8, [r1], { 25 }
 644
 645 @ CHECK: ldc2   p0, c8, [r1, #4]        @ encoding: [0x91,0xfd,0x01,0x80]
 646 @ CHECK: ldc2   p1, c7, [r2]            @ encoding: [0x92,0xfd,0x00,0x71]
 647 @ CHECK: ldc2   p2, c6, [r3, #-224]     @ encoding: [0x13,0xfd,0x38,0x62]
 648 @ CHECK: ldc2   p3, c5, [r4, #-120]!    @ encoding: [0x34,0xfd,0x1e,0x53]
 649 @ CHECK: ldc2   p4, c4, [r5], #16       @ encoding: [0xb5,0xfc,0x04,0x44]
 650 @ CHECK: ldc2   p5, c3, [r6], #-72      @ encoding: [0x36,0xfc,0x12,0x35]
 651 @ CHECK: ldc2l  p6, c2, [r7, #4]        @ encoding: [0xd7,0xfd,0x01,0x26]
 652 @ CHECK: ldc2l  p7, c1, [r8]            @ encoding: [0xd8,0xfd,0x00,0x17]
 653 @ CHECK: ldc2l  p8, c0, [r9, #-224]     @ encoding: [0x59,0xfd,0x38,0x08]
 654 @ CHECK: ldc2l  p9, c1, [r10, #-120]!   @ encoding: [0x7a,0xfd,0x1e,0x19]
 655 @ CHECK: ldc2l  p10, c2, [r11], #16     @ encoding: [0xfb,0xfc,0x04,0x2a]
 656 @ CHECK: ldc2l  p11, c3, [r12], #-72    @ encoding: [0x7c,0xfc,0x12,0x3b]
 657
 658 @ CHECK: ldc    p12, c4, [r0, #4]       @ encoding: [0x90,0xed,0x01,0x4c]
 659 @ CHECK: ldc    p13, c5, [r1]           @ encoding: [0x91,0xed,0x00,0x5d]
 660 @ CHECK: ldc    p14, c6, [r2, #-224]    @ encoding: [0x12,0xed,0x38,0x6e]
 661 @ CHECK: ldc    p15, c7, [r3, #-120]!   @ encoding: [0x33,0xed,0x1e,0x7f]
 662 @ CHECK: ldc    p5, c8, [r4], #16       @ encoding: [0xb4,0xec,0x04,0x85]
 663 @ CHECK: ldc    p4, c9, [r5], #-72      @ encoding: [0x35,0xec,0x12,0x94]
 664 @ CHECK: ldcl   p3, c10, [r6, #4]       @ encoding: [0xd6,0xed,0x01,0xa3]
 665 @ CHECK: ldcl   p2, c11, [r7]           @ encoding: [0xd7,0xed,0x00,0xb2]
 666 @ CHECK: ldcl   p1, c12, [r8, #-224]    @ encoding: [0x58,0xed,0x38,0xc1]
 667 @ CHECK: ldcl   p0, c13, [r9, #-120]!   @ encoding: [0x79,0xed,0x1e,0xd0]
 668 @ CHECK: ldcl   p6, c14, [r10], #16     @ encoding: [0xfa,0xec,0x04,0xe6]
 669 @ CHECK: ldcl   p7, c15, [r11], #-72    @ encoding: [0x7b,0xec,0x12,0xf7]
 670
 671 @ CHECK: ldc2   p2, c8, [r1], {25}      @ encoding: [0x91,0xfc,0x19,0x82]
 672
 673
 674 @------------------------------------------------------------------------------
 675 @ LDMIA
 676 @------------------------------------------------------------------------------
 677         ldmia.w r4, {r4, r5, r8, r9}
 678         ldmia.w r4, {r5, r6}
 679         ldmia.w r5!, {r3, r8}
 680         ldm.w r4, {r4, r5, r8, r9}
 681         ldm.w r4, {r5, r6}
 682         ldm.w r5!, {r3, r8}
 683         ldm.w r5!, {r1, r2}
 684         ldm.w r2, {r1, r2}
 685
 686         ldmia r4, {r4, r5, r8, r9}
 687         ldmia r4, {r5, r6}
 688         ldmia r5!, {r3, r8}
 689         ldm r4, {r4, r5, r8, r9}
 690         ldm r4, {r5, r6}
 691         ldm r5!, {r3, r8}
 692         ldmfd r5!, {r3, r8}
 693         ldmia sp!, {r4-r11, pc}
 694
 695 @ CHECK: ldm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
 696 @ CHECK: ldm.w  r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
 697 @ CHECK: ldm.w  r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
 698 @ CHECK: ldm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
 699 @ CHECK: ldm.w  r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
 700 @ CHECK: ldm.w  r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
 701 @ CHECK: ldm.w  r5!, {r1, r2}           @ encoding: [0xb5,0xe8,0x06,0x00]
 702 @ CHECK: ldm.w  r2, {r1, r2}            @ encoding: [0x92,0xe8,0x06,0x00]
 703
 704 @ CHECK: ldm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
 705 @ CHECK: ldm.w  r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
 706 @ CHECK: ldm.w  r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
 707 @ CHECK: ldm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
 708 @ CHECK: ldm.w  r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
 709 @ CHECK: ldm.w  r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
 710 @ CHECK: ldm.w  r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
 711 @ CHECK: pop.w  {pc, r4, r5, r6, r7, r8, r9, r10, r11} @ encoding: [0xbd,0xe8,0xf0,0x8f]
 712
 713
 714 @------------------------------------------------------------------------------
 715 @ LDMDB
 716 @------------------------------------------------------------------------------
 717         ldmdb r4, {r4, r5, r8, r9}
 718         ldmdb r4, {r5, r6}
 719         ldmdb r5!, {r3, r8}
 720         ldmea r5!, {r3, r8}
 721         ldmdb.w r4, {r5, r6}
 722         ldmdb.w r5!, {r3, r8}
 723
 724 @ CHECK: ldmdb  r4, {r4, r5, r8, r9}    @ encoding: [0x14,0xe9,0x30,0x03]
 725 @ CHECK: ldmdb  r4, {r5, r6}            @ encoding: [0x14,0xe9,0x60,0x00]
 726 @ CHECK: ldmdb  r5!, {r3, r8}           @ encoding: [0x35,0xe9,0x08,0x01]
 727 @ CHECK: ldmdb  r5!, {r3, r8}           @ encoding: [0x35,0xe9,0x08,0x01]
 728 @ CHECK: ldmdb  r4, {r5, r6}            @ encoding: [0x14,0xe9,0x60,0x00]
 729 @ CHECK: ldmdb  r5!, {r3, r8}           @ encoding: [0x35,0xe9,0x08,0x01]
 730
 731
 732 @------------------------------------------------------------------------------
 733 @ LDR(immediate)
 734 @------------------------------------------------------------------------------
 735         ldr r5, [r5, #-4]
 736         ldr r5, [r6, #32]
 737         ldr r5, [r6, #33]
 738         ldr r5, [r6, #257]
 739         ldr.w pc, [r7, #257]
 740         ldr r2, [r4, #255]!
 741         ldr r8, [sp, #4]!
 742         ldr lr, [sp, #-4]!
 743         ldr r2, [r4], #255
 744         ldr r8, [sp], #4
 745         ldr lr, [sp], #-4
 746
 747 @ CHECK: ldr    r5, [r5, #-4]           @ encoding: [0x55,0xf8,0x04,0x5c]
 748 @ CHECK: ldr    r5, [r6, #32]           @ encoding: [0x35,0x6a]
 749 @ CHECK: ldr.w  r5, [r6, #33]           @ encoding: [0xd6,0xf8,0x21,0x50]
 750 @ CHECK: ldr.w  r5, [r6, #257]          @ encoding: [0xd6,0xf8,0x01,0x51]
 751 @ CHECK: ldr.w  pc, [r7, #257]          @ encoding: [0xd7,0xf8,0x01,0xf1]
 752 @ CHECK: ldr    r2, [r4, #255]!         @ encoding: [0x54,0xf8,0xff,0x2f]
 753 @ CHECK: ldr    r8, [sp, #4]!           @ encoding: [0x5d,0xf8,0x04,0x8f]
 754 @ CHECK: ldr    lr, [sp, #-4]!          @ encoding: [0x5d,0xf8,0x04,0xed]
 755 @ CHECK: ldr    r2, [r4], #255          @ encoding: [0x54,0xf8,0xff,0x2b]
 756 @ CHECK: ldr    r8, [sp], #4            @ encoding: [0x5d,0xf8,0x04,0x8b]
 757 @ CHECK: ldr    lr, [sp], #-4           @ encoding: [0x5d,0xf8,0x04,0xe9]
 758
 759
 760 @------------------------------------------------------------------------------
 761 @ LDR(literal)
 762 @------------------------------------------------------------------------------
 763         ldr.w r5, _foo
 764         ldr   lr, (_strcmp-4)
 765
 766 @ CHECK: ldr.w  r5, _foo                @ encoding: [0x5f'A',0xf8'A',A,0x50'A']
 767 @ CHECK: @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
 768 @ CHECK: ldr.w  lr, _strcmp-4           @ encoding: [0x5f'A',0xf8'A',A,0xe0'A']
 769 @ CHECK: @   fixup A - offset: 0, value: _strcmp-4, kind: fixup_t2_ldst_pcrel_12
 770
 771
 772 @------------------------------------------------------------------------------
 773 @ LDR(register)
 774 @------------------------------------------------------------------------------
 775         ldr r1, [r8, r1]
 776         ldr.w r4, [r5, r2]
 777         ldr r6, [r0, r2, lsl #3]
 778         ldr r8, [r8, r2, lsl #2]
 779         ldr r7, [sp, r2, lsl #1]
 780         ldr r7, [sp, r2, lsl #0]
 781
 782 @ CHECK: ldr.w  r1, [r8, r1]            @ encoding: [0x58,0xf8,0x01,0x10]
 783 @ CHECK: ldr.w  r4, [r5, r2]            @ encoding: [0x55,0xf8,0x02,0x40]
 784 @ CHECK: ldr.w  r6, [r0, r2, lsl #3]    @ encoding: [0x50,0xf8,0x32,0x60]
 785 @ CHECK: ldr.w  r8, [r8, r2, lsl #2]    @ encoding: [0x58,0xf8,0x22,0x80]
 786 @ CHECK: ldr.w  r7, [sp, r2, lsl #1]    @ encoding: [0x5d,0xf8,0x12,0x70]
 787 @ CHECK: ldr.w  r7, [sp, r2]            @ encoding: [0x5d,0xf8,0x02,0x70]
 788
 789
 790 @------------------------------------------------------------------------------
 791 @ LDRB(immediate)
 792 @------------------------------------------------------------------------------
 793         ldrb r5, [r5, #-4]
 794         ldrb r5, [r6, #32]
 795         ldrb r5, [r6, #33]
 796         ldrb r5, [r6, #257]
 797         ldrb.w lr, [r7, #257]
 798         ldrb r5, [r8, #255]!
 799         ldrb r2, [r5, #4]!
 800         ldrb r1, [r4, #-4]!
 801         ldrb lr, [r3], #255
 802         ldrb r9, [r2], #4
 803         ldrb r3, [sp], #-4
 804
 805 @ CHECK: ldrb   r5, [r5, #-4]           @ encoding: [0x15,0xf8,0x04,0x5c]
 806 @ CHECK: ldrb.w r5, [r6, #32]           @ encoding: [0x96,0xf8,0x20,0x50]
 807 @ CHECK: ldrb.w r5, [r6, #33]           @ encoding: [0x96,0xf8,0x21,0x50]
 808 @ CHECK: ldrb.w r5, [r6, #257]          @ encoding: [0x96,0xf8,0x01,0x51]
 809 @ CHECK: ldrb.w lr, [r7, #257]          @ encoding: [0x97,0xf8,0x01,0xe1]
 810 @ CHECK: ldrb   r5, [r8, #255]!         @ encoding: [0x18,0xf8,0xff,0x5f]
 811 @ CHECK: ldrb   r2, [r5, #4]!           @ encoding: [0x15,0xf8,0x04,0x2f]
 812 @ CHECK: ldrb   r1, [r4, #-4]!          @ encoding: [0x14,0xf8,0x04,0x1d]
 813 @ CHECK: ldrb   lr, [r3], #255          @ encoding: [0x13,0xf8,0xff,0xeb]
 814 @ CHECK: ldrb   r9, [r2], #4            @ encoding: [0x12,0xf8,0x04,0x9b]
 815 @ CHECK: ldrb   r3, [sp], #-4           @ encoding: [0x1d,0xf8,0x04,0x39]
 816
 817
 818 @------------------------------------------------------------------------------
 819 @ LDRB(register)
 820 @------------------------------------------------------------------------------
 821         ldrb r1, [r8, r1]
 822         ldrb.w r4, [r5, r2]
 823         ldrb r6, [r0, r2, lsl #3]
 824         ldrb r8, [r8, r2, lsl #2]
 825         ldrb r7, [sp, r2, lsl #1]
 826         ldrb r7, [sp, r2, lsl #0]
 827
 828 @ CHECK: ldrb.w r1, [r8, r1]            @ encoding: [0x18,0xf8,0x01,0x10]
 829 @ CHECK: ldrb.w r4, [r5, r2]            @ encoding: [0x15,0xf8,0x02,0x40]
 830 @ CHECK: ldrb.w r6, [r0, r2, lsl #3]    @ encoding: [0x10,0xf8,0x32,0x60]
 831 @ CHECK: ldrb.w r8, [r8, r2, lsl #2]    @ encoding: [0x18,0xf8,0x22,0x80]
 832 @ CHECK: ldrb.w r7, [sp, r2, lsl #1]    @ encoding: [0x1d,0xf8,0x12,0x70]
 833 @ CHECK: ldrb.w r7, [sp, r2]            @ encoding: [0x1d,0xf8,0x02,0x70]
 834
 835
 836 @------------------------------------------------------------------------------
 837 @ LDRBT
 838 @------------------------------------------------------------------------------
 839         ldrbt r1, [r2]
 840         ldrbt r1, [r8, #0]
 841         ldrbt r1, [r8, #3]
 842         ldrbt r1, [r8, #255]
 843
 844 @ CHECK: ldrbt  r1, [r2]                @ encoding: [0x12,0xf8,0x00,0x1e]
 845 @ CHECK: ldrbt  r1, [r8]                @ encoding: [0x18,0xf8,0x00,0x1e]
 846 @ CHECK: ldrbt  r1, [r8, #3]            @ encoding: [0x18,0xf8,0x03,0x1e]
 847 @ CHECK: ldrbt  r1, [r8, #255]          @ encoding: [0x18,0xf8,0xff,0x1e]
 848
 849
 850 @------------------------------------------------------------------------------
 851 @ LDRD
 852 @------------------------------------------------------------------------------
 853         ldrd r3, r5, [r6, #24]
 854         ldrd r3, r5, [r6, #24]!
 855         ldrd r3, r5, [r6], #4
 856         ldrd r3, r5, [r6], #-8
 857         ldrd r3, r5, [r6]
 858         ldrd r8, r1, [r3, #0]
 859         ldrd r0, r1, [r2, #-0]
 860         ldrd r0, r1, [r2, #-0]!
 861         ldrd r0, r1, [r2], #-0
 862
 863 @ CHECK: ldrd   r3, r5, [r6, #24]       @ encoding: [0xd6,0xe9,0x06,0x35]
 864 @ CHECK: ldrd   r3, r5, [r6, #24]!      @ encoding: [0xf6,0xe9,0x06,0x35]
 865 @ CHECK: ldrd   r3, r5, [r6], #4        @ encoding: [0xf6,0xe8,0x01,0x35]
 866 @ CHECK: ldrd   r3, r5, [r6], #-8       @ encoding: [0x76,0xe8,0x02,0x35]
 867 @ CHECK: ldrd   r3, r5, [r6]            @ encoding: [0xd6,0xe9,0x00,0x35]
 868 @ CHECK: ldrd   r8, r1, [r3]            @ encoding: [0xd3,0xe9,0x00,0x81]
 869 @ CHECK: ldrd   r0, r1, [r2, #-0]       @ encoding: [0x52,0xe9,0x00,0x01]
 870 @ CHECK: ldrd   r0, r1, [r2, #-0]!      @ encoding: [0x72,0xe9,0x00,0x01]
 871 @ CHECK: ldrd   r0, r1, [r2], #-0       @ encoding: [0x72,0xe8,0x00,0x01]
 872
 873
 874 @------------------------------------------------------------------------------
 875 @ FIXME: LDRD(literal)
 876 @------------------------------------------------------------------------------
 877
 878
 879 @------------------------------------------------------------------------------
 880 @ LDREX/LDREXB/LDREXH/LDREXD
 881 @------------------------------------------------------------------------------
 882         ldrex r1, [r4]
 883         ldrex r8, [r4, #0]
 884         ldrex r2, [sp, #128]
 885         ldrexb r5, [r7]
 886         ldrexh r9, [r12]
 887         ldrexd r9, r3, [r4]
 888
 889 @ CHECK: ldrex  r1, [r4]                @ encoding: [0x54,0xe8,0x00,0x1f]
 890 @ CHECK: ldrex  r8, [r4]                @ encoding: [0x54,0xe8,0x00,0x8f]
 891 @ CHECK: ldrex  r2, [sp, #128]          @ encoding: [0x5d,0xe8,0x20,0x2f]
 892 @ CHECK: ldrexb r5, [r7]                @ encoding: [0xd7,0xe8,0x4f,0x5f]
 893 @ CHECK: ldrexh r9, [r12]               @ encoding: [0xdc,0xe8,0x5f,0x9f]
 894 @ CHECK: ldrexd r9, r3, [r4]            @ encoding: [0xd4,0xe8,0x7f,0x93]
 895
 896
 897 @------------------------------------------------------------------------------
 898 @ LDRH(immediate)
 899 @------------------------------------------------------------------------------
 900         ldrh r5, [r5, #-4]
 901         ldrh r5, [r6, #32]
 902         ldrh r5, [r6, #33]
 903         ldrh r5, [r6, #257]
 904         ldrh.w lr, [r7, #257]
 905         ldrh r5, [r8, #255]!
 906         ldrh r2, [r5, #4]!
 907         ldrh r1, [r4, #-4]!
 908         ldrh lr, [r3], #255
 909         ldrh r9, [r2], #4
 910         ldrh r3, [sp], #-4
 911
 912 @ CHECK: ldrh   r5, [r5, #-4]           @ encoding: [0x35,0xf8,0x04,0x5c]
 913 @ CHECK: ldrh   r5, [r6, #32]           @ encoding: [0x35,0x8c]
 914 @ CHECK: ldrh.w r5, [r6, #33]           @ encoding: [0xb6,0xf8,0x21,0x50]
 915 @ CHECK: ldrh.w r5, [r6, #257]          @ encoding: [0xb6,0xf8,0x01,0x51]
 916 @ CHECK: ldrh.w lr, [r7, #257]          @ encoding: [0xb7,0xf8,0x01,0xe1]
 917 @ CHECK: ldrh   r5, [r8, #255]!         @ encoding: [0x38,0xf8,0xff,0x5f]
 918 @ CHECK: ldrh   r2, [r5, #4]!           @ encoding: [0x35,0xf8,0x04,0x2f]
 919 @ CHECK: ldrh   r1, [r4, #-4]!          @ encoding: [0x34,0xf8,0x04,0x1d]
 920 @ CHECK: ldrh   lr, [r3], #255          @ encoding: [0x33,0xf8,0xff,0xeb]
 921 @ CHECK: ldrh   r9, [r2], #4            @ encoding: [0x32,0xf8,0x04,0x9b]
 922 @ CHECK: ldrh   r3, [sp], #-4           @ encoding: [0x3d,0xf8,0x04,0x39]
 923
 924
 925 @------------------------------------------------------------------------------
 926 @ LDRH(register)
 927 @------------------------------------------------------------------------------
 928         ldrh r1, [r8, r1]
 929         ldrh.w r4, [r5, r2]
 930         ldrh r6, [r0, r2, lsl #3]
 931         ldrh r8, [r8, r2, lsl #2]
 932         ldrh r7, [sp, r2, lsl #1]
 933         ldrh r7, [sp, r2, lsl #0]
 934
 935 @ CHECK: ldrh.w r1, [r8, r1]            @ encoding: [0x38,0xf8,0x01,0x10]
 936 @ CHECK: ldrh.w r4, [r5, r2]            @ encoding: [0x35,0xf8,0x02,0x40]
 937 @ CHECK: ldrh.w r6, [r0, r2, lsl #3]    @ encoding: [0x30,0xf8,0x32,0x60]
 938 @ CHECK: ldrh.w r8, [r8, r2, lsl #2]    @ encoding: [0x38,0xf8,0x22,0x80]
 939 @ CHECK: ldrh.w r7, [sp, r2, lsl #1]    @ encoding: [0x3d,0xf8,0x12,0x70]
 940 @ CHECK: ldrh.w r7, [sp, r2]            @ encoding: [0x3d,0xf8,0x02,0x70]
 941
 942
 943 @------------------------------------------------------------------------------
 944 @ LDRH(literal)
 945 @------------------------------------------------------------------------------
 946         ldrh r5, _bar
 947
 948 @ CHECK: ldrh.w r5, _bar                @ encoding: [0x3f'A',0xf8'A',A,0x50'A']
 949 @ CHECK:     @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
 950
 951
 952 @------------------------------------------------------------------------------
 953 @ LDRHT
 954 @------------------------------------------------------------------------------
 955         ldrht r1, [r2]
 956         ldrht r1, [r8, #0]
 957         ldrht r1, [r8, #3]
 958         ldrht r1, [r8, #255]
 959
 960 @ CHECK: ldrht  r1, [r2]                @ encoding: [0x32,0xf8,0x00,0x1e]
 961 @ CHECK: ldrht  r1, [r8]                @ encoding: [0x38,0xf8,0x00,0x1e]
 962 @ CHECK: ldrht  r1, [r8, #3]            @ encoding: [0x38,0xf8,0x03,0x1e]
 963 @ CHECK: ldrht  r1, [r8, #255]          @ encoding: [0x38,0xf8,0xff,0x1e]
 964
 965
 966 @------------------------------------------------------------------------------
 967 @ LDRSB(immediate)
 968 @------------------------------------------------------------------------------
 969         ldrsb r5, [r5, #-4]
 970         ldrsb r5, [r6, #32]
 971         ldrsb r5, [r6, #33]
 972         ldrsb r5, [r6, #257]
 973         ldrsb.w lr, [r7, #257]
 974
 975 @ CHECK: ldrsb  r5, [r5, #-4]            @ encoding: [0x15,0xf9,0x04,0x5c]
 976 @ CHECK: ldrsb.w r5, [r6, #32]           @ encoding: [0x96,0xf9,0x20,0x50]
 977 @ CHECK: ldrsb.w r5, [r6, #33]           @ encoding: [0x96,0xf9,0x21,0x50]
 978 @ CHECK: ldrsb.w r5, [r6, #257]          @ encoding: [0x96,0xf9,0x01,0x51]
 979 @ CHECK: ldrsb.w lr, [r7, #257]          @ encoding: [0x97,0xf9,0x01,0xe1]
 980
 981
 982 @------------------------------------------------------------------------------
 983 @ LDRSB(register)
 984 @------------------------------------------------------------------------------
 985         ldrsb r1, [r8, r1]
 986         ldrsb.w r4, [r5, r2]
 987         ldrsb r6, [r0, r2, lsl #3]
 988         ldrsb r8, [r8, r2, lsl #2]
 989         ldrsb r7, [sp, r2, lsl #1]
 990         ldrsb r7, [sp, r2, lsl #0]
 991         ldrsb r5, [r8, #255]!
 992         ldrsb r2, [r5, #4]!
 993         ldrsb r1, [r4, #-4]!
 994         ldrsb lr, [r3], #255
 995         ldrsb r9, [r2], #4
 996         ldrsb r3, [sp], #-4
 997
 998 @ CHECK: ldrsb.w r1, [r8, r1]           @ encoding: [0x18,0xf9,0x01,0x10]
 999 @ CHECK: ldrsb.w r4, [r5, r2]           @ encoding: [0x15,0xf9,0x02,0x40]
1000 @ CHECK: ldrsb.w r6, [r0, r2, lsl #3]   @ encoding: [0x10,0xf9,0x32,0x60]
1001 @ CHECK: ldrsb.w r8, [r8, r2, lsl #2]   @ encoding: [0x18,0xf9,0x22,0x80]
1002 @ CHECK: ldrsb.w r7, [sp, r2, lsl #1]   @ encoding: [0x1d,0xf9,0x12,0x70]
1003 @ CHECK: ldrsb.w r7, [sp, r2]           @ encoding: [0x1d,0xf9,0x02,0x70]
1004 @ CHECK: ldrsb  r5, [r8, #255]!         @ encoding: [0x18,0xf9,0xff,0x5f]
1005 @ CHECK: ldrsb  r2, [r5, #4]!           @ encoding: [0x15,0xf9,0x04,0x2f]
1006 @ CHECK: ldrsb  r1, [r4, #-4]!          @ encoding: [0x14,0xf9,0x04,0x1d]
1007 @ CHECK: ldrsb  lr, [r3], #255          @ encoding: [0x13,0xf9,0xff,0xeb]
1008 @ CHECK: ldrsb  r9, [r2], #4            @ encoding: [0x12,0xf9,0x04,0x9b]
1009 @ CHECK: ldrsb  r3, [sp], #-4           @ encoding: [0x1d,0xf9,0x04,0x39]
1010
1011
1012 @------------------------------------------------------------------------------
1013 @ LDRSB(literal)
1014 @------------------------------------------------------------------------------
1015         ldrsb r5, _bar
1016
1017 @ CHECK: ldrsb.w r5, _bar               @ encoding: [0x1f'A',0xf9'A',A,0x50'A']
1018 @ CHECK:      @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
1019
1020
1021 @------------------------------------------------------------------------------
1022 @ LDRSBT
1023 @------------------------------------------------------------------------------
1024         ldrsbt r1, [r2]
1025         ldrsbt r1, [r8, #0]
1026         ldrsbt r1, [r8, #3]
1027         ldrsbt r1, [r8, #255]
1028
1029 @ CHECK: ldrsbt r1, [r2]                @ encoding: [0x12,0xf9,0x00,0x1e]
1030 @ CHECK: ldrsbt r1, [r8]                @ encoding: [0x18,0xf9,0x00,0x1e]
1031 @ CHECK: ldrsbt r1, [r8, #3]            @ encoding: [0x18,0xf9,0x03,0x1e]
1032 @ CHECK: ldrsbt r1, [r8, #255]          @ encoding: [0x18,0xf9,0xff,0x1e]
1033
1034
1035 @------------------------------------------------------------------------------
1036 @ LDRSH(immediate)
1037 @------------------------------------------------------------------------------
1038         ldrsh r5, [r5, #-4]
1039         ldrsh r5, [r6, #32]
1040         ldrsh r5, [r6, #33]
1041         ldrsh r5, [r6, #257]
1042         ldrsh.w lr, [r7, #257]
1043
1044 @ CHECK: ldrsh  r5, [r5, #-4]           @ encoding: [0x35,0xf9,0x04,0x5c]
1045 @ CHECK: ldrsh.w r5, [r6, #32]          @ encoding: [0xb6,0xf9,0x20,0x50]
1046 @ CHECK: ldrsh.w r5, [r6, #33]          @ encoding: [0xb6,0xf9,0x21,0x50]
1047 @ CHECK: ldrsh.w r5, [r6, #257]         @ encoding: [0xb6,0xf9,0x01,0x51]
1048 @ CHECK: ldrsh.w lr, [r7, #257]         @ encoding: [0xb7,0xf9,0x01,0xe1]
1049
1050
1051 @------------------------------------------------------------------------------
1052 @ LDRSH(register)
1053 @------------------------------------------------------------------------------
1054         ldrsh r1, [r8, r1]
1055         ldrsh.w r4, [r5, r2]
1056         ldrsh r6, [r0, r2, lsl #3]
1057         ldrsh r8, [r8, r2, lsl #2]
1058         ldrsh r7, [sp, r2, lsl #1]
1059         ldrsh r7, [sp, r2, lsl #0]
1060         ldrsh r5, [r8, #255]!
1061         ldrsh r2, [r5, #4]!
1062         ldrsh r1, [r4, #-4]!
1063         ldrsh lr, [r3], #255
1064         ldrsh r9, [r2], #4
1065         ldrsh r3, [sp], #-4
1066
1067 @ CHECK: ldrsh.w r1, [r8, r1]           @ encoding: [0x38,0xf9,0x01,0x10]
1068 @ CHECK: ldrsh.w r4, [r5, r2]           @ encoding: [0x35,0xf9,0x02,0x40]
1069 @ CHECK: ldrsh.w r6, [r0, r2, lsl #3]   @ encoding: [0x30,0xf9,0x32,0x60]
1070 @ CHECK: ldrsh.w r8, [r8, r2, lsl #2]   @ encoding: [0x38,0xf9,0x22,0x80]
1071 @ CHECK: ldrsh.w r7, [sp, r2, lsl #1]   @ encoding: [0x3d,0xf9,0x12,0x70]
1072 @ CHECK: ldrsh.w r7, [sp, r2]           @ encoding: [0x3d,0xf9,0x02,0x70]
1073 @ CHECK: ldrsh  r5, [r8, #255]!         @ encoding: [0x38,0xf9,0xff,0x5f]
1074 @ CHECK: ldrsh  r2, [r5, #4]!           @ encoding: [0x35,0xf9,0x04,0x2f]
1075 @ CHECK: ldrsh  r1, [r4, #-4]!          @ encoding: [0x34,0xf9,0x04,0x1d]
1076 @ CHECK: ldrsh  lr, [r3], #255          @ encoding: [0x33,0xf9,0xff,0xeb]
1077 @ CHECK: ldrsh  r9, [r2], #4            @ encoding: [0x32,0xf9,0x04,0x9b]
1078 @ CHECK: ldrsh  r3, [sp], #-4           @ encoding: [0x3d,0xf9,0x04,0x39]
1079
1080
1081 @------------------------------------------------------------------------------
1082 @ LDRSH(literal)
1083 @------------------------------------------------------------------------------
1084         ldrsh r5, _bar
1085
1086 @ CHECK: ldrsh.w r5, _bar               @ encoding: [0x3f'A',0xf9'A',A,0x50'A']
1087 @ CHECK:      @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
1088
1089 @ TEMPORARILY DISABLED:
1090 @        ldrsh.w r4, [pc, #1435]
1091 @      : ldrsh.w r4, [pc, #1435]               @ encoding: [0x3f,0xf9,0x9b,0x45]
1092
1093 @------------------------------------------------------------------------------
1094 @ LDRSHT
1095 @------------------------------------------------------------------------------
1096         ldrsht r1, [r2]
1097         ldrsht r1, [r8, #0]
1098         ldrsht r1, [r8, #3]
1099         ldrsht r1, [r8, #255]
1100
1101 @ CHECK: ldrsht r1, [r2]                @ encoding: [0x32,0xf9,0x00,0x1e]
1102 @ CHECK: ldrsht r1, [r8]                @ encoding: [0x38,0xf9,0x00,0x1e]
1103 @ CHECK: ldrsht r1, [r8, #3]            @ encoding: [0x38,0xf9,0x03,0x1e]
1104 @ CHECK: ldrsht r1, [r8, #255]          @ encoding: [0x38,0xf9,0xff,0x1e]
1105
1106
1107 @------------------------------------------------------------------------------
1108 @ LDRT
1109 @------------------------------------------------------------------------------
1110         ldrt r1, [r2]
1111         ldrt r2, [r6, #0]
1112         ldrt r3, [r7, #3]
1113         ldrt r4, [r9, #255]
1114
1115 @ CHECK: ldrt   r1, [r2]                @ encoding: [0x52,0xf8,0x00,0x1e]
1116 @ CHECK: ldrt   r2, [r6]                @ encoding: [0x56,0xf8,0x00,0x2e]
1117 @ CHECK: ldrt   r3, [r7, #3]            @ encoding: [0x57,0xf8,0x03,0x3e]
1118 @ CHECK: ldrt   r4, [r9, #255]          @ encoding: [0x59,0xf8,0xff,0x4e]
1119
1120
1121 @------------------------------------------------------------------------------
1122 @ LSL (immediate)
1123 @------------------------------------------------------------------------------
1124         lsl r2, r3, #12
1125         lsls r8, r3, #31
1126         lsls.w r2, r3, #1
1127         lsl r2, r3, #4
1128         lsls r2, r12, #15
1129
1130         lsl r3, #19
1131         lsls r8, #2
1132         lsls.w r7, #5
1133         lsl.w r12, #21
1134
1135 @ CHECK: lsl.w  r2, r3, #12             @ encoding: [0x4f,0xea,0x03,0x32]
1136 @ CHECK: lsls.w r8, r3, #31             @ encoding: [0x5f,0xea,0xc3,0x78]
1137 @ CHECK: lsls.w r2, r3, #1              @ encoding: [0x5f,0xea,0x43,0x02]
1138 @ CHECK: lsl.w  r2, r3, #4              @ encoding: [0x4f,0xea,0x03,0x12]
1139 @ CHECK: lsls.w r2, r12, #15            @ encoding: [0x5f,0xea,0xcc,0x32]
1140
1141 @ CHECK: lsl.w  r3, r3, #19             @ encoding: [0x4f,0xea,0xc3,0x43]
1142 @ CHECK: lsls.w r8, r8, #2              @ encoding: [0x5f,0xea,0x88,0x08]
1143 @ CHECK: lsls.w r7, r7, #5              @ encoding: [0x5f,0xea,0x47,0x17]
1144 @ CHECK: lsl.w  r12, r12, #21           @ encoding: [0x4f,0xea,0x4c,0x5c]
1145
1146
1147 @------------------------------------------------------------------------------
1148 @ LSL (register)
1149 @------------------------------------------------------------------------------
1150         lsl r3, r4, r2
1151         lsl.w r1, r2
1152         lsls r3, r4, r8
1153
1154 @ CHECK: lsl.w  r3, r4, r2              @ encoding: [0x04,0xfa,0x02,0xf3]
1155 @ CHECK: lsl.w  r1, r1, r2              @ encoding: [0x01,0xfa,0x02,0xf1]
1156 @ CHECK: lsls.w r3, r4, r8              @ encoding: [0x14,0xfa,0x08,0xf3]
1157
1158
1159 @------------------------------------------------------------------------------
1160 @ LSR (immediate)
1161 @------------------------------------------------------------------------------
1162         lsr r2, r3, #12
1163         lsrs r8, r3, #32
1164         lsrs.w r2, r3, #1
1165         lsr r2, r3, #4
1166         lsrs r2, r12, #15
1167
1168         lsr r3, #19
1169         lsrs r8, #2
1170         lsrs.w r7, #5
1171         lsr.w r12, #21
1172
1173 @ CHECK: lsr.w  r2, r3, #12             @ encoding: [0x4f,0xea,0x13,0x32]
1174 @ CHECK: lsrs.w r8, r3, #32             @ encoding: [0x5f,0xea,0x13,0x08]
1175 @ CHECK: lsrs.w r2, r3, #1              @ encoding: [0x5f,0xea,0x53,0x02]
1176 @ CHECK: lsr.w  r2, r3, #4              @ encoding: [0x4f,0xea,0x13,0x12]
1177 @ CHECK: lsrs.w r2, r12, #15            @ encoding: [0x5f,0xea,0xdc,0x32]
1178
1179 @ CHECK: lsr.w  r3, r3, #19             @ encoding: [0x4f,0xea,0xd3,0x43]
1180 @ CHECK: lsrs.w r8, r8, #2              @ encoding: [0x5f,0xea,0x98,0x08]
1181 @ CHECK: lsrs.w r7, r7, #5              @ encoding: [0x5f,0xea,0x57,0x17]
1182 @ CHECK: lsr.w  r12, r12, #21           @ encoding: [0x4f,0xea,0x5c,0x5c]
1183
1184
1185 @------------------------------------------------------------------------------
1186 @ LSR (register)
1187 @------------------------------------------------------------------------------
1188         lsr r3, r4, r2
1189         lsr.w r1, r2
1190         lsrs r3, r4, r8
1191
1192 @ CHECK: lsr.w  r3, r4, r2              @ encoding: [0x24,0xfa,0x02,0xf3]
1193 @ CHECK: lsr.w  r1, r1, r2              @ encoding: [0x21,0xfa,0x02,0xf1]
1194 @ CHECK: lsrs.w r3, r4, r8              @ encoding: [0x34,0xfa,0x08,0xf3]
1195
1196 @------------------------------------------------------------------------------
1197 @ MCR/MCR2
1198 @------------------------------------------------------------------------------
1199         mcr  p7, #1, r5, c1, c1, #4
1200         mcr2  p7, #1, r5, c1, c1, #4
1201         mcr p14, #0, r4, c0, c5
1202         mcr2 p4, #2, r2, c1, c3
1203
1204 @ CHECK: mcr    p7, #1, r5, c1, c1, #4  @ encoding: [0x21,0xee,0x91,0x57]
1205 @ CHECK: mcr2   p7, #1, r5, c1, c1, #4  @ encoding: [0x21,0xfe,0x91,0x57]
1206 @ CHECK: mcr    p14, #0, r4, c0, c5, #0 @ encoding: [0x00,0xee,0x15,0x4e]
1207 @ CHECK: mcr2   p4, #2, r2, c1, c3, #0  @ encoding: [0x41,0xfe,0x13,0x24]
1208
1209
1210 @------------------------------------------------------------------------------
1211 @ MCRR/MCRR2
1212 @------------------------------------------------------------------------------
1213         mcrr  p7, #15, r5, r4, c1
1214         mcrr2  p7, #15, r5, r4, c1
1215
1216 @ CHECK: mcrr   p7, #15, r5, r4, c1     @ encoding: [0x44,0xec,0xf1,0x57]
1217 @ CHECK: mcrr2  p7, #15, r5, r4, c1     @ encoding: [0x44,0xfc,0xf1,0x57]
1218
1219
1220 @------------------------------------------------------------------------------
1221 @ MLA/MLS
1222 @------------------------------------------------------------------------------
1223         mla  r1,r2,r3,r4
1224         mls  r1,r2,r3,r4
1225
1226 @ CHECK: mla    r1, r2, r3, r4          @ encoding: [0x02,0xfb,0x03,0x41]
1227 @ CHECK: mls    r1, r2, r3, r4          @ encoding: [0x02,0xfb,0x13,0x41]
1228
1229
1230 @------------------------------------------------------------------------------
1231 @ MOV(immediate)
1232 @------------------------------------------------------------------------------
1233         movs r1, #21
1234         movs.w r1, #21
1235         movs r8, #21
1236         movw r0, #65535
1237         movw r1, #43777
1238         movw r1, #43792
1239         mov.w r0, #0x3fc0000
1240         mov r0, #0x3fc0000
1241         movs.w r0, #0x3fc0000
1242         itte eq
1243         movseq r1, #12
1244         moveq r1, #12
1245         movne.w r1, #12
1246         mov.w r6, #450
1247         it lo
1248         movlo r1, #-1
1249
1250         @ alias for mvn
1251         mov r3, #-3
1252
1253
1254 @ CHECK: movs   r1, #21                 @ encoding: [0x15,0x21]
1255 @ CHECK: movs.w r1, #21                 @ encoding: [0x5f,0xf0,0x15,0x01]
1256 @ CHECK: movs.w r8, #21                 @ encoding: [0x5f,0xf0,0x15,0x08]
1257 @ CHECK: movw   r0, #65535              @ encoding: [0x4f,0xf6,0xff,0x70]
1258 @ CHECK: movw   r1, #43777              @ encoding: [0x4a,0xf6,0x01,0x31]
1259 @ CHECK: movw   r1, #43792              @ encoding: [0x4a,0xf6,0x10,0x31]
1260 @ CHECK: mov.w  r0, #66846720           @ encoding: [0x4f,0xf0,0x7f,0x70]
1261 @ CHECK: mov.w  r0, #66846720           @ encoding: [0x4f,0xf0,0x7f,0x70]
1262 @ CHECK: movs.w r0, #66846720           @ encoding: [0x5f,0xf0,0x7f,0x70]
1263 @ CHECK: itte   eq                      @ encoding: [0x06,0xbf]
1264 @ CHECK: movseq.w       r1, #12         @ encoding: [0x5f,0xf0,0x0c,0x01]
1265 @ CHECK: moveq  r1, #12                 @ encoding: [0x0c,0x21]
1266 @ CHECK: movne.w r1, #12                @ encoding: [0x4f,0xf0,0x0c,0x01]
1267 @ CHECK: mov.w  r6, #450                @ encoding: [0x4f,0xf4,0xe1,0x76]
1268 @ CHECK: it     lo                      @ encoding: [0x38,0xbf]
1269 @ CHECK: movlo.w        r1, #-1         @ encoding: [0x4f,0xf0,0xff,0x31]
1270 @ CHECK: mvn    r3, #2                  @ encoding: [0x6f,0xf0,0x02,0x03]
1271
1272 @------------------------------------------------------------------------------
1273 @ MOV(shifted register)
1274 @------------------------------------------------------------------------------
1275         mov r6, r2, lsl #16
1276         mov r6, r2, lsr #16
1277         movs r6, r2, asr #32
1278         movs r6, r2, ror #5
1279         movs r4, r4, lsl r5
1280         movs r4, r4, lsr r5
1281         movs r4, r4, asr r5
1282         movs r4, r4, ror r5
1283         mov r4, r4, lsl r5
1284         movs r4, r4, ror r8
1285         movs r4, r5, lsr r6
1286         itttt eq
1287         moveq r4, r4, lsl r5
1288         moveq r4, r4, lsr r5
1289         moveq r4, r4, asr r5
1290         moveq r4, r4, ror r5
1291         mov r4, r4, rrx
1292
1293 @ CHECK: lsl.w  r6, r2, #16             @ encoding: [0x4f,0xea,0x02,0x46]
1294 @ CHECK: lsr.w  r6, r2, #16             @ encoding: [0x4f,0xea,0x12,0x46]
1295 @ CHECK: asrs   r6, r2, #32             @ encoding: [0x16,0x10]
1296 @ CHECK: rors.w r6, r2, #5              @ encoding: [0x5f,0xea,0x72,0x16]
1297 @ CHECK: lsls   r4, r5                  @ encoding: [0xac,0x40]
1298 @ CHECK: lsrs   r4, r5                  @ encoding: [0xec,0x40]
1299 @ CHECK: asrs   r4, r5                  @ encoding: [0x2c,0x41]
1300 @ CHECK: rors   r4, r5                  @ encoding: [0xec,0x41]
1301 @ CHECK: lsl.w  r4, r4, r5              @ encoding: [0x04,0xfa,0x05,0xf4]
1302 @ CHECK: rors.w r4, r4, r8              @ encoding: [0x74,0xfa,0x08,0xf4]
1303 @ CHECK: lsrs.w r4, r5, r6              @ encoding: [0x35,0xfa,0x06,0xf4]
1304 @ CHECK: itttt  eq                      @ encoding: [0x01,0xbf]
1305 @ CHECK: lsleq  r4, r5                  @ encoding: [0xac,0x40]
1306 @ CHECK: lsreq  r4, r5                  @ encoding: [0xec,0x40]
1307 @ CHECK: asreq  r4, r5                  @ encoding: [0x2c,0x41]
1308 @ CHECK: roreq  r4, r5                  @ encoding: [0xec,0x41]
1309 @ CHECK: rrx    r4, r4                  @ encoding: [0x4f,0xea,0x34,0x04]
1310
1311
1312 @------------------------------------------------------------------------------
1313 @ MOVT
1314 @------------------------------------------------------------------------------
1315         movt r3, #7
1316         movt r6, #0xffff
1317         it eq
1318         movteq r4, #0xff0
1319
1320 @ CHECK: movt   r3, #7                  @ encoding: [0xc0,0xf2,0x07,0x03]
1321 @ CHECK: movt   r6, #65535              @ encoding: [0xcf,0xf6,0xff,0x76]
1322 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
1323 @ CHECK: movteq r4, #4080               @ encoding: [0xc0,0xf6,0xf0,0x74]
1324
1325 @------------------------------------------------------------------------------
1326 @ MRC/MRC2
1327 @------------------------------------------------------------------------------
1328         mrc  p14, #0, r1, c1, c2, #4
1329         mrc2  p14, #0, r1, c1, c2, #4
1330         mrc p11, #1, r1, c2, c2
1331         mrc2 p12, #3, r3, c3, c4
1332
1333 @ CHECK: mrc    p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xee,0x92,0x1e]
1334 @ CHECK: mrc2   p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xfe,0x92,0x1e]
1335 @ CHECK: mrc    p11, #1, r1, c2, c2, #0 @ encoding: [0x32,0xee,0x12,0x1b]
1336 @ CHECK: mrc2   p12, #3, r3, c3, c4, #0 @ encoding: [0x73,0xfe,0x14,0x3c]
1337
1338
1339 @------------------------------------------------------------------------------
1340 @ MRRC/MRRC2
1341 @------------------------------------------------------------------------------
1342         mrrc  p7, #1, r5, r4, c1
1343         mrrc2  p7, #1, r5, r4, c1
1344
1345 @ CHECK: mrrc   p7, #1, r5, r4, c1      @ encoding: [0x54,0xec,0x11,0x57]
1346 @ CHECK: mrrc2  p7, #1, r5, r4, c1      @ encoding: [0x54,0xfc,0x11,0x57]
1347
1348
1349 @------------------------------------------------------------------------------
1350 @ MRS
1351 @------------------------------------------------------------------------------
1352         mrs  r8, apsr
1353         mrs  r8, cpsr
1354         mrs  r8, spsr
1355
1356 @ CHECK: mrs    r8, apsr                @ encoding: [0xef,0xf3,0x00,0x88]
1357 @ CHECK: mrs    r8, apsr                @ encoding: [0xef,0xf3,0x00,0x88]
1358 @ CHECK: mrs    r8, spsr                @ encoding: [0xff,0xf3,0x00,0x88]
1359
1360
1361 @------------------------------------------------------------------------------
1362 @ MSR
1363 @------------------------------------------------------------------------------
1364         msr  apsr, r1
1365         msr  apsr_g, r2
1366         msr  apsr_nzcvq, r3
1367         msr  APSR_nzcvq, r4
1368         msr  apsr_nzcvqg, r5
1369         msr  cpsr_fc, r6
1370         msr  cpsr_c, r7
1371         msr  cpsr_x, r8
1372         msr  cpsr_fc, r9
1373         msr  cpsr_all, r11
1374         msr  cpsr_fsx, r12
1375         msr  spsr_fc, r0
1376         msr  SPSR_fsxc, r5
1377         msr  cpsr_fsxc, r8
1378         msr  cpsr, r3
1379
1380 @ CHECK: msr    APSR_nzcvq, r1          @ encoding: [0x81,0xf3,0x00,0x88]
1381 @ CHECK: msr    APSR_g, r2              @ encoding: [0x82,0xf3,0x00,0x84]
1382 @ CHECK: msr    APSR_nzcvq, r3          @ encoding: [0x83,0xf3,0x00,0x88]
1383 @ CHECK: msr    APSR_nzcvq, r4          @ encoding: [0x84,0xf3,0x00,0x88]
1384 @ CHECK: msr    APSR_nzcvqg, r5         @ encoding: [0x85,0xf3,0x00,0x8c]
1385 @ CHECK: msr    CPSR_fc, r6             @ encoding: [0x86,0xf3,0x00,0x89]
1386 @ CHECK: msr    CPSR_c, r7              @ encoding: [0x87,0xf3,0x00,0x81]
1387 @ CHECK: msr    CPSR_x, r8              @ encoding: [0x88,0xf3,0x00,0x82]
1388 @ CHECK: msr    CPSR_fc, r9             @ encoding: [0x89,0xf3,0x00,0x89]
1389 @ CHECK: msr    CPSR_fc, r11            @ encoding: [0x8b,0xf3,0x00,0x89]
1390 @ CHECK: msr    CPSR_fsx, r12           @ encoding: [0x8c,0xf3,0x00,0x8e]
1391 @ CHECK: msr    SPSR_fc, r0             @ encoding: [0x90,0xf3,0x00,0x89]
1392 @ CHECK: msr    SPSR_fsxc, r5           @ encoding: [0x95,0xf3,0x00,0x8f]
1393 @ CHECK: msr    CPSR_fsxc, r8           @ encoding: [0x88,0xf3,0x00,0x8f]
1394 @ CHECK: msr    CPSR_fc, r3             @ encoding: [0x83,0xf3,0x00,0x89]
1395
1396
1397 @------------------------------------------------------------------------------
1398 @ MUL
1399 @------------------------------------------------------------------------------
1400         muls r3, r4, r3
1401         mul r3, r4, r3
1402         mul r3, r4, r6
1403         it eq
1404         muleq r3, r4, r5
1405         it le
1406         mulle r4, r4, r8
1407         mul r5, r6
1408
1409 @ CHECK: muls   r3, r4, r3              @ encoding: [0x63,0x43]
1410 @ CHECK: mul    r3, r4, r3              @ encoding: [0x04,0xfb,0x03,0xf3]
1411 @ CHECK: mul    r3, r4, r6              @ encoding: [0x04,0xfb,0x06,0xf3]
1412 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
1413 @ CHECK: muleq  r3, r4, r5              @ encoding: [0x04,0xfb,0x05,0xf3]
1414 @ CHECK: it     le                      @ encoding: [0xd8,0xbf]
1415 @ CHECK: mulle  r4, r4, r8              @ encoding: [0x04,0xfb,0x08,0xf4]
1416 @ CHECK: mul    r5, r6, r5              @ encoding: [0x06,0xfb,0x05,0xf5]
1417
1418
1419 @------------------------------------------------------------------------------
1420 @ MVN(immediate)
1421 @------------------------------------------------------------------------------
1422         mvns r8, #21
1423         mvn r0, #0x3fc0000
1424         mvns r0, #0x3fc0000
1425         itte eq
1426         mvnseq r1, #12
1427         mvneq.w r1, #12
1428         mvnne r1, #12
1429
1430 @ CHECK: mvns   r8, #21                 @ encoding: [0x7f,0xf0,0x15,0x08]
1431 @ CHECK: mvn    r0, #66846720           @ encoding: [0x6f,0xf0,0x7f,0x70]
1432 @ CHECK: mvns   r0, #66846720           @ encoding: [0x7f,0xf0,0x7f,0x70]
1433 @ CHECK: itte   eq                      @ encoding: [0x06,0xbf]
1434 @ CHECK: mvnseq r1, #12                 @ encoding: [0x7f,0xf0,0x0c,0x01]
1435 @ CHECK: mvneq  r1, #12                 @ encoding: [0x6f,0xf0,0x0c,0x01]
1436 @ CHECK: mvnne  r1, #12                 @ encoding: [0x6f,0xf0,0x0c,0x01]
1437
1438
1439 @------------------------------------------------------------------------------
1440 @ MVN(register)
1441 @------------------------------------------------------------------------------
1442         mvn r2, r3
1443         mvns r2, r3
1444         mvn r5, r6, lsl #19
1445         mvn r5, r6, lsr #9
1446         mvn.w r5, r6, asr #4
1447         mvn r5, r6, ror #6
1448         mvn r5, r6, rrx
1449         it eq
1450         mvneq r2, r3
1451
1452 @ CHECK: mvn.w  r2, r3                  @ encoding: [0x6f,0xea,0x03,0x02]
1453 @ CHECK: mvns   r2, r3                  @ encoding: [0xda,0x43]
1454 @ CHECK: mvn.w  r5, r6, lsl #19         @ encoding: [0x6f,0xea,0xc6,0x45]
1455 @ CHECK: mvn.w  r5, r6, lsr #9          @ encoding: [0x6f,0xea,0x56,0x25]
1456 @ CHECK: mvn.w  r5, r6, asr #4          @ encoding: [0x6f,0xea,0x26,0x15]
1457 @ CHECK: mvn.w  r5, r6, ror #6          @ encoding: [0x6f,0xea,0xb6,0x15]
1458 @ CHECK: mvn.w  r5, r6, rrx             @ encoding: [0x6f,0xea,0x36,0x05]
1459 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
1460 @ CHECK: mvneq  r2, r3                  @ encoding: [0xda,0x43]
1461
1462 @------------------------------------------------------------------------------
1463 @ NEG
1464 @------------------------------------------------------------------------------
1465         neg r5, r2
1466         neg r5, r8
1467
1468 @ CHECK: rsb.w  r5, r2, #0              @ encoding: [0xc2,0xf1,0x00,0x05]
1469 @ CHECK: rsb.w  r5, r8, #0              @ encoding: [0xc8,0xf1,0x00,0x05]
1470
1471
1472 @------------------------------------------------------------------------------
1473 @ NOP
1474 @------------------------------------------------------------------------------
1475         nop.w
1476
1477 @ CHECK: nop.w                          @ encoding: [0xaf,0xf3,0x00,0x80]
1478
1479
1480 @------------------------------------------------------------------------------
1481 @ ORN
1482 @------------------------------------------------------------------------------
1483         orn r4, r5, #0xf000
1484         orn r4, r5, r6
1485         orns r4, r5, r6
1486         orn r4, r5, r6, lsl #5
1487         orns r4, r5, r6, lsr #5
1488         orn r4, r5, r6, lsr #5
1489         orns r4, r5, r6, asr #5
1490         orn r4, r5, r6, ror #5
1491
1492 @ CHECK: orn    r4, r5, #61440          @ encoding: [0x65,0xf4,0x70,0x44]
1493 @ CHECK: orn    r4, r5, r6              @ encoding: [0x65,0xea,0x06,0x04]
1494 @ CHECK: orns   r4, r5, r6              @ encoding: [0x75,0xea,0x06,0x04]
1495 @ CHECK: orn    r4, r5, r6, lsl #5      @ encoding: [0x65,0xea,0x46,0x14]
1496 @ CHECK: orns   r4, r5, r6, lsr #5      @ encoding: [0x75,0xea,0x56,0x14]
1497 @ CHECK: orn    r4, r5, r6, lsr #5      @ encoding: [0x65,0xea,0x56,0x14]
1498 @ CHECK: orns   r4, r5, r6, asr #5      @ encoding: [0x75,0xea,0x66,0x14]
1499 @ CHECK: orn    r4, r5, r6, ror #5      @ encoding: [0x65,0xea,0x76,0x14]
1500
1501
1502 @------------------------------------------------------------------------------
1503 @ ORR
1504 @------------------------------------------------------------------------------
1505         orr r4, r5, #0xf000
1506         orr r4, r5, r6
1507         orr r4, r5, r6, lsl #5
1508         orrs r4, r5, r6, lsr #5
1509         orr r4, r5, r6, lsr #5
1510         orrs r4, r5, r6, asr #5
1511         orr r4, r5, r6, ror #5
1512
1513 @ CHECK: orr    r4, r5, #61440          @ encoding: [0x45,0xf4,0x70,0x44]
1514 @ CHECK: orr.w  r4, r5, r6              @ encoding: [0x45,0xea,0x06,0x04]
1515 @ CHECK: orr.w  r4, r5, r6, lsl #5      @ encoding: [0x45,0xea,0x46,0x14]
1516 @ CHECK: orrs.w r4, r5, r6, lsr #5      @ encoding: [0x55,0xea,0x56,0x14]
1517 @ CHECK: orr.w  r4, r5, r6, lsr #5      @ encoding: [0x45,0xea,0x56,0x14]
1518 @ CHECK: orrs.w r4, r5, r6, asr #5      @ encoding: [0x55,0xea,0x66,0x14]
1519 @ CHECK: orr.w  r4, r5, r6, ror #5      @ encoding: [0x45,0xea,0x76,0x14]
1520
1521
1522 @------------------------------------------------------------------------------
1523 @ PKH
1524 @------------------------------------------------------------------------------
1525         pkhbt r2, r2, r3
1526         pkhbt r2, r2, r3, lsl #31
1527         pkhbt r2, r2, r3, lsl #0
1528         pkhbt r2, r2, r3, lsl #15
1529
1530         pkhtb r2, r2, r3
1531         pkhtb r2, r2, r3, asr #31
1532         pkhtb r2, r2, r3, asr #15
1533
1534 @ CHECK: pkhbt  r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
1535 @ CHECK: pkhbt  r2, r2, r3, lsl #31     @ encoding: [0xc2,0xea,0xc3,0x72]
1536 @ CHECK: pkhbt  r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
1537 @ CHECK: pkhbt  r2, r2, r3, lsl #15     @ encoding: [0xc2,0xea,0xc3,0x32]
1538
1539 @ CHECK: pkhbt  r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
1540 @ CHECK: pkhtb  r2, r2, r3, asr #31     @ encoding: [0xc2,0xea,0xe3,0x72]
1541 @ CHECK: pkhtb  r2, r2, r3, asr #15     @ encoding: [0xc2,0xea,0xe3,0x32]
1542
1543
1544 @------------------------------------------------------------------------------
1545 @ PLD(immediate)
1546 @------------------------------------------------------------------------------
1547         pld [r5, #-4]
1548         pld [r6, #32]
1549         pld [r6, #33]
1550         pld [r6, #257]
1551         pld [r7, #257]
1552         pld [r1, #0]
1553         pld [r1, #-0]
1554
1555 @ CHECK: pld    [r5, #-4]               @ encoding: [0x15,0xf8,0x04,0xfc]
1556 @ CHECK: pld    [r6, #32]               @ encoding: [0x96,0xf8,0x20,0xf0]
1557 @ CHECK: pld    [r6, #33]               @ encoding: [0x96,0xf8,0x21,0xf0]
1558 @ CHECK: pld    [r6, #257]              @ encoding: [0x96,0xf8,0x01,0xf1]
1559 @ CHECK: pld    [r7, #257]              @ encoding: [0x97,0xf8,0x01,0xf1]
1560 @ CHECK: pld    [r1]                    @ encoding: [0x91,0xf8,0x00,0xf0]
1561 @ CHECK: pld    [r1, #-0]               @ encoding: [0x11,0xf8,0x00,0xfc]
1562
1563
1564 @------------------------------------------------------------------------------
1565 @ PLD(literal)
1566 @------------------------------------------------------------------------------
1567 @        pld  _foo
1568
1569 @ FIXME: pld    _foo                    @ encoding: [0x9f'A',0xf8'A',A,0xf0'A']
1570             @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
1571
1572
1573 @------------------------------------------------------------------------------
1574 @ PLD(register)
1575 @------------------------------------------------------------------------------
1576         pld [r8, r1]
1577         pld [r5, r2]
1578         pld [r0, r2, lsl #3]
1579         pld [r8, r2, lsl #2]
1580         pld [sp, r2, lsl #1]
1581         pld [sp, r2, lsl #0]
1582
1583 @ CHECK: pld    [r8, r1]                @ encoding: [0x18,0xf8,0x01,0xf0]
1584 @ CHECK: pld    [r5, r2]                @ encoding: [0x15,0xf8,0x02,0xf0]
1585 @ CHECK: pld    [r0, r2, lsl #3]        @ encoding: [0x10,0xf8,0x32,0xf0]
1586 @ CHECK: pld    [r8, r2, lsl #2]        @ encoding: [0x18,0xf8,0x22,0xf0]
1587 @ CHECK: pld    [sp, r2, lsl #1]        @ encoding: [0x1d,0xf8,0x12,0xf0]
1588 @ CHECK: pld    [sp, r2]                @ encoding: [0x1d,0xf8,0x02,0xf0]
1589
1590 @------------------------------------------------------------------------------
1591 @ PLI(immediate)
1592 @------------------------------------------------------------------------------
1593         pli [r5, #-4]
1594         pli [r6, #32]
1595         pli [r6, #33]
1596         pli [r6, #257]
1597         pli [r7, #257]
1598
1599 @ CHECK: pli    [r5, #-4]               @ encoding: [0x15,0xf9,0x04,0xfc]
1600 @ CHECK: pli    [r6, #32]               @ encoding: [0x96,0xf9,0x20,0xf0]
1601 @ CHECK: pli    [r6, #33]               @ encoding: [0x96,0xf9,0x21,0xf0]
1602 @ CHECK: pli    [r6, #257]              @ encoding: [0x96,0xf9,0x01,0xf1]
1603 @ CHECK: pli    [r7, #257]              @ encoding: [0x97,0xf9,0x01,0xf1]
1604
1605
1606 @------------------------------------------------------------------------------
1607 @ PLI(literal)
1608 @------------------------------------------------------------------------------
1609 @        pli  _foo
1610
1611
1612 @ FIXME: pli    _foo                    @ encoding: [0x9f'A',0xf9'A',A,0xf0'A']
1613            @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
1614
1615
1616 @------------------------------------------------------------------------------
1617 @ PLI(register)
1618 @------------------------------------------------------------------------------
1619         pli [r8, r1]
1620         pli [r5, r2]
1621         pli [r0, r2, lsl #3]
1622         pli [r8, r2, lsl #2]
1623         pli [sp, r2, lsl #1]
1624         pli [sp, r2, lsl #0]
1625
1626 @ CHECK: pli    [r8, r1]                @ encoding: [0x18,0xf9,0x01,0xf0]
1627 @ CHECK: pli    [r5, r2]                @ encoding: [0x15,0xf9,0x02,0xf0]
1628 @ CHECK: pli    [r0, r2, lsl #3]        @ encoding: [0x10,0xf9,0x32,0xf0]
1629 @ CHECK: pli    [r8, r2, lsl #2]        @ encoding: [0x18,0xf9,0x22,0xf0]
1630 @ CHECK: pli    [sp, r2, lsl #1]        @ encoding: [0x1d,0xf9,0x12,0xf0]
1631 @ CHECK: pli    [sp, r2]                @ encoding: [0x1d,0xf9,0x02,0xf0]
1632
1633 @------------------------------------------------------------------------------
1634 @ POP (alias)
1635 @------------------------------------------------------------------------------
1636         pop {r2, r9}
1637
1638 @ CHECK: pop.w  {r2, r9}                @ encoding: [0xbd,0xe8,0x04,0x02]
1639
1640
1641 @------------------------------------------------------------------------------
1642 @ PUSH (alias)
1643 @------------------------------------------------------------------------------
1644         push {r2, r9}
1645
1646 @ CHECK: push.w {r2, r9}                @ encoding: [0x2d,0xe9,0x04,0x02]
1647
1648
1649 @------------------------------------------------------------------------------
1650 @ QADD/QADD16/QADD8
1651 @------------------------------------------------------------------------------
1652         qadd r1, r2, r3
1653         qadd16 r1, r2, r3
1654         qadd8 r1, r2, r3
1655         itte gt
1656         qaddgt r1, r2, r3
1657         qadd16gt r1, r2, r3
1658         qadd8le r1, r2, r3
1659
1660 @ CHECK: qadd   r1, r2, r3              @ encoding: [0x83,0xfa,0x82,0xf1]
1661 @ CHECK: qadd16 r1, r2, r3              @ encoding: [0x92,0xfa,0x13,0xf1]
1662 @ CHECK: qadd8  r1, r2, r3              @ encoding: [0x82,0xfa,0x13,0xf1]
1663 @ CHECK: itte   gt                      @ encoding: [0xc6,0xbf]
1664 @ CHECK: qaddgt r1, r2, r3              @ encoding: [0x83,0xfa,0x82,0xf1]
1665 @ CHECK: qadd16gt r1, r2, r3            @ encoding: [0x92,0xfa,0x13,0xf1]
1666 @ CHECK: qadd8le r1, r2, r3             @ encoding: [0x82,0xfa,0x13,0xf1]
1667
1668
1669 @------------------------------------------------------------------------------
1670 @ QDADD/QDSUB
1671 @------------------------------------------------------------------------------
1672         qdadd r6, r7, r8
1673         qdsub r6, r7, r8
1674         itt hi
1675         qdaddhi r6, r7, r8
1676         qdsubhi r6, r7, r8
1677
1678 @ CHECK: qdadd  r6, r7, r8              @ encoding: [0x88,0xfa,0x97,0xf6]
1679 @ CHECK: qdsub  r6, r7, r8              @ encoding: [0x88,0xfa,0xb7,0xf6]
1680 @ CHECK: itt    hi                      @ encoding: [0x84,0xbf]
1681 @ CHECK: qdaddhi r6, r7, r8             @ encoding: [0x88,0xfa,0x97,0xf6]
1682 @ CHECK: qdsubhi r6, r7, r8             @ encoding: [0x88,0xfa,0xb7,0xf6]
1683
1684
1685 @------------------------------------------------------------------------------
1686 @ QSAX
1687 @------------------------------------------------------------------------------
1688         qsax r9, r12, r0
1689         it eq
1690         qsaxeq r9, r12, r0
1691
1692 @ CHECK: qsax   r9, r12, r0             @ encoding: [0xec,0xfa,0x10,0xf9]
1693 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
1694 @ CHECK: qsaxeq r9, r12, r0             @ encoding: [0xec,0xfa,0x10,0xf9]
1695
1696
1697 @------------------------------------------------------------------------------
1698 @ QSUB/QSUB16/QSUB8
1699 @------------------------------------------------------------------------------
1700         qsub r1, r2, r3
1701         qsub16 r1, r2, r3
1702         qsub8 r1, r2, r3
1703         itet le
1704         qsuble r1, r2, r3
1705         qsub16gt r1, r2, r3
1706         qsub8le r1, r2, r3
1707
1708 @ CHECK: qsub   r1, r2, r3              @ encoding: [0x83,0xfa,0xa2,0xf1]
1709 @ CHECK: qsub16 r1, r2, r3              @ encoding: [0xd2,0xfa,0x13,0xf1]
1710 @ CHECK: qsub8  r1, r2, r3              @ encoding: [0xc2,0xfa,0x13,0xf1]
1711 @ CHECK: itet   le                      @ encoding: [0xd6,0xbf]
1712 @ CHECK: qsuble r1, r2, r3              @ encoding: [0x83,0xfa,0xa2,0xf1]
1713 @ CHECK: qsub16gt       r1, r2, r3      @ encoding: [0xd2,0xfa,0x13,0xf1]
1714 @ CHECK: qsub8le r1, r2, r3             @ encoding: [0xc2,0xfa,0x13,0xf1]
1715
1716
1717 @------------------------------------------------------------------------------
1718 @ RBIT
1719 @------------------------------------------------------------------------------
1720         rbit r1, r2
1721         it ne
1722         rbitne r1, r2
1723
1724 @ CHECK: rbit   r1, r2                  @ encoding: [0x92,0xfa,0xa2,0xf1]
1725 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
1726 @ CHECK: rbitne r1, r2                  @ encoding: [0x92,0xfa,0xa2,0xf1]
1727
1728
1729 @------------------------------------------------------------------------------
1730 @ REV
1731 @------------------------------------------------------------------------------
1732         rev.w r1, r2
1733         rev r2, r8
1734         itt ne
1735         revne r1, r2
1736         revne r1, r8
1737
1738 @ CHECK: rev.w  r1, r2                  @ encoding: [0x92,0xfa,0x82,0xf1]
1739 @ CHECK: rev.w  r2, r8                  @ encoding: [0x98,0xfa,0x88,0xf2]
1740 @ CHECK: itt    ne                      @ encoding: [0x1c,0xbf]
1741 @ CHECK: revne  r1, r2                  @ encoding: [0x11,0xba]
1742 @ CHECK: revne.w r1, r8                 @ encoding: [0x98,0xfa,0x88,0xf1]
1743
1744
1745 @------------------------------------------------------------------------------
1746 @ REV16
1747 @------------------------------------------------------------------------------
1748         rev16.w r1, r2
1749         rev16 r2, r8
1750         itt ne
1751         rev16ne r1, r2
1752         rev16ne r1, r8
1753
1754 @ CHECK: rev16.w r1, r2                 @ encoding: [0x92,0xfa,0x92,0xf1]
1755 @ CHECK: rev16.w r2, r8                 @ encoding: [0x98,0xfa,0x98,0xf2]
1756 @ CHECK: itt    ne                      @ encoding: [0x1c,0xbf]
1757 @ CHECK: rev16ne r1, r2                 @ encoding: [0x51,0xba]
1758 @ CHECK: rev16ne.w      r1, r8          @ encoding: [0x98,0xfa,0x98,0xf1]
1759
1760
1761 @------------------------------------------------------------------------------
1762 @ REVSH
1763 @------------------------------------------------------------------------------
1764         revsh.w r1, r2
1765         revsh r2, r8
1766         itt ne
1767         revshne r1, r2
1768         revshne r1, r8
1769
1770 @ CHECK: revsh.w r1, r2                 @ encoding: [0x92,0xfa,0xb2,0xf1]
1771 @ CHECK: revsh.w r2, r8                 @ encoding: [0x98,0xfa,0xb8,0xf2]
1772 @ CHECK: itt    ne                      @ encoding: [0x1c,0xbf]
1773 @ CHECK: revshne r1, r2                 @ encoding: [0xd1,0xba]
1774 @ CHECK: revshne.w      r1, r8          @ encoding: [0x98,0xfa,0xb8,0xf1]
1775
1776
1777 @------------------------------------------------------------------------------
1778 @ ROR (immediate)
1779 @------------------------------------------------------------------------------
1780         ror r2, r3, #12
1781         rors r8, r3, #31
1782         rors.w r2, r3, #1
1783         ror r2, r3, #4
1784         rors r2, r12, #15
1785
1786         ror r3, #19
1787         rors r8, #2
1788         rors.w r7, #5
1789         ror.w r12, #21
1790
1791 @ CHECK: ror.w  r2, r3, #12             @ encoding: [0x4f,0xea,0x33,0x32]
1792 @ CHECK: rors.w r8, r3, #31             @ encoding: [0x5f,0xea,0xf3,0x78]
1793 @ CHECK: rors.w r2, r3, #1              @ encoding: [0x5f,0xea,0x73,0x02]
1794 @ CHECK: ror.w  r2, r3, #4              @ encoding: [0x4f,0xea,0x33,0x12]
1795 @ CHECK: rors.w r2, r12, #15            @ encoding: [0x5f,0xea,0xfc,0x32]
1796
1797 @ CHECK: ror.w  r3, r3, #19             @ encoding: [0x4f,0xea,0xf3,0x43]
1798 @ CHECK: rors.w r8, r8, #2              @ encoding: [0x5f,0xea,0xb8,0x08]
1799 @ CHECK: rors.w r7, r7, #5              @ encoding: [0x5f,0xea,0x77,0x17]
1800 @ CHECK: ror.w  r12, r12, #21           @ encoding: [0x4f,0xea,0x7c,0x5c]
1801
1802
1803 @------------------------------------------------------------------------------
1804 @ ROR (register)
1805 @------------------------------------------------------------------------------
1806         ror r3, r4, r2
1807         ror.w r1, r2
1808         rors r3, r4, r8
1809
1810 @ CHECK: ror.w  r3, r4, r2              @ encoding: [0x64,0xfa,0x02,0xf3]
1811 @ CHECK: ror.w  r1, r1, r2              @ encoding: [0x61,0xfa,0x02,0xf1]
1812 @ CHECK: rors.w r3, r4, r8              @ encoding: [0x74,0xfa,0x08,0xf3]
1813
1814
1815 @------------------------------------------------------------------------------
1816 @ RRX
1817 @------------------------------------------------------------------------------
1818         rrx r1, r2
1819         rrxs r1, r2
1820         ite lt
1821         rrxlt r9, r12
1822         rrxsge r8, r3
1823
1824 @ CHECK: rrx    r1, r2                  @ encoding: [0x4f,0xea,0x32,0x01]
1825 @ CHECK: rrxs   r1, r2                  @ encoding: [0x5f,0xea,0x32,0x01]
1826 @ CHECK: ite    lt                      @ encoding: [0xb4,0xbf]
1827 @ CHECK: rrxlt  r9, r12                 @ encoding: [0x4f,0xea,0x3c,0x09]
1828 @ CHECK: rrxsge r8, r3                  @ encoding: [0x5f,0xea,0x33,0x08]
1829
1830 @------------------------------------------------------------------------------
1831 @ RSB (immediate)
1832 @------------------------------------------------------------------------------
1833         rsb r2, r5, #0xff000
1834         rsbs r3, r12, #0xf
1835         rsb r1, #0xff
1836         rsb r1, r1, #0xff
1837         rsb r11, r11, #0
1838         rsb r9, #0
1839         rsbs r3, r1, #0
1840         rsb r3, r1, #0
1841
1842 @ CHECK: rsb.w  r2, r5, #1044480        @ encoding: [0xc5,0xf5,0x7f,0x22]
1843 @ CHECK: rsbs.w r3, r12, #15            @ encoding: [0xdc,0xf1,0x0f,0x03]
1844 @ CHECK: rsb.w  r1, r1, #255            @ encoding: [0xc1,0xf1,0xff,0x01]
1845 @ CHECK: rsb.w  r1, r1, #255            @ encoding: [0xc1,0xf1,0xff,0x01]
1846 @ CHECK: rsb.w  r11, r11, #0            @ encoding: [0xcb,0xf1,0x00,0x0b]
1847 @ CHECK: rsb.w  r9, r9, #0              @ encoding: [0xc9,0xf1,0x00,0x09]
1848 @ CHECK: rsbs   r3, r1, #0              @ encoding: [0x4b,0x42]
1849 @ CHECK: rsb.w  r3, r1, #0              @ encoding: [0xc1,0xf1,0x00,0x03]
1850
1851
1852 @------------------------------------------------------------------------------
1853 @ RSB (register)
1854 @------------------------------------------------------------------------------
1855         rsb r4, r8
1856         rsb r4, r9, r8
1857         rsb r1, r4, r8, asr #3
1858         rsbs r2, r1, r7, lsl #1
1859
1860 @ CHECK: rsb    r4, r4, r8              @ encoding: [0xc4,0xeb,0x08,0x04]
1861 @ CHECK: rsb    r4, r9, r8              @ encoding: [0xc9,0xeb,0x08,0x04]
1862 @ CHECK: rsb    r1, r4, r8, asr #3      @ encoding: [0xc4,0xeb,0xe8,0x01]
1863 @ CHECK: rsbs   r2, r1, r7, lsl #1      @ encoding: [0xd1,0xeb,0x47,0x02]
1864
1865
1866 @------------------------------------------------------------------------------
1867 @ SADD16
1868 @------------------------------------------------------------------------------
1869         sadd16 r3, r4, r8
1870         it ne
1871         sadd16ne r3, r4, r8
1872
1873 @ CHECK: sadd16 r3, r4, r8              @ encoding: [0x94,0xfa,0x08,0xf3]
1874 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
1875 @ CHECK: sadd16ne       r3, r4, r8      @ encoding: [0x94,0xfa,0x08,0xf3]
1876
1877
1878 @------------------------------------------------------------------------------
1879 @ SADD8
1880 @------------------------------------------------------------------------------
1881         sadd8 r3, r4, r8
1882         it ne
1883         sadd8ne r3, r4, r8
1884
1885 @ CHECK: sadd8  r3, r4, r8              @ encoding: [0x84,0xfa,0x08,0xf3]
1886 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
1887 @ CHECK: sadd8ne r3, r4, r8             @ encoding: [0x84,0xfa,0x08,0xf3]
1888
1889
1890 @------------------------------------------------------------------------------
1891 @ SASX
1892 @------------------------------------------------------------------------------
1893         saddsubx r9, r2, r7
1894         it ne
1895         saddsubxne r2, r5, r6
1896         sasx r9, r2, r7
1897         it ne
1898         sasxne r2, r5, r6
1899
1900 @ CHECK: sasx   r9, r2, r7              @ encoding: [0xa2,0xfa,0x07,0xf9]
1901 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
1902 @ CHECK: sasxne r2, r5, r6              @ encoding: [0xa5,0xfa,0x06,0xf2]
1903 @ CHECK: sasx   r9, r2, r7              @ encoding: [0xa2,0xfa,0x07,0xf9]
1904 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
1905 @ CHECK: sasxne r2, r5, r6              @ encoding: [0xa5,0xfa,0x06,0xf2]
1906
1907
1908 @------------------------------------------------------------------------------
1909 @ SBC (immediate)
1910 @------------------------------------------------------------------------------
1911         sbc r0, r1, #4
1912         sbcs r0, r1, #0
1913         sbc r1, r2, #255
1914         sbc r3, r7, #0x00550055
1915         sbc r8, r12, #0xaa00aa00
1916         sbc r9, r7, #0xa5a5a5a5
1917         sbc r5, r3, #0x87000000
1918         sbc r4, r2, #0x7f800000
1919         sbc r4, r2, #0x00000680
1920
1921 @ CHECK: sbc    r0, r1, #4              @ encoding: [0x61,0xf1,0x04,0x00]
1922 @ CHECK: sbcs   r0, r1, #0              @ encoding: [0x71,0xf1,0x00,0x00]
1923 @ CHECK: sbc    r1, r2, #255            @ encoding: [0x62,0xf1,0xff,0x01]
1924 @ CHECK: sbc    r3, r7, #5570645        @ encoding: [0x67,0xf1,0x55,0x13]
1925 @ CHECK: sbc    r8, r12, #2852170240    @ encoding: [0x6c,0xf1,0xaa,0x28]
1926 @ CHECK: sbc    r9, r7, #2779096485     @ encoding: [0x67,0xf1,0xa5,0x39]
1927 @ CHECK: sbc    r5, r3, #2264924160     @ encoding: [0x63,0xf1,0x07,0x45]
1928 @ CHECK: sbc    r4, r2, #2139095040     @ encoding: [0x62,0xf1,0xff,0x44]
1929 @ CHECK: sbc    r4, r2, #1664           @ encoding: [0x62,0xf5,0xd0,0x64]
1930
1931
1932 @------------------------------------------------------------------------------
1933 @ SBC (register)
1934 @------------------------------------------------------------------------------
1935         sbc r4, r5, r6
1936         sbcs r4, r5, r6
1937         sbc.w r9, r1, r3
1938         sbcs.w r9, r1, r3
1939         sbc     r0, r1, r3, ror #4
1940         sbcs    r0, r1, r3, lsl #7
1941         sbc.w   r0, r1, r3, lsr #31
1942         sbcs.w  r0, r1, r3, asr #32
1943
1944 @ CHECK: sbc.w  r4, r5, r6              @ encoding: [0x65,0xeb,0x06,0x04]
1945 @ CHECK: sbcs.w r4, r5, r6              @ encoding: [0x75,0xeb,0x06,0x04]
1946 @ CHECK: sbc.w  r9, r1, r3              @ encoding: [0x61,0xeb,0x03,0x09]
1947 @ CHECK: sbcs.w r9, r1, r3              @ encoding: [0x71,0xeb,0x03,0x09]
1948 @ CHECK: sbc.w  r0, r1, r3, ror #4      @ encoding: [0x61,0xeb,0x33,0x10]
1949 @ CHECK: sbcs.w r0, r1, r3, lsl #7      @ encoding: [0x71,0xeb,0xc3,0x10]
1950 @ CHECK: sbc.w  r0, r1, r3, lsr #31     @ encoding: [0x61,0xeb,0xd3,0x70]
1951 @ CHECK: sbcs.w r0, r1, r3, asr #32     @ encoding: [0x71,0xeb,0x23,0x00]
1952
1953
1954 @------------------------------------------------------------------------------
1955 @ SBFX
1956 @------------------------------------------------------------------------------
1957         sbfx r4, r5, #16, #1
1958         it gt
1959         sbfxgt r4, r5, #16, #16
1960
1961 @ CHECK: sbfx   r4, r5, #16, #1         @ encoding: [0x45,0xf3,0x00,0x44]
1962 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
1963 @ CHECK: sbfxgt r4, r5, #16, #16        @ encoding: [0x45,0xf3,0x0f,0x44]
1964
1965
1966 @------------------------------------------------------------------------------
1967 @ SEL
1968 @------------------------------------------------------------------------------
1969         sel r5, r9, r2
1970         it le
1971         selle r5, r9, r2
1972
1973 @ CHECK: sel    r5, r9, r2              @ encoding: [0xa9,0xfa,0x82,0xf5]
1974 @ CHECK: it     le                      @ encoding: [0xd8,0xbf]
1975 @ CHECK: selle  r5, r9, r2              @ encoding: [0xa9,0xfa,0x82,0xf5]
1976
1977
1978 @------------------------------------------------------------------------------
1979 @ SEV
1980 @------------------------------------------------------------------------------
1981         sev.w
1982         it eq
1983         seveq.w
1984
1985 @ CHECK: sev.w                           @ encoding: [0xaf,0xf3,0x04,0x80]
1986 @ CHECK: it     eq                       @ encoding: [0x08,0xbf]
1987 @ CHECK: seveq.w                         @ encoding: [0xaf,0xf3,0x04,0x80]
1988
1989
1990 @------------------------------------------------------------------------------
1991 @ SADD16/SADD8
1992 @------------------------------------------------------------------------------
1993         sadd16 r1, r2, r3
1994         sadd8 r1, r2, r3
1995         ite gt
1996         sadd16gt r1, r2, r3
1997         sadd8le r1, r2, r3
1998
1999 @ CHECK: sadd16 r1, r2, r3              @ encoding: [0x92,0xfa,0x03,0xf1]
2000 @ CHECK: sadd8  r1, r2, r3              @ encoding: [0x82,0xfa,0x03,0xf1]
2001 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
2002 @ CHECK: sadd16gt       r1, r2, r3      @ encoding: [0x92,0xfa,0x03,0xf1]
2003 @ CHECK: sadd8le r1, r2, r3             @ encoding: [0x82,0xfa,0x03,0xf1]
2004
2005
2006 @------------------------------------------------------------------------------
2007 @ SHASX
2008 @------------------------------------------------------------------------------
2009         shasx r4, r8, r2
2010         it gt
2011         shasxgt r4, r8, r2
2012         shaddsubx r4, r8, r2
2013         it gt
2014         shaddsubxgt r4, r8, r2
2015
2016 @ CHECK: shasx  r4, r8, r2              @ encoding: [0xa8,0xfa,0x22,0xf4]
2017 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
2018 @ CHECK: shasxgt r4, r8, r2             @ encoding: [0xa8,0xfa,0x22,0xf4]
2019 @ CHECK: shasx  r4, r8, r2              @ encoding: [0xa8,0xfa,0x22,0xf4]
2020 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
2021 @ CHECK: shasxgt r4, r8, r2             @ encoding: [0xa8,0xfa,0x22,0xf4]
2022
2023
2024 @------------------------------------------------------------------------------
2025 @ SHASX
2026 @------------------------------------------------------------------------------
2027         shsax r4, r8, r2
2028         it gt
2029         shsaxgt r4, r8, r2
2030         shsubaddx r4, r8, r2
2031         it gt
2032         shsubaddxgt r4, r8, r2
2033
2034 @ CHECK: shsax  r4, r8, r2              @ encoding: [0xe8,0xfa,0x22,0xf4]
2035 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
2036 @ CHECK: shsaxgt r4, r8, r2             @ encoding: [0xe8,0xfa,0x22,0xf4]
2037 @ CHECK: shsax  r4, r8, r2              @ encoding: [0xe8,0xfa,0x22,0xf4]
2038 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
2039 @ CHECK: shsaxgt r4, r8, r2             @ encoding: [0xe8,0xfa,0x22,0xf4]
2040
2041
2042 @------------------------------------------------------------------------------
2043 @ SHSUB16/SHSUB8
2044 @------------------------------------------------------------------------------
2045         shsub16 r4, r8, r2
2046         shsub8 r4, r8, r2
2047         itt gt
2048         shsub16gt r4, r8, r2
2049         shsub8gt r4, r8, r2
2050
2051 @ CHECK: shsub16 r4, r8, r2             @ encoding: [0xd8,0xfa,0x22,0xf4]
2052 @ CHECK: shsub8 r4, r8, r2              @ encoding: [0xc8,0xfa,0x22,0xf4]
2053 @ CHECK: itt    gt                      @ encoding: [0xc4,0xbf]
2054 @ CHECK: shsub16gt      r4, r8, r2      @ encoding: [0xd8,0xfa,0x22,0xf4]
2055 @ CHECK: shsub8gt       r4, r8, r2      @ encoding: [0xc8,0xfa,0x22,0xf4]
2056
2057
2058 @------------------------------------------------------------------------------
2059 @ SMLABB/SMLABT/SMLATB/SMLATT
2060 @------------------------------------------------------------------------------
2061         smlabb r3, r1, r9, r0
2062         smlabt r5, r6, r4, r1
2063         smlatb r4, r2, r3, r2
2064         smlatt r8, r3, r8, r4
2065         itete gt
2066         smlabbgt r3, r1, r9, r0
2067         smlabtle r5, r6, r4, r1
2068         smlatbgt r4, r2, r3, r2
2069         smlattle r8, r3, r8, r4
2070
2071 @ CHECK: smlabb r3, r1, r9, r0          @ encoding: [0x11,0xfb,0x09,0x03]
2072 @ CHECK: smlabt r5, r6, r4, r1          @ encoding: [0x16,0xfb,0x14,0x15]
2073 @ CHECK: smlatb r4, r2, r3, r2          @ encoding: [0x12,0xfb,0x23,0x24]
2074 @ CHECK: smlatt r8, r3, r8, r4          @ encoding: [0x13,0xfb,0x38,0x48]
2075 @ CHECK: itete  gt                      @ encoding: [0xcb,0xbf]
2076 @ CHECK: smlabbgt       r3, r1, r9, r0  @ encoding: [0x11,0xfb,0x09,0x03]
2077 @ CHECK: smlabtle       r5, r6, r4, r1  @ encoding: [0x16,0xfb,0x14,0x15]
2078 @ CHECK: smlatbgt       r4, r2, r3, r2  @ encoding: [0x12,0xfb,0x23,0x24]
2079 @ CHECK: smlattle       r8, r3, r8, r4  @ encoding: [0x13,0xfb,0x38,0x48]
2080
2081
2082 @------------------------------------------------------------------------------
2083 @ SMLAD/SMLADX
2084 @------------------------------------------------------------------------------
2085         smlad r2, r3, r5, r8
2086         smladx r2, r3, r5, r8
2087         itt hi
2088         smladhi r2, r3, r5, r8
2089         smladxhi r2, r3, r5, r8
2090
2091 @ CHECK: smlad  r2, r3, r5, r8          @ encoding: [0x23,0xfb,0x05,0x82]
2092 @ CHECK: smladx r2, r3, r5, r8          @ encoding: [0x23,0xfb,0x15,0x82]
2093 @ CHECK: itt    hi                      @ encoding: [0x84,0xbf]
2094 @ CHECK: smladhi r2, r3, r5, r8         @ encoding: [0x23,0xfb,0x05,0x82]
2095 @ CHECK: smladxhi       r2, r3, r5, r8  @ encoding: [0x23,0xfb,0x15,0x82]
2096
2097
2098 @------------------------------------------------------------------------------
2099 @ SMLAL
2100 @------------------------------------------------------------------------------
2101         smlal r2, r3, r5, r8
2102         it eq
2103         smlaleq r2, r3, r5, r8
2104
2105 @ CHECK: smlal  r2, r3, r5, r8          @ encoding: [0xc5,0xfb,0x08,0x23]
2106 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
2107 @ CHECK: smlaleq r2, r3, r5, r8         @ encoding: [0xc5,0xfb,0x08,0x23]
2108
2109
2110 @------------------------------------------------------------------------------
2111 @ SMLALBB/SMLALBT/SMLALTB/SMLALTT
2112 @------------------------------------------------------------------------------
2113         smlalbb r3, r1, r9, r0
2114         smlalbt r5, r6, r4, r1
2115         smlaltb r4, r2, r3, r2
2116         smlaltt r8, r3, r8, r4
2117         iteet ge
2118         smlalbbge r3, r1, r9, r0
2119         smlalbtlt r5, r6, r4, r1
2120         smlaltblt r4, r2, r3, r2
2121         smlalttge r8, r3, r8, r4
2122
2123 @ CHECK: smlalbb r3, r1, r9, r0         @ encoding: [0xc9,0xfb,0x80,0x31]
2124 @ CHECK: smlalbt r5, r6, r4, r1         @ encoding: [0xc4,0xfb,0x91,0x56]
2125 @ CHECK: smlaltb r4, r2, r3, r2         @ encoding: [0xc3,0xfb,0xa2,0x42]
2126 @ CHECK: smlaltt r8, r3, r8, r4         @ encoding: [0xc8,0xfb,0xb4,0x83]
2127 @ CHECK: iteet  ge                      @ encoding: [0xad,0xbf]
2128 @ CHECK: smlalbbge      r3, r1, r9, r0  @ encoding: [0xc9,0xfb,0x80,0x31]
2129 @ CHECK: smlalbtlt      r5, r6, r4, r1  @ encoding: [0xc4,0xfb,0x91,0x56]
2130 @ CHECK: smlaltblt      r4, r2, r3, r2  @ encoding: [0xc3,0xfb,0xa2,0x42]
2131 @ CHECK: smlalttge      r8, r3, r8, r4  @ encoding: [0xc8,0xfb,0xb4,0x83]
2132
2133
2134 @------------------------------------------------------------------------------
2135 @ SMLALD/SMLALDX
2136 @------------------------------------------------------------------------------
2137         smlald r2, r3, r5, r8
2138         smlaldx r2, r3, r5, r8
2139         ite eq
2140         smlaldeq r2, r3, r5, r8
2141         smlaldxne r2, r3, r5, r8
2142
2143 @ CHECK: smlald r2, r3, r5, r8          @ encoding: [0xc5,0xfb,0xc8,0x23]
2144 @ CHECK: smlaldx r2, r3, r5, r8         @ encoding: [0xc5,0xfb,0xd8,0x23]
2145 @ CHECK: ite    eq                      @ encoding: [0x0c,0xbf]
2146 @ CHECK: smlaldeq       r2, r3, r5, r8  @ encoding: [0xc5,0xfb,0xc8,0x23]
2147 @ CHECK: smlaldxne      r2, r3, r5, r8  @ encoding: [0xc5,0xfb,0xd8,0x23]
2148
2149
2150 @------------------------------------------------------------------------------
2151 @ SMLAWB/SMLAWT
2152 @------------------------------------------------------------------------------
2153         smlawb r2, r3, r10, r8
2154         smlawt r8, r3, r5, r9
2155         ite eq
2156         smlawbeq r2, r7, r5, r8
2157         smlawtne r1, r3, r0, r8
2158
2159 @ CHECK: smlawb r2, r3, r10, r8         @ encoding: [0x33,0xfb,0x0a,0x82]
2160 @ CHECK: smlawt r8, r3, r5, r9          @ encoding: [0x33,0xfb,0x15,0x98]
2161 @ CHECK: ite    eq                      @ encoding: [0x0c,0xbf]
2162 @ CHECK: smlawbeq       r2, r7, r5, r8  @ encoding: [0x37,0xfb,0x05,0x82]
2163 @ CHECK: smlawtne       r1, r3, r0, r8  @ encoding: [0x33,0xfb,0x10,0x81]
2164
2165
2166 @------------------------------------------------------------------------------
2167 @ SMLSD/SMLSDX
2168 @------------------------------------------------------------------------------
2169         smlsd r2, r3, r5, r8
2170         smlsdx r2, r3, r5, r8
2171         ite le
2172         smlsdle r2, r3, r5, r8
2173         smlsdxgt r2, r3, r5, r8
2174
2175 @ CHECK: smlsd  r2, r3, r5, r8          @ encoding: [0x43,0xfb,0x05,0x82]
2176 @ CHECK: smlsdx r2, r3, r5, r8          @ encoding: [0x43,0xfb,0x15,0x82]
2177 @ CHECK: ite    le                      @ encoding: [0xd4,0xbf]
2178 @ CHECK: smlsdle        r2, r3, r5, r8  @ encoding: [0x43,0xfb,0x05,0x82]
2179 @ CHECK: smlsdxgt       r2, r3, r5, r8  @ encoding: [0x43,0xfb,0x15,0x82]
2180
2181
2182 @------------------------------------------------------------------------------
2183 @ SMLSLD/SMLSLDX
2184 @------------------------------------------------------------------------------
2185         smlsld r2, r9, r5, r1
2186         smlsldx r4, r11, r2, r8
2187         ite ge
2188         smlsldge r8, r2, r5, r6
2189         smlsldxlt r1, r0, r3, r8
2190
2191 @ CHECK: smlsld r2, r9, r5, r1          @ encoding: [0xd5,0xfb,0xc1,0x29]
2192 @ CHECK: smlsldx        r4, r11, r2, r8 @ encoding: [0xd2,0xfb,0xd8,0x4b]
2193 @ CHECK: ite    ge                      @ encoding: [0xac,0xbf]
2194 @ CHECK: smlsldge       r8, r2, r5, r6  @ encoding: [0xd5,0xfb,0xc6,0x82]
2195 @ CHECK: smlsldxlt      r1, r0, r3, r8  @ encoding: [0xd3,0xfb,0xd8,0x10]
2196
2197
2198 @------------------------------------------------------------------------------
2199 @ SMMLA/SMMLAR
2200 @------------------------------------------------------------------------------
2201         smmla r1, r2, r3, r4
2202         smmlar r4, r3, r2, r1
2203         ite lo
2204         smmlalo r1, r2, r3, r4
2205         smmlarcs r4, r3, r2, r1
2206
2207 @ CHECK: smmla  r1, r2, r3, r4          @ encoding: [0x52,0xfb,0x03,0x41]
2208 @ CHECK: smmlar r4, r3, r2, r1          @ encoding: [0x53,0xfb,0x12,0x14]
2209 @ CHECK: ite    lo                      @ encoding: [0x34,0xbf]
2210 @ CHECK: smmlalo        r1, r2, r3, r4  @ encoding: [0x52,0xfb,0x03,0x41]
2211 @ CHECK: smmlarhs       r4, r3, r2, r1  @ encoding: [0x53,0xfb,0x12,0x14]
2212
2213
2214 @------------------------------------------------------------------------------
2215 @ SMMLS/SMMLSR
2216 @------------------------------------------------------------------------------
2217         smmls r1, r2, r3, r4
2218         smmlsr r4, r3, r2, r1
2219         ite lo
2220         smmlslo r1, r2, r3, r4
2221         smmlsrcs r4, r3, r2, r1
2222
2223 @ CHECK: smmls  r1, r2, r3, r4          @ encoding: [0x62,0xfb,0x03,0x41]
2224 @ CHECK: smmlsr r4, r3, r2, r1          @ encoding: [0x63,0xfb,0x12,0x14]
2225 @ CHECK: ite    lo                      @ encoding: [0x34,0xbf]
2226 @ CHECK: smmlslo        r1, r2, r3, r4  @ encoding: [0x62,0xfb,0x03,0x41]
2227 @ CHECK: smmlsrhs       r4, r3, r2, r1  @ encoding: [0x63,0xfb,0x12,0x14]
2228
2229
2230 @------------------------------------------------------------------------------
2231 @ SMMUL/SMMULR
2232 @------------------------------------------------------------------------------
2233         smmul r2, r3, r4
2234         smmulr r3, r2, r1
2235         ite cc
2236         smmulcc r2, r3, r4
2237         smmulrhs r3, r2, r1
2238
2239 @ CHECK: smmul  r2, r3, r4              @ encoding: [0x53,0xfb,0x04,0xf2]
2240 @ CHECK: smmulr r3, r2, r1              @ encoding: [0x52,0xfb,0x11,0xf3]
2241 @ CHECK: ite    lo                      @ encoding: [0x34,0xbf]
2242 @ CHECK: smmullo        r2, r3, r4      @ encoding: [0x53,0xfb,0x04,0xf2]
2243 @ CHECK: smmulrhs       r3, r2, r1      @ encoding: [0x52,0xfb,0x11,0xf3]
2244
2245
2246 @------------------------------------------------------------------------------
2247 @ SMUAD/SMUADX
2248 @------------------------------------------------------------------------------
2249         smuad r2, r3, r4
2250         smuadx r3, r2, r1
2251         ite lt
2252         smuadlt r2, r3, r4
2253         smuadxge r3, r2, r1
2254
2255 @ CHECK: smuad  r2, r3, r4              @ encoding: [0x23,0xfb,0x04,0xf2]
2256 @ CHECK: smuadx r3, r2, r1              @ encoding: [0x22,0xfb,0x11,0xf3]
2257 @ CHECK: ite    lt                      @ encoding: [0xb4,0xbf]
2258 @ CHECK: smuadlt        r2, r3, r4      @ encoding: [0x23,0xfb,0x04,0xf2]
2259 @ CHECK: smuadxge       r3, r2, r1      @ encoding: [0x22,0xfb,0x11,0xf3]
2260
2261
2262 @------------------------------------------------------------------------------
2263 @ SMULBB/SMULBT/SMULTB/SMULTT
2264 @------------------------------------------------------------------------------
2265         smulbb r3, r9, r0
2266         smulbt r5, r4, r1
2267         smultb r4, r2, r2
2268         smultt r8, r3, r4
2269         itete ge
2270         smulbbge r1, r9, r0
2271         smulbtlt r5, r6, r4
2272         smultbge r2, r3, r2
2273         smulttlt r8, r3, r4
2274
2275 @ CHECK: smulbb r3, r9, r0              @ encoding: [0x19,0xfb,0x00,0xf3]
2276 @ CHECK: smulbt r5, r4, r1              @ encoding: [0x14,0xfb,0x11,0xf5]
2277 @ CHECK: smultb r4, r2, r2              @ encoding: [0x12,0xfb,0x22,0xf4]
2278 @ CHECK: smultt r8, r3, r4              @ encoding: [0x13,0xfb,0x34,0xf8]
2279 @ CHECK: itete  ge                      @ encoding: [0xab,0xbf]
2280 @ CHECK: smulbbge       r1, r9, r0      @ encoding: [0x19,0xfb,0x00,0xf1]
2281 @ CHECK: smulbtlt       r5, r6, r4      @ encoding: [0x16,0xfb,0x14,0xf5]
2282 @ CHECK: smultbge       r2, r3, r2      @ encoding: [0x13,0xfb,0x22,0xf2]
2283 @ CHECK: smulttlt       r8, r3, r4      @ encoding: [0x13,0xfb,0x34,0xf8]
2284
2285
2286 @------------------------------------------------------------------------------
2287 @ SMULL
2288 @------------------------------------------------------------------------------
2289         smull r3, r9, r0, r1
2290         it eq
2291         smulleq r8, r3, r4, r5
2292
2293 @ CHECK: smull  r3, r9, r0, r1          @ encoding: [0x80,0xfb,0x01,0x39]
2294 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
2295 @ CHECK: smulleq r8, r3, r4, r5         @ encoding: [0x84,0xfb,0x05,0x83]
2296
2297
2298 @------------------------------------------------------------------------------
2299 @ SMULWB/SMULWT
2300 @------------------------------------------------------------------------------
2301         smulwb r3, r9, r0
2302         smulwt r3, r9, r2
2303         ite gt
2304         smulwbgt r3, r9, r0
2305         smulwtle r3, r9, r2
2306
2307 @ CHECK: smulwb r3, r9, r0              @ encoding: [0x39,0xfb,0x00,0xf3]
2308 @ CHECK: smulwt r3, r9, r2              @ encoding: [0x39,0xfb,0x12,0xf3]
2309 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
2310 @ CHECK: smulwbgt       r3, r9, r0      @ encoding: [0x39,0xfb,0x00,0xf3]
2311 @ CHECK: smulwtle       r3, r9, r2      @ encoding: [0x39,0xfb,0x12,0xf3]
2312
2313
2314 @------------------------------------------------------------------------------
2315 @ SMUSD/SMUSDX
2316 @------------------------------------------------------------------------------
2317         smusd r3, r0, r1
2318         smusdx r3, r9, r2
2319         ite eq
2320         smusdeq r8, r3, r2
2321         smusdxne r7, r4, r3
2322
2323 @ CHECK: smusd  r3, r0, r1              @ encoding: [0x40,0xfb,0x01,0xf3]
2324 @ CHECK: smusdx r3, r9, r2              @ encoding: [0x49,0xfb,0x12,0xf3]
2325 @ CHECK: ite    eq                      @ encoding: [0x0c,0xbf]
2326 @ CHECK: smusdeq        r8, r3, r2      @ encoding: [0x43,0xfb,0x02,0xf8]
2327 @ CHECK: smusdxne       r7, r4, r3      @ encoding: [0x44,0xfb,0x13,0xf7]
2328
2329
2330 @------------------------------------------------------------------------------
2331 @ SRS
2332 @------------------------------------------------------------------------------
2333         srsdb sp, #1
2334         srsia sp, #0
2335
2336         srsdb sp!, #19
2337         srsia sp!, #2
2338
2339         srsea sp, #10
2340         srsfd sp, #9
2341
2342         srsea sp!, #5
2343         srsfd sp!, #5
2344
2345         srs sp, #5
2346         srs sp!, #5
2347
2348 @ CHECK: srsdb  sp, #1                  @ encoding: [0x0d,0xe8,0x01,0xc0]
2349 @ CHECK: srsia  sp, #0                  @ encoding: [0x8d,0xe9,0x00,0xc0]
2350 @ CHECK: srsdb  sp!, #19                @ encoding: [0x2d,0xe8,0x13,0xc0]
2351 @ CHECK: srsia  sp!, #2                 @ encoding: [0xad,0xe9,0x02,0xc0]
2352 @ CHECK: srsia  sp, #10                 @ encoding: [0x8d,0xe9,0x0a,0xc0]
2353 @ CHECK: srsdb  sp, #9                  @ encoding: [0x0d,0xe8,0x09,0xc0]
2354 @ CHECK: srsia  sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
2355 @ CHECK: srsdb  sp!, #5                 @ encoding: [0x2d,0xe8,0x05,0xc0]
2356 @ CHECK: srsia  sp, #5                  @ encoding: [0x8d,0xe9,0x05,0xc0]
2357 @ CHECK: srsia  sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
2358
2359         srsdb #1
2360         srsia #0
2361
2362         srsdb #19!
2363         srsia #2!
2364
2365         srsea #10
2366         srsfd #9
2367
2368         srsea #5!
2369         srsfd #5!
2370
2371         srs #5
2372         srs #5!
2373
2374 @ CHECK: srsdb  sp, #1                  @ encoding: [0x0d,0xe8,0x01,0xc0]
2375 @ CHECK: srsia  sp, #0                  @ encoding: [0x8d,0xe9,0x00,0xc0]
2376 @ CHECK: srsdb  sp!, #19                @ encoding: [0x2d,0xe8,0x13,0xc0]
2377 @ CHECK: srsia  sp!, #2                 @ encoding: [0xad,0xe9,0x02,0xc0]
2378 @ CHECK: srsia  sp, #10                 @ encoding: [0x8d,0xe9,0x0a,0xc0]
2379 @ CHECK: srsdb  sp, #9                  @ encoding: [0x0d,0xe8,0x09,0xc0]
2380 @ CHECK: srsia  sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
2381 @ CHECK: srsdb  sp!, #5                 @ encoding: [0x2d,0xe8,0x05,0xc0]
2382 @ CHECK: srsia  sp, #5                  @ encoding: [0x8d,0xe9,0x05,0xc0]
2383 @ CHECK: srsia  sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
2384
2385
2386 @------------------------------------------------------------------------------
2387 @ SSAT
2388 @------------------------------------------------------------------------------
2389         ssat    r8, #1, r10
2390         ssat    r8, #1, r10, lsl #0
2391         ssat    r8, #1, r10, lsl #31
2392         ssat    r8, #1, r10, asr #1
2393
2394 @ CHECK: ssat   r8, #1, r10             @ encoding: [0x0a,0xf3,0x00,0x08]
2395 @ CHECK: ssat   r8, #1, r10             @ encoding: [0x0a,0xf3,0x00,0x08]
2396 @ CHECK: ssat   r8, #1, r10, lsl #31    @ encoding: [0x0a,0xf3,0xc0,0x78]
2397 @ CHECK: ssat   r8, #1, r10, asr #1     @ encoding: [0x2a,0xf3,0x40,0x08]
2398
2399
2400 @------------------------------------------------------------------------------
2401 @ SSAT16
2402 @------------------------------------------------------------------------------
2403         ssat16  r2, #1, r7
2404         ssat16  r3, #16, r5
2405
2406 @ CHECK: ssat16 r2, #1, r7              @ encoding: [0x27,0xf3,0x00,0x02]
2407 @ CHECK: ssat16 r3, #16, r5             @ encoding: [0x25,0xf3,0x0f,0x03]
2408
2409
2410 @------------------------------------------------------------------------------
2411 @ SSAX
2412 @------------------------------------------------------------------------------
2413         ssubaddx r2, r3, r4
2414         it lt
2415         ssubaddxlt r2, r3, r4
2416         ssax r2, r3, r4
2417         it lt
2418         ssaxlt r2, r3, r4
2419
2420 @ CHECK: ssax   r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2421 @ CHECK: it     lt                      @ encoding: [0xb8,0xbf]
2422 @ CHECK: ssaxlt r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2423 @ CHECK: ssax   r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2424 @ CHECK: it     lt                      @ encoding: [0xb8,0xbf]
2425 @ CHECK: ssaxlt r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2426
2427
2428 @------------------------------------------------------------------------------
2429 @ SSUB16/SSUB8
2430 @------------------------------------------------------------------------------
2431         ssub16 r1, r0, r6
2432         ssub8 r9, r2, r4
2433         ite ne
2434         ssub16ne r5, r3, r2
2435         ssub8eq r5, r1, r2
2436
2437 @ CHECK: ssub16 r1, r0, r6              @ encoding: [0xd0,0xfa,0x06,0xf1]
2438 @ CHECK: ssub8  r9, r2, r4              @ encoding: [0xc2,0xfa,0x04,0xf9]
2439 @ CHECK: ite    ne                      @ encoding: [0x14,0xbf]
2440 @ CHECK: ssub16ne       r5, r3, r2      @ encoding: [0xd3,0xfa,0x02,0xf5]
2441 @ CHECK: ssub8eq        r5, r1, r2      @ encoding: [0xc1,0xfa,0x02,0xf5]
2442
2443
2444 @------------------------------------------------------------------------------
2445 @ STC{L}/STC2{L}
2446 @------------------------------------------------------------------------------
2447         stc2 p0, c8, [r1, #4]
2448         stc2 p1, c7, [r2]
2449         stc2 p2, c6, [r3, #-224]
2450         stc2 p3, c5, [r4, #-120]!
2451         stc2 p4, c4, [r5], #16
2452         stc2 p5, c3, [r6], #-72
2453         stc2l p6, c2, [r7, #4]
2454         stc2l p7, c1, [r8]
2455         stc2l p8, c0, [r9, #-224]
2456         stc2l p9, c1, [r10, #-120]!
2457         stc2l p10, c2, [r11], #16
2458         stc2l p11, c3, [r12], #-72
2459
2460         stc p12, c4, [r0, #4]
2461         stc p13, c5, [r1]
2462         stc p14, c6, [r2, #-224]
2463         stc p15, c7, [r3, #-120]!
2464         stc p5, c8, [r4], #16
2465         stc p4, c9, [r5], #-72
2466         stcl p3, c10, [r6, #4]
2467         stcl p2, c11, [r7]
2468         stcl p1, c12, [r8, #-224]
2469         stcl p0, c13, [r9, #-120]!
2470         stcl p6, c14, [r10], #16
2471         stcl p7, c15, [r11], #-72
2472
2473         stc2 p2, c8, [r1], { 25 }
2474
2475 @ CHECK: stc2   p0, c8, [r1, #4]        @ encoding: [0x81,0xfd,0x01,0x80]
2476 @ CHECK: stc2   p1, c7, [r2]            @ encoding: [0x82,0xfd,0x00,0x71]
2477 @ CHECK: stc2   p2, c6, [r3, #-224]     @ encoding: [0x03,0xfd,0x38,0x62]
2478 @ CHECK: stc2   p3, c5, [r4, #-120]!    @ encoding: [0x24,0xfd,0x1e,0x53]
2479 @ CHECK: stc2   p4, c4, [r5], #16       @ encoding: [0xa5,0xfc,0x04,0x44]
2480 @ CHECK: stc2   p5, c3, [r6], #-72      @ encoding: [0x26,0xfc,0x12,0x35]
2481 @ CHECK: stc2l  p6, c2, [r7, #4]        @ encoding: [0xc7,0xfd,0x01,0x26]
2482 @ CHECK: stc2l  p7, c1, [r8]            @ encoding: [0xc8,0xfd,0x00,0x17]
2483 @ CHECK: stc2l  p8, c0, [r9, #-224]     @ encoding: [0x49,0xfd,0x38,0x08]
2484 @ CHECK: stc2l  p9, c1, [r10, #-120]!   @ encoding: [0x6a,0xfd,0x1e,0x19]
2485 @ CHECK: stc2l  p10, c2, [r11], #16     @ encoding: [0xeb,0xfc,0x04,0x2a]
2486 @ CHECK: stc2l  p11, c3, [r12], #-72    @ encoding: [0x6c,0xfc,0x12,0x3b]
2487
2488 @ CHECK: stc    p12, c4, [r0, #4]       @ encoding: [0x80,0xed,0x01,0x4c]
2489 @ CHECK: stc    p13, c5, [r1]           @ encoding: [0x81,0xed,0x00,0x5d]
2490 @ CHECK: stc    p14, c6, [r2, #-224]    @ encoding: [0x02,0xed,0x38,0x6e]
2491 @ CHECK: stc    p15, c7, [r3, #-120]!   @ encoding: [0x23,0xed,0x1e,0x7f]
2492 @ CHECK: stc    p5, c8, [r4], #16       @ encoding: [0xa4,0xec,0x04,0x85]
2493 @ CHECK: stc    p4, c9, [r5], #-72      @ encoding: [0x25,0xec,0x12,0x94]
2494 @ CHECK: stcl   p3, c10, [r6, #4]       @ encoding: [0xc6,0xed,0x01,0xa3]
2495 @ CHECK: stcl   p2, c11, [r7]           @ encoding: [0xc7,0xed,0x00,0xb2]
2496 @ CHECK: stcl   p1, c12, [r8, #-224]    @ encoding: [0x48,0xed,0x38,0xc1]
2497 @ CHECK: stcl   p0, c13, [r9, #-120]!   @ encoding: [0x69,0xed,0x1e,0xd0]
2498 @ CHECK: stcl   p6, c14, [r10], #16     @ encoding: [0xea,0xec,0x04,0xe6]
2499 @ CHECK: stcl   p7, c15, [r11], #-72    @ encoding: [0x6b,0xec,0x12,0xf7]
2500
2501 @ CHECK: stc2   p2, c8, [r1], {25}      @ encoding: [0x81,0xfc,0x19,0x82]
2502
2503
2504 @------------------------------------------------------------------------------
2505 @ STMIA
2506 @------------------------------------------------------------------------------
2507         stmia.w r4, {r4, r5, r8, r9}
2508         stmia.w r4, {r5, r6}
2509         stmia.w r5!, {r3, r8}
2510         stm.w r4, {r4, r5, r8, r9}
2511         stm.w r4, {r5, r6}
2512         stm.w r5!, {r3, r8}
2513         stm.w r5!, {r1, r2}
2514         stm.w r2, {r1, r2}
2515
2516         stmia r4, {r4, r5, r8, r9}
2517         stmia r4, {r5, r6}
2518         stmia r5!, {r3, r8}
2519         stm r4, {r4, r5, r8, r9}
2520         stm r4, {r5, r6}
2521         stm r5!, {r3, r8}
2522         stmea r5!, {r3, r8}
2523
2524 @ CHECK: stm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2525 @ CHECK: stm.w  r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2526 @ CHECK: stm.w  r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2527 @ CHECK: stm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2528 @ CHECK: stm.w  r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2529 @ CHECK: stm.w  r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2530 @ CHECK: stm.w  r5!, {r1, r2}           @ encoding: [0xa5,0xe8,0x06,0x00]
2531 @ CHECK: stm.w  r2, {r1, r2}            @ encoding: [0x82,0xe8,0x06,0x00]
2532
2533 @ CHECK: stm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2534 @ CHECK: stm.w  r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2535 @ CHECK: stm.w  r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2536 @ CHECK: stm.w  r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2537 @ CHECK: stm.w  r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2538 @ CHECK: stm.w  r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2539 @ CHECK: stm.w  r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2540
2541
2542 @------------------------------------------------------------------------------
2543 @ STMDB
2544 @------------------------------------------------------------------------------
2545         stmdb r4, {r4, r5, r8, r9}
2546         stmdb r4, {r5, r6}
2547         stmdb r5!, {r3, r8}
2548         stmea r5!, {r3, r8}
2549         stmdb.w r5, {r0, r1}
2550
2551 @ CHECK: stmdb  r4, {r4, r5, r8, r9}    @ encoding: [0x04,0xe9,0x30,0x03]
2552 @ CHECK: stmdb  r4, {r5, r6}            @ encoding: [0x04,0xe9,0x60,0x00]
2553 @ CHECK: stmdb  r5!, {r3, r8}           @ encoding: [0x25,0xe9,0x08,0x01]
2554 @ CHECK: stm.w  r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2555 @ CHECK: stmdb  r5, {r0, r1}            @ encoding: [0x05,0xe9,0x03,0x00]
2556
2557
2558 @------------------------------------------------------------------------------
2559 @ STR(immediate)
2560 @------------------------------------------------------------------------------
2561         str r5, [r5, #-4]
2562         str r5, [r6, #32]
2563         str r5, [r6, #33]
2564         str r5, [r6, #257]
2565         str.w pc, [r7, #257]
2566         str r2, [r4, #255]!
2567         str r8, [sp, #4]!
2568         str lr, [sp, #-4]!
2569         str r2, [r4], #255
2570         str r8, [sp], #4
2571         str lr, [sp], #-4
2572
2573 @ CHECK: str    r5, [r5, #-4]           @ encoding: [0x45,0xf8,0x04,0x5c]
2574 @ CHECK: str    r5, [r6, #32]           @ encoding: [0x35,0x62]
2575 @ CHECK: str.w  r5, [r6, #33]           @ encoding: [0xc6,0xf8,0x21,0x50]
2576 @ CHECK: str.w  r5, [r6, #257]          @ encoding: [0xc6,0xf8,0x01,0x51]
2577 @ CHECK: str.w  pc, [r7, #257]          @ encoding: [0xc7,0xf8,0x01,0xf1]
2578 @ CHECK: str    r2, [r4, #255]!         @ encoding: [0x44,0xf8,0xff,0x2f]
2579 @ CHECK: str    r8, [sp, #4]!           @ encoding: [0x4d,0xf8,0x04,0x8f]
2580 @ CHECK: str    lr, [sp, #-4]!          @ encoding: [0x4d,0xf8,0x04,0xed]
2581 @ CHECK: str    r2, [r4], #255          @ encoding: [0x44,0xf8,0xff,0x2b]
2582 @ CHECK: str    r8, [sp], #4            @ encoding: [0x4d,0xf8,0x04,0x8b]
2583 @ CHECK: str    lr, [sp], #-4           @ encoding: [0x4d,0xf8,0x04,0xe9]
2584
2585
2586 @------------------------------------------------------------------------------
2587 @ STR(register)
2588 @------------------------------------------------------------------------------
2589         str r1, [r8, r1]
2590         str.w r4, [r5, r2]
2591         str r6, [r0, r2, lsl #3]
2592         str r8, [r8, r2, lsl #2]
2593         str r7, [sp, r2, lsl #1]
2594         str r7, [sp, r2, lsl #0]
2595
2596 @ CHECK: str.w  r1, [r8, r1]            @ encoding: [0x48,0xf8,0x01,0x10]
2597 @ CHECK: str.w  r4, [r5, r2]            @ encoding: [0x45,0xf8,0x02,0x40]
2598 @ CHECK: str.w  r6, [r0, r2, lsl #3]    @ encoding: [0x40,0xf8,0x32,0x60]
2599 @ CHECK: str.w  r8, [r8, r2, lsl #2]    @ encoding: [0x48,0xf8,0x22,0x80]
2600 @ CHECK: str.w  r7, [sp, r2, lsl #1]    @ encoding: [0x4d,0xf8,0x12,0x70]
2601 @ CHECK: str.w  r7, [sp, r2]            @ encoding: [0x4d,0xf8,0x02,0x70]
2602
2603
2604 @------------------------------------------------------------------------------
2605 @ STRB(immediate)
2606 @------------------------------------------------------------------------------
2607         strb r5, [r5, #-4]
2608         strb r5, [r6, #32]
2609         strb r5, [r6, #33]
2610         strb r5, [r6, #257]
2611         strb.w lr, [r7, #257]
2612         strb r5, [r8, #255]!
2613         strb r2, [r5, #4]!
2614         strb r1, [r4, #-4]!
2615         strb lr, [r3], #255
2616         strb r9, [r2], #4
2617         strb r3, [sp], #-4
2618         strb r4, [r8, #-0]!
2619         strb r1, [r0], #-0
2620
2621 @ CHECK: strb   r5, [r5, #-4]           @ encoding: [0x05,0xf8,0x04,0x5c]
2622 @ CHECK: strb.w r5, [r6, #32]           @ encoding: [0x86,0xf8,0x20,0x50]
2623 @ CHECK: strb.w r5, [r6, #33]           @ encoding: [0x86,0xf8,0x21,0x50]
2624 @ CHECK: strb.w r5, [r6, #257]          @ encoding: [0x86,0xf8,0x01,0x51]
2625 @ CHECK: strb.w lr, [r7, #257]          @ encoding: [0x87,0xf8,0x01,0xe1]
2626 @ CHECK: strb   r5, [r8, #255]!         @ encoding: [0x08,0xf8,0xff,0x5f]
2627 @ CHECK: strb   r2, [r5, #4]!           @ encoding: [0x05,0xf8,0x04,0x2f]
2628 @ CHECK: strb   r1, [r4, #-4]!          @ encoding: [0x04,0xf8,0x04,0x1d]
2629 @ CHECK: strb   lr, [r3], #255          @ encoding: [0x03,0xf8,0xff,0xeb]
2630 @ CHECK: strb   r9, [r2], #4            @ encoding: [0x02,0xf8,0x04,0x9b]
2631 @ CHECK: strb   r3, [sp], #-4           @ encoding: [0x0d,0xf8,0x04,0x39]
2632 @ CHECK: strb   r4, [r8, #-0]!          @ encoding: [0x08,0xf8,0x00,0x4d]
2633 @ CHECK: strb   r1, [r0], #-0           @ encoding: [0x00,0xf8,0x00,0x19]
2634
2635
2636 @------------------------------------------------------------------------------
2637 @ STRB(register)
2638 @------------------------------------------------------------------------------
2639         strb r1, [r8, r1]
2640         strb.w r4, [r5, r2]
2641         strb r6, [r0, r2, lsl #3]
2642         strb r8, [r8, r2, lsl #2]
2643         strb r7, [sp, r2, lsl #1]
2644         strb r7, [sp, r2, lsl #0]
2645
2646 @ CHECK: strb.w r1, [r8, r1]            @ encoding: [0x08,0xf8,0x01,0x10]
2647 @ CHECK: strb.w r4, [r5, r2]            @ encoding: [0x05,0xf8,0x02,0x40]
2648 @ CHECK: strb.w r6, [r0, r2, lsl #3]    @ encoding: [0x00,0xf8,0x32,0x60]
2649 @ CHECK: strb.w r8, [r8, r2, lsl #2]    @ encoding: [0x08,0xf8,0x22,0x80]
2650 @ CHECK: strb.w r7, [sp, r2, lsl #1]    @ encoding: [0x0d,0xf8,0x12,0x70]
2651 @ CHECK: strb.w r7, [sp, r2]            @ encoding: [0x0d,0xf8,0x02,0x70]
2652
2653
2654 @------------------------------------------------------------------------------
2655 @ STRBT
2656 @------------------------------------------------------------------------------
2657         strbt r1, [r2]
2658         strbt r1, [r8, #0]
2659         strbt r1, [r8, #3]
2660         strbt r1, [r8, #255]
2661
2662 @ CHECK: strbt  r1, [r2]                @ encoding: [0x02,0xf8,0x00,0x1e]
2663 @ CHECK: strbt  r1, [r8]                @ encoding: [0x08,0xf8,0x00,0x1e]
2664 @ CHECK: strbt  r1, [r8, #3]            @ encoding: [0x08,0xf8,0x03,0x1e]
2665 @ CHECK: strbt  r1, [r8, #255]          @ encoding: [0x08,0xf8,0xff,0x1e]
2666
2667
2668 @------------------------------------------------------------------------------
2669 @ STRD
2670 @------------------------------------------------------------------------------
2671         strd r3, r5, [r6, #24]
2672         strd r3, r5, [r6, #24]!
2673         strd r3, r5, [r6], #4
2674         strd r3, r5, [r6], #-8
2675         strd r3, r5, [r6]
2676         strd r8, r1, [r3, #0]
2677         strd r0, r1, [r2, #-0]
2678         strd r0, r1, [r2, #-0]!
2679         strd r0, r1, [r2], #-0
2680
2681 @ CHECK: strd   r3, r5, [r6, #24]       @ encoding: [0xc6,0xe9,0x06,0x35]
2682 @ CHECK: strd   r3, r5, [r6, #24]!      @ encoding: [0xe6,0xe9,0x06,0x35]
2683 @ CHECK: strd   r3, r5, [r6], #4        @ encoding: [0xe6,0xe8,0x01,0x35]
2684 @ CHECK: strd   r3, r5, [r6], #-8       @ encoding: [0x66,0xe8,0x02,0x35]
2685 @ CHECK: strd   r3, r5, [r6]            @ encoding: [0xc6,0xe9,0x00,0x35]
2686 @ CHECK: strd   r8, r1, [r3]            @ encoding: [0xc3,0xe9,0x00,0x81]
2687 @ CHECK: strd   r0, r1, [r2, #-0]       @ encoding: [0x42,0xe9,0x00,0x01]
2688 @ CHECK: strd   r0, r1, [r2, #-0]!      @ encoding: [0x62,0xe9,0x00,0x01]
2689 @ CHECK: strd   r0, r1, [r2], #-0       @ encoding: [0x62,0xe8,0x00,0x01]
2690
2691
2692 @------------------------------------------------------------------------------
2693 @ STREX/STREXB/STREXH/STREXD
2694 @------------------------------------------------------------------------------
2695         strex r1, r8, [r4]
2696         strex r8, r2, [r4, #0]
2697         strex r2, r12, [sp, #128]
2698         strexb r5, r1, [r7]
2699         strexh r9, r7, [r12]
2700         strexd r9, r3, r6, [r4]
2701
2702 @ CHECK: strex  r1, r8, [r4]            @ encoding: [0x44,0xe8,0x00,0x81]
2703 @ CHECK: strex  r8, r2, [r4]            @ encoding: [0x44,0xe8,0x00,0x28]
2704 @ CHECK: strex  r2, r12, [sp, #128]     @ encoding: [0x4d,0xe8,0x20,0xc2]
2705 @ CHECK: strexb r5, r1, [r7]            @ encoding: [0xc7,0xe8,0x45,0x1f]
2706 @ CHECK: strexh r9, r7, [r12]           @ encoding: [0xcc,0xe8,0x59,0x7f]
2707 @ CHECK: strexd r9, r3, r6, [r4]        @ encoding: [0xc4,0xe8,0x79,0x36]
2708
2709
2710 @------------------------------------------------------------------------------
2711 @ STRH(immediate)
2712 @------------------------------------------------------------------------------
2713         strh r5, [r5, #-4]
2714         strh r5, [r6, #32]
2715         strh r5, [r6, #33]
2716         strh r5, [r6, #257]
2717         strh.w lr, [r7, #257]
2718         strh r5, [r8, #255]!
2719         strh r2, [r5, #4]!
2720         strh r1, [r4, #-4]!
2721         strh lr, [r3], #255
2722         strh r9, [r2], #4
2723         strh r3, [sp], #-4
2724
2725 @ CHECK: strh   r5, [r5, #-4]           @ encoding: [0x25,0xf8,0x04,0x5c]
2726 @ CHECK: strh   r5, [r6, #32]           @ encoding: [0x35,0x84]
2727 @ CHECK: strh.w r5, [r6, #33]           @ encoding: [0xa6,0xf8,0x21,0x50]
2728 @ CHECK: strh.w r5, [r6, #257]          @ encoding: [0xa6,0xf8,0x01,0x51]
2729 @ CHECK: strh.w lr, [r7, #257]          @ encoding: [0xa7,0xf8,0x01,0xe1]
2730 @ CHECK: strh   r5, [r8, #255]!         @ encoding: [0x28,0xf8,0xff,0x5f]
2731 @ CHECK: strh   r2, [r5, #4]!           @ encoding: [0x25,0xf8,0x04,0x2f]
2732 @ CHECK: strh   r1, [r4, #-4]!          @ encoding: [0x24,0xf8,0x04,0x1d]
2733 @ CHECK: strh   lr, [r3], #255          @ encoding: [0x23,0xf8,0xff,0xeb]
2734 @ CHECK: strh   r9, [r2], #4            @ encoding: [0x22,0xf8,0x04,0x9b]
2735 @ CHECK: strh   r3, [sp], #-4           @ encoding: [0x2d,0xf8,0x04,0x39]
2736
2737
2738 @------------------------------------------------------------------------------
2739 @ STRH(register)
2740 @------------------------------------------------------------------------------
2741         strh r1, [r8, r1]
2742         strh.w r4, [r5, r2]
2743         strh r6, [r0, r2, lsl #3]
2744         strh r8, [r8, r2, lsl #2]
2745         strh r7, [sp, r2, lsl #1]
2746         strh r7, [sp, r2, lsl #0]
2747
2748 @ CHECK: strh.w r1, [r8, r1]            @ encoding: [0x28,0xf8,0x01,0x10]
2749 @ CHECK: strh.w r4, [r5, r2]            @ encoding: [0x25,0xf8,0x02,0x40]
2750 @ CHECK: strh.w r6, [r0, r2, lsl #3]    @ encoding: [0x20,0xf8,0x32,0x60]
2751 @ CHECK: strh.w r8, [r8, r2, lsl #2]    @ encoding: [0x28,0xf8,0x22,0x80]
2752 @ CHECK: strh.w r7, [sp, r2, lsl #1]    @ encoding: [0x2d,0xf8,0x12,0x70]
2753 @ CHECK: strh.w r7, [sp, r2]            @ encoding: [0x2d,0xf8,0x02,0x70]
2754
2755
2756 @------------------------------------------------------------------------------
2757 @ STRHT
2758 @------------------------------------------------------------------------------
2759         strht r1, [r2]
2760         strht r1, [r8, #0]
2761         strht r1, [r8, #3]
2762         strht r1, [r8, #255]
2763
2764 @ CHECK: strht  r1, [r2]                @ encoding: [0x22,0xf8,0x00,0x1e]
2765 @ CHECK: strht  r1, [r8]                @ encoding: [0x28,0xf8,0x00,0x1e]
2766 @ CHECK: strht  r1, [r8, #3]            @ encoding: [0x28,0xf8,0x03,0x1e]
2767 @ CHECK: strht  r1, [r8, #255]          @ encoding: [0x28,0xf8,0xff,0x1e]
2768
2769
2770 @------------------------------------------------------------------------------
2771 @ STRT
2772 @------------------------------------------------------------------------------
2773         strt r1, [r2]
2774         strt r1, [r8, #0]
2775         strt r1, [r8, #3]
2776         strt r1, [r8, #255]
2777
2778 @ CHECK: strt   r1, [r2]                @ encoding: [0x42,0xf8,0x00,0x1e]
2779 @ CHECK: strt   r1, [r8]                @ encoding: [0x48,0xf8,0x00,0x1e]
2780 @ CHECK: strt   r1, [r8, #3]            @ encoding: [0x48,0xf8,0x03,0x1e]
2781 @ CHECK: strt   r1, [r8, #255]          @ encoding: [0x48,0xf8,0xff,0x1e]
2782
2783
2784 @------------------------------------------------------------------------------
2785 @ SUB (immediate)
2786 @------------------------------------------------------------------------------
2787         itet eq
2788         subeq r1, r2, #4
2789         subwne r5, r3, #1023
2790         subeq r4, r5, #293
2791         sub r2, sp, #1024
2792         sub r2, r8, #0xff00
2793         sub r2, r3, #257
2794         subw r2, r3, #257
2795         sub r12, r6, #0x100
2796         subw r12, r6, #0x100
2797         subs r1, r2, #0x1f0
2798         sub r2, #1
2799         sub r0, r0, #32
2800         subs r2, r2, #56
2801         subs r2, #56
2802
2803 @ CHECK: itet   eq                      @ encoding: [0x0a,0xbf]
2804 @ CHECK: subeq  r1, r2, #4              @ encoding: [0x11,0x1f]
2805 @ CHECK: subwne r5, r3, #1023           @ encoding: [0xa3,0xf2,0xff,0x35]
2806 @ CHECK: subweq r4, r5, #293            @ encoding: [0xa5,0xf2,0x25,0x14]
2807 @ CHECK: sub.w  r2, sp, #1024           @ encoding: [0xad,0xf5,0x80,0x62]
2808 @ CHECK: sub.w  r2, r8, #65280          @ encoding: [0xa8,0xf5,0x7f,0x42]
2809 @ CHECK: subw   r2, r3, #257            @ encoding: [0xa3,0xf2,0x01,0x12]
2810 @ CHECK: subw   r2, r3, #257            @ encoding: [0xa3,0xf2,0x01,0x12]
2811 @ CHECK: sub.w  r12, r6, #256           @ encoding: [0xa6,0xf5,0x80,0x7c]
2812 @ CHECK: subw   r12, r6, #256           @ encoding: [0xa6,0xf2,0x00,0x1c]
2813 @ CHECK: subs.w r1, r2, #496            @ encoding: [0xb2,0xf5,0xf8,0x71]
2814 @ CHECK: sub.w  r2, r2, #1              @ encoding: [0xa2,0xf1,0x01,0x02]
2815 @ CHECK: sub.w  r0, r0, #32             @ encoding: [0xa0,0xf1,0x20,0x00]
2816 @ CHECK: subs   r2, #56                 @ encoding: [0x38,0x3a]
2817 @ CHECK: subs   r2, #56                 @ encoding: [0x38,0x3a]
2818
2819
2820 @------------------------------------------------------------------------------
2821 @ SUB (register)
2822 @------------------------------------------------------------------------------
2823         sub r4, r5, r6
2824         sub r4, r5, r6, lsl #5
2825         sub r4, r5, r6, lsr #5
2826         sub.w r4, r5, r6, lsr #5
2827         sub r4, r5, r6, asr #5
2828         sub r4, r5, r6, ror #5
2829         sub.w r5, r2, r12, rrx
2830         sub r2, sp, ip
2831         sub sp, sp, ip
2832         sub sp, ip
2833         sub.w r2, sp, ip
2834         sub.w sp, sp, ip
2835         sub.w sp, ip
2836
2837 @ CHECK: sub.w  r4, r5, r6              @ encoding: [0xa5,0xeb,0x06,0x04]
2838 @ CHECK: sub.w  r4, r5, r6, lsl #5      @ encoding: [0xa5,0xeb,0x46,0x14]
2839 @ CHECK: sub.w  r4, r5, r6, lsr #5      @ encoding: [0xa5,0xeb,0x56,0x14]
2840 @ CHECK: sub.w  r4, r5, r6, lsr #5      @ encoding: [0xa5,0xeb,0x56,0x14]
2841 @ CHECK: sub.w  r4, r5, r6, asr #5      @ encoding: [0xa5,0xeb,0x66,0x14]
2842 @ CHECK: sub.w  r4, r5, r6, ror #5      @ encoding: [0xa5,0xeb,0x76,0x14]
2843 @ CHECK: sub.w r5, r2, r12, rrx         @ encoding: [0xa2,0xeb,0x3c,0x05]
2844 @ CHECK: sub.w  r2, sp, r12             @ encoding: [0xad,0xeb,0x0c,0x02]
2845 @ CHECK: sub.w  sp, sp, r12             @ encoding: [0xad,0xeb,0x0c,0x0d]
2846 @ CHECK: sub.w  sp, sp, r12             @ encoding: [0xad,0xeb,0x0c,0x0d]
2847 @ CHECK: sub.w  r2, sp, r12             @ encoding: [0xad,0xeb,0x0c,0x02]
2848 @ CHECK: sub.w  sp, sp, r12             @ encoding: [0xad,0xeb,0x0c,0x0d]
2849 @ CHECK: sub.w  sp, sp, r12             @ encoding: [0xad,0xeb,0x0c,0x0d]
2850
2851
2852 @------------------------------------------------------------------------------
2853 @ SVC
2854 @------------------------------------------------------------------------------
2855         svc #0
2856         ite eq
2857         svceq #255
2858         swine #33
2859
2860 @ CHECK: svc    #0                      @ encoding: [0x00,0xdf]
2861 @ CHECK: ite    eq                      @ encoding: [0x0c,0xbf]
2862 @ CHECK: svceq  #255                    @ encoding: [0xff,0xdf]
2863 @ CHECK: svcne  #33                     @ encoding: [0x21,0xdf]
2864
2865
2866 @------------------------------------------------------------------------------
2867 @ SXTAB
2868 @------------------------------------------------------------------------------
2869         sxtab r2, r3, r4
2870         sxtab r4, r5, r6, ror #0
2871         it lt
2872         sxtablt r6, r2, r9, ror #8
2873         sxtab r5, r1, r4, ror #16
2874         sxtab r7, r8, r3, ror #24
2875
2876 @ CHECK: sxtab  r2, r3, r4              @ encoding: [0x43,0xfa,0x84,0xf2]
2877 @ CHECK: sxtab  r4, r5, r6              @ encoding: [0x45,0xfa,0x86,0xf4]
2878 @ CHECK: it     lt                      @ encoding: [0xb8,0xbf]
2879 @ CHECK: sxtablt r6, r2, r9, ror #8     @ encoding: [0x42,0xfa,0x99,0xf6]
2880 @ CHECK: sxtab  r5, r1, r4, ror #16     @ encoding: [0x41,0xfa,0xa4,0xf5]
2881 @ CHECK: sxtab  r7, r8, r3, ror #24     @ encoding: [0x48,0xfa,0xb3,0xf7]
2882
2883
2884 @------------------------------------------------------------------------------
2885 @ SXTAB16
2886 @------------------------------------------------------------------------------
2887         sxtab16 r6, r2, r7, ror #0
2888         sxtab16 r3, r5, r8, ror #8
2889         sxtab16 r3, r2, r1, ror #16
2890         ite ne
2891         sxtab16ne r0, r1, r4
2892         sxtab16eq r1, r2, r3, ror #24
2893
2894 @ CHECK: sxtab16 r6, r2, r7             @ encoding: [0x22,0xfa,0x87,0xf6]
2895 @ CHECK: sxtab16 r3, r5, r8, ror #8     @ encoding: [0x25,0xfa,0x98,0xf3]
2896 @ CHECK: sxtab16 r3, r2, r1, ror #16    @ encoding: [0x22,0xfa,0xa1,0xf3]
2897 @ CHECK: ite    ne                      @ encoding: [0x14,0xbf]
2898 @ CHECK: sxtab16ne r0, r1, r4           @ encoding: [0x21,0xfa,0x84,0xf0]
2899 @ CHECK: sxtab16eq r1, r2, r3, ror #24  @ encoding: [0x22,0xfa,0xb3,0xf1]
2900
2901
2902 @------------------------------------------------------------------------------
2903 @ SXTAH
2904 @------------------------------------------------------------------------------
2905         sxtah r1, r3, r9
2906         sxtah r3, r8, r3, ror #8
2907         sxtah r9, r3, r3, ror #24
2908         ite hi
2909         sxtahhi r6, r1, r6, ror #0
2910         sxtahls r2, r2, r4, ror #16
2911
2912 @ CHECK: sxtah  r1, r3, r9              @ encoding: [0x03,0xfa,0x89,0xf1]
2913 @ CHECK: sxtah  r3, r8, r3, ror #8      @ encoding: [0x08,0xfa,0x93,0xf3]
2914 @ CHECK: sxtah  r9, r3, r3, ror #24     @ encoding: [0x03,0xfa,0xb3,0xf9]
2915 @ CHECK: ite    hi                      @ encoding: [0x8c,0xbf]
2916 @ CHECK: sxtahhi r6, r1, r6             @ encoding: [0x01,0xfa,0x86,0xf6]
2917 @ CHECK: sxtahls r2, r2, r4, ror #16    @ encoding: [0x02,0xfa,0xa4,0xf2]
2918
2919
2920 @------------------------------------------------------------------------------
2921 @ SXTB
2922 @------------------------------------------------------------------------------
2923         sxtb r5, r6, ror #0
2924         sxtb r6, r9, ror #8
2925         sxtb r8, r3, ror #24
2926         ite ge
2927         sxtbge r2, r4
2928         sxtblt r5, r1, ror #16
2929         sxtb.w  r7, r8
2930
2931 @ CHECK: sxtb   r5, r6                  @ encoding: [0x75,0xb2]
2932 @ CHECK: sxtb.w r6, r9, ror #8          @ encoding: [0x4f,0xfa,0x99,0xf6]
2933 @ CHECK: sxtb.w r8, r3, ror #24         @ encoding: [0x4f,0xfa,0xb3,0xf8]
2934 @ CHECK: ite    ge                      @ encoding: [0xac,0xbf]
2935 @ CHECK: sxtbge r2, r4                  @ encoding: [0x62,0xb2]
2936 @ CHECK: sxtblt.w       r5, r1, ror #16 @ encoding: [0x4f,0xfa,0xa1,0xf5]
2937 @ CHECK: sxtb.w r7, r8                  @ encoding: [0x4f,0xfa,0x88,0xf7]
2938
2939
2940 @------------------------------------------------------------------------------
2941 @ SXTB16
2942 @------------------------------------------------------------------------------
2943         sxtb16 r1, r4
2944         sxtb16 r6, r7, ror #0
2945         sxtb16 r3, r1, ror #16
2946         ite cs
2947         sxtb16cs r3, r5, ror #8
2948         sxtb16lo r2, r3, ror #24
2949
2950 @ CHECK: sxtb16 r1, r4                  @ encoding: [0x2f,0xfa,0x84,0xf1]
2951 @ CHECK: sxtb16 r6, r7                  @ encoding: [0x2f,0xfa,0x87,0xf6]
2952 @ CHECK: sxtb16 r3, r1, ror #16         @ encoding: [0x2f,0xfa,0xa1,0xf3]
2953 @ CHECK: ite    hs                      @ encoding: [0x2c,0xbf]
2954 @ CHECK: sxtb16hs       r3, r5, ror #8  @ encoding: [0x2f,0xfa,0x95,0xf3]
2955 @ CHECK: sxtb16lo       r2, r3, ror #24 @ encoding: [0x2f,0xfa,0xb3,0xf2]
2956
2957
2958 @------------------------------------------------------------------------------
2959 @ SXTH
2960 @------------------------------------------------------------------------------
2961         sxth r1, r6, ror #0
2962         sxth r3, r8, ror #8
2963         sxth r9, r3, ror #24
2964         itt ne
2965         sxthne r3, r9
2966         sxthne r2, r2, ror #16
2967         sxth.w  r7, r8
2968
2969 @ CHECK: sxth   r1, r6                  @ encoding: [0x31,0xb2]
2970 @ CHECK: sxth.w r3, r8, ror #8          @ encoding: [0x0f,0xfa,0x98,0xf3]
2971 @ CHECK: sxth.w r9, r3, ror #24         @ encoding: [0x0f,0xfa,0xb3,0xf9]
2972 @ CHECK: itt    ne                      @ encoding: [0x1c,0xbf]
2973 @ CHECK: sxthne.w       r3, r9          @ encoding: [0x0f,0xfa,0x89,0xf3]
2974 @ CHECK: sxthne.w       r2, r2, ror #16 @ encoding: [0x0f,0xfa,0xa2,0xf2]
2975 @ CHECK: sxth.w r7, r8                  @ encoding: [0x0f,0xfa,0x88,0xf7]
2976
2977
2978 @------------------------------------------------------------------------------
2979 @ SXTB
2980 @------------------------------------------------------------------------------
2981         sxtb r5, r6, ror #0
2982         sxtb.w r6, r9, ror #8
2983         sxtb r8, r3, ror #24
2984         ite ge
2985         sxtbge r2, r4
2986         sxtblt r5, r1, ror #16
2987
2988 @ CHECK: sxtb   r5, r6                  @ encoding: [0x75,0xb2]
2989 @ CHECK: sxtb.w r6, r9, ror #8          @ encoding: [0x4f,0xfa,0x99,0xf6]
2990 @ CHECK: sxtb.w r8, r3, ror #24         @ encoding: [0x4f,0xfa,0xb3,0xf8]
2991 @ CHECK: ite    ge                      @ encoding: [0xac,0xbf]
2992 @ CHECK: sxtbge r2, r4                  @ encoding: [0x62,0xb2]
2993 @ CHECK: sxtblt.w       r5, r1, ror #16 @ encoding: [0x4f,0xfa,0xa1,0xf5]
2994
2995
2996 @------------------------------------------------------------------------------
2997 @ SXTB16
2998 @------------------------------------------------------------------------------
2999         sxtb16 r1, r4
3000         sxtb16 r6, r7, ror #0
3001         sxtb16 r3, r1, ror #16
3002         ite cs
3003         sxtb16cs r3, r5, ror #8
3004         sxtb16lo r2, r3, ror #24
3005
3006 @ CHECK: sxtb16 r1, r4                  @ encoding: [0x2f,0xfa,0x84,0xf1]
3007 @ CHECK: sxtb16 r6, r7                  @ encoding: [0x2f,0xfa,0x87,0xf6]
3008 @ CHECK: sxtb16 r3, r1, ror #16         @ encoding: [0x2f,0xfa,0xa1,0xf3]
3009 @ CHECK: ite    hs                      @ encoding: [0x2c,0xbf]
3010 @ CHECK: sxtb16hs       r3, r5, ror #8  @ encoding: [0x2f,0xfa,0x95,0xf3]
3011 @ CHECK: sxtb16lo       r2, r3, ror #24 @ encoding: [0x2f,0xfa,0xb3,0xf2]
3012
3013
3014 @------------------------------------------------------------------------------
3015 @ SXTH
3016 @------------------------------------------------------------------------------
3017         sxth r1, r6, ror #0
3018         sxth.w r3, r8, ror #8
3019         sxth r9, r3, ror #24
3020         itt ne
3021         sxthne r3, r9
3022         sxthne r2, r2, ror #16
3023
3024 @ CHECK: sxth   r1, r6                  @ encoding: [0x31,0xb2]
3025 @ CHECK: sxth.w r3, r8, ror #8          @ encoding: [0x0f,0xfa,0x98,0xf3]
3026 @ CHECK: sxth.w r9, r3, ror #24         @ encoding: [0x0f,0xfa,0xb3,0xf9]
3027 @ CHECK: itt    ne                      @ encoding: [0x1c,0xbf]
3028 @ CHECK: sxthne.w       r3, r9          @ encoding: [0x0f,0xfa,0x89,0xf3]
3029 @ CHECK: sxthne.w       r2, r2, ror #16 @ encoding: [0x0f,0xfa,0xa2,0xf2]
3030
3031
3032 @------------------------------------------------------------------------------
3033 @ TBB/TBH
3034 @------------------------------------------------------------------------------
3035         tbb [r3, r8]
3036         tbh [r3, r8, lsl #1]
3037         it eq
3038         tbbeq [r3, r8]
3039         it cs
3040         tbhcs [r3, r8, lsl #1]
3041
3042 @ CHECK: tbb    [r3, r8]                @ encoding: [0xd3,0xe8,0x08,0xf0]
3043 @ CHECK: tbh    [r3, r8, lsl #1]        @ encoding: [0xd3,0xe8,0x18,0xf0]
3044 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
3045 @ CHECK: tbbeq  [r3, r8]                @ encoding: [0xd3,0xe8,0x08,0xf0]
3046 @ CHECK: it     hs                      @ encoding: [0x28,0xbf]
3047 @ CHECK: tbhhs  [r3, r8, lsl #1]        @ encoding: [0xd3,0xe8,0x18,0xf0]
3048
3049
3050 @------------------------------------------------------------------------------
3051 @ TEQ
3052 @------------------------------------------------------------------------------
3053         teq r5, #0xf000
3054         teq r4, r5
3055         teq r4, r5, lsl #5
3056         teq r4, r5, lsr #5
3057         teq r4, r5, lsr #5
3058         teq r4, r5, asr #5
3059         teq r4, r5, ror #5
3060
3061 @ CHECK: teq.w  r5, #61440              @ encoding: [0x95,0xf4,0x70,0x4f]
3062 @ CHECK: teq.w  r4, r5                  @ encoding: [0x94,0xea,0x05,0x0f]
3063 @ CHECK: teq.w  r4, r5, lsl #5          @ encoding: [0x94,0xea,0x45,0x1f]
3064 @ CHECK: teq.w  r4, r5, lsr #5          @ encoding: [0x94,0xea,0x55,0x1f]
3065 @ CHECK: teq.w  r4, r5, lsr #5          @ encoding: [0x94,0xea,0x55,0x1f]
3066 @ CHECK: teq.w  r4, r5, asr #5          @ encoding: [0x94,0xea,0x65,0x1f]
3067 @ CHECK: teq.w  r4, r5, ror #5          @ encoding: [0x94,0xea,0x75,0x1f]
3068
3069
3070 @------------------------------------------------------------------------------
3071 @ TST
3072 @------------------------------------------------------------------------------
3073         tst r5, #0xf000
3074         tst r2, r5
3075         tst r3, r12, lsl #5
3076         tst r4, r11, lsr #4
3077         tst r5, r10, lsr #12
3078         tst r6, r9, asr #30
3079         tst r7, r8, ror #2
3080
3081 @ CHECK: tst.w  r5, #61440              @ encoding: [0x15,0xf4,0x70,0x4f]
3082 @ CHECK: tst    r2, r5                  @ encoding: [0x2a,0x42]
3083 @ CHECK: tst.w  r3, r12, lsl #5         @ encoding: [0x13,0xea,0x4c,0x1f]
3084 @ CHECK: tst.w  r4, r11, lsr #4         @ encoding: [0x14,0xea,0x1b,0x1f]
3085 @ CHECK: tst.w  r5, r10, lsr #12        @ encoding: [0x15,0xea,0x1a,0x3f]
3086 @ CHECK: tst.w  r6, r9, asr #30         @ encoding: [0x16,0xea,0xa9,0x7f]
3087 @ CHECK: tst.w  r7, r8, ror #2          @ encoding: [0x17,0xea,0xb8,0x0f]
3088
3089
3090 @------------------------------------------------------------------------------
3091 @ UADD16/UADD8
3092 @------------------------------------------------------------------------------
3093         uadd16 r1, r2, r3
3094         uadd8 r1, r2, r3
3095         ite gt
3096         uadd16gt r1, r2, r3
3097         uadd8le r1, r2, r3
3098
3099 @ CHECK: uadd16 r1, r2, r3              @ encoding: [0x92,0xfa,0x43,0xf1]
3100 @ CHECK: uadd8  r1, r2, r3              @ encoding: [0x82,0xfa,0x43,0xf1]
3101 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
3102 @ CHECK: uadd16gt       r1, r2, r3      @ encoding: [0x92,0xfa,0x43,0xf1]
3103 @ CHECK: uadd8le        r1, r2, r3      @ encoding: [0x82,0xfa,0x43,0xf1]
3104
3105
3106 @------------------------------------------------------------------------------
3107 @ UASX
3108 @------------------------------------------------------------------------------
3109         uasx r9, r12, r0
3110         it eq
3111         uasxeq r9, r12, r0
3112         uaddsubx r9, r12, r0
3113         it eq
3114         uaddsubxeq r9, r12, r0
3115
3116 @ CHECK: uasx   r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
3117 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
3118 @ CHECK: uasxeq r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
3119 @ CHECK: uasx   r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
3120 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
3121 @ CHECK: uasxeq r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
3122
3123
3124 @------------------------------------------------------------------------------
3125 @ UBFX
3126 @------------------------------------------------------------------------------
3127         ubfx r4, r5, #16, #1
3128         it gt
3129         ubfxgt r4, r5, #16, #16
3130
3131 @ CHECK: ubfx   r4, r5, #16, #1         @ encoding: [0xc5,0xf3,0x00,0x44]
3132 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
3133 @ CHECK: ubfxgt r4, r5, #16, #16        @ encoding: [0xc5,0xf3,0x0f,0x44]
3134
3135
3136 @------------------------------------------------------------------------------
3137 @ UHADD16/UHADD8
3138 @------------------------------------------------------------------------------
3139         uhadd16 r4, r8, r2
3140         uhadd8 r4, r8, r2
3141         itt gt
3142         uhadd16gt r4, r8, r2
3143         uhadd8gt r4, r8, r2
3144
3145 @ CHECK: uhadd16        r4, r8, r2      @ encoding: [0x98,0xfa,0x62,0xf4]
3146 @ CHECK: uhadd8 r4, r8, r2              @ encoding: [0x88,0xfa,0x62,0xf4]
3147 @ CHECK: itt    gt                      @ encoding: [0xc4,0xbf]
3148 @ CHECK: uhadd16gt      r4, r8, r2      @ encoding: [0x98,0xfa,0x62,0xf4]
3149 @ CHECK: uhadd8gt       r4, r8, r2      @ encoding: [0x88,0xfa,0x62,0xf4]
3150
3151
3152 @------------------------------------------------------------------------------
3153 @ UHASX/UHSAX
3154 @------------------------------------------------------------------------------
3155         uhasx r4, r1, r5
3156         uhsax r5, r6, r6
3157         itt gt
3158         uhasxgt r6, r9, r8
3159         uhsaxgt r7, r8, r12
3160         uhaddsubx r4, r1, r5
3161         uhsubaddx r5, r6, r6
3162         itt gt
3163         uhaddsubxgt r6, r9, r8
3164         uhsubaddxgt r7, r8, r12
3165
3166 @ CHECK: uhasx  r4, r1, r5              @ encoding: [0xa1,0xfa,0x65,0xf4]
3167 @ CHECK: uhsax  r5, r6, r6              @ encoding: [0xe6,0xfa,0x66,0xf5]
3168 @ CHECK: itt    gt                      @ encoding: [0xc4,0xbf]
3169 @ CHECK: uhasxgt r6, r9, r8             @ encoding: [0xa9,0xfa,0x68,0xf6]
3170 @ CHECK: uhsaxgt r7, r8, r12            @ encoding: [0xe8,0xfa,0x6c,0xf7]
3171 @ CHECK: uhasx  r4, r1, r5              @ encoding: [0xa1,0xfa,0x65,0xf4]
3172 @ CHECK: uhsax  r5, r6, r6              @ encoding: [0xe6,0xfa,0x66,0xf5]
3173 @ CHECK: itt    gt                      @ encoding: [0xc4,0xbf]
3174 @ CHECK: uhasxgt r6, r9, r8             @ encoding: [0xa9,0xfa,0x68,0xf6]
3175 @ CHECK: uhsaxgt r7, r8, r12            @ encoding: [0xe8,0xfa,0x6c,0xf7]
3176
3177
3178 @------------------------------------------------------------------------------
3179 @ UHSUB16/UHSUB8
3180 @------------------------------------------------------------------------------
3181         uhsub16 r5, r8, r3
3182         uhsub8 r1, r7, r6
3183         itt lt
3184         uhsub16lt r4, r9, r12
3185         uhsub8lt r3, r1, r5
3186
3187 @ CHECK: uhsub16        r5, r8, r3      @ encoding: [0xd8,0xfa,0x63,0xf5]
3188 @ CHECK: uhsub8 r1, r7, r6              @ encoding: [0xc7,0xfa,0x66,0xf1]
3189 @ CHECK: itt    lt                      @ encoding: [0xbc,0xbf]
3190 @ CHECK: uhsub16lt      r4, r9, r12     @ encoding: [0xd9,0xfa,0x6c,0xf4]
3191 @ CHECK: uhsub8lt       r3, r1, r5      @ encoding: [0xc1,0xfa,0x65,0xf3]
3192
3193
3194 @------------------------------------------------------------------------------
3195 @ UMAAL
3196 @------------------------------------------------------------------------------
3197         umaal r3, r4, r5, r6
3198         it lt
3199         umaallt r3, r4, r5, r6
3200
3201 @ CHECK: umaal  r3, r4, r5, r6          @ encoding: [0xe5,0xfb,0x66,0x34]
3202 @ CHECK: it     lt                      @ encoding: [0xb8,0xbf]
3203 @ CHECK: umaallt        r3, r4, r5, r6  @ encoding: [0xe5,0xfb,0x66,0x34]
3204
3205
3206 @------------------------------------------------------------------------------
3207 @ UMLAL
3208 @------------------------------------------------------------------------------
3209         umlal r2, r4, r6, r8
3210         it gt
3211         umlalgt r6, r1, r2, r6
3212
3213 @ CHECK: umlal  r2, r4, r6, r8          @ encoding: [0xe6,0xfb,0x08,0x24]
3214 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
3215 @ CHECK: umlalgt        r6, r1, r2, r6  @ encoding: [0xe2,0xfb,0x06,0x61]
3216
3217
3218 @------------------------------------------------------------------------------
3219 @ UMULL
3220 @------------------------------------------------------------------------------
3221         umull r2, r4, r6, r8
3222         it gt
3223         umullgt r6, r1, r2, r6
3224
3225 @ CHECK: umull  r2, r4, r6, r8          @ encoding: [0xa6,0xfb,0x08,0x24]
3226 @ CHECK: it     gt                      @ encoding: [0xc8,0xbf]
3227 @ CHECK: umullgt        r6, r1, r2, r6  @ encoding: [0xa2,0xfb,0x06,0x61]
3228
3229
3230 @------------------------------------------------------------------------------
3231 @ UQADD16/UQADD8
3232 @------------------------------------------------------------------------------
3233         uqadd16 r1, r2, r3
3234         uqadd8 r3, r4, r8
3235         ite gt
3236         uqadd16gt r4, r7, r9
3237         uqadd8le r8, r1, r2
3238
3239 @ CHECK: uqadd16        r1, r2, r3      @ encoding: [0x92,0xfa,0x53,0xf1]
3240 @ CHECK: uqadd8 r3, r4, r8              @ encoding: [0x84,0xfa,0x58,0xf3]
3241 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
3242 @ CHECK: uqadd16gt      r4, r7, r9      @ encoding: [0x97,0xfa,0x59,0xf4]
3243 @ CHECK: uqadd8le       r8, r1, r2      @ encoding: [0x81,0xfa,0x52,0xf8]
3244
3245
3246 @------------------------------------------------------------------------------
3247 @ UQASX/UQSAX
3248 @------------------------------------------------------------------------------
3249         uqasx r1, r2, r3
3250         uqsax r3, r4, r8
3251         ite gt
3252         uqasxgt r4, r7, r9
3253         uqsaxle r8, r1, r2
3254
3255         uqaddsubx r1, r2, r3
3256         uqsubaddx r3, r4, r8
3257         ite gt
3258         uqaddsubxgt r4, r7, r9
3259         uqsubaddxle r8, r1, r2
3260
3261 @ CHECK: uqasx  r1, r2, r3              @ encoding: [0xa2,0xfa,0x53,0xf1]
3262 @ CHECK: uqsax  r3, r4, r8              @ encoding: [0xe4,0xfa,0x58,0xf3]
3263 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
3264 @ CHECK: uqasxgt r4, r7, r9             @ encoding: [0xa7,0xfa,0x59,0xf4]
3265 @ CHECK: uqsaxle r8, r1, r2             @ encoding: [0xe1,0xfa,0x52,0xf8]
3266
3267 @ CHECK: uqasx  r1, r2, r3              @ encoding: [0xa2,0xfa,0x53,0xf1]
3268 @ CHECK: uqsax  r3, r4, r8              @ encoding: [0xe4,0xfa,0x58,0xf3]
3269 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
3270 @ CHECK: uqasxgt r4, r7, r9             @ encoding: [0xa7,0xfa,0x59,0xf4]
3271 @ CHECK: uqsaxle r8, r1, r2             @ encoding: [0xe1,0xfa,0x52,0xf8]
3272
3273
3274 @------------------------------------------------------------------------------
3275 @ UQSUB16/UQSUB8
3276 @------------------------------------------------------------------------------
3277         uqsub8 r8, r2, r9
3278         uqsub16 r1, r9, r7
3279         ite gt
3280         uqsub8gt r3, r1, r6
3281         uqsub16le r4, r6, r4
3282
3283 @ CHECK: uqsub8 r8, r2, r9              @ encoding: [0xc2,0xfa,0x59,0xf8]
3284 @ CHECK: uqsub16 r1, r9, r7             @ encoding: [0xd9,0xfa,0x57,0xf1]
3285 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
3286 @ CHECK: uqsub8gt       r3, r1, r6      @ encoding: [0xc1,0xfa,0x56,0xf3]
3287 @ CHECK: uqsub16le      r4, r6, r4      @ encoding: [0xd6,0xfa,0x54,0xf4]
3288
3289
3290 @------------------------------------------------------------------------------
3291 @ UQSUB16/UQSUB8
3292 @------------------------------------------------------------------------------
3293         usad8 r1, r9, r7
3294         usada8 r8, r2, r9, r12
3295         ite gt
3296         usada8gt r3, r1, r6, r9
3297         usad8le r4, r6, r4
3298
3299 @ CHECK: usad8  r1, r9, r7              @ encoding: [0x79,0xfb,0x07,0xf1]
3300 @ CHECK: usada8 r8, r2, r9, r12         @ encoding: [0x72,0xfb,0x09,0xc8]
3301 @ CHECK: ite    gt                      @ encoding: [0xcc,0xbf]
3302 @ CHECK: usada8gt       r3, r1, r6, r9  @ encoding: [0x71,0xfb,0x06,0x93]
3303 @ CHECK: usad8le        r4, r6, r4      @ encoding: [0x76,0xfb,0x04,0xf4]
3304
3305
3306 @------------------------------------------------------------------------------
3307 @ USAT
3308 @------------------------------------------------------------------------------
3309         usat    r8, #1, r10
3310         usat    r8, #4, r10, lsl #0
3311         usat    r8, #5, r10, lsl #31
3312         usat    r8, #16, r10, asr #1
3313
3314 @ CHECK: usat   r8, #1, r10             @ encoding: [0x8a,0xf3,0x01,0x08]
3315 @ CHECK: usat   r8, #4, r10             @ encoding: [0x8a,0xf3,0x04,0x08]
3316 @ CHECK: usat   r8, #5, r10, lsl #31    @ encoding: [0x8a,0xf3,0xc5,0x78]
3317 @ CHECK: usat   r8, #16, r10, asr #1    @ encoding: [0xaa,0xf3,0x50,0x08]
3318
3319
3320 @------------------------------------------------------------------------------
3321 @ USAT16
3322 @------------------------------------------------------------------------------
3323         usat16  r2, #2, r7
3324         usat16  r3, #15, r5
3325
3326 @ CHECK: usat16 r2, #2, r7              @ encoding: [0xa7,0xf3,0x02,0x02]
3327 @ CHECK: usat16 r3, #15, r5             @ encoding: [0xa5,0xf3,0x0f,0x03]
3328
3329
3330 @------------------------------------------------------------------------------
3331 @ USAX
3332 @------------------------------------------------------------------------------
3333         usax r2, r3, r4
3334         it ne
3335         usaxne r6, r1, r9
3336         usubaddx r2, r3, r4
3337         it ne
3338         usubaddxne r6, r1, r9
3339
3340 @ CHECK: usax   r2, r3, r4              @ encoding: [0xe3,0xfa,0x44,0xf2]
3341 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
3342 @ CHECK: usaxne r6, r1, r9              @ encoding: [0xe1,0xfa,0x49,0xf6]
3343 @ CHECK: usax   r2, r3, r4              @ encoding: [0xe3,0xfa,0x44,0xf2]
3344 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
3345 @ CHECK: usaxne r6, r1, r9              @ encoding: [0xe1,0xfa,0x49,0xf6]
3346
3347
3348 @------------------------------------------------------------------------------
3349 @ USUB16/USUB8
3350 @------------------------------------------------------------------------------
3351         usub16 r4, r2, r7
3352         usub8 r1, r8, r5
3353         ite hi
3354         usub16hi r1, r1, r3
3355         usub8ls r9, r2, r3
3356
3357 @ CHECK: usub16 r4, r2, r7              @ encoding: [0xd2,0xfa,0x47,0xf4]
3358 @ CHECK: usub8  r1, r8, r5              @ encoding: [0xc8,0xfa,0x45,0xf1]
3359 @ CHECK: ite    hi                      @ encoding: [0x8c,0xbf]
3360 @ CHECK: usub16hi       r1, r1, r3      @ encoding: [0xd1,0xfa,0x43,0xf1]
3361 @ CHECK: usub8ls        r9, r2, r3      @ encoding: [0xc2,0xfa,0x43,0xf9]
3362
3363
3364 @------------------------------------------------------------------------------
3365 @ UXTAB
3366 @------------------------------------------------------------------------------
3367         uxtab r2, r3, r4
3368         uxtab r4, r5, r6, ror #0
3369         it lt
3370         uxtablt r6, r2, r9, ror #8
3371         uxtab r5, r1, r4, ror #16
3372         uxtab r7, r8, r3, ror #24
3373
3374 @ CHECK: uxtab  r2, r3, r4              @ encoding: [0x53,0xfa,0x84,0xf2]
3375 @ CHECK: uxtab  r4, r5, r6              @ encoding: [0x55,0xfa,0x86,0xf4]
3376 @ CHECK: it     lt                      @ encoding: [0xb8,0xbf]
3377 @ CHECK: uxtablt r6, r2, r9, ror #8     @ encoding: [0x52,0xfa,0x99,0xf6]
3378 @ CHECK: uxtab  r5, r1, r4, ror #16     @ encoding: [0x51,0xfa,0xa4,0xf5]
3379 @ CHECK: uxtab  r7, r8, r3, ror #24     @ encoding: [0x58,0xfa,0xb3,0xf7]
3380
3381
3382 @------------------------------------------------------------------------------
3383 @ UXTAB16
3384 @------------------------------------------------------------------------------
3385         it ge
3386         uxtab16ge r0, r1, r4
3387         uxtab16 r6, r2, r7, ror #0
3388         uxtab16 r3, r5, r8, ror #8
3389         uxtab16 r3, r2, r1, ror #16
3390         it eq
3391         uxtab16eq r1, r2, r3, ror #24
3392
3393 @ CHECK: it     ge                      @ encoding: [0xa8,0xbf]
3394 @ CHECK: uxtab16ge      r0, r1, r4      @ encoding: [0x31,0xfa,0x84,0xf0]
3395 @ CHECK: uxtab16 r6, r2, r7             @ encoding: [0x32,0xfa,0x87,0xf6]
3396 @ CHECK: uxtab16 r3, r5, r8, ror #8     @ encoding: [0x35,0xfa,0x98,0xf3]
3397 @ CHECK: uxtab16 r3, r2, r1, ror #16    @ encoding: [0x32,0xfa,0xa1,0xf3]
3398 @ CHECK: it     eq                      @ encoding: [0x08,0xbf]
3399 @ CHECK: uxtab16eq r1, r2, r3, ror #24  @ encoding: [0x32,0xfa,0xb3,0xf1]
3400
3401
3402 @------------------------------------------------------------------------------
3403 @ UXTAH
3404 @------------------------------------------------------------------------------
3405         uxtah r1, r3, r9
3406         it hi
3407         uxtahhi r6, r1, r6, ror #0
3408         uxtah r3, r8, r3, ror #8
3409         it lo
3410         uxtahlo r2, r2, r4, ror #16
3411         uxtah r9, r3, r3, ror #24
3412
3413 @ CHECK: uxtah  r1, r3, r9              @ encoding: [0x13,0xfa,0x89,0xf1]
3414 @ CHECK: it     hi                      @ encoding: [0x88,0xbf]
3415 @ CHECK: uxtahhi r6, r1, r6             @ encoding: [0x11,0xfa,0x86,0xf6]
3416 @ CHECK: uxtah  r3, r8, r3, ror #8      @ encoding: [0x18,0xfa,0x93,0xf3]
3417 @ CHECK: it     lo                      @ encoding: [0x38,0xbf]
3418 @ CHECK: uxtahlo r2, r2, r4, ror #16    @ encoding: [0x12,0xfa,0xa4,0xf2]
3419 @ CHECK: uxtah  r9, r3, r3, ror #24     @ encoding: [0x13,0xfa,0xb3,0xf9]
3420
3421
3422 @------------------------------------------------------------------------------
3423 @ UXTB
3424 @------------------------------------------------------------------------------
3425         it ge
3426         uxtbge r2, r4
3427         uxtb r5, r6, ror #0
3428         uxtb r6, r9, ror #8
3429         it cc
3430         uxtbcc r5, r1, ror #16
3431         uxtb r8, r3, ror #24
3432         uxtb.w  r7, r8
3433
3434 @ CHECK: it     ge                      @ encoding: [0xa8,0xbf]
3435 @ CHECK: uxtbge r2, r4                  @ encoding: [0xe2,0xb2]
3436 @ CHECK: uxtb   r5, r6                  @ encoding: [0xf5,0xb2]
3437 @ CHECK: uxtb.w r6, r9, ror #8          @ encoding: [0x5f,0xfa,0x99,0xf6]
3438 @ CHECK: it     lo                      @ encoding: [0x38,0xbf]
3439 @ CHECK: uxtblo.w       r5, r1, ror #16 @ encoding: [0x5f,0xfa,0xa1,0xf5]
3440 @ CHECK: uxtb.w r8, r3, ror #24         @ encoding: [0x5f,0xfa,0xb3,0xf8]
3441 @ CHECK: uxtb.w r7, r8                  @ encoding: [0x5f,0xfa,0x88,0xf7]
3442
3443
3444 @------------------------------------------------------------------------------
3445 @ UXTB16
3446 @------------------------------------------------------------------------------
3447         uxtb16 r1, r4
3448         uxtb16 r6, r7, ror #0
3449         it cs
3450         uxtb16cs r3, r5, ror #8
3451         uxtb16 r3, r1, ror #16
3452         it ge
3453         uxtb16ge r2, r3, ror #24
3454
3455 @ CHECK: uxtb16 r1, r4                  @ encoding: [0x3f,0xfa,0x84,0xf1]
3456 @ CHECK: uxtb16 r6, r7                  @ encoding: [0x3f,0xfa,0x87,0xf6]
3457 @ CHECK: it     hs                      @ encoding: [0x28,0xbf]
3458 @ CHECK: uxtb16hs       r3, r5, ror #8  @ encoding: [0x3f,0xfa,0x95,0xf3]
3459 @ CHECK: uxtb16 r3, r1, ror #16         @ encoding: [0x3f,0xfa,0xa1,0xf3]
3460 @ CHECK: it     ge                      @ encoding: [0xa8,0xbf]
3461 @ CHECK: uxtb16ge       r2, r3, ror #24 @ encoding: [0x3f,0xfa,0xb3,0xf2]
3462
3463
3464 @------------------------------------------------------------------------------
3465 @ UXTH
3466 @------------------------------------------------------------------------------
3467         it ne
3468         uxthne r3, r9
3469         uxth r1, r6, ror #0
3470         uxth r3, r8, ror #8
3471         it le
3472         uxthle r2, r2, ror #16
3473         uxth r9, r3, ror #24
3474         uxth.w  r7, r8
3475
3476 @ CHECK: it     ne                      @ encoding: [0x18,0xbf]
3477 @ CHECK: uxthne.w       r3, r9          @ encoding: [0x1f,0xfa,0x89,0xf3]
3478 @ CHECK: uxth   r1, r6                  @ encoding: [0xb1,0xb2]
3479 @ CHECK: uxth.w r3, r8, ror #8          @ encoding: [0x1f,0xfa,0x98,0xf3]
3480 @ CHECK: it     le                      @ encoding: [0xd8,0xbf]
3481 @ CHECK: uxthle.w       r2, r2, ror #16 @ encoding: [0x1f,0xfa,0xa2,0xf2]
3482 @ CHECK: uxth.w r9, r3, ror #24         @ encoding: [0x1f,0xfa,0xb3,0xf9]
3483 @ CHECK: uxth.w r7, r8                  @ encoding: [0x1f,0xfa,0x88,0xf7]
3484
3485 @------------------------------------------------------------------------------
3486 @ WFE/WFI/YIELD/HINT
3487 @------------------------------------------------------------------------------
3488         wfe
3489         wfi
3490         yield
3491         itet lt
3492         wfelt
3493         wfige
3494         yieldlt
3495         hint.w #4
3496         hint #3
3497         hint #2
3498         hint #1
3499         hint #0
3500
3501 @ CHECK: wfe                            @ encoding: [0x20,0xbf]
3502 @ CHECK: wfi                            @ encoding: [0x30,0xbf]
3503 @ CHECK: yield                          @ encoding: [0x10,0xbf]
3504 @ CHECK: itet   lt                      @ encoding: [0xb6,0xbf]
3505 @ CHECK: wfelt                          @ encoding: [0x20,0xbf]
3506 @ CHECK: wfige                          @ encoding: [0x30,0xbf]
3507 @ CHECK: yieldlt                        @ encoding: [0x10,0xbf]
3508 @ CHECK: sev.w                          @ encoding: [0xaf,0xf3,0x04,0x80]
3509 @ CHECK: wfi.w                          @ encoding: [0xaf,0xf3,0x03,0x80]
3510 @ CHECK: wfe.w                          @ encoding: [0xaf,0xf3,0x02,0x80]
3511 @ CHECK: yield.w                        @ encoding: [0xaf,0xf3,0x01,0x80]
3512 @ CHECK: nop.w                          @ encoding: [0xaf,0xf3,0x00,0x80]
3513
3514
3515 @------------------------------------------------------------------------------
3516 @ Alternate syntax for LDR*(literal) encodings
3517 @------------------------------------------------------------------------------
3518         ldrb r11, [pc, #22]
3519         ldrh r11, [pc, #22]
3520         ldrsb r11, [pc, #22]
3521         ldrsh r11, [pc, #22]
3522         ldr.w r11, [pc, #22]
3523         ldrb.w r11, [pc, #22]
3524         ldrh.w r11, [pc, #22]
3525         ldrsb.w r11, [pc, #22]
3526         ldrsh.w r11, [pc, #22]
3527
3528 @ CHECK: ldrb.w r11, [pc, #22]        @ encoding: [0x9f,0xf8,0x16,0xb0]
3529 @ CHECK: ldrh.w r11, [pc, #22]        @ encoding: [0xbf,0xf8,0x16,0xb0]
3530 @ CHECK: ldrsb.w r11, [pc, #22]       @ encoding: [0x9f,0xf9,0x16,0xb0]
3531 @ CHECK: ldrsh.w r11, [pc, #22]       @ encoding: [0xbf,0xf9,0x16,0xb0]
3532 @ CHECK: ldr.w r11, [pc, #22]         @ encoding: [0xdf,0xf8,0x16,0xb0]
3533 @ CHECK: ldrb.w r11, [pc, #22]        @ encoding: [0x9f,0xf8,0x16,0xb0]
3534 @ CHECK: ldrh.w r11, [pc, #22]        @ encoding: [0xbf,0xf8,0x16,0xb0]
3535 @ CHECK: ldrsb.w r11, [pc, #22]       @ encoding: [0x9f,0xf9,0x16,0xb0]
3536 @ CHECK: ldrsh.w r11, [pc, #22]       @ encoding: [0xbf,0xf9,0x16,0xb0]
3537
3538         ldr r11, [pc, #-22]
3539         ldrb r11, [pc, #-22]
3540         ldrh r11, [pc, #-22]
3541         ldrsb r11, [pc, #-22]
3542         ldrsh r11, [pc, #-22]
3543         ldr.w r11, [pc, #-22]
3544         ldrb.w r11, [pc, #-22]
3545         ldrh.w r11, [pc, #-22]
3546         ldrsb.w r11, [pc, #-22]
3547         ldrsh.w r11, [pc, #-22]
3548
3549 @ CHECK: ldr.w  r11, [pc, #-22]         @ encoding: [0x5f,0xf8,0x16,0xb0]
3550 @ CHECK: ldrb.w r11, [pc, #-22]         @ encoding: [0x1f,0xf8,0x16,0xb0]
3551 @ CHECK: ldrh.w r11, [pc, #-22]         @ encoding: [0x3f,0xf8,0x16,0xb0]
3552 @ CHECK: ldrsb.w r11, [pc, #-22]        @ encoding: [0x1f,0xf9,0x16,0xb0]
3553 @ CHECK: ldrsh.w r11, [pc, #-22]        @ encoding: [0x3f,0xf9,0x16,0xb0]
3554 @ CHECK: ldr.w  r11, [pc, #-22]         @ encoding: [0x5f,0xf8,0x16,0xb0]
3555 @ CHECK: ldrb.w r11, [pc, #-22]         @ encoding: [0x1f,0xf8,0x16,0xb0]
3556 @ CHECK: ldrh.w r11, [pc, #-22]         @ encoding: [0x3f,0xf8,0x16,0xb0]
3557 @ CHECK: ldrsb.w r11, [pc, #-22]        @ encoding: [0x1f,0xf9,0x16,0xb0]
3558 @ CHECK: ldrsh.w r11, [pc, #-22]        @ encoding: [0x3f,0xf9,0x16,0xb0]
3559
3560 @ rdar://12596361
3561         ldr r1, [pc, #12]
3562 @ CHECK: ldr.n r1, [pc, #12]        @ encoding: [0x03,0x49]