re>// NormalizeExpTinySPFP(SRC[31:0]) is defined in the Operation section of VGETEXPPS
// ConvertExpSPFP(SRC[31:0]) is defined in the Operation section of VGETEXPPS
</pre>
<h4 id="vgetexpss--evex-encoded-version-">VGETEXPSS (EVEX encoded version)<a class="anchor" href="#vgetexpss--evex-encoded-version-">
			¶
		</a></h4>
<pre>IF k1[0] OR *no writemask*
    THEN DEST[31:0]←
            ConvertExpDPFP(SRC2[31:0])
    ELSE
        IF *merging-masking*
                    ; merging-masking
            THEN *