tmp13 = __byte_perm (carry[13], carry[12], selector);
tmp14 = __byte_perm (carry[14], carry[13], selector);
tmp15 = __byte_perm (carry[15], carry[14], selector);
tmp13 = __byte_perm (carry[13], carry[12], selector);
tmp14 = __byte_perm (carry[14], carry[13], selector);
tmp15 = __byte_perm (carry[15], carry[14], selector);