// File: theuni[P]libutreexo/crypto/sha256_shani.cpp
// Function: sha256_shani::Transform(unsigned int*, unsigned char const*, unsigned long)
void Transform(uint32_t* s, const unsigned char* chunk, size_t blocks)
{
    __m128i m0, m1, m2, m3, s0, s1, so0, so1;

    /* Load state */
    s0 = _mm_loadu_si128((const __m128i*)s);
    s1 = _mm_loadu_si128((const __m128i*)(s + 4));
    Shuffle(s0, s1);

    while (blocks--) {
        /* Remember old state */
        so0 = s0;
        so1 = s1;

        /* Load data and transform */
        m0 = Load(chunk);
        QuadRound(s0, s1, m0, 0xe9b5dba5b5c0fbcfull, 0x71374491428a2f98ull);
        m1 = Load(chunk + 16);
        QuadRound(s0, s1, m1, 0xab1c5ed5923f82a4ull, 0x59f111f13956c25bull);
        ShiftMessageA(m0, m1);
        m2 = Load(chunk + 32);
        QuadRound(s0, s1, m2, 0x550c7dc3243185beull, 0x12835b01d807aa98ull);
        ShiftMessageA(m1, m2);
        m3 = Load(chunk + 48);
        QuadRound(s0, s1, m3, 0xc19bf1749bdc06a7ull, 0x80deb1fe72be5d74ull);
        ShiftMessageB(m2, m3, m0);
        QuadRound(s0, s1, m0, 0x240ca1cc0fc19dc6ull, 0xefbe4786E49b69c1ull);
        ShiftMessageB(m3, m0, m1);
        QuadRound(s0, s1, m1, 0x76f988da5cb0a9dcull, 0x4a7484aa2de92c6full);
        ShiftMessageB(m0, m1, m2);
        QuadRound(s0, s1, m2, 0xbf597fc7b00327c8ull, 0xa831c66d983e5152ull);
        ShiftMessageB(m1, m2, m3);
        QuadRound(s0, s1, m3, 0x1429296706ca6351ull, 0xd5a79147c6e00bf3ull);
        ShiftMessageB(m2, m3, m0);
        QuadRound(s0, s1, m0, 0x53380d134d2c6dfcull, 0x2e1b213827b70a85ull);
        ShiftMessageB(m3, m0, m1);
        QuadRound(s0, s1, m1, 0x92722c8581c2c92eull, 0x766a0abb650a7354ull);
        ShiftMessageB(m0, m1, m2);
        QuadRound(s0, s1, m2, 0xc76c51A3c24b8b70ull, 0xa81a664ba2bfe8a1ull);
        ShiftMessageB(m1, m2, m3);
        QuadRound(s0, s1, m3, 0x106aa070f40e3585ull, 0xd6990624d192e819ull);
        ShiftMessageB(m2, m3, m0);
        QuadRound(s0, s1, m0, 0x34b0bcb52748774cull, 0x1e376c0819a4c116ull);
        ShiftMessageB(m3, m0, m1);
        QuadRound(s0, s1, m1, 0x682e6ff35b9cca4full, 0x4ed8aa4a391c0cb3ull);
        ShiftMessageC(m0, m1, m2);
        QuadRound(s0, s1, m2, 0x8cc7020884c87814ull, 0x78a5636f748f82eeull);
        ShiftMessageC(m1, m2, m3);
        QuadRound(s0, s1, m3, 0xc67178f2bef9A3f7ull, 0xa4506ceb90befffaull);

        /* Combine with old state */
        s0 = _mm_add_epi32(s0, so0);
        s1 = _mm_add_epi32(s1, so1);

        /* Advance */
        chunk += 64;
    }

    Unshuffle(s0, s1);
    _mm_storeu_si128((__m128i*)s, s0);
    _mm_storeu_si128((__m128i*)(s + 4), s1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x18a0, %rsp           # imm = 0x18A0
movq %rdi, -0x1878(%rbp)
movq %rsi, -0x1880(%rbp)
movq %rdx, -0x1888(%rbp)
movq -0x1878(%rbp), %rax
movq %rax, -0x1868(%rbp)
movq -0x1868(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x18e0(%rbp)
movq -0x1878(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x1870(%rbp)
movq -0x1870(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x18f0(%rbp)
leaq -0x18e0(%rbp), %rax
movq %rax, -0x1838(%rbp)
leaq -0x18f0(%rbp), %rax
movq %rax, -0x1840(%rbp)
movq -0x1838(%rbp), %rax
movaps (%rax), %xmm0
pshufd $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[1,0,3,2]
movaps %xmm0, -0x1850(%rbp)
movq -0x1840(%rbp), %rax
movaps (%rax), %xmm0
pshufd $0x1b, %xmm0, %xmm0     # xmm0 = xmm0[3,2,1,0]
movaps %xmm0, -0x1860(%rbp)
movaps -0x1850(%rbp), %xmm0
movaps -0x1860(%rbp), %xmm1
palignr $0x8, %xmm1, %xmm0      # xmm0 = xmm1[8,9,10,11,12,13,14,15],xmm0[0,1,2,3,4,5,6,7]
movq -0x1838(%rbp), %rax
movaps %xmm0, (%rax)
movaps -0x1860(%rbp), %xmm0
movaps -0x1850(%rbp), %xmm1
pblendw $0xf0, %xmm1, %xmm0     # xmm0 = xmm0[0,1,2,3],xmm1[4,5,6,7]
movq -0x1840(%rbp), %rax
movdqa %xmm0, (%rax)
movq -0x1888(%rbp), %rax
movq %rax, %rcx
addq $-0x1, %rcx
movq %rcx, -0x1888(%rbp)
cmpq $0x0, %rax
je 0x2ac55
movaps -0x18e0(%rbp), %xmm0
movaps %xmm0, -0x1900(%rbp)
movaps -0x18f0(%rbp), %xmm0
movaps %xmm0, -0x1910(%rbp)
movq -0x1880(%rbp), %rax
movq %rax, -0x1800(%rbp)
movq -0x1800(%rbp), %rax
movq %rax, -0x17f8(%rbp)
movq -0x17f8(%rbp), %rax
movups (%rax), %xmm1
movaps 0x2c8b1(%rip), %xmm0    # 0x550d0
movaps %xmm1, -0x970(%rbp)
movaps %xmm0, -0x980(%rbp)
movaps -0x970(%rbp), %xmm0
movaps -0x980(%rbp), %xmm1
pshufb %xmm1, %xmm0
movaps %xmm0, -0x18a0(%rbp)
movaps -0x18a0(%rbp), %xmm0
leaq -0x18e0(%rbp), %rcx
movq %rcx, -0x1920(%rbp)
movq %rcx, -0x1218(%rbp)
leaq -0x18f0(%rbp), %rax
movq %rax, -0x1918(%rbp)
movq %rax, -0x1220(%rbp)
movaps %xmm0, -0x1230(%rbp)
movabsq $-0x164a245a4a3f0431, %rdx # imm = 0xE9B5DBA5B5C0FBCF
movq %rdx, -0x1238(%rbp)
movabsq $0x71374491428a2f98, %rdx # imm = 0x71374491428A2F98
movq %rdx, -0x1240(%rbp)
movaps -0x1230(%rbp), %xmm1
movq -0x1238(%rbp), %rsi
movq -0x1240(%rbp), %rdx
movq %rsi, -0x11f8(%rbp)
movq %rdx, -0x1200(%rbp)
movq -0x11f8(%rbp), %xmm2
movq -0x1200(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1210(%rbp)
movaps -0x1210(%rbp), %xmm0
movaps %xmm1, -0xc20(%rbp)
movaps %xmm0, -0xc30(%rbp)
movaps -0xc20(%rbp), %xmm0
movaps -0xc30(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1250(%rbp)
movq -0x1220(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x1218(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x1250(%rbp), %xmm0
movaps %xmm2, -0x8b0(%rbp)
movaps %xmm1, -0x8c0(%rbp)
movaps %xmm0, -0x8d0(%rbp)
movaps -0x8b0(%rbp), %xmm1
movaps -0x8c0(%rbp), %xmm2
movaps -0x8d0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1220(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x1218(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x1220(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x1250(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x8e0(%rbp)
movaps %xmm1, -0x8f0(%rbp)
movaps %xmm0, -0x900(%rbp)
movaps -0x8e0(%rbp), %xmm1
movaps -0x8f0(%rbp), %xmm2
movaps -0x900(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1218(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x1880(%rbp), %rdx
addq $0x10, %rdx
movq %rdx, -0x1810(%rbp)
movq -0x1810(%rbp), %rdx
movq %rdx, -0x1808(%rbp)
movq -0x1808(%rbp), %rdx
movups (%rdx), %xmm1
movaps 0x2c6e1(%rip), %xmm0    # 0x550d0
movaps %xmm1, -0x950(%rbp)
movaps %xmm0, -0x960(%rbp)
movaps -0x950(%rbp), %xmm0
movaps -0x960(%rbp), %xmm1
pshufb %xmm1, %xmm0
movaps %xmm0, -0x18b0(%rbp)
movaps -0x18b0(%rbp), %xmm0
movq %rcx, -0x1278(%rbp)
movq %rax, -0x1280(%rbp)
movaps %xmm0, -0x1290(%rbp)
movabsq $-0x54e3a12a6dc07d5c, %rdx # imm = 0xAB1C5ED5923F82A4
movq %rdx, -0x1298(%rbp)
movabsq $0x59f111f13956c25b, %rdx # imm = 0x59F111F13956C25B
movq %rdx, -0x12a0(%rbp)
movaps -0x1290(%rbp), %xmm1
movq -0x1298(%rbp), %rsi
movq -0x12a0(%rbp), %rdx
movq %rsi, -0x1258(%rbp)
movq %rdx, -0x1260(%rbp)
movq -0x1258(%rbp), %xmm2
movq -0x1260(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1270(%rbp)
movaps -0x1270(%rbp), %xmm0
movaps %xmm1, -0xc00(%rbp)
movaps %xmm0, -0xc10(%rbp)
movaps -0xc00(%rbp), %xmm0
movaps -0xc10(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x12b0(%rbp)
movq -0x1280(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x1278(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x12b0(%rbp), %xmm0
movaps %xmm2, -0x850(%rbp)
movaps %xmm1, -0x860(%rbp)
movaps %xmm0, -0x870(%rbp)
movaps -0x850(%rbp), %xmm1
movaps -0x860(%rbp), %xmm2
movaps -0x870(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1280(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x1278(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x1280(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x12b0(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x880(%rbp)
movaps %xmm1, -0x890(%rbp)
movaps %xmm0, -0x8a0(%rbp)
movaps -0x880(%rbp), %xmm1
movaps -0x890(%rbp), %xmm2
movaps -0x8a0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1278(%rbp), %rdx
movaps %xmm0, (%rdx)
movaps -0x18b0(%rbp), %xmm0
leaq -0x18a0(%rbp), %r8
movq %r8, -0x11c0(%rbp)
movaps %xmm0, -0x11d0(%rbp)
movq -0x11c0(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x11d0(%rbp), %xmm0
movaps %xmm1, -0x1b0(%rbp)
movaps %xmm0, -0x1c0(%rbp)
movaps -0x1b0(%rbp), %xmm0
movaps -0x1c0(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x11c0(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x1880(%rbp), %rdx
addq $0x20, %rdx
movq %rdx, -0x1820(%rbp)
movq -0x1820(%rbp), %rdx
movq %rdx, -0x1818(%rbp)
movq -0x1818(%rbp), %rdx
movups (%rdx), %xmm1
movaps 0x2c4d6(%rip), %xmm0    # 0x550d0
movaps %xmm1, -0x930(%rbp)
movaps %xmm0, -0x940(%rbp)
movaps -0x930(%rbp), %xmm0
movaps -0x940(%rbp), %xmm1
pshufb %xmm1, %xmm0
movaps %xmm0, -0x18c0(%rbp)
movaps -0x18c0(%rbp), %xmm0
movq %rcx, -0x12d8(%rbp)
movq %rax, -0x12e0(%rbp)
movaps %xmm0, -0x12f0(%rbp)
movabsq $0x550c7dc3243185be, %rdx # imm = 0x550C7DC3243185BE
movq %rdx, -0x12f8(%rbp)
movabsq $0x12835b01d807aa98, %rdx # imm = 0x12835B01D807AA98
movq %rdx, -0x1300(%rbp)
movaps -0x12f0(%rbp), %xmm1
movq -0x12f8(%rbp), %rsi
movq -0x1300(%rbp), %rdx
movq %rsi, -0x12b8(%rbp)
movq %rdx, -0x12c0(%rbp)
movq -0x12b8(%rbp), %xmm2
movq -0x12c0(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x12d0(%rbp)
movaps -0x12d0(%rbp), %xmm0
movaps %xmm1, -0xbe0(%rbp)
movaps %xmm0, -0xbf0(%rbp)
movaps -0xbe0(%rbp), %xmm0
movaps -0xbf0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1310(%rbp)
movq -0x12e0(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x12d8(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x1310(%rbp), %xmm0
movaps %xmm2, -0x7f0(%rbp)
movaps %xmm1, -0x800(%rbp)
movaps %xmm0, -0x810(%rbp)
movaps -0x7f0(%rbp), %xmm1
movaps -0x800(%rbp), %xmm2
movaps -0x810(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x12e0(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x12d8(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x12e0(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x1310(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x820(%rbp)
movaps %xmm1, -0x830(%rbp)
movaps %xmm0, -0x840(%rbp)
movaps -0x820(%rbp), %xmm1
movaps -0x830(%rbp), %xmm2
movaps -0x840(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x12d8(%rbp), %rdx
movaps %xmm0, (%rdx)
movaps -0x18c0(%rbp), %xmm0
leaq -0x18b0(%rbp), %rsi
movq %rsi, -0x11d8(%rbp)
movaps %xmm0, -0x11f0(%rbp)
movq -0x11d8(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x11f0(%rbp), %xmm0
movaps %xmm1, -0x190(%rbp)
movaps %xmm0, -0x1a0(%rbp)
movaps -0x190(%rbp), %xmm0
movaps -0x1a0(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x11d8(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x1880(%rbp), %rdx
addq $0x30, %rdx
movq %rdx, -0x1830(%rbp)
movq -0x1830(%rbp), %rdx
movq %rdx, -0x1828(%rbp)
movq -0x1828(%rbp), %rdx
movups (%rdx), %xmm1
movaps 0x2c2cb(%rip), %xmm0    # 0x550d0
movaps %xmm1, -0x910(%rbp)
movaps %xmm0, -0x920(%rbp)
movaps -0x910(%rbp), %xmm0
movaps -0x920(%rbp), %xmm1
pshufb %xmm1, %xmm0
movaps %xmm0, -0x18d0(%rbp)
movaps -0x18d0(%rbp), %xmm0
movq %rcx, -0x1338(%rbp)
movq %rax, -0x1340(%rbp)
movaps %xmm0, -0x1350(%rbp)
movabsq $-0x3e640e8b6423f959, %rdx # imm = 0xC19BF1749BDC06A7
movq %rdx, -0x1358(%rbp)
movabsq $-0x7f214e018d41a28c, %rdx # imm = 0x80DEB1FE72BE5D74
movq %rdx, -0x1360(%rbp)
movaps -0x1350(%rbp), %xmm1
movq -0x1358(%rbp), %rdi
movq -0x1360(%rbp), %rdx
movq %rdi, -0x1318(%rbp)
movq %rdx, -0x1320(%rbp)
movq -0x1318(%rbp), %xmm2
movq -0x1320(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1330(%rbp)
movaps -0x1330(%rbp), %xmm0
movaps %xmm1, -0xbc0(%rbp)
movaps %xmm0, -0xbd0(%rbp)
movaps -0xbc0(%rbp), %xmm0
movaps -0xbd0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1370(%rbp)
movq -0x1340(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x1338(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x1370(%rbp), %xmm0
movaps %xmm2, -0x790(%rbp)
movaps %xmm1, -0x7a0(%rbp)
movaps %xmm0, -0x7b0(%rbp)
movaps -0x790(%rbp), %xmm1
movaps -0x7a0(%rbp), %xmm2
movaps -0x7b0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1340(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x1338(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x1340(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x1370(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x7c0(%rbp)
movaps %xmm1, -0x7d0(%rbp)
movaps %xmm0, -0x7e0(%rbp)
movaps -0x7c0(%rbp), %xmm1
movaps -0x7d0(%rbp), %xmm2
movaps -0x7e0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1338(%rbp), %rdx
movaps %xmm0, (%rdx)
movaps -0x18d0(%rbp), %xmm0
leaq -0x18c0(%rbp), %rdi
movq %rdi, -0xf58(%rbp)
movaps %xmm0, -0xf70(%rbp)
movq %r8, -0xf78(%rbp)
movq -0xf58(%rbp), %r9
movaps -0xf70(%rbp), %xmm0
movq -0xf78(%rbp), %rdx
movq %r9, -0xf20(%rbp)
movaps %xmm0, -0xf30(%rbp)
movq %rdx, -0xf38(%rbp)
movq -0xf38(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0xf30(%rbp), %xmm0
movq -0xf20(%rbp), %rdx
movaps (%rdx), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xc40(%rbp)
movaps %xmm0, -0xc50(%rbp)
movaps -0xc40(%rbp), %xmm1
movaps -0xc50(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xf30(%rbp), %xmm0
movaps %xmm1, -0x10(%rbp)
movaps %xmm0, -0x20(%rbp)
movaps -0x10(%rbp), %xmm0
movaps -0x20(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xf38(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0xf58(%rbp), %rdx
movaps -0xf70(%rbp), %xmm0
movq %rdx, -0xf40(%rbp)
movaps %xmm0, -0xf50(%rbp)
movq -0xf40(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0xf50(%rbp), %xmm0
movaps %xmm1, -0x2f0(%rbp)
movaps %xmm0, -0x300(%rbp)
movaps -0x2f0(%rbp), %xmm0
movaps -0x300(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0xf40(%rbp), %rdx
movaps %xmm0, (%rdx)
movaps -0x18a0(%rbp), %xmm0
movq %rcx, -0x1398(%rbp)
movq %rax, -0x13a0(%rbp)
movaps %xmm0, -0x13b0(%rbp)
movabsq $0x240ca1cc0fc19dc6, %rdx # imm = 0x240CA1CC0FC19DC6
movq %rdx, -0x13b8(%rbp)
movabsq $-0x1041b8791b64963f, %rdx # imm = 0xEFBE4786E49B69C1
movq %rdx, -0x13c0(%rbp)
movaps -0x13b0(%rbp), %xmm1
movq -0x13b8(%rbp), %r9
movq -0x13c0(%rbp), %rdx
movq %r9, -0x1378(%rbp)
movq %rdx, -0x1380(%rbp)
movq -0x1378(%rbp), %xmm2
movq -0x1380(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1390(%rbp)
movaps -0x1390(%rbp), %xmm0
movaps %xmm1, -0xba0(%rbp)
movaps %xmm0, -0xbb0(%rbp)
movaps -0xba0(%rbp), %xmm0
movaps -0xbb0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x13d0(%rbp)
movq -0x13a0(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x1398(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x13d0(%rbp), %xmm0
movaps %xmm2, -0x730(%rbp)
movaps %xmm1, -0x740(%rbp)
movaps %xmm0, -0x750(%rbp)
movaps -0x730(%rbp), %xmm1
movaps -0x740(%rbp), %xmm2
movaps -0x750(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x13a0(%rbp), %rdx
movaps %xmm0, (%rdx)
movq -0x1398(%rbp), %rdx
movaps (%rdx), %xmm2
movq -0x13a0(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0x13d0(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x760(%rbp)
movaps %xmm1, -0x770(%rbp)
movaps %xmm0, -0x780(%rbp)
movaps -0x760(%rbp), %xmm1
movaps -0x770(%rbp), %xmm2
movaps -0x780(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1398(%rbp), %rdx
movaps %xmm0, (%rdx)
movaps -0x18a0(%rbp), %xmm0
leaq -0x18d0(%rbp), %rdx
movq %rdx, -0xf98(%rbp)
movaps %xmm0, -0xfb0(%rbp)
movq %rsi, -0xfb8(%rbp)
movq -0xf98(%rbp), %r10
movaps -0xfb0(%rbp), %xmm0
movq -0xfb8(%rbp), %r9
movq %r10, -0xf00(%rbp)
movaps %xmm0, -0xf10(%rbp)
movq %r9, -0xf18(%rbp)
movq -0xf18(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xf10(%rbp), %xmm0
movq -0xf00(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xc60(%rbp)
movaps %xmm0, -0xc70(%rbp)
movaps -0xc60(%rbp), %xmm1
movaps -0xc70(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xf10(%rbp), %xmm0
movaps %xmm1, -0x30(%rbp)
movaps %xmm0, -0x40(%rbp)
movaps -0x30(%rbp), %xmm0
movaps -0x40(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xf18(%rbp), %r9
movaps %xmm0, (%r9)
movq -0xf98(%rbp), %r9
movaps -0xfb0(%rbp), %xmm0
movq %r9, -0xf80(%rbp)
movaps %xmm0, -0xf90(%rbp)
movq -0xf80(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xf90(%rbp), %xmm0
movaps %xmm1, -0x2d0(%rbp)
movaps %xmm0, -0x2e0(%rbp)
movaps -0x2d0(%rbp), %xmm0
movaps -0x2e0(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0xf80(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18b0(%rbp), %xmm0
movq %rcx, -0x13f8(%rbp)
movq %rax, -0x1400(%rbp)
movaps %xmm0, -0x1410(%rbp)
movabsq $0x76f988da5cb0a9dc, %r9 # imm = 0x76F988DA5CB0A9DC
movq %r9, -0x1418(%rbp)
movabsq $0x4a7484aa2de92c6f, %r9 # imm = 0x4A7484AA2DE92C6F
movq %r9, -0x1420(%rbp)
movaps -0x1410(%rbp), %xmm1
movq -0x1418(%rbp), %r10
movq -0x1420(%rbp), %r9
movq %r10, -0x13d8(%rbp)
movq %r9, -0x13e0(%rbp)
movq -0x13d8(%rbp), %xmm2
movq -0x13e0(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x13f0(%rbp)
movaps -0x13f0(%rbp), %xmm0
movaps %xmm1, -0xb80(%rbp)
movaps %xmm0, -0xb90(%rbp)
movaps -0xb80(%rbp), %xmm0
movaps -0xb90(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1430(%rbp)
movq -0x1400(%rbp), %r9
movaps (%r9), %xmm2
movq -0x13f8(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1430(%rbp), %xmm0
movaps %xmm2, -0x6d0(%rbp)
movaps %xmm1, -0x6e0(%rbp)
movaps %xmm0, -0x6f0(%rbp)
movaps -0x6d0(%rbp), %xmm1
movaps -0x6e0(%rbp), %xmm2
movaps -0x6f0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1400(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x13f8(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1400(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1430(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x700(%rbp)
movaps %xmm1, -0x710(%rbp)
movaps %xmm0, -0x720(%rbp)
movaps -0x700(%rbp), %xmm1
movaps -0x710(%rbp), %xmm2
movaps -0x720(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x13f8(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18b0(%rbp), %xmm0
movq %r8, -0xfd8(%rbp)
movaps %xmm0, -0xff0(%rbp)
movq %rdi, -0xff8(%rbp)
movq -0xfd8(%rbp), %r10
movaps -0xff0(%rbp), %xmm0
movq -0xff8(%rbp), %r9
movq %r10, -0xee0(%rbp)
movaps %xmm0, -0xef0(%rbp)
movq %r9, -0xef8(%rbp)
movq -0xef8(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xef0(%rbp), %xmm0
movq -0xee0(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xc80(%rbp)
movaps %xmm0, -0xc90(%rbp)
movaps -0xc80(%rbp), %xmm1
movaps -0xc90(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xef0(%rbp), %xmm0
movaps %xmm1, -0x50(%rbp)
movaps %xmm0, -0x60(%rbp)
movaps -0x50(%rbp), %xmm0
movaps -0x60(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xef8(%rbp), %r9
movaps %xmm0, (%r9)
movq -0xfd8(%rbp), %r9
movaps -0xff0(%rbp), %xmm0
movq %r9, -0xfc0(%rbp)
movaps %xmm0, -0xfd0(%rbp)
movq -0xfc0(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xfd0(%rbp), %xmm0
movaps %xmm1, -0x2b0(%rbp)
movaps %xmm0, -0x2c0(%rbp)
movaps -0x2b0(%rbp), %xmm0
movaps -0x2c0(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0xfc0(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18c0(%rbp), %xmm0
movq %rcx, -0x1458(%rbp)
movq %rax, -0x1460(%rbp)
movaps %xmm0, -0x1470(%rbp)
movabsq $-0x40a680384ffcd838, %r9 # imm = 0xBF597FC7B00327C8
movq %r9, -0x1478(%rbp)
movabsq $-0x57ce399267c1aeae, %r9 # imm = 0xA831C66D983E5152
movq %r9, -0x1480(%rbp)
movaps -0x1470(%rbp), %xmm1
movq -0x1478(%rbp), %r10
movq -0x1480(%rbp), %r9
movq %r10, -0x1438(%rbp)
movq %r9, -0x1440(%rbp)
movq -0x1438(%rbp), %xmm2
movq -0x1440(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1450(%rbp)
movaps -0x1450(%rbp), %xmm0
movaps %xmm1, -0xb60(%rbp)
movaps %xmm0, -0xb70(%rbp)
movaps -0xb60(%rbp), %xmm0
movaps -0xb70(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1490(%rbp)
movq -0x1460(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1458(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1490(%rbp), %xmm0
movaps %xmm2, -0x670(%rbp)
movaps %xmm1, -0x680(%rbp)
movaps %xmm0, -0x690(%rbp)
movaps -0x670(%rbp), %xmm1
movaps -0x680(%rbp), %xmm2
movaps -0x690(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1460(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1458(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1460(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1490(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x6a0(%rbp)
movaps %xmm1, -0x6b0(%rbp)
movaps %xmm0, -0x6c0(%rbp)
movaps -0x6a0(%rbp), %xmm1
movaps -0x6b0(%rbp), %xmm2
movaps -0x6c0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1458(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18c0(%rbp), %xmm0
movq %rsi, -0x1018(%rbp)
movaps %xmm0, -0x1030(%rbp)
movq %rdx, -0x1038(%rbp)
movq -0x1018(%rbp), %r10
movaps -0x1030(%rbp), %xmm0
movq -0x1038(%rbp), %r9
movq %r10, -0xec0(%rbp)
movaps %xmm0, -0xed0(%rbp)
movq %r9, -0xed8(%rbp)
movq -0xed8(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xed0(%rbp), %xmm0
movq -0xec0(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xca0(%rbp)
movaps %xmm0, -0xcb0(%rbp)
movaps -0xca0(%rbp), %xmm1
movaps -0xcb0(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xed0(%rbp), %xmm0
movaps %xmm1, -0x70(%rbp)
movaps %xmm0, -0x80(%rbp)
movaps -0x70(%rbp), %xmm0
movaps -0x80(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xed8(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1018(%rbp), %r9
movaps -0x1030(%rbp), %xmm0
movq %r9, -0x1000(%rbp)
movaps %xmm0, -0x1010(%rbp)
movq -0x1000(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1010(%rbp), %xmm0
movaps %xmm1, -0x290(%rbp)
movaps %xmm0, -0x2a0(%rbp)
movaps -0x290(%rbp), %xmm0
movaps -0x2a0(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x1000(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18d0(%rbp), %xmm0
movq %rcx, -0x14b8(%rbp)
movq %rax, -0x14c0(%rbp)
movaps %xmm0, -0x14d0(%rbp)
movabsq $0x1429296706ca6351, %r9 # imm = 0x1429296706CA6351
movq %r9, -0x14d8(%rbp)
movabsq $-0x2a586eb8391ff40d, %r9 # imm = 0xD5A79147C6E00BF3
movq %r9, -0x14e0(%rbp)
movaps -0x14d0(%rbp), %xmm1
movq -0x14d8(%rbp), %r10
movq -0x14e0(%rbp), %r9
movq %r10, -0x1498(%rbp)
movq %r9, -0x14a0(%rbp)
movq -0x1498(%rbp), %xmm2
movq -0x14a0(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x14b0(%rbp)
movaps -0x14b0(%rbp), %xmm0
movaps %xmm1, -0xb40(%rbp)
movaps %xmm0, -0xb50(%rbp)
movaps -0xb40(%rbp), %xmm0
movaps -0xb50(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x14f0(%rbp)
movq -0x14c0(%rbp), %r9
movaps (%r9), %xmm2
movq -0x14b8(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x14f0(%rbp), %xmm0
movaps %xmm2, -0x610(%rbp)
movaps %xmm1, -0x620(%rbp)
movaps %xmm0, -0x630(%rbp)
movaps -0x610(%rbp), %xmm1
movaps -0x620(%rbp), %xmm2
movaps -0x630(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x14c0(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x14b8(%rbp), %r9
movaps (%r9), %xmm2
movq -0x14c0(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x14f0(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x640(%rbp)
movaps %xmm1, -0x650(%rbp)
movaps %xmm0, -0x660(%rbp)
movaps -0x640(%rbp), %xmm1
movaps -0x650(%rbp), %xmm2
movaps -0x660(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x14b8(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18d0(%rbp), %xmm0
movq %rdi, -0x1058(%rbp)
movaps %xmm0, -0x1070(%rbp)
movq %r8, -0x1078(%rbp)
movq -0x1058(%rbp), %r10
movaps -0x1070(%rbp), %xmm0
movq -0x1078(%rbp), %r9
movq %r10, -0xea0(%rbp)
movaps %xmm0, -0xeb0(%rbp)
movq %r9, -0xeb8(%rbp)
movq -0xeb8(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xeb0(%rbp), %xmm0
movq -0xea0(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xcc0(%rbp)
movaps %xmm0, -0xcd0(%rbp)
movaps -0xcc0(%rbp), %xmm1
movaps -0xcd0(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xeb0(%rbp), %xmm0
movaps %xmm1, -0x90(%rbp)
movaps %xmm0, -0xa0(%rbp)
movaps -0x90(%rbp), %xmm0
movaps -0xa0(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xeb8(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1058(%rbp), %r9
movaps -0x1070(%rbp), %xmm0
movq %r9, -0x1040(%rbp)
movaps %xmm0, -0x1050(%rbp)
movq -0x1040(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1050(%rbp), %xmm0
movaps %xmm1, -0x270(%rbp)
movaps %xmm0, -0x280(%rbp)
movaps -0x270(%rbp), %xmm0
movaps -0x280(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x1040(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18a0(%rbp), %xmm0
movq %rcx, -0x1518(%rbp)
movq %rax, -0x1520(%rbp)
movaps %xmm0, -0x1530(%rbp)
movabsq $0x53380d134d2c6dfc, %r9 # imm = 0x53380D134D2C6DFC
movq %r9, -0x1538(%rbp)
movabsq $0x2e1b213827b70a85, %r9 # imm = 0x2E1B213827B70A85
movq %r9, -0x1540(%rbp)
movaps -0x1530(%rbp), %xmm1
movq -0x1538(%rbp), %r10
movq -0x1540(%rbp), %r9
movq %r10, -0x14f8(%rbp)
movq %r9, -0x1500(%rbp)
movq -0x14f8(%rbp), %xmm2
movq -0x1500(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1510(%rbp)
movaps -0x1510(%rbp), %xmm0
movaps %xmm1, -0xb20(%rbp)
movaps %xmm0, -0xb30(%rbp)
movaps -0xb20(%rbp), %xmm0
movaps -0xb30(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1550(%rbp)
movq -0x1520(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1518(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1550(%rbp), %xmm0
movaps %xmm2, -0x5b0(%rbp)
movaps %xmm1, -0x5c0(%rbp)
movaps %xmm0, -0x5d0(%rbp)
movaps -0x5b0(%rbp), %xmm1
movaps -0x5c0(%rbp), %xmm2
movaps -0x5d0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1520(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1518(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1520(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1550(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x5e0(%rbp)
movaps %xmm1, -0x5f0(%rbp)
movaps %xmm0, -0x600(%rbp)
movaps -0x5e0(%rbp), %xmm1
movaps -0x5f0(%rbp), %xmm2
movaps -0x600(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1518(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18a0(%rbp), %xmm0
movq %rdx, -0x1098(%rbp)
movaps %xmm0, -0x10b0(%rbp)
movq %rsi, -0x10b8(%rbp)
movq -0x1098(%rbp), %r10
movaps -0x10b0(%rbp), %xmm0
movq -0x10b8(%rbp), %r9
movq %r10, -0xe80(%rbp)
movaps %xmm0, -0xe90(%rbp)
movq %r9, -0xe98(%rbp)
movq -0xe98(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xe90(%rbp), %xmm0
movq -0xe80(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xce0(%rbp)
movaps %xmm0, -0xcf0(%rbp)
movaps -0xce0(%rbp), %xmm1
movaps -0xcf0(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xe90(%rbp), %xmm0
movaps %xmm1, -0xb0(%rbp)
movaps %xmm0, -0xc0(%rbp)
movaps -0xb0(%rbp), %xmm0
movaps -0xc0(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xe98(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1098(%rbp), %r9
movaps -0x10b0(%rbp), %xmm0
movq %r9, -0x1080(%rbp)
movaps %xmm0, -0x1090(%rbp)
movq -0x1080(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1090(%rbp), %xmm0
movaps %xmm1, -0x250(%rbp)
movaps %xmm0, -0x260(%rbp)
movaps -0x250(%rbp), %xmm0
movaps -0x260(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x1080(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18b0(%rbp), %xmm0
movq %rcx, -0x1578(%rbp)
movq %rax, -0x1580(%rbp)
movaps %xmm0, -0x1590(%rbp)
movabsq $-0x6d8dd37a7e3d36d2, %r9 # imm = 0x92722C8581C2C92E
movq %r9, -0x1598(%rbp)
movabsq $0x766a0abb650a7354, %r9 # imm = 0x766A0ABB650A7354
movq %r9, -0x15a0(%rbp)
movaps -0x1590(%rbp), %xmm1
movq -0x1598(%rbp), %r10
movq -0x15a0(%rbp), %r9
movq %r10, -0x1558(%rbp)
movq %r9, -0x1560(%rbp)
movq -0x1558(%rbp), %xmm2
movq -0x1560(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1570(%rbp)
movaps -0x1570(%rbp), %xmm0
movaps %xmm1, -0xb00(%rbp)
movaps %xmm0, -0xb10(%rbp)
movaps -0xb00(%rbp), %xmm0
movaps -0xb10(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x15b0(%rbp)
movq -0x1580(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1578(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x15b0(%rbp), %xmm0
movaps %xmm2, -0x550(%rbp)
movaps %xmm1, -0x560(%rbp)
movaps %xmm0, -0x570(%rbp)
movaps -0x550(%rbp), %xmm1
movaps -0x560(%rbp), %xmm2
movaps -0x570(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1580(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1578(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1580(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x15b0(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x580(%rbp)
movaps %xmm1, -0x590(%rbp)
movaps %xmm0, -0x5a0(%rbp)
movaps -0x580(%rbp), %xmm1
movaps -0x590(%rbp), %xmm2
movaps -0x5a0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1578(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18b0(%rbp), %xmm0
movq %r8, -0x10d8(%rbp)
movaps %xmm0, -0x10f0(%rbp)
movq %rdi, -0x10f8(%rbp)
movq -0x10d8(%rbp), %r10
movaps -0x10f0(%rbp), %xmm0
movq -0x10f8(%rbp), %r9
movq %r10, -0xe60(%rbp)
movaps %xmm0, -0xe70(%rbp)
movq %r9, -0xe78(%rbp)
movq -0xe78(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xe70(%rbp), %xmm0
movq -0xe60(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xd00(%rbp)
movaps %xmm0, -0xd10(%rbp)
movaps -0xd00(%rbp), %xmm1
movaps -0xd10(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xe70(%rbp), %xmm0
movaps %xmm1, -0xd0(%rbp)
movaps %xmm0, -0xe0(%rbp)
movaps -0xd0(%rbp), %xmm0
movaps -0xe0(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xe78(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x10d8(%rbp), %r9
movaps -0x10f0(%rbp), %xmm0
movq %r9, -0x10c0(%rbp)
movaps %xmm0, -0x10d0(%rbp)
movq -0x10c0(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x10d0(%rbp), %xmm0
movaps %xmm1, -0x230(%rbp)
movaps %xmm0, -0x240(%rbp)
movaps -0x230(%rbp), %xmm0
movaps -0x240(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x10c0(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18c0(%rbp), %xmm0
movq %rcx, -0x15d8(%rbp)
movq %rax, -0x15e0(%rbp)
movaps %xmm0, -0x15f0(%rbp)
movabsq $-0x3893ae5c3db47490, %r9 # imm = 0xC76C51A3C24B8B70
movq %r9, -0x15f8(%rbp)
movabsq $-0x57e599b45d40175f, %r9 # imm = 0xA81A664BA2BFE8A1
movq %r9, -0x1600(%rbp)
movaps -0x15f0(%rbp), %xmm1
movq -0x15f8(%rbp), %r10
movq -0x1600(%rbp), %r9
movq %r10, -0x15b8(%rbp)
movq %r9, -0x15c0(%rbp)
movq -0x15b8(%rbp), %xmm2
movq -0x15c0(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x15d0(%rbp)
movaps -0x15d0(%rbp), %xmm0
movaps %xmm1, -0xae0(%rbp)
movaps %xmm0, -0xaf0(%rbp)
movaps -0xae0(%rbp), %xmm0
movaps -0xaf0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1610(%rbp)
movq -0x15e0(%rbp), %r9
movaps (%r9), %xmm2
movq -0x15d8(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1610(%rbp), %xmm0
movaps %xmm2, -0x4f0(%rbp)
movaps %xmm1, -0x500(%rbp)
movaps %xmm0, -0x510(%rbp)
movaps -0x4f0(%rbp), %xmm1
movaps -0x500(%rbp), %xmm2
movaps -0x510(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x15e0(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x15d8(%rbp), %r9
movaps (%r9), %xmm2
movq -0x15e0(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1610(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x520(%rbp)
movaps %xmm1, -0x530(%rbp)
movaps %xmm0, -0x540(%rbp)
movaps -0x520(%rbp), %xmm1
movaps -0x530(%rbp), %xmm2
movaps -0x540(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x15d8(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18c0(%rbp), %xmm0
movq %rsi, -0x1118(%rbp)
movaps %xmm0, -0x1130(%rbp)
movq %rdx, -0x1138(%rbp)
movq -0x1118(%rbp), %r10
movaps -0x1130(%rbp), %xmm0
movq -0x1138(%rbp), %r9
movq %r10, -0xe40(%rbp)
movaps %xmm0, -0xe50(%rbp)
movq %r9, -0xe58(%rbp)
movq -0xe58(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xe50(%rbp), %xmm0
movq -0xe40(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xd20(%rbp)
movaps %xmm0, -0xd30(%rbp)
movaps -0xd20(%rbp), %xmm1
movaps -0xd30(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xe50(%rbp), %xmm0
movaps %xmm1, -0xf0(%rbp)
movaps %xmm0, -0x100(%rbp)
movaps -0xf0(%rbp), %xmm0
movaps -0x100(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xe58(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1118(%rbp), %r9
movaps -0x1130(%rbp), %xmm0
movq %r9, -0x1100(%rbp)
movaps %xmm0, -0x1110(%rbp)
movq -0x1100(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1110(%rbp), %xmm0
movaps %xmm1, -0x210(%rbp)
movaps %xmm0, -0x220(%rbp)
movaps -0x210(%rbp), %xmm0
movaps -0x220(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x1100(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18d0(%rbp), %xmm0
movq %rcx, -0x1638(%rbp)
movq %rax, -0x1640(%rbp)
movaps %xmm0, -0x1650(%rbp)
movabsq $0x106aa070f40e3585, %r9 # imm = 0x106AA070F40E3585
movq %r9, -0x1658(%rbp)
movabsq $-0x2966f9db2e6d17e7, %r9 # imm = 0xD6990624D192E819
movq %r9, -0x1660(%rbp)
movaps -0x1650(%rbp), %xmm1
movq -0x1658(%rbp), %r10
movq -0x1660(%rbp), %r9
movq %r10, -0x1618(%rbp)
movq %r9, -0x1620(%rbp)
movq -0x1618(%rbp), %xmm2
movq -0x1620(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1630(%rbp)
movaps -0x1630(%rbp), %xmm0
movaps %xmm1, -0xac0(%rbp)
movaps %xmm0, -0xad0(%rbp)
movaps -0xac0(%rbp), %xmm0
movaps -0xad0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1670(%rbp)
movq -0x1640(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1638(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1670(%rbp), %xmm0
movaps %xmm2, -0x490(%rbp)
movaps %xmm1, -0x4a0(%rbp)
movaps %xmm0, -0x4b0(%rbp)
movaps -0x490(%rbp), %xmm1
movaps -0x4a0(%rbp), %xmm2
movaps -0x4b0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1640(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1638(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1640(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1670(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x4c0(%rbp)
movaps %xmm1, -0x4d0(%rbp)
movaps %xmm0, -0x4e0(%rbp)
movaps -0x4c0(%rbp), %xmm1
movaps -0x4d0(%rbp), %xmm2
movaps -0x4e0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1638(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18d0(%rbp), %xmm0
movq %rdi, -0x1158(%rbp)
movaps %xmm0, -0x1170(%rbp)
movq %r8, -0x1178(%rbp)
movq -0x1158(%rbp), %r10
movaps -0x1170(%rbp), %xmm0
movq -0x1178(%rbp), %r9
movq %r10, -0xe20(%rbp)
movaps %xmm0, -0xe30(%rbp)
movq %r9, -0xe38(%rbp)
movq -0xe38(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xe30(%rbp), %xmm0
movq -0xe20(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xd40(%rbp)
movaps %xmm0, -0xd50(%rbp)
movaps -0xd40(%rbp), %xmm1
movaps -0xd50(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xe30(%rbp), %xmm0
movaps %xmm1, -0x110(%rbp)
movaps %xmm0, -0x120(%rbp)
movaps -0x110(%rbp), %xmm0
movaps -0x120(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xe38(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1158(%rbp), %r9
movaps -0x1170(%rbp), %xmm0
movq %r9, -0x1140(%rbp)
movaps %xmm0, -0x1150(%rbp)
movq -0x1140(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1150(%rbp), %xmm0
movaps %xmm1, -0x1f0(%rbp)
movaps %xmm0, -0x200(%rbp)
movaps -0x1f0(%rbp), %xmm0
movaps -0x200(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x1140(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18a0(%rbp), %xmm0
movq %rcx, -0x1698(%rbp)
movq %rax, -0x16a0(%rbp)
movaps %xmm0, -0x16b0(%rbp)
movabsq $0x34b0bcb52748774c, %r9 # imm = 0x34B0BCB52748774C
movq %r9, -0x16b8(%rbp)
movabsq $0x1e376c0819a4c116, %r9 # imm = 0x1E376C0819A4C116
movq %r9, -0x16c0(%rbp)
movaps -0x16b0(%rbp), %xmm1
movq -0x16b8(%rbp), %r10
movq -0x16c0(%rbp), %r9
movq %r10, -0x1678(%rbp)
movq %r9, -0x1680(%rbp)
movq -0x1678(%rbp), %xmm2
movq -0x1680(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1690(%rbp)
movaps -0x1690(%rbp), %xmm0
movaps %xmm1, -0xaa0(%rbp)
movaps %xmm0, -0xab0(%rbp)
movaps -0xaa0(%rbp), %xmm0
movaps -0xab0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x16d0(%rbp)
movq -0x16a0(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1698(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x16d0(%rbp), %xmm0
movaps %xmm2, -0x430(%rbp)
movaps %xmm1, -0x440(%rbp)
movaps %xmm0, -0x450(%rbp)
movaps -0x430(%rbp), %xmm1
movaps -0x440(%rbp), %xmm2
movaps -0x450(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x16a0(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1698(%rbp), %r9
movaps (%r9), %xmm2
movq -0x16a0(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x16d0(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x460(%rbp)
movaps %xmm1, -0x470(%rbp)
movaps %xmm0, -0x480(%rbp)
movaps -0x460(%rbp), %xmm1
movaps -0x470(%rbp), %xmm2
movaps -0x480(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1698(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18a0(%rbp), %xmm0
movq %rdx, -0x1198(%rbp)
movaps %xmm0, -0x11b0(%rbp)
movq %rsi, -0x11b8(%rbp)
movq -0x1198(%rbp), %r10
movaps -0x11b0(%rbp), %xmm0
movq -0x11b8(%rbp), %r9
movq %r10, -0xe00(%rbp)
movaps %xmm0, -0xe10(%rbp)
movq %r9, -0xe18(%rbp)
movq -0xe18(%rbp), %r9
movaps (%r9), %xmm1
movaps -0xe10(%rbp), %xmm0
movq -0xe00(%rbp), %r9
movaps (%r9), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xd60(%rbp)
movaps %xmm0, -0xd70(%rbp)
movaps -0xd60(%rbp), %xmm1
movaps -0xd70(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xe10(%rbp), %xmm0
movaps %xmm1, -0x130(%rbp)
movaps %xmm0, -0x140(%rbp)
movaps -0x130(%rbp), %xmm0
movaps -0x140(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xe18(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x1198(%rbp), %r9
movaps -0x11b0(%rbp), %xmm0
movq %r9, -0x1180(%rbp)
movaps %xmm0, -0x1190(%rbp)
movq -0x1180(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1190(%rbp), %xmm0
movaps %xmm1, -0x1d0(%rbp)
movaps %xmm0, -0x1e0(%rbp)
movaps -0x1d0(%rbp), %xmm0
movaps -0x1e0(%rbp), %xmm1
sha256msg1 %xmm1, %xmm0
movq -0x1180(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18b0(%rbp), %xmm0
movq %rcx, -0x16f8(%rbp)
movq %rax, -0x1700(%rbp)
movaps %xmm0, -0x1710(%rbp)
movabsq $0x682e6ff35b9cca4f, %r9 # imm = 0x682E6FF35B9CCA4F
movq %r9, -0x1718(%rbp)
movabsq $0x4ed8aa4a391c0cb3, %r9 # imm = 0x4ED8AA4A391C0CB3
movq %r9, -0x1720(%rbp)
movaps -0x1710(%rbp), %xmm1
movq -0x1718(%rbp), %r10
movq -0x1720(%rbp), %r9
movq %r10, -0x16d8(%rbp)
movq %r9, -0x16e0(%rbp)
movq -0x16d8(%rbp), %xmm2
movq -0x16e0(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x16f0(%rbp)
movaps -0x16f0(%rbp), %xmm0
movaps %xmm1, -0xa80(%rbp)
movaps %xmm0, -0xa90(%rbp)
movaps -0xa80(%rbp), %xmm0
movaps -0xa90(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1730(%rbp)
movq -0x1700(%rbp), %r9
movaps (%r9), %xmm2
movq -0x16f8(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1730(%rbp), %xmm0
movaps %xmm2, -0x3d0(%rbp)
movaps %xmm1, -0x3e0(%rbp)
movaps %xmm0, -0x3f0(%rbp)
movaps -0x3d0(%rbp), %xmm1
movaps -0x3e0(%rbp), %xmm2
movaps -0x3f0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1700(%rbp), %r9
movaps %xmm0, (%r9)
movq -0x16f8(%rbp), %r9
movaps (%r9), %xmm2
movq -0x1700(%rbp), %r9
movaps (%r9), %xmm1
movaps -0x1730(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x400(%rbp)
movaps %xmm1, -0x410(%rbp)
movaps %xmm0, -0x420(%rbp)
movaps -0x400(%rbp), %xmm1
movaps -0x410(%rbp), %xmm2
movaps -0x420(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x16f8(%rbp), %r9
movaps %xmm0, (%r9)
movaps -0x18b0(%rbp), %xmm0
movq %r8, -0xdb8(%rbp)
movaps %xmm0, -0xdd0(%rbp)
movq %rdi, -0xdd8(%rbp)
movq -0xdd8(%rbp), %rdi
movaps (%rdi), %xmm1
movaps -0xdd0(%rbp), %xmm0
movq -0xdb8(%rbp), %rdi
movaps (%rdi), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xda0(%rbp)
movaps %xmm0, -0xdb0(%rbp)
movaps -0xda0(%rbp), %xmm1
movaps -0xdb0(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xdd0(%rbp), %xmm0
movaps %xmm1, -0x170(%rbp)
movaps %xmm0, -0x180(%rbp)
movaps -0x170(%rbp), %xmm0
movaps -0x180(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xdd8(%rbp), %rdi
movaps %xmm0, (%rdi)
movaps -0x18c0(%rbp), %xmm0
movq %rcx, -0x1758(%rbp)
movq %rax, -0x1760(%rbp)
movaps %xmm0, -0x1770(%rbp)
movabsq $-0x7338fdf77b3787ec, %rdi # imm = 0x8CC7020884C87814
movq %rdi, -0x1778(%rbp)
movabsq $0x78a5636f748f82ee, %rdi # imm = 0x78A5636F748F82EE
movq %rdi, -0x1780(%rbp)
movaps -0x1770(%rbp), %xmm1
movq -0x1778(%rbp), %r8
movq -0x1780(%rbp), %rdi
movq %r8, -0x1738(%rbp)
movq %rdi, -0x1740(%rbp)
movq -0x1738(%rbp), %xmm2
movq -0x1740(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x1750(%rbp)
movaps -0x1750(%rbp), %xmm0
movaps %xmm1, -0xa60(%rbp)
movaps %xmm0, -0xa70(%rbp)
movaps -0xa60(%rbp), %xmm0
movaps -0xa70(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x1790(%rbp)
movq -0x1760(%rbp), %rdi
movaps (%rdi), %xmm2
movq -0x1758(%rbp), %rdi
movaps (%rdi), %xmm1
movaps -0x1790(%rbp), %xmm0
movaps %xmm2, -0x370(%rbp)
movaps %xmm1, -0x380(%rbp)
movaps %xmm0, -0x390(%rbp)
movaps -0x370(%rbp), %xmm1
movaps -0x380(%rbp), %xmm2
movaps -0x390(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1760(%rbp), %rdi
movaps %xmm0, (%rdi)
movq -0x1758(%rbp), %rdi
movaps (%rdi), %xmm2
movq -0x1760(%rbp), %rdi
movaps (%rdi), %xmm1
movaps -0x1790(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movaps %xmm2, -0x3a0(%rbp)
movaps %xmm1, -0x3b0(%rbp)
movaps %xmm0, -0x3c0(%rbp)
movaps -0x3a0(%rbp), %xmm1
movaps -0x3b0(%rbp), %xmm2
movaps -0x3c0(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x1758(%rbp), %rdi
movaps %xmm0, (%rdi)
movaps -0x18c0(%rbp), %xmm0
movq %rsi, -0xde0(%rbp)
movaps %xmm0, -0xdf0(%rbp)
movq %rdx, -0xdf8(%rbp)
movq -0xdf8(%rbp), %rdx
movaps (%rdx), %xmm1
movaps -0xdf0(%rbp), %xmm0
movq -0xde0(%rbp), %rdx
movaps (%rdx), %xmm2
palignr $0x4, %xmm2, %xmm0      # xmm0 = xmm2[4,5,6,7,8,9,10,11,12,13,14,15],xmm0[0,1,2,3]
movaps %xmm1, -0xd80(%rbp)
movaps %xmm0, -0xd90(%rbp)
movaps -0xd80(%rbp), %xmm1
movaps -0xd90(%rbp), %xmm0
paddd %xmm0, %xmm1
movaps -0xdf0(%rbp), %xmm0
movaps %xmm1, -0x150(%rbp)
movaps %xmm0, -0x160(%rbp)
movaps -0x150(%rbp), %xmm0
movaps -0x160(%rbp), %xmm1
sha256msg2 %xmm1, %xmm0
movq -0xdf8(%rbp), %rdx
movaps %xmm0, (%rdx)
movaps -0x18d0(%rbp), %xmm0
movq %rcx, -0x17b8(%rbp)
movq %rax, -0x17c0(%rbp)
movaps %xmm0, -0x17d0(%rbp)
movabsq $-0x398e870d41065c09, %rax # imm = 0xC67178F2BEF9A3F7
movq %rax, -0x17d8(%rbp)
movabsq $-0x5baf93146f410006, %rax # imm = 0xA4506CEB90BEFFFA
movq %rax, -0x17e0(%rbp)
movaps -0x17d0(%rbp), %xmm1
movq -0x17d8(%rbp), %rcx
movq -0x17e0(%rbp), %rax
movq %rcx, -0x1798(%rbp)
movq %rax, -0x17a0(%rbp)
movq -0x1798(%rbp), %xmm2
movq -0x17a0(%rbp), %xmm0
punpcklqdq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0]
movaps %xmm0, -0x17b0(%rbp)
movaps -0x17b0(%rbp), %xmm0
movaps %xmm1, -0xa40(%rbp)
movaps %xmm0, -0xa50(%rbp)
movaps -0xa40(%rbp), %xmm0
movaps -0xa50(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0x17f0(%rbp)
movq -0x17c0(%rbp), %rax
movaps (%rax), %xmm2
movq -0x17b8(%rbp), %rax
movaps (%rax), %xmm1
movaps -0x17f0(%rbp), %xmm0
movaps %xmm2, -0x310(%rbp)
movaps %xmm1, -0x320(%rbp)
movaps %xmm0, -0x330(%rbp)
movaps -0x310(%rbp), %xmm1
movaps -0x320(%rbp), %xmm2
movaps -0x330(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x17c0(%rbp), %rax
movaps %xmm0, (%rax)
movq -0x17b8(%rbp), %rax
movaps (%rax), %xmm2
movq -0x17c0(%rbp), %rax
movaps (%rax), %xmm1
movaps -0x17f0(%rbp), %xmm0
pshufd $0xe, %xmm0, %xmm0      # xmm0 = xmm0[2,3,0,0]
movdqa %xmm2, -0x340(%rbp)
movdqa %xmm1, -0x350(%rbp)
movdqa %xmm0, -0x360(%rbp)
movdqa -0x340(%rbp), %xmm1
movdqa -0x350(%rbp), %xmm2
movdqa -0x360(%rbp), %xmm0
sha256rnds2 %xmm0, %xmm2, %xmm1
movaps %xmm1, %xmm0
movq -0x17b8(%rbp), %rax
movdqa %xmm0, (%rax)
movdqa -0x18e0(%rbp), %xmm1
movdqa -0x1900(%rbp), %xmm0
movdqa %xmm1, -0xa00(%rbp)
movdqa %xmm0, -0xa10(%rbp)
movdqa -0xa00(%rbp), %xmm0
movdqa -0xa10(%rbp), %xmm1
paddd %xmm1, %xmm0
movdqa %xmm0, -0x18e0(%rbp)
movdqa -0x18f0(%rbp), %xmm1
movdqa -0x1910(%rbp), %xmm0
movdqa %xmm1, -0xa20(%rbp)
movdqa %xmm0, -0xa30(%rbp)
movdqa -0xa20(%rbp), %xmm0
movdqa -0xa30(%rbp), %xmm1
paddd %xmm1, %xmm0
movdqa %xmm0, -0x18f0(%rbp)
movq -0x1880(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x1880(%rbp)
jmp 0x287b7
leaq -0x18e0(%rbp), %rax
movq %rax, -0x9c8(%rbp)
leaq -0x18f0(%rbp), %rax
movq %rax, -0x9d0(%rbp)
movq -0x9c8(%rbp), %rax
movaps (%rax), %xmm0
pshufd $0x1b, %xmm0, %xmm0     # xmm0 = xmm0[3,2,1,0]
movaps %xmm0, -0x9e0(%rbp)
movq -0x9d0(%rbp), %rax
movaps (%rax), %xmm0
pshufd $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[1,0,3,2]
movaps %xmm0, -0x9f0(%rbp)
movaps -0x9e0(%rbp), %xmm0
movaps -0x9f0(%rbp), %xmm1
pblendw $0xf0, %xmm1, %xmm0     # xmm0 = xmm0[0,1,2,3],xmm1[4,5,6,7]
movq -0x9c8(%rbp), %rax
movaps %xmm0, (%rax)
movaps -0x9f0(%rbp), %xmm0
movaps -0x9e0(%rbp), %xmm1
palignr $0x8, %xmm1, %xmm0      # xmm0 = xmm1[8,9,10,11,12,13,14,15],xmm0[0,1,2,3,4,5,6,7]
movq -0x9d0(%rbp), %rax
movdqa %xmm0, (%rax)
movq -0x1878(%rbp), %rax
movdqa -0x18e0(%rbp), %xmm0
movq %rax, -0x988(%rbp)
movdqa %xmm0, -0x9a0(%rbp)
movdqa -0x9a0(%rbp), %xmm0
movq -0x988(%rbp), %rax
movdqu %xmm0, (%rax)
movq -0x1878(%rbp), %rax
addq $0x10, %rax
movdqa -0x18f0(%rbp), %xmm0
movq %rax, -0x9a8(%rbp)
movdqa %xmm0, -0x9c0(%rbp)
movdqa -0x9c0(%rbp), %xmm0
movq -0x9a8(%rbp), %rax
movdqu %xmm0, (%rax)
addq $0x18a0, %rsp           # imm = 0x18A0
popq %rbp
retq
nopl (%rax)