A method for arithmetic overflow detection includes receiving a first instruction
defined for a first processor having a first base, where the instruction comprises
an operator and at least one operand having an operand type. The method also includes
indicating whether the at least one operand has potential overflow based at least
in part on the operator and the relationship between the operand type and a result
type associated with the operator.