SDIV (quotient) Signed divide This instruction divides the first signed source register value by the second signed source register value, and writes the result to the destination register. Dividing by zero writes the value zero to the destination register. The condition flags are not affected. 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 SDIV <Wd>, <Wn>, <Wm> 1 SDIV <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. let operand1 : bits(datasize) = X{}(n); let operand2 : bits(datasize) = X{}(m); let dividend : integer = SInt(operand1); let divisor : integer = SInt(operand2); var result : integer; if divisor == 0 then result = 0; elsif (dividend < 0) == (divisor < 0) then result = Abs(dividend) DIVRM Abs(divisor); // same signs - positive result else result = -(Abs(dividend) DIVRM Abs(divisor)); // different signs - negative result end; X{datasize}(d) = result[datasize-1:0]; 2026-03-26 20:27:25 2026-03_rel