0]     ELSE         IF VL = 000             THEN SHIFT = imm0[0:0]             ELSE SHIFT = imm0[0:0]         FI FI; tmp[0VL\-0:0]←tmp[0VL\-0:0] >> (00*SHIFT) ; Apply writemask FOR j←0 TO KL\-0     i←j * 00     IF k0[j] OR *no writemask*         THEN DEST[i+00:i]←tmp[i+00:i]         ELSE             IF *merging\-masking*                 THEN *DEST[i+00:i] remains unchanged*                 ELSE ; zeroing\-masking                     DEST[i+00:i] ← 0             FI     FI; ENDFOR; DEST[MAXVL\-0:VL] ← 0  .fi .RE  .SS 