STRBT -- AArch32

Store Register Byte Unprivileged stores a byte from a register to memory. For information about memory accesses see Memory accesses.

The memory access is restricted as if the PE were running in User mode. This makes no difference if the PE is actually running in User mode.

The T32 instruction uses an offset addressing mode, that calculates the address used for the memory access from a base register value and an immediate offset, and leaves the base register unchanged.

The A32 instruction uses a post-indexed addressing mode, that uses a base register value as the address for the memory access, and calculates a new address from a base register value and an offset and writes it back to the base register. The offset can be an immediate value or an optionally-shifted register value.

It has encodings from the following instruction sets: A32 ( A1 and A2 ) and T32 ( T1 ) .

constant t = UInt(Rt); constant n = UInt(Rn); constant postindex = TRUE; constant add = (U == '1'); constant register_form = FALSE; constant imm32 = ZeroExtend(imm12, 32); constant integer m = integer UNKNOWN; constant integer shift_n = integer UNKNOWN; constant SRType shift_t = SRType UNKNOWN; if t == 15 || n == 15 || n == t then UNPREDICTABLE;

CONSTRAINED UNPREDICTABLE behavior

constant t = UInt(Rt); constant n = UInt(Rn); constant m = UInt(Rm); constant postindex = TRUE; constant add = (U == '1'); constant register_form = TRUE; constant (shift_t, shift_n) = DecodeImmShift(stype, imm5); constant bits(32) imm32 = bits(32) UNKNOWN; if t == 15 || n == 15 || n == t || m == 15 then UNPREDICTABLE;

CONSTRAINED UNPREDICTABLE behavior

if Rn == '1111' then UNDEFINED; constant t = UInt(Rt); constant n = UInt(Rn); constant postindex = FALSE; constant add = TRUE; constant register_form = FALSE; constant imm32 = ZeroExtend(imm8, 32); constant integer m = integer UNKNOWN; constant integer shift_n = integer UNKNOWN; constant SRType shift_t = SRType UNKNOWN; // Armv8-A removes UNPREDICTABLE for R13 if t == 15 then UNPREDICTABLE;

CONSTRAINED UNPREDICTABLE behavior

Assembler Symbols

Operation

if ConditionPassed() then EncodingSpecificOperations(); if PSTATE.EL == EL2 then UNPREDICTABLE; // Hyp mode constant offset = if register_form then Shift(R[m], shift_t, shift_n, PSTATE.C) else imm32; constant offset_addr = if add then (R[n] + offset) else (R[n] - offset); constant address = if postindex then R[n] else offset_addr; MemU_unpriv[address,1] = R[t]<7:0>; if postindex then R[n] = offset_addr;

CONSTRAINED UNPREDICTABLE behavior

If PSTATE.EL == EL2, then one of the following behaviors must occur:

The instruction is undefined.
The instruction executes as NOP.
The instruction executes as STRB (immediate).

Operational information

If CPSR.DIT is 1, the timing of this instruction is insensitive to the value of the data being loaded or stored.

Internal version only: isa v01_31, pseudocode v2024-03_rel ; Build timestamp: 2024-03-25T10:05

31	30	29	28	27	26	25	24	23	22	21	20	19	18	17	16	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
!= 1111				0	1	0	0	U	1	1	0	Rn				Rt				imm12
cond

31	30	29	28	27	26	25	24	23	22	21	20	19	18	17	16	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
!= 1111				0	1	1	0	U	1	1	0	Rn				Rt				imm5					stype		0	Rm
cond

15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0	15	14	13	12	11	10	9	8	7	6	5	4	3	2	1	0
1	1	1	1	1	0	0	0	0	0	0	0	!= 1111				Rt				1	1	1	0	imm8
												Rn

<Rt>	For encoding A1: is the general-purpose register to be transferred, encoded in the "Rt" field. The PC can be used, but this is deprecated.
	For encoding A2 and T1: is the general-purpose register to be transferred, encoded in the "Rt" field.

<imm>	For encoding A1: is the 12-bit unsigned immediate byte offset, in the range 0 to 4095, defaulting to 0 if omitted, and encoded in the "imm12" field.
	For encoding T1: is an optional 8-bit unsigned immediate byte offset, in the range 0 to 255, defaulting to 0 and encoded in the "imm8" field.