| 1 | .syntax unified |
| 2 | .thumb |
| 3 | |
| 4 | .macro it_test opcode operands:vararg |
| 5 | itt eq |
| 6 | \opcode\()eq r15, \operands |
| 7 | moveq r0, r0 |
| 8 | .endm |
| 9 | |
| 10 | .macro it_testw opcode operands:vararg |
| 11 | itt eq |
| 12 | \opcode\()eq.w r15, \operands |
| 13 | moveq r0, r0 |
| 14 | .endm |
| 15 | |
| 16 | .macro LOAD operands:vararg |
| 17 | it_test ldr, \operands |
| 18 | .endm |
| 19 | |
| 20 | .macro LOADw operands:vararg |
| 21 | it_testw ldr, \operands |
| 22 | .endm |
| 23 | |
| 24 | @ Loads =============================================================== |
| 25 | |
| 26 | @ LDR (register) |
| 27 | LOAD [r0] |
| 28 | LOAD [r0,#0] |
| 29 | LOAD [sp] |
| 30 | LOAD [sp,#0] |
| 31 | LOADw [r0] |
| 32 | LOADw [r0,#0] |
| 33 | LOAD [r0,#-4] |
| 34 | LOAD [r0],#4 |
| 35 | LOAD [r0,#0]! |
| 36 | |
| 37 | @ LDR (literal) |
| 38 | LOAD label |
| 39 | LOADw label |
| 40 | LOADw [pc, #-0] |
| 41 | |
| 42 | @ LDR (register) |
| 43 | LOAD [r0, r1] |
| 44 | LOADw [r0, r1] |
| 45 | LOADw [r0, r1, LSL #2] |
| 46 | |
| 47 | @ LDRB (immediate, Thumb) |
| 48 | ldrb pc, [r0,#4] @ low reg |
| 49 | @ldrb r0, [pc,#4] @ ALLOWED! |
| 50 | ldrb.w sp, [r0,#4] @ Unpredictable |
| 51 | ldrb.w pc, [r0,#4] @ => PLD |
| 52 | ldrb pc, [r0, #-4] @ => PLD |
| 53 | @ LDRB<c><q> <Rt>, [<Rn>, #+<imm>] => See LDRBT |
| 54 | ldrb pc, [r0],#4 @ BadReg |
| 55 | ldrb sp, [r0],#4 @ ditto |
| 56 | ldrb pc,[r0,#4]! @ ditto |
| 57 | ldrb sp,[r0,#4]! @ ditto |
| 58 | |
| 59 | @ LDRB (literal) |
| 60 | ldrb pc,label @ => PLD |
| 61 | ldrb pc,[PC,#-0] @ => PLD (special case) |
| 62 | ldrb sp,label @ Unpredictable |
| 63 | ldrb sp,[PC,#-0] @ ditto |
| 64 | |
| 65 | @ LDRB (register) |
| 66 | ldrb pc,[r0,r1] @ low reg |
| 67 | ldrb r0,[pc,r1] @ ditto |
| 68 | ldrb r0,[r1,pc] @ ditto |
| 69 | ldrb.w pc,[r0,r1,LSL #1] @ => PLD |
| 70 | ldrb.w sp,[r0,r1] @ Unpredictable |
| 71 | ldrb.w r2,[r0,pc,LSL #2] @ BadReg |
| 72 | ldrb.w r2,[r0,sp,LSL #2] @ ditto |
| 73 | |
| 74 | @ LDRBT |
| 75 | ldrbt pc, [r0, #4] @ BadReg |
| 76 | ldrbt sp, [r0, #4] @ ditto |
| 77 | |
| 78 | @ LDRD (immediate) |
| 79 | ldrd pc, r0, [r1] @ BadReg |
| 80 | ldrd sp, r0, [r1] @ ditto |
| 81 | ldrd r0, pc, [r1] @ ditto |
| 82 | ldrd r0, sp, [r1] @ ditto |
| 83 | ldrd pc, r0, [r1], #4 @ ditto |
| 84 | ldrd sp, r0, [r1], #4 @ ditto |
| 85 | ldrd r0, pc, [r1], #4 @ ditto |
| 86 | ldrd r0, sp, [r1], #4 @ ditto |
| 87 | ldrd pc, r0, [r1, #4]! @ ditto |
| 88 | ldrd sp, r0, [r1, #4]! @ ditto |
| 89 | ldrd r0, pc, [r1, #4]! @ ditto |
| 90 | ldrd r0, sp, [r1, #4]! @ ditto |
| 91 | |
| 92 | @ LDRD (literal) |
| 93 | ldrd pc, r0, label @ BadReg |
| 94 | ldrd sp, r0, label @ ditto |
| 95 | ldrd r0, pc, label @ ditto |
| 96 | ldrd r0, sp, label @ ditto |
| 97 | ldrd pc, r0, [pc, #-0] @ ditto |
| 98 | ldrd sp, r0, [pc, #-0] @ ditto |
| 99 | ldrd r0, pc, [pc, #-0] @ ditto |
| 100 | ldrd r0, sp, [pc, #-0] @ ditto |
| 101 | |
| 102 | @ LDRD (register): ARM only |
| 103 | |
| 104 | @ LDREX/B/D/H |
| 105 | ldrex pc, [r0] @ BadReg |
| 106 | ldrex sp, [r0] @ ditto |
| 107 | ldrex r0, [pc] @ Unpredictable |
| 108 | ldrexb pc, [r0] @ BadReg |
| 109 | ldrexb sp, [r0] @ ditto |
| 110 | ldrexb r0, [pc] @ Unpredictable |
| 111 | ldrexd pc, r0, [r1] @ BadReg |
| 112 | ldrexd sp, r0, [r1] @ ditto |
| 113 | ldrexd r0, pc, [r1] @ ditto |
| 114 | ldrexd r0, sp, [r1] @ ditto |
| 115 | ldrexd r0, r1, [pc] @ Unpredictable |
| 116 | ldrexh pc, [r0] @ BadReg |
| 117 | ldrexh sp, [r0] @ ditto |
| 118 | ldrexh r0, [pc] @ Unpredictable |
| 119 | |
| 120 | @ LDRH (immediate) |
| 121 | ldrh pc, [r0] @ low reg |
| 122 | ldrh pc, [r0, #4] @ ditto |
| 123 | @ldrh r0, [pc] @ ALLOWED! |
| 124 | @ldrh r0, [pc, #4] @ ditto |
| 125 | ldrh.w pc, [r0] @ => Unallocated memory hints |
| 126 | ldrh.w pc, [r0, #4] @ ditto |
| 127 | ldrh.w sp, [r0] @ Unpredictable |
| 128 | ldrh.w sp, [r0, #4] @ ditto |
| 129 | ldrh pc, [r0, #-3] @ => Unallocated memory hint |
| 130 | @ LDRH<c><q> <Rt>, [<Rn>, #+<imm>] => See LDRHT |
| 131 | ldrh pc,[r0],#4 @ BadReg |
| 132 | ldrh sp,[r0],#4 @ ditto |
| 133 | ldrh pc,[r0,#4]! @ ditto |
| 134 | ldrh sp,[r0,#4]! @ ditto |
| 135 | |
| 136 | @ LDRH (literal) |
| 137 | ldrh pc, label @ Unallocated memory hint |
| 138 | ldrh pc, [pc, #-0] @ ditto |
| 139 | ldrh sp, label @ Unpredictable |
| 140 | ldrh sp, [pc, #-0] @ ditto |
| 141 | |
| 142 | @ LDRH (register) |
| 143 | ldrh pc, [r0, r1] @ low reg |
| 144 | ldrh r0, [pc, r1] @ ditto |
| 145 | ldrh r0, [r1, pc] @ ditto |
| 146 | ldrh.w pc,[r0,r1,LSL #1] @ => Unallocated memory hints |
| 147 | ldrh.w sp,[r0,r1,LSL #1] @ Unpredictable |
| 148 | ldrh.w r2,[r0,pc,LSL #1] @ ditto |
| 149 | ldrh.w r2,[r0,sp,LSL #1] @ ditto |
| 150 | |
| 151 | @ LDRHT |
| 152 | ldrht pc, [r0, #4] @ BadReg |
| 153 | ldrht sp, [r0, #4] @ ditto |
| 154 | |
| 155 | @ LDRSB (immediate) |
| 156 | ldrsb pc, [r0, #4] @ => PLI |
| 157 | @ldrsb r0, [pc, #4] => LDRSB (literal) |
| 158 | ldrsb sp, [r0, #4] @ Unpredictable |
| 159 | ldrsb pc, [r0, #-4] @ => PLI |
| 160 | ldrsb sp,[r0,#-4] @ BadReg |
| 161 | ldrsb pc,[r0],#4 @ ditto |
| 162 | ldrsb sp,[r0],#4 @ ditto |
| 163 | ldrsb pc,[r0,#4]! @ ditto |
| 164 | ldrsb sp,[r0,#4]! @ ditto |
| 165 | |
| 166 | @ LDRSB (literal) |
| 167 | ldrsb pc, label @ => PLI |
| 168 | ldrsb pc, [pc, #-0] @ => PLI |
| 169 | ldrsb sp, label @ Unpredictable |
| 170 | ldrsb sp, [pc, #-0] @ ditto |
| 171 | |
| 172 | @ LDRSB (register) |
| 173 | ldrsb pc, [r0, r1] @ low reg |
| 174 | ldrsb r0, [pc, r1] @ ditto |
| 175 | ldrsb r0, [r1, pc] @ ditto |
| 176 | ldrsb.w pc, [r0, r1, LSL #2] @ => PLI |
| 177 | @ldrsb.w r0, [pc, r0, LSL #2] => LDRSB (literal) |
| 178 | ldrsb.w sp, [r0, r1, LSL #2] @ Unpredictable |
| 179 | ldrsb.w r2, [r0, pc, LSL #2] @ ditto |
| 180 | ldrsb.w r2, [r0, sp, LSL #2] @ ditto |
| 181 | |
| 182 | @ LDRSBT |
| 183 | @ldrsbt r0, [pc, #4] => LDRSB (literal) |
| 184 | ldrsbt pc, [r0, #4] @ BadReg |
| 185 | ldrsbt sp, [r0, #4] @ ditto |
| 186 | |
| 187 | @ LDRSH (immediate) |
| 188 | @ldrsh r0,[pc,#4] => LDRSH (literal) |
| 189 | ldrsh pc,[r0,#4] @ => Unallocated memory hints |
| 190 | ldrsh sp,[r0,#4] @ Unpredictable |
| 191 | ldrsh pc, [r0, #-4] @ => Unallocated memory hints |
| 192 | ldrsh pc,[r0],#4 @ BadReg |
| 193 | ldrsh pc,[r0,#4]! @ ditto |
| 194 | ldrsh sp,[r0,#-4] @ ditto |
| 195 | ldrsh sp,[r0],#4 @ ditto |
| 196 | ldrsh sp,[r0,#4]! @ ditto |
| 197 | |
| 198 | @ LDRSH (literal) |
| 199 | ldrsh pc, label @ => Unallocated memory hints |
| 200 | ldrsh sp, label @ Unpredictable |
| 201 | ldrsh sp, [pc,#-0] @ ditto |
| 202 | |
| 203 | @ LDRSH (register) |
| 204 | ldrsh pc,[r0,r1] @ low reg |
| 205 | ldrsh r0,[pc,r1] @ ditto |
| 206 | ldrsh r0,[r1,pc] @ ditto |
| 207 | @ldrsh.w r0,[pc,r1,LSL #3] => LDRSH (literal) |
| 208 | ldrsh.w pc,[r0,r1,LSL #3] @ => Unallocated memory hints |
| 209 | ldrsh.w sp,[r0,r1,LSL #3] @ Unpredictable |
| 210 | ldrsh.w r0,[r1,sp,LSL #3] @ BadReg |
| 211 | ldrsh.w r0,[r1,pc,LSL #3] @ ditto |
| 212 | |
| 213 | @ LDRSHT |
| 214 | @ldrsht r0,[pc,#4] => LDRSH (literal) |
| 215 | ldrsht pc,[r0,#4] @ BadReg |
| 216 | ldrsht sp,[r0,#4] @ ditto |
| 217 | |
| 218 | @ LDRT |
| 219 | @ldrt r0,[pc,#4] => LDR (literal) |
| 220 | ldrt pc,[r0,#4] @ BadReg |
| 221 | ldrt sp,[r0,#4] @ ditto |
| 222 | |
| 223 | @ Stores ============================================================== |
| 224 | |
| 225 | @ STR (immediate, Thumb) |
| 226 | str pc, [r0, #4] @ Unpredictable |
| 227 | str.w r0, [pc, #4] @ Undefined |
| 228 | str r0, [pc, #-4] @ ditto |
| 229 | str r0, [pc], #4 @ ditto |
| 230 | str r0, [pc, #4]! @ ditto |
| 231 | |
| 232 | @ STR (register) |
| 233 | str.w r0,[pc,r1] @ Undefined |
| 234 | str.w r0,[pc,r1,LSL #2] @ ditto |
| 235 | @str.w pc,[r0,r1{,LSL #<imm2>}] @ Unpredictable |
| 236 | @str.w r1,[r0,sp{,LSL #<imm2>}] @ ditto |
| 237 | @str.w r1,[r0,pc{,LSL #<imm2>}] @ ditto |
| 238 | |
| 239 | @ STRB (immediate, Thumb) |
| 240 | strb.w r0,[pc,#4] @ Undefined |
| 241 | strb.w pc,[r0,#4] @ Unpredictable |
| 242 | strb.w sp,[r0,#4] @ ditto |
| 243 | strb r0,[pc,#-4] @ Undefined |
| 244 | strb r0,[pc],#4 @ ditto |
| 245 | strb r0,[pc,#4]! @ ditto |
| 246 | strb pc,[r0,#-4] @ Unpredictable |
| 247 | strb pc,[r0],#4 @ ditto |
| 248 | strb pc,[r0,#4]! @ ditto |
| 249 | strb sp,[r0,#-4] @ ditto |
| 250 | strb sp,[r0],#4 @ ditto |
| 251 | strb sp,[r0,#4]! @ ditto |
| 252 | |
| 253 | @ STRB (register) |
| 254 | strb.w r0,[pc,r1] @ Undefined |
| 255 | strb.w r0,[pc,r1,LSL #2] @ ditto |
| 256 | strb.w pc,[r0,r1] @ Unpredictable |
| 257 | strb.w pc,[r0,r1,LSL #2] @ ditto |
| 258 | strb.w sp,[r0,r1] @ ditto |
| 259 | strb.w sp,[r0,r1,LSL #2] @ ditto |
| 260 | strb.w r0,[r1,pc] @ ditto |
| 261 | strb.w r0,[r1,pc,LSL #2] @ ditto |
| 262 | strb.w r0,[r1,sp] @ ditto |
| 263 | strb.w r0,[r1,sp,LSL #2] @ ditto |
| 264 | |
| 265 | @ STRBT |
| 266 | strbt r0,[pc,#4] @ Undefined |
| 267 | strbt pc,[r0,#4] @ Unpredictable |
| 268 | strbt sp,[r0,#4] @ ditto |
| 269 | |
| 270 | @ STRD (immediate) |
| 271 | strd r0,r1,[pc,#4] @ Unpredictable |
| 272 | strd r0,r1,[pc],#4 @ ditto |
| 273 | strd r0,r1,[pc,#4]! @ ditto |
| 274 | strd pc,r0,[r1,#4] @ ditto |
| 275 | strd pc,r0,[r1],#4 @ ditto |
| 276 | strd pc,r0,[r1,#4]! @ ditto |
| 277 | strd sp,r0,[r1,#4] @ ditto |
| 278 | strd sp,r0,[r1],#4 @ ditto |
| 279 | strd sp,r0,[r1,#4]! @ ditto |
| 280 | strd r0,pc,[r1,#4] @ ditto |
| 281 | strd r0,pc,[r1],#4 @ ditto |
| 282 | strd r0,pc,[r1,#4]! @ ditto |
| 283 | strd r0,sp,[r1,#4] @ ditto |
| 284 | strd r0,sp,[r1],#4 @ ditto |
| 285 | strd r0,sp,[r1,#4]! @ ditto |
| 286 | |
| 287 | @ STRD (register) |
| 288 | @No thumb. |
| 289 | |
| 290 | @ STREX |
| 291 | strex pc,r0,[r1] @ Unpredictable |
| 292 | strex pc,r0,[r1,#4] @ ditto |
| 293 | strex sp,r0,[r1] @ ditto |
| 294 | strex sp,r0,[r1,#4] @ ditto |
| 295 | strex r0,pc,[r1] @ ditto |
| 296 | strex r0,pc,[r1,#4] @ ditto |
| 297 | strex r0,sp,[r1] @ ditto |
| 298 | strex r0,sp,[r1,#4] @ ditto |
| 299 | strex r0,r1,[pc] @ ditto |
| 300 | strex r0,r1,[pc,#4] @ ditto |
| 301 | |
| 302 | @ STREXB |
| 303 | strexb pc,r0,[r1] @ Unpredictable |
| 304 | strexb sp,r0,[r1] @ ditto |
| 305 | strexb r0,pc,[r1] @ ditto |
| 306 | strexb r0,sp,[r1] @ ditto |
| 307 | strexb r0,r1,[pc] @ ditto |
| 308 | |
| 309 | @ STREXD |
| 310 | strexd pc,r0,r1,[r2] @ Unpredictable |
| 311 | strexd sp,r0,r1,[r2] @ ditto |
| 312 | strexd r0,pc,r1,[r2] @ ditto |
| 313 | strexd r0,sp,r1,[r2] @ ditto |
| 314 | strexd r0,r1,pc,[r2] @ ditto |
| 315 | strexd r0,r1,sp,[r2] @ ditto |
| 316 | strexd r0,r1,r2,[pc] @ ditto |
| 317 | |
| 318 | @ STREXH |
| 319 | strexh pc,r0,[r1] @ Unpredictable |
| 320 | strexh sp,r0,[r1] @ ditto |
| 321 | strexh r0,pc,[r1] @ ditto |
| 322 | strexh r0,sp,[r1] @ ditto |
| 323 | strexh r0,r1,[pc] @ ditto |
| 324 | |
| 325 | @ STRH (immediate, Thumb) |
| 326 | strh.w r0,[pc] @ Undefined |
| 327 | strh.w r0,[pc,#4] @ ditto |
| 328 | strh r0,[pc,#-4] @ ditto |
| 329 | strh r0,[pc],#4 @ ditto |
| 330 | strh r0,[pc,#4]! @ ditto |
| 331 | |
| 332 | @ STRH (register) |
| 333 | strh.w r0,[pc,r1] @ Undefined |
| 334 | strh.w r0,[pc,r1,LSL #2] @ ditto |
| 335 | strh.w pc,[r0,#4] @ Unpredictable |
| 336 | strh.w pc,[r0] @ ditto |
| 337 | strh.w sp,[r0,#4] @ ditto |
| 338 | strh.w sp,[r0] @ ditto |
| 339 | strh pc,[r0,#-4] @ ditto |
| 340 | strh pc,[r0],#4 @ ditto |
| 341 | strh pc,[r0,#4]! @ ditto |
| 342 | strh sp,[r0,#-4] @ ditto |
| 343 | strh sp,[r0],#4 @ ditto |
| 344 | strh sp,[r0,#4]! @ ditto |
| 345 | strh.w pc,[r0,r1] @ ditto |
| 346 | strh.w sp,[r0,r1] @ ditto |
| 347 | strh.w r0,[r1,pc] @ ditto |
| 348 | strh.w r0,[r1,sp] @ ditto |
| 349 | strh.w pc,[r0,r1,LSL #2] @ ditto |
| 350 | strh.w sp,[r0,r1,LSL #2] @ ditto |
| 351 | strh.w r0,[r1,pc,LSL #2] @ ditto |
| 352 | strh.w r0,[r1,sp,LSL #2] @ ditto |
| 353 | |
| 354 | @ STRHT |
| 355 | strht r0,[pc,#4] @ Undefined |
| 356 | strht pc,[r0,#4] @ Unpredictable |
| 357 | strht sp,[pc,#4] @ ditto |
| 358 | |
| 359 | @ STRT |
| 360 | strt r0,[pc,#4] @ Undefined |
| 361 | strt pc,[r0,#4] @ Unpredictable |
| 362 | strt sp,[r0,#4] @ ditto |
| 363 | |
| 364 | @ ============================================================================ |
| 365 | |
| 366 | .label: |
| 367 | ldr r0, [r1] |