Synopsys:
addl
Push the result of adding the two longs 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: ( LONG LONG -- LONG LONG LONG )
Exceptions: PVM_E_OVERFLOW