STR (unsigned offset, capability, alternate base)

Store capability (unsigned offset) via alternate base determines the base register to be used, derives an address from the base register and an immediate offset, and stores a capability to the calculated address in memory. The base register used by this operation depends on PSTATE.C64: if PSTATE.C64 is 1, the base register is a 64-bit general-purpose register; if PSTATE.C64 is 0, the base register is a capability general-purpose register. For information about memory accesses, see Load/Store addressing modes.

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
1	0	0	0	0	0	1	0	0	1	0	imm9									0	0	Rn					Ct
										L										op

STR <Ct>, [<Cn|CSP>{, #<imm>}] // (PSTATE.C64 == '0')

STR <Ct>, [<Xn|SP>{, #<imm>}] // (PSTATE.C64 == '1')

integer t = UInt(Ct); integer n = UInt(Rn); bits(64) offset = ZeroExtend(imm9:'0000', 64);

Assembler Symbols

<Ct>	Is the capability name of the transfer register, encoded in the "Ct" field.

<Xn|SP>

Is the 64-bit name of the general-purpose base register or stack pointer, encoded in the "Rn" field.

<Cn|CSP>

Is the capability name of the base register or stack pointer, encoded in the "Rn" field.

<imm>

Is the optional unsigned immediate byte offset, a multiple of 16 in the range 0 to 8176, defaulting to 0, encoded in the "imm9" field.

Operation

CheckCapabilitiesEnabled(); VirtualAddress base = AltBaseReg[n]; bits(64) addr = VAddress(base) + offset; Capability data = C[t]; bits(64) cap_required = CAP_PERM_STORE; if CapIsTagSet(data) then cap_required = cap_required OR CAP_PERM_STORE_CAP; if CapIsLocal(data) then cap_required = cap_required OR CAP_PERM_STORE_LOCAL; VACheckAddress(base, addr, CAPABILITY_DBYTES, cap_required, AccType_NORMAL); MemC[addr, AccType_NORMAL] = data;

Internal version only: isa v32.13, AdvSIMD v29.04, pseudocode morello-2022-01_rc2, capabilities morello-2022-01_rc2 ; Build timestamp: 2022-01-11T11:23