ABS -- A64

Absolute value computes the absolute value of the signed integer value in the source register, and writes the result to the destination register.

if !IsFeatureImplemented(FEAT_CSSC) then UNDEFINED; constant integer datasize = 32 << UInt(sf); integer d = UInt(Rd); integer n = UInt(Rn);

<Wd>	Is the 32-bit name of the general-purpose destination register, encoded in the "Rd" field.

<Wn>	Is the 32-bit name of the general-purpose source register, encoded in the "Rn" field.

<Xd>	Is the 64-bit name of the general-purpose destination register, encoded in the "Rd" field.

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

bits(datasize) operand1 = X[n, datasize]; integer result = Abs(SInt(operand1)); X[d, datasize] = result<datasize-1:0>;

If PSTATE.DIT is 1:

The execution time of this instruction is independent of:
- The values of the data supplied in any of its registers.
- The values of the NZCV flags.
The response of this instruction to asynchronous exceptions does not vary based on:
- The values of the data supplied in any of its registers.
- The values of the NZCV flags.

Internal version only: aarchmrs v2024-03_relA, pseudocode v2024-03_rel, sve v2024-03_rel ; Build timestamp: 2024-03-26T09:45

ABS