iii.3.2-add.ovf.signed.md

III.3.2 add.ovf.<signed> – add integer values with overflow check

Format	Assembly Format	Description
D6	add.ovf	Add signed integer values with overflow check.
D7	add.ovf.un	Add unsigned integer values with overflow check.

Stack Transition:

…, value1, value2 → …, result

Description:

The add.ovf instruction adds value1 and value2 and pushes the result on the stack. The acceptable operand types and their corresponding result data type are encapsulated in Table 7: Overflow Arithmetic Operations.

Exceptions:

System.OverflowException is thrown if the result cannot be represented in the result type.

Correctness and Verifiability:

See Table 7: Overflow Arithmetic Operations.