SUBS (extended register)
Subtract extended and scaled register, setting flags
This instruction subtracts a sign or zero-extended register
value, followed by an optional left shift amount, from a register value,
and writes the result to the destination register. The argument that
is extended from the <Rm> register can be a byte, halfword,
word, or doubleword. It updates the condition flags based on the result.
Encoding: Setting the condition flags
| 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 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | | | | | | | | | | | | | | | | | | | | | |
| sf | op | S | | opt | | Rm | option | imm3 | Rn | Rd |
|---|
32-bit (sf == 0)
SUBS <Wd>, <Wn|WSP>, <Wm>{, <extend> {#<amount>}}
64-bit (sf == 1)
SUBS <Xd>, <Xn|SP>, <R><m>{, <extend> {#<amount>}}
Decoding algorithm
if imm3 IN {'101', '110', '111'} then EndOfDecode(Decode_UNDEF);
constant integer d = UInt(Rd);
constant integer n = UInt(Rn);
constant integer m = UInt(Rm);
constant integer shift = UInt(imm3);
constant integer datasize = 32 << UInt(sf);
constant ExtendType extend_type = DecodeRegExtend(option);Operation
constant bits(datasize) operand1 = if n == 31 then SP[datasize] else X[n, datasize];
constant bits(datasize) operand2 = NOT(ExtendReg(m, extend_type, shift, datasize));
bits(datasize) result;
bits(4) nzcv;
(result, nzcv) = AddWithCarry(operand1, operand2, '1');
X[d, datasize] = result;
PSTATE. = nzcv;
Explanations
<Wd>:
Is the 32-bit name of the general-purpose destination register, encoded in the "Rd" field.<Wn|WSP>:
Is the 32-bit name of the first source general-purpose register or stack pointer, encoded in the "Rn" field.<Wm>:
Is the 32-bit name of the second general-purpose source register, encoded in the "Rm" field.<extend>:
<extend>:
<amount>:
Is the left shift amount to be applied after extension in the range 0 to 4, defaulting to 0, encoded in the "imm3" field. It must be absent when <extend> is absent, is required when <extend> is LSL, and is optional when <extend> is present but not LSL.<Xd>:
Is the 64-bit name of the general-purpose destination register, encoded in the "Rd" field.<Xn|SP>:
Is the 64-bit name of the first source general-purpose register or stack pointer, encoded in the "Rn" field.<R>:
<m>:
Is the number [0-30] of the second general-purpose source register or the name ZR (31), encoded in the "Rm" field.Operational Notes
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.