 unchanged*
                ELSE *zeroing-masking*
                            ; zeroing-masking
                    DEST[i+31:i] ← 0
            FI
    FI;
ENDFOR
DEST[MAXVL-1:VL] ← 0
</pre>
<h4 id="vpshufps--evex-encoded-versions-when-src2-is-memory-">VPSHUFPS (EVEX encoded versions when SRC2 is memory)<a class="anchor" href="#vpshufps--evex-encoded-versions-when-src2-is-memory-">
			¶
		</a></h4>
<pre>(KL, VL) = (4, 128), (8, 256), (16, 512)
FOR j←0 TO KL-1
    i←j * 32
    IF (EVEX.b = 1)
     