ARM® and Thumb®-2 Instruction Set
Quick Reference Card
Key to Tables
Rm {,
} See Table Register, optionally shifted by constant A comma-separated list of registers, enclosed in braces { and }.
See Table Flexible Operand 2. Shift and rotate are only available as part of Operand2. As , must not include the PC.
See Table PSR fields. As , including the PC.
APSR (Application Program Status Register), CPSR (Current Processor Status Register), or SPSR
(Saved Processor Status Register)
Either nzcvq (ALU flags PSR[31:27]) or g (SIMD GE flags
PSR[19:16])
C*, V* Flag is unpredictable in Architecture v4 and earlier, unchanged in Architecture v5 and later. § See Table ARM architecture versions.
Can be Rs or an immediate shift value. The values allowed for each shift type are the same as those +/- + or –. (+ may be omitted.)
shown in Table Register, optionally shifted by constant. Interrupt flags. One or more of a, i, f (abort, interrupt, fast interrupt).
x,y B meaning half-register [15:0], or T meaning [31:16]. See Table Processor Modes
ARM: a 32-bit constant, formed by right-rotating an 8-bit value by an even number of bits. SPm SP for the processor mode specified by
Thumb: a 32-bit constant, formed by left-shifting an 8-bit value by any number of bits, or a bit Least significant bit of bitfield.
pattern of one of the forms 0xXYXYXYXY, 0x00XY00XY or 0xXY00XY00. Width of bitfield. + must be <= 32.
See Table Prefixes for Parallel instructions {X} RsX is Rs rotated 16 bits if X present. Otherwise, RsX is Rs.
{IA|IB|DA|DB} Increment After, Increment Before, Decrement After, or Decrement Before. {!} Updates base register after data transfer if ! present (pre-indexed).
IB and DA are not available in Thumb state. If omitted, defaults to IA. {S} Updates condition flags if S present.
B, SB, H, or SH, meaning Byte, Signed Byte, Halfword, and Signed Halfword respectively. {T} User mode privilege if T present.
SB and SH are not available in STR instructions. {R} Rounds result to nearest if R present, otherwise truncates result.
Operation § Assembler S updates Action Notes
Add Add ADD{S} Rd, Rn, N Z C V Rd := Rn + Operand2 N
with carry ADC{S} Rd, Rn, N Z C V Rd := Rn + Operand2 + Carry N
wide T2 ADD Rd, Rn, # Rd := Rn + imm12, imm12 range 0-4095 T, P
saturating {doubled} 5E Q{D}ADD Rd, Rm, Rn Rd := SAT(Rm + Rn) doubled: Rd := SAT(Rm + SAT(Rn * 2)) Q
Address Form PC-relative address ADR Rd, Rd := , for range from current instruction see Note L N, L
Subtract Subtract SUB{S} Rd, Rn, N Z C V Rd := Rn – Operand2 N
with carry SBC{S} Rd, Rn, N Z C V Rd := Rn – Operand2 – NOT(Carry) N
wide T2 SUB Rd, Rn, # Rd := Rn – imm12, imm12 range 0-4095 T, P
reverse subtract RSB{S} Rd, Rn, N Z C V Rd := Operand2 – Rn N
reverse subtract with carry RSC{S} Rd, Rn, N Z C V Rd := Operand2 – Rn – NOT(Carry) A
saturating {doubled} 5E Q{D}SUB Rd, Rm, Rn Rd := SAT(Rm – Rn) doubled: Rd := SAT(Rm – SAT(Rn * 2)) Q
Exception return without stack SUBS PC, LR, # N Z C V PC = LR – imm8, CPSR = SPSR(current mode), imm8 range 0-255.
Parallel
arithmetic
Halfword-wise addition 6 ADD16 Rd, Rn, Rm Rd[31:16] := Rn[31:16] + Rm[31:16], Rd[15:0] := Rn[15:0] + Rm[15:0] G
Halfword-wise subtraction 6 SUB16 Rd, Rn, Rm Rd[31:16] := Rn[31:16] – Rm[31:16], Rd[15:0] := Rn[15:0] – Rm[15:0] G
Byte-wise addition 6 ADD8 Rd, Rn, Rm Rd[31:24] := Rn[31:24] + Rm[31:24], Rd[23:16] := Rn[23:16] + Rm[23:16],
Rd[15:8] := Rn[15:8] + Rm[15:8], Rd[7:0] := Rn[7:0] + Rm[7:0]
G
Byte-wise subtraction 6 SUB8 Rd, Rn, Rm Rd[31:24] := Rn[31:24] – Rm[31:24], Rd[23:16] := Rn[23:16] – Rm[23:16],
Rd[15:8] := Rn[15:8] – Rm[15:8], Rd[7:0] := Rn[7:0] – Rm[7:0]
G
Halfword-wise exchange, add, subtract 6 ASX Rd, Rn, Rm Rd[31:16] := Rn[31:16] + Rm[15:0], Rd[15:0] := Rn[15:0] – Rm[31:16] G
Halfword-wise exchange, subtract, add 6 SAX Rd, Rn, Rm Rd[31:16] := Rn[31:16] – Rm[15:0], Rd[15:0] := Rn[15:0] + Rm[31:16] G
Unsigned sum of absolute differences 6 USAD8 Rd, Rm, Rs Rd := Abs(Rm[31:24] – Rs[31:24]) + Abs(Rm[23:16] – Rs[23:16])
+ Abs(Rm[15:8] – Rs[15:8]) + Abs(Rm[7:0] – Rs[7:0])
and accumulate 6 USADA8 Rd, Rm, Rs, Rn Rd := Rn + Abs(Rm[31:24] – Rs[31:24]) + Abs(Rm[23:16] – Rs[23:16])
+ Abs(Rm[15:8] – Rs[15:8]) + Abs(Rm[7:0] – Rs[7:0])
Saturate Signed saturate word, right shift 6 SSAT Rd, #, Rm{, ASR } Rd := SignedSat((Rm ASR sh), sat). range 1-32, range 1-31. Q, R
Signed saturate word, left shift 6 SSAT Rd, #, Rm{, LSL } Rd := SignedSat((Rm LSL sh), sat). range 1-32, range 0-31. Q
Signed saturate two halfwords 6 SSAT16 Rd, #, Rm Rd[31:16] := SignedSat(Rm[31:16], sat),
Rd[15:0] := SignedSat(Rm[15:0], sat). range 1-16.
Q
Unsigned saturate word, right shift 6 USAT Rd, #, Rm{, ASR } Rd := UnsignedSat((Rm ASR sh), sat). range 0-31, range 1-31. Q, R
Unsigned saturate word, left shift 6 USAT Rd, #, Rm{, LSL } Rd := UnsignedSat((Rm LSL sh), sat). range 0-31, range 0-31. Q
Unsigned saturate two halfwords 6 USAT16 Rd, #, Rm Rd[31:16] := UnsignedSat(Rm[31:16], sat),
Rd[15:0] := UnsignedSat(Rm[15:0], sat). range 0-15.
Q
ARM and Thumb-2 Instruction Set
Quick Reference Card
Operation § Assembler S updates Action Notes
Multiply Multiply MUL{S} Rd, Rm, Rs N Z C* Rd := (Rm * Rs)[31:0] (If Rs is Rd, S can be used in Thumb-2) N, S
and accumulate MLA{S} Rd, Rm, Rs, Rn N Z C* Rd := (Rn + (Rm * Rs))[31:0] S
and subtract T2 MLS Rd, Rm, Rs, Rn Rd := (Rn – (Rm * Rs))[31:0]
unsigned long UMULL{S} RdLo, RdHi, Rm, Rs N Z C* V* RdHi,RdLo := unsigned(Rm * Rs) S
unsigned accumulate long UMLAL{S} RdLo, RdHi, Rm, Rs N Z C* V* RdHi,RdLo := unsigned(RdHi,RdLo + Rm * Rs) S
unsigned double accumulate long 6 UMAAL RdLo, RdHi, Rm, Rs RdHi,RdLo := unsigned(RdHi + RdLo + Rm * Rs)
Signed multiply long SMULL{S} RdLo, RdHi, Rm, Rs N Z C* V* RdHi,RdLo := signed(Rm * Rs) S
and accumulate long SMLAL{S} RdLo, RdHi, Rm, Rs N Z C* V* RdHi,RdLo := signed(RdHi,RdLo + Rm * Rs) S
16 * 16 bit 5E SMULxy Rd, Rm, Rs Rd := Rm[x] * Rs[y]
32 * 16 bit 5E SMULWy Rd, Rm, Rs Rd := (Rm * Rs[y])[47:16]
16 * 16 bit and accumulate 5E SMLAxy Rd, Rm, Rs, Rn Rd := Rn + Rm[x] * Rs[y] Q
32 * 16 bit and accumulate 5E SMLAWy Rd, Rm, Rs, Rn Rd := Rn + (Rm * Rs[y])[47:16] Q
16 * 16 bit and accumulate long 5E SMLALxy RdLo, RdHi, Rm, Rs RdHi,RdLo := RdHi,RdLo + Rm[x] * Rs[y]
Dual signed multiply, add 6 SMUAD{X} Rd, Rm, Rs Rd := Rm[15:0] * RsX[15:0] + Rm[31:16] * RsX[31:16] Q
and accumulate 6 SMLAD{X} Rd, Rm, Rs, Rn Rd := Rn + Rm[15:0] * RsX[15:0] + Rm[31:16] * RsX[31:16] Q
and accumulate long 6 SMLALD{X} RdLo, RdHi, Rm, Rs RdHi,RdLo := RdHi,RdLo + Rm[15:0] * RsX[15:0] + Rm[31:16] * RsX[31:16]
Dual signed multiply, subtract 6 SMUSD{X} Rd, Rm, Rs Rd := Rm[15:0] * RsX[15:0] – Rm[31:16] * RsX[31:16] Q
and accumulate 6 SMLSD{X} Rd, Rm, Rs, Rn Rd := Rn + Rm[15:0] * RsX[15:0] – Rm[31:16] * RsX[31:16] Q
and accumulate long 6 SMLSLD{X} RdLo, RdHi, Rm, Rs RdHi,RdLo := RdHi,RdLo + Rm[15:0] * RsX[15:0] – Rm[31:16] * RsX[31:16]
Signed top word multiply 6 SMMUL{R} Rd, Rm, Rs Rd := (Rm * Rs)[63:32]
and accumulate 6 SMMLA{R} Rd, Rm, Rs, Rn Rd := Rn + (Rm * Rs)[63:32]
and subtract 6 SMMLS{R} Rd, Rm, Rs, Rn Rd := Rn – (Rm * Rs)[63:32]
with internal 40-bit accumulate XS MIA Ac, Rm, Rs Ac := Ac + Rm * Rs
packed halfword XS MIAPH Ac, Rm, Rs Ac := Ac + Rm[15:0] * Rs[15:0] + Rm[31:16] * Rs[31:16]
halfword XS MIAxy Ac, Rm, Rs Ac := Ac + Rm[x] * Rs[y]
Divide Signed or Unsigned RM Rd, Rn, Rm Rd := Rn / Rm is SDIV (signed) or UDIV (unsigned) T
Move
data
Move MOV{S} Rd, N Z C Rd := Operand2 See also Shift instructions N
not MVN{S} Rd, N Z C Rd := 0xFFFFFFFF EOR Operand2 N
top T2 MOVT Rd, # Rd[31:16] := imm16, Rd[15:0] unaffected, imm16 range 0-65535
wide T2 MOV Rd, # Rd[15:0] := imm16, Rd[31:16] = 0, imm16 range 0-65535
40-bit accumulator to register XS MRA RdLo, RdHi, Ac RdLo := Ac[31:0], RdHi := Ac[39:32]
register to 40-bit accumulator XS MAR Ac, RdLo, RdHi Ac[31:0] := RdLo, Ac[39:32] := RdHi[7:0]
Shift Arithmetic shift right ASR{S} Rd, Rm, N Z C Rd := ASR(Rm, Rs|sh) Same as MOV{S} Rd, Rm, ASR N
Logical shift left LSL{S} Rd, Rm, N Z C Rd := LSL(Rm, Rs|sh) Same as MOV{S} Rd, Rm, LSL N
Logical shift right LSR{S} Rd, Rm, N Z C Rd := LSR(Rm, Rs|sh) Same as MOV{S} Rd, Rm, LSR N
Rotate right ROR{S} Rd, Rm, N Z C Rd := ROR(Rm, Rs|sh) Same as MOV{S} Rd, Rm, ROR N
Rotate right with extend RRX{S} Rd, Rm N Z C Rd := RRX(Rm) Same as MOV{S} Rd, Rm, RRX
Count leading zeros 5 CLZ Rd, Rm Rd := number of leading zeros in Rm
Compare Compare CMP Rn, N Z C V Update CPSR flags on Rn – Operand2 N
negative CMN Rn, N Z C V Update CPSR flags on Rn + Operand2 N
Logical Test TST Rn, N Z C Update CPSR flags on Rn AND Operand2 N
Test equivalence TEQ Rn, N Z C Update CPSR flags on Rn EOR Operand2
AND AND{S} Rd, Rn, N Z C Rd := Rn AND Operand2 N
EOR EOR{S} Rd, Rn, N Z C Rd := Rn EOR Operand2 N
ORR ORR{S} Rd, Rn, N Z C Rd := Rn OR Operand2 N
ORN T2 ORN{S} Rd, Rn, N Z C Rd := Rn OR NOT Operand2 T
Bit Clear BIC{S} Rd, Rn, N Z C Rd := Rn AND NOT Operand2 N
ARM and Thumb-2 Instruction Set
Quick Reference Card
Operation § Assembler Action Notes
Bit field Bit Field Clear T2 BFC Rd, #, # Rd[(width+lsb–1):lsb] := 0, other bits of Rd unaffected
Bit Field Insert T2 BFI Rd, Rn, #, # Rd[(width+lsb–1):lsb] := Rn[(width-1):0], other bits of Rd unaffected
Signed Bit Field Extract T2 SBFX Rd, Rn, #, # Rd[(width–1):0] = Rn[(width+lsb–1):lsb], Rd[31:width] = Replicate( Rn[width+lsb–1] )
Unsigned Bit Field Extract T2 UBFX Rd, Rn, #, # Rd[(width–1):0] = Rn[(width+lsb–1):lsb], Rd[31:width] = Replicate( 0 )
Pack Pack halfword bottom + top 6 PKHBT Rd, Rn, Rm{, LSL #} Rd[15:0] := Rn[15:0], Rd[31:16] := (Rm LSL sh)[31:16]. sh 0-31.
Pack halfword top + bottom 6 PKHTB Rd, Rn, Rm{, ASR #} Rd[31:16] := Rn[31:16], Rd[15:0] := (Rm ASR sh)[15:0]. sh 1-32.
Signed
extend
Halfword to word 6 SXTH Rd, Rm{, ROR #} Rd[31:0] := SignExtend((Rm ROR (8 * sh))[15:0]). sh 0-3. N
Two bytes to halfwords 6 SXTB16 Rd, Rm{, ROR #} Rd[31:16] := SignExtend((Rm ROR (8 * sh))[23:16]),
Rd[15:0] := SignExtend((Rm ROR (8 * sh))[7:0]). sh 0-3.
Byte to word 6 SXTB Rd, Rm{, ROR #} Rd[31:0] := SignExtend((Rm ROR (8 * sh))[7:0]). sh 0-3. N
Unsigned
extend
Halfword to word 6 UXTH Rd, Rm{, ROR #} Rd[31:0] := ZeroExtend((Rm ROR (8 * sh))[15:0]). sh 0-3. N
Two bytes to halfwords 6 UXTB16 Rd, Rm{, ROR #} Rd[31:16] := ZeroExtend((Rm ROR (8 * sh))[23:16]),
Rd[15:0] := ZeroExtend((Rm ROR (8 * sh))[7:0]). sh 0-3.
Byte to word 6 UXTB Rd, Rm{, ROR #} Rd[31:0] := ZeroExtend((Rm ROR (8 * sh))[7:0]). sh 0-3. N
Signed
extend
with add
Halfword to word, add 6 SXTAH Rd, Rn, Rm{, ROR #} Rd[31:0] := Rn[31:0] + SignExtend((Rm ROR (8 * sh))[15:0]). sh 0-3.
Two bytes to halfwords, add 6 SXTAB16 Rd, Rn, Rm{, ROR #} Rd[31:16] := Rn[31:16] + SignExtend((Rm ROR (8 * sh))[23:16]),
Rd[15:0] := Rn[15:0] + SignExtend((Rm ROR (8 * sh))[7:0]). sh 0-3.
Byte to word, add 6 SXTAB Rd, Rn, Rm{, ROR #} Rd[31:0] := Rn[31:0] + SignExtend((Rm ROR (8 * sh))[7:0]). sh 0-3.
Unsigned
extend
with add
Halfword to word, add 6 UXTAH Rd, Rn, Rm{, ROR #} Rd[31:0] := Rn[31:0] + ZeroExtend((Rm ROR (8 * sh))[15:0]). sh 0-3.
Two bytes to halfwords, add 6 UXTAB16 Rd, Rn, Rm{, ROR #} Rd[31:16] := Rn[31:16] + ZeroExtend((Rm ROR (8 * sh))[23:16]),
Rd[15:0] := Rn[15:0] + ZeroExtend((Rm ROR (8 * sh))[7:0]). sh 0-3.
Byte to word, add 6 UXTAB Rd, Rn, Rm{, ROR #} Rd[31:0] := Rn[31:0] + ZeroExtend((Rm ROR (8 * sh))[7:0]). sh 0-3.
Reverse Bits in word T2 RBIT Rd, Rm For (i = 0; i < 32; i++) : Rd[i] = Rm[31– i]
Bytes in word 6 REV Rd, Rm Rd[31:24] := Rm[7:0], Rd[23:16] := Rm[15:8], Rd[15:8] := Rm[23:16], Rd[7:0] := Rm[31:24] N
Bytes in both halfwords 6 REV16 Rd, Rm Rd[15:8] := Rm[7:0], Rd[7:0] := Rm[15:8], Rd[31:24] := Rm[23:16], Rd[23:16] := Rm[31:24] N
Bytes in low halfword,
sign extend
6 REVSH Rd, Rm Rd[15:8] := Rm[7:0], Rd[7:0] := Rm[15:8], Rd[31:16] := Rm[7] * &FFFF N
Select Select bytes 6 SEL Rd, Rn, Rm Rd[7:0] := Rn[7:0] if GE[0] = 1, else Rd[7:0] := Rm[7:0]
Bits[15:8], [23:16], [31:24] selected similarly by GE[1], GE[2], GE[3]
If-Then If-Then T2 IT{pattern} {cond} Makes up to four following instructions conditional, according to pattern. pattern is a string of up to three
letters. Each letter can be T (Then) or E (Else).
The first instruction after IT has condition cond. The following instructions have condition cond if the
corresponding letter is T, or the inverse of cond if the corresponding letter is E.
See Table Condition Field for available condition codes.
T, U
Branch Branch B PC := label. label is this instruction ±32MB (T2: ±16MB, T: –252 - +256B) N, B
with link BL LR := address of next instruction, PC := label. label is this instruction ±32MB (T2: ±16MB).
and exchange 4T BX Rm PC := Rm. Target is Thumb if Rm[0] is 1, ARM if Rm[0] is 0. N
with link and exchange (1) 5T BLX LR := address of next instruction, PC := label, Change instruction set.
label is this instruction ±32MB (T2: ±16MB).
C
with link and exchange (2) 5 BLX Rm LR := address of next instruction, PC := Rm[31:1]. Change to Thumb if Rm[0] is 1, to ARM if Rm[0] is 0. N
and change to Jazelle state 5J BXJ Rm Change to Jazelle state if available
Compare, branch if (non) zero T2 CB{N}Z Rn, If Rn {== or !=} 0 then PC := label. label is (this instruction + 4-130). N,T,U
Table Branch Byte T2 TBB [Rn, Rm] PC = PC + ZeroExtend( Memory( Rn + Rm, 1) << 1). Branch range 4-512. Rn can be PC. T, U
Table Branch Halfword T2 TBH [Rn, Rm, LSL #1] PC = PC + ZeroExtend( Memory( Rn + Rm << 1, 2) << 1). Branch range 4-131072. Rn can be PC. T, U
Move to or
from PSR
PSR to register MRS Rd, Rd := PSR
register flags to APSR flags MSR APSR_, Rm APSR_ := Rm
immediate flags to APSR flags MSR APSR_, # APSR_ := immed_8r
register to PSR MSR _, Rm PSR := Rm (selected bytes only)
immediate to PSR MSR _, # PSR := immed_8r (selected bytes only)
Processor
state
change
Change processor state 6 CPSID {, #} Disable specified interrupts, optional change mode. U, N
6 CPSIE {, #} Enable specified interrupts, optional change mode. U, N
Change processor mode 6 CPS # U
Set endianness 6 SETEND Sets endianness for loads and stores. can be BE (Big Endian) or LE (Little Endian). U, N
ARM and Thumb-2 Instruction Set
Quick Reference Card
Single data item loads and stores § Assembler Action if is LDR Action if is STR Notes
Load
or store
word, byte
or halfword
Immediate offset {size}{T} Rd, [Rn {, #}]{!} Rd := [address, size] [address, size] := Rd 1, N
Post-indexed, immediate {size}{T} Rd, [Rn], # Rd := [address, size] [address, size] := Rd 2
Register offset {size} Rd, [Rn, +/-Rm {, }]{!} Rd := [address, size] [address, size] := Rd 3, N
Post-indexed, register {size}{T} Rd, [Rn], +/-Rm {, } Rd := [address, size] [address, size] := Rd 4
PC-relative {size} Rd, Rd := [label, size] Not available 5, N
Load or store
doubleword
Immediate offset 5E D Rd1, Rd2, [Rn {, #}]{!} Rd1 := [address], Rd2 := [address + 4] [address] := Rd1, [address + 4] := Rd2 6, 9
Post-indexed, immediate 5E D Rd1, Rd2, [Rn], # Rd1 := [address], Rd2 := [address + 4] [address] := Rd1, [address + 4] := Rd2 6, 9
Register offset 5E D Rd1, Rd2, [Rn, +/-Rm {, }]{!} Rd1 := [address], Rd2 := [address + 4] [address] := Rd1, [address + 4] := Rd2 7, 9
Post-indexed, register 5E D Rd1, Rd2, [Rn], +/-Rm {, } Rd1 := [address], Rd2 := [address + 4] [address] := Rd1, [address + 4] := Rd2 7, 9
PC-relative 5E D Rd1, Rd2, Rd1 := [label], Rd2 := [label + 4] Not available 8, 9
Preload data or instruction §(PLD) §(PLI) §(PLDW) Assembler Action if is PLD Action if is PLI Action if is PLDW Notes
Immediate offset 5E 7 7MP [Rn {, #}] Preload [address, 32] (data) Preload [address, 32] (instruction) Preload to Write [address, 32] (data) 1, C
Register offset 5E 7 7MP [Rn, +/-Rm {, }] Preload [address, 32] (data) Preload [address, 32] (instruction) Preload to Write [address, 32] (data) 3, C
PC-relative 5E 7 Preload [label, 32] (data) Preload [label, 32] (instruction) 5, C
Other memory operations § Assembler Action Notes
Load multiple Block data load LDM{IA|IB|DA|DB} Rn{!}, Load list of registers from [Rn] N, I
return (and exchange) LDM{IA|IB|DA|DB} Rn{!}, Load registers, PC := [address][31:1] (§ 5T: Change to Thumb if [address][0] is 1) I
and restore CPSR LDM{IA|IB|DA|DB} Rn{!}, ^ Load registers, branch (§ 5T: and exchange), CPSR := SPSR. Exception modes only. I
User mode registers LDM{IA|IB|DA|DB} Rn, ^ Load list of User mode registers from [Rn]. Privileged modes only. I
Pop POP Canonical form of LDM SP!, N
Load
exclusive
Semaphore operation 6 LDREX Rd, [Rn] Rd := [Rn], tag address as exclusive access. Outstanding tag set if not shared address.
Rd, Rn not PC.
Halfword or Byte 6K LDREX{H|B} Rd, [Rn] Rd[15:0] := [Rn] or Rd[7:0] := [Rn], tag address as exclusive access.
Outstanding tag set if not shared address. Rd, Rn not PC.
Doubleword 6K LDREXD Rd1, Rd2, [Rn] Rd1 := [Rn], Rd2 := [Rn+4], tag addresses as exclusive access
Outstanding tags set if not shared addresses. Rd1, Rd2, Rn not PC.
9
Store multiple Push, or Block data store STM{IA|IB|DA|DB} Rn{!}, Store list of registers to [Rn] N, I
User mode registers STM{IA|IB|DA|DB} Rn{!}, ^ Store list of User mode registers to [Rn]. Privileged modes only. I
Push PUSH Canonical form of STMDB SP!, N
Store
exclusive
Semaphore operation 6 STREX Rd, Rm, [Rn] If allowed, [Rn] := Rm, clear exclusive tag, Rd := 0. Else Rd := 1. Rd, Rm, Rn not PC.
Halfword or Byte 6K STREX{H|B} Rd, Rm, [Rn] If allowed, [Rn] := Rm[15:0] or [Rn] := Rm[7:0], clear exclusive tag, Rd := 0. Else Rd := 1
Rd, Rm, Rn not PC.
Doubleword 6K STREXD Rd, Rm1, Rm2, [Rn] If allowed, [Rn] := Rm1, [Rn+4] := Rm2, clear exclusive tags, Rd := 0. Else Rd := 1
Rd, Rm1, Rm2, Rn not PC.
10
Clear exclusive 6K CLREX Clear local processor exclusive tag C
Notes: availability and range of options for Load, Store, and Preload operations
Note ARM Word, B, D ARM SB, H, SH ARM T, BT Thumb-2 Word, B, SB, H, SH, D Thumb-2 T, BT, SBT, HT, SHT
1 offset: – 4095 to +4095 offset: –255 to +255 Not available offset: –255 to +255 if writeback, –255 to +4095 otherwise offset: 0 to +255, writeback not allowed
2 offset: – 4095 to +4095 offset: –255 to +255 offset: – 4095 to +4095 offset: –255 to +255 Not available
3 Full range of {, } {, } not allowed Not available restricted to LSL #, range 0 to 3 Not available
4 Full range of {, } {, } not allowed Full range of {, } Not available Not available
5 label within +/– 4092 of current instruction Not available Not available label within +/– 4092 of current instruction Not available
6 offset: –255 to +255 - - offset: –1020 to +1020, must be multiple of 4. -
7 {, } not allowed - - Not available -
8 label within +/– 252 of current instruction - - Not available -
9 Rd1 even, and not r14, Rd2 == Rd1 + 1. - - Rd1 != PC, Rd2 != PC -
10 Rm1 even, and not r14, Rm2 == Rm1 + 1. - - Rm1 != PC