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*                 