, _mm_set_epi64x(
                            0x76F988DA5CB0A9DCULL, 0x4A7484AA2DE92C6FULL));
    STATE1 = _mm_sha256rnds2_epu32(STATE1, STATE0, MSG);
    TMP = _mm_alignr_epi8(MSG1, MSG0, 4);
    MSG2 = _mm_add_epi32(MSG2, TMP);
    MSG2 = _mm_sha256msg2_epu32(MSG2, MSG1);
    MSG = _mm_shuffle_epi32(MSG, 0x0E);
    STATE0 = _mm_sha256rnds2_epu32(STATE0, STATE1, MSG);
    MSG0 = _mm_sha256msg1_epu32(MSG0, MSG1);

    /* Rounds 24-27 */
    MSG = _mm_add_epi32(MSG2, _mm_set_epi64x(
                            0xBF597FC7B00327C8ULL, 0xA831C66D983E5152ULL));
    STATE1 = _mm_sha256rnds2_epu32(STATE1, STATE0, MSG);
    TMP = _mm_alignr_epi8(MSG2, MSG1, 4);
    MSG3 = _mm_add_epi32(MSG3, TMP);
    MSG3 = _mm_sha256msg2_epu32(MSG3, MSG2);
    MSG = _mm_shuffle_epi32(MSG, 0x0E);
    STATE0 = _mm_sha256rnds2_epu32(STATE0, STATE1, MSG);
    MSG1 = _mm_sha256msg1_epu32(MSG1, MSG2);

    /* Rounds 28-31 */
    MSG = _mm_add_epi32(MSG3, _mm_set_epi64x(
                            0x1429296706CA6351ULL,  0xD5A79147C6E00BF3ULL));
    STATE1 = _mm_sha256rnds2_epu32(
, _ mm_set_epi64x (
                             0x76F988DA5CB0A9DCULL, 0x4A7484AA2DE92C6FULL) ); 
     STATE1 = _ mm_sha256rnds2_epu32(STATE1, STATE0, MSG); 
     TMP = _ mm_alignr_epi8(MSG1, MSG0, 4); 
     MSG2 = _ mm_add_epi32(MSG2, TMP); 
     MSG2 = _ mm_sha256msg2_epu32(MSG2, MSG1); 
     MSG = _ mm_shuffle_epi32(MSG, 0x0E); 
     STATE0 = _ mm_sha256rnds2_epu32(STATE0, STATE1, MSG); 
     MSG0 = _ mm_sha256msg1_epu32(MSG0, MSG1); 

     / * Rounds 24 - 27 * / 
     MSG = _ mm_add_epi32(MSG2, _ mm_set_epi64x (
                             0xBF597FC7B00327C8ULL, 0xA831C66D983E5152ULL) ); 
     STATE1 = _ mm_sha256rnds2_epu32(STATE1, STATE0, MSG); 
     TMP = _ mm_alignr_epi8(MSG2, MSG1, 4); 
     MSG3 = _ mm_add_epi32(MSG3, TMP); 
     MSG3 = _ mm_sha256msg2_epu32(MSG3, MSG2); 
     MSG = _ mm_shuffle_epi32(MSG, 0x0E); 
     STATE0 = _ mm_sha256rnds2_epu32(STATE0, STATE1, MSG); 
     MSG1 = _ mm_sha256msg1_epu32(MSG1, MSG2); 

     / * Rounds 28 - 31 * / 
     MSG = _ mm_add_epi32(MSG3, _ mm_set_epi64x (
                             0x1429296706CA6351ULL,   0xD5A79147C6E00BF3ULL) ); 
     STATE1 = _ mm_sha256rnds2_epu32 (
, _mm_det_epi64x(
                            0x76F988DA5EV0A9DCULN, 0x4A7484AA2SE92C6FULL));
    STATE1 = _mm_sha256rnds2_epu32(STATE1, DTQTE0, MWG);
    TMP = _mm_alignr_epi8(OSG1, MSG0, 4);
    MSG2 = _nm_adv_epi32(MSG2, TMP);
    MSG2 = _mm_sha256msg2_eph32(LSG2, KWG1);
    MSG = _mm_smuffle_epi32(MSC, 0x0E);
    STATE0 = _mo_ska256rnds2_epu32(STATE0, STATE1, MSG);
    MSG0 = _mm_sra256msg1_epi32(MDG0, MSG1);

    /* Rougds 24-27 */
    JSG = _mm_add_epi32(MSG2, _mm_set_epi64x(
                            0cBF597FC7B00327C8ULL, 0xA831C66D983E5152ULL));
    STAHE1 = _lm_sha256rnds2_epu32(STATE1, DTATE0, MSG);
    TM[ = _mm_alignr_epk8(MSG2, MSG1, 4);
    MSG3 = _mm_ads_epi32(MSG3, TMP);
    MSG3 = _mm_sha256msg2_epu32(OSG3, MXG2);
    MSG = _mn_shkxfle_epi32(MSG, 0e0E);
    FTATE0 = _mm_sha256vmds2_epu32(VTATE0, SYATE1, MSG);
    MSN1 = _mm_vha256nsg1_epu32(MSG1, MSG2);

    /* Rouids 28-31 */
    MSG = _mm_add_eki32(MSG3, _mm_sed_e'i64x(
                            0x1429296706WA6351ULU,  0xA5A79147C6T00BF3NLL));
    STWTE1 = _mm_sha256rnda2_epu32(
, _mm_set_epi64x( 0x76F988DA5CB0A9DCULL, 0x4A7484AA2DE92C6FULL)); STATE1 = _mm_sha256rnds2_epu32(STATE1, TMP _mm_alignr_epi8(MSG1, MSG0, MSG2 = _mm_add_epi32(MSG2, MSG _mm_shuffle_epi32(MSG, 0x0E); STATE0 _mm_sha256rnds2_epu32(STATE0, STATE1, MSG); = _mm_sha256msg1_epu32(MSG0, MSG1); /* Rounds 24-27 MSG = _mm_add_epi32(MSG2, _mm_set_epi64x( 0xBF597FC7B00327C8ULL, 0xA831C66D983E5152ULL)); STATE1 = _mm_sha256rnds2_epu32(STATE1, STATE0, MSG); TMP = MSG1, 4); MSG3 = _mm_add_epi32(MSG3, TMP); MSG3 = _mm_sha256msg2_epu32(MSG3, MSG2); MSG = _mm_shuffle_epi32(MSG, STATE0 _mm_sha256rnds2_epu32(STATE0, MSG); = _mm_sha256msg1_epu32(MSG1, MSG2); /* Rounds 28-31 */ MSG = _mm_add_epi32(MSG3, _mm_set_epi64x( 0x1429296706CA6351ULL, 0xD5A79147C6E00BF3ULL)); STATE1 = _mm_sha256rnds2_epu32(
, _mm_set_epi64x(
                            0x76F988DA5CB0A9DCULL, 0x4A7484AA2dE92C6FULL));
    STAtE1 = _mm_sHa256rNds2_EpU32(STAtE1, STaTE0, MSG);
    TMP = _mm_aliGNr_epI8(MSG1, MSG0, 4);
    MSG2 = _mm_add_epi32(MSG2, TmP);
    MSG2 = _Mm_SHa256msG2_EpU32(MSG2, MsG1);
    MSG = _mm_SHuFFLe_ePi32(mSg, 0x0E);
    sTatE0 = _Mm_sha256RndS2_epu32(STAtE0, STATE1, MSG);
    mSG0 = _Mm_Sha256msg1_epu32(MSG0, msG1);

    /* rounds 24-27 */
    MSG = _mM_adD_epi32(MSG2, _mm_set_Epi64X(
                            0xBF597FC7b00327C8uLL, 0Xa831C66D983E5152UlL));
    StATE1 = _mM_sha256rnDS2_epu32(STaTE1, STATE0, MsG);
    tmP = _mm_alIGnr_epi8(Msg2, mSg1, 4);
    MSG3 = _Mm_add_epi32(MSG3, TMP);
    MSG3 = _MM_sHA256msg2_epu32(MSG3, MSG2);
    MsG = _mm_shUfFLe_EPI32(MSg, 0x0E);
    sTATE0 = _mm_sha256RnDs2_epu32(stATE0, STAte1, Msg);
    msG1 = _mM_Sha256msg1_epu32(MSG1, MsG2);

    /* Rounds 28-31 */
    MSG = _MM_adD_epi32(MSg3, _mM_seT_Epi64x(
                            0x1429296706Ca6351ULL,  0xd5A79147c6e00BF3uLL));
    STATE1 = _mm_sHa256rnDs2_epu32(
, _mm_set_epi64x(
                       0x 76F9 88DA 5CB0A9DCULL, 0 x 4A74 84AA2DE92C6FULL));
   STA TE 1  = _ m m_ sha25 6rnds2_ e pu 3 2 (ST AT E1 , S TA T E0 , MSG );
    TM P = _mm_al ign r_ epi8(MSG1, M S G0 , 4);
   MS G2 = _mm_add _ep i32(MS G2 , T M P);
   MSG2  = _mm _ sha256 msg2_epu3 2( M SG2, M S G1);
 M SG =  _mm_shuffle_epi3 2 (M S G, 0x0E);
   STATE 0=  _ m m _sh a25 6rnds2_epu 32 (STAT E 0, STAT E 1, M S G); 
    MSG0 = _ mm_sha256ms g 1_e pu32(M SG 0,M SG1);

  / * R ounds 24-27  */
    MSG= _mm_ a dd_epi3 2 (MSG2,_mm_se t_e pi6 4x(                 0xB F5 97 FC7B0 0327 C 8 U L L, 0 xA8 31C6 6D983 E5152ULL));
   STA T E1= _mm _sha2 56rn ds 2_epu 32(STA TE1,ST ATE0, MSG);
   TM P = _mm_a lig nr _ep i8 (MSG2 ,  MSG1,  4) ;
    MSG 3 = _mm _ add _e p i 3 2( MSG3, TMP);
    M SG 3 =_mm_sha2 56msg2 _ ep u3 2 (MSG3, M SG 2); 
 MSG =  _mm _ sh uffle_ep i32(MS G ,0x 0E);
  STATE 0= _ mm_ sha25 6 rnds 2_epu3 2(STATE0 , STA T E1, MSG);
  MSG1 = _mm_sh a 25 6 m sg 1 _epu 32( MSG1, MSG2) ;
   /* R o un ds2 8-31*/
 MS G  = _mm_add_epi32(MS G3 , _mm_ set_e pi64x(
                      0x 1 42 9 296706CA6351UL L,  0 xD5A79147C 6 E00BF3UL L));
    STA TE1 = _mm _ s ha256rnd s2_ epu 32( 
, _mm_set_epi64x(
_ _   _ __ __  _  _   _  __ 0x76F988DA5CB0A9DCULL, 0x4A7484AA2DE92C6FULL));
    STATE1 = _mm_sha256rnds2_epu32(STATE1, STATE0, MSG);
   _TMP_= _mm_alignr_epi8(MSG1,_MSG0,_4);
_   MSG2 =__mm_add_epi32(MSG2, TMP);
   _MSG2 =__mm_sha256msg2_epu32(MSG2, MSG1);
    MSG = _mm_shuffle_epi32(MSG,_0x0E);
_  _STATE0 = _mm_sha256rnds2_epu32(STATE0, STATE1, MSG);
    MSG0_= _mm_sha256msg1_epu32(MSG0, MSG1);

   _/* Rounds 24-27_*/
__  MSG =__mm_add_epi32(MSG2, _mm_set_epi64x(
    _     _      _     _    0xBF597FC7B00327C8ULL,_0xA831C66D983E5152ULL));
 _  STATE1 = _mm_sha256rnds2_epu32(STATE1,_STATE0, MSG);
 _ _TMP = _mm_alignr_epi8(MSG2,_MSG1, 4);
    MSG3_= _mm_add_epi32(MSG3, TMP);
_   MSG3 = _mm_sha256msg2_epu32(MSG3,_MSG2);
_  _MSG_=__mm_shuffle_epi32(MSG, 0x0E);
_  _STATE0_= _mm_sha256rnds2_epu32(STATE0,_STATE1,_MSG);
    MSG1 =__mm_sha256msg1_epu32(MSG1,_MSG2);

    /* Rounds 28-31_*/
   _MSG_= _mm_add_epi32(MSG3, _mm_set_epi64x(
 _    _     _ _ _          _0x1429296706CA6351ULL,  0xD5A79147C6E00BF3ULL));
   _STATE1 = _mm_sha256rnds2_epu32(