SBCS Subtract with carry, setting flags This instruction subtracts a register value and the value of NOT (Carry flag) from a register value, and writes the result to the destination register. It updates the condition flags based on the result. This instruction is a data-independent-time instruction as described in About PSTATE.DIT. This instruction is used by the alias NGCS Rn == '11111' See below for details of when the alias is preferred. 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 SBCS <Wd>, <Wn>, <Wm> 1 SBCS <Xd>, <Xn>, <Xm> let d : integer{} = UInt(Rd); let n : integer{} = UInt(Rn); let m : integer{} = UInt(Rm); let datasize : integer{} = 32 << UInt(sf); <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 first general-purpose source register, encoded in the "Rn" field. <Wm> Is the 32-bit name of the second general-purpose source register, encoded in the "Rm" 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 first general-purpose source register, encoded in the "Rn" field. <Xm> Is the 64-bit name of the second general-purpose source register, encoded in the "Rm" field. Alias Conditions let operand1 : bits(datasize) = X{}(n); let operand2 : bits(datasize) = NOT(X{datasize}(m)); var result : bits(datasize); var nzcv : bits(4); (result, nzcv) = AddWithCarry{datasize}(operand1, operand2, PSTATE.C); X{datasize}(d) = result; PSTATE.[N,Z,C,V] = nzcv; 2026-03-26 20:27:25 2026-03_rel