SCBNDSE

Set Bounds Exact derives Capability Bounds using the source Capability register and a length from a 64-bit register and writes the result to the destination Capability register. If the bounds cannot be set exactly, this instruction clears the Capability Tag. If the source capability is sealed, the Capability Tag written to the destination Capability register is cleared

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	1	0	0	0	0	1	0	1	1	0	Rm					0	0	1	0	0	0	Cn					Cd
																	opc<1>	opc<0>

SCBNDSE <Cd|CSP>, <Cn|CSP>, <Xm>

integer d = UInt(Cd); integer n = UInt(Cn); integer m = UInt(Rm);

Assembler Symbols

<Cd|CSP>

Is the capability name of the destination register or stack pointer, encoded in the "Cd" field.

<Cn|CSP>

Is the capability name of the source register or stack pointer, encoded in the "Cn" field.

<Xm>	Is the 64-bit name of the source general-purpose register, encoded in the "Rm" field.

Operation

CheckCapabilitiesEnabled(); Capability operand1 = if n == 31 then CSP[] else C[n]; bits(64) xm = X[m]; bits(65) length = ZeroExtend(xm,65); Capability result = CapSetBounds(operand1, length, TRUE); if CapIsSealed(operand1) then result = CapWithTagClear(result); if d == 31 then CSP[] = result; else C[d] = result;

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