iii.3.1-add.md

III.3.1 add – add numeric values

Format	Assembly Format	Description
58	add	Add two values, returning a new value.

Stack Transition:

…, value1, value2 → …, result

Description:

The add instruction adds value2 to value1 and pushes the result on the stack. Overflow is not detected for integral operations (but see add.ovf); floating-point overflow returns +inf or -inf.

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

Exceptions:

None.

Correctness and Verifiability:

See Table 2: Binary Numeric Operations.