26.1.12.1 Instruction addi

Synopsys:

addi

Push the result of adding the two integers at the top of the stack. If the operation would result in overflow, raise PVM_E_OVERFLOW.

Note that this instruction does NOT check for signed overflow, and in case it occurs, the result contents are UB.

Stack: ( INT INT -- INT INT INT )

Exceptions: PVM_E_OVERFLOW