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