CONVERTFROMF64#
Format: CONVERTFROMF64.format dest, source1, source2
Phase0: CONVERTFROMF64.(F32|S32|U32) FT0, S0, S2
Phase1: -
Phase2: -
Description: Convert (Unpack) from 64-bit to 32-bit by data format.
Source S0 contains 32-bit LSBs.
Source S2 contains 32-bit MSBs.