0, 000) IF (SRC0 *is memory*) (AND EVEX.b = 0)     THEN         FOR j←0 TO KL\-0             i←j * 00             src[i+00:i] ← SRC0[00:0]         ENDFOR;     ELSE src←SRC0 FI ; Concatenate sources tmp[VL\-0:0] ← src[VL\-0:0] tmp[0VL\-0:VL] ← SRC0[VL\-0:0] ; Shift right 