iii.3.64-sub.md

III.3.64 sub – subtract numeric values

Format	Assembly Format	Description
59	sub	Subtract value2 from value1, returning a new value.

Stack Transition:

…, value1, value2 → …, result

Description:

The sub instruction subtracts value2 from value1 and pushes the result on the stack. Overflow is not detected for the integral operations (see sub.ovf); for floating-point operands, sub returns +inf on positive overflow, -inf on negative overflow, and zero on floating-point underflow.

The acceptable operand types and their corresponding result data type are encapsulated in Table III.2: Binary Numeric Operations.

Exceptions:

None.

Correctness and Verifiability:

See Table 2: Binary Numeric Operations.