iii.3.49-mul-ovf-type.md

III.3.49 mul.ovf.<type> – multiply integer values with overflow check

Format	Assembly Format	Description
D8	mul.ovf	Multiply signed integer values. Signed result shall fit in same size.
D9	mul.ovf.un	Multiply unsigned integer values. Unsigned result shall fit in same size.

Stack Transition:

…, value1, value2 → …, result

Description:

The mul.ovf instruction multiplies integers, value1 and value2, and pushes the result on the stack. An exception is thrown if the result will not fit in the result type.

The acceptable operand types and their corresponding result data types are encapsulated in Table 7: Overflow Arithmetic Operations.

Exceptions:

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

Correctness and Verifiability:

See Table 8: Conversion Operations.