SETGPTN, SETGMTN, SETGETN

Memory set with tag setting, unprivileged and non-temporal

These instructions set a requested number of bytes in memory to the value in the least significant byte of the source data register and store an Allocation Tag to memory for each Tag Granule written. The Allocation Tag is calculated from the Logical Address Tag in the register that holds the first address to be set. The prologue, main, and epilogue instructions are expected to be run in succession and to appear consecutively in memory: SETGPTN, then SETGMTN, and then SETGETN.

SETGPTN performs some preconditioning of the arguments suitable for using the SETGMTN instruction, and sets an IMPLEMENTATION DEFINED portion of the requested number of bytes. SETGMTN sets a further IMPLEMENTATION DEFINED portion of the remaining bytes. SETGETN sets any final remaining bytes.

For more information on exceptions specific to memory set instructions, see Memory Copy and Memory Set exceptions.

The architecture supports two algorithms for the memory set: option A and option B. Which algorithm is used is IMPLEMENTATION DEFINED.

For SETGPTN:

• If Xn[63] == '1', the set size is saturated to 0x7FFFFFFFFFFFFFF0.

On completion of SETGPTN, option A:

• Xn holds -1 times the number of bytes in the saturated set size remaining to be set.
• Xd holds the original Xd + saturated set size.
• PSTATE.{N,Z,C,V} are set to {0,0,0,0}.

On completion of SETGPTN, option B:

• Xn holds the number of bytes in the saturated set size remaining to be set.
• Xd holds the lowest address that has not been set.
• PSTATE.{N,Z,C,V} are set to {0,0,1,0}.

For SETGMTN, option A, when PSTATE.C = '0':

• Xn holds a signed 64-bit integer.
• Xn holds -1 times the number of bytes remaining to be set.
• Xd holds the lowest address to be set - Xn.
• On completion of the instruction, Xn holds -1 times the number of bytes remaining to be set.

For SETGMTN, option B, when PSTATE.C = '1':

• Xn holds the number of bytes remaining to be set.
• Xd holds the lowest address to be set.
• On completion of the instruction:
  • Xn holds the number of bytes remaining to be set.
  • Xd holds the lowest address that has not been set.

For SETGETN, option A, when PSTATE.C = '0':

• Xn holds a signed 64-bit integer.
• Xn holds -1 times the number of bytes remaining to be set.
• Xd holds the lowest address to be set - Xn.
• On completion of the instruction, Xn holds 0.

For SETGETN, option B, when PSTATE.C = '1':

• Xn holds the number of bytes remaining to be set.
• Xd holds the lowest address to be set.
• On completion of the instruction:
  • Xn holds 0.
  • Xd holds the lowest address that has not been set.

Explicit Memory Write effects produced by the instruction behave as if the instruction was executed at EL0 if the Effective value of PSTATE.UAO is 0 and either:

• The instruction is executed at EL1.
• The instruction is executed at EL2 when the Effective value of HCR_EL2().{E2H, TGE} is '11'.

Otherwise, the Explicit Memory Write effects operate with the restrictions determined by the Exception level at which the instruction is executed.

Integer
(FEAT_MOPS && FEAT_MTE)

Decode for all variants of this encoding

if !IsFeatureImplemented(FEAT_MOPS) || !IsFeatureImplemented(FEAT_MTE) || sz != '00' then EndOfDecode(Decode_UNDEF); end; var memset : SETParams; memset.d = UInt(Rd); memset.s = UInt(Rs); memset.n = UInt(Rn); let options : bits(2) = op2[1:0]; let nontemporal : boolean = options[1] == '1'; case op2[3:2] of when '00' => memset.stage = MOPSStage_Prologue; when '01' => memset.stage = MOPSStage_Main; when '10' => memset.stage = MOPSStage_Epilogue; otherwise => EndOfDecode(Decode_UNDEF); end;

Assembler Symbols