iii.3.24-ckfinite.md

III.3.24 ckfinite – check for a finite real number

Format	Assembly Format	Description
C3	ckfinite	Throw ArithmeticException if value is not a finite number.

Stack Transition:

…, value  …, value

Description:

The ckfinite instruction throws ArithmeticException if value (a floating-point number) is either a "not a number" value (NaN) or +/- infinity value. ckfinite leaves the value on the stack if no exception is thrown. Execution behavior is unspecified if value is not a floating-point number.

Exceptions:

System.ArithmeticException is thrown if value is a NaN or an infinity.

Correctness:

Correct CIL guarantees that value is a floating-point number.

Verifiability:

There are no additional verification requirements.