// File: /workspace/github_c_makefile_star2_O0/MartinDrab[P]netpipe/sha2.c
// Function: sha256_transf
void sha256_transf(sha256_ctx *ctx, const unsigned char *message,
                   unsigned int block_nb)
{
    uint32 w[64];
    uint32 wv[8];
    uint32 t1, t2;
    const unsigned char *sub_block;
    int i;

#ifndef UNROLL_LOOPS
    int j;
#endif

    for (i = 0; i < (int) block_nb; i++) {
        sub_block = message + (i << 6);

#ifndef UNROLL_LOOPS
        for (j = 0; j < 16; j++) {
            PACK32(&sub_block[j << 2], &w[j]);
        }

        for (j = 16; j < 64; j++) {
            SHA256_SCR(j);
        }

        for (j = 0; j < 8; j++) {
            wv[j] = ctx->h[j];
        }

        for (j = 0; j < 64; j++) {
            t1 = wv[7] + SHA256_F2(wv[4]) + CH(wv[4], wv[5], wv[6])
                + sha256_k[j] + w[j];
            t2 = SHA256_F1(wv[0]) + MAJ(wv[0], wv[1], wv[2]);
            wv[7] = wv[6];
            wv[6] = wv[5];
            wv[5] = wv[4];
            wv[4] = wv[3] + t1;
            wv[3] = wv[2];
            wv[2] = wv[1];
            wv[1] = wv[0];
            wv[0] = t1 + t2;
        }

        for (j = 0; j < 8; j++) {
            ctx->h[j] += wv[j];
        }
#else
        PACK32(&sub_block[ 0], &w[ 0]); PACK32(&sub_block[ 4], &w[ 1]);
        PACK32(&sub_block[ 8], &w[ 2]); PACK32(&sub_block[12], &w[ 3]);
        PACK32(&sub_block[16], &w[ 4]); PACK32(&sub_block[20], &w[ 5]);
        PACK32(&sub_block[24], &w[ 6]); PACK32(&sub_block[28], &w[ 7]);
        PACK32(&sub_block[32], &w[ 8]); PACK32(&sub_block[36], &w[ 9]);
        PACK32(&sub_block[40], &w[10]); PACK32(&sub_block[44], &w[11]);
        PACK32(&sub_block[48], &w[12]); PACK32(&sub_block[52], &w[13]);
        PACK32(&sub_block[56], &w[14]); PACK32(&sub_block[60], &w[15]);

        SHA256_SCR(16); SHA256_SCR(17); SHA256_SCR(18); SHA256_SCR(19);
        SHA256_SCR(20); SHA256_SCR(21); SHA256_SCR(22); SHA256_SCR(23);
        SHA256_SCR(24); SHA256_SCR(25); SHA256_SCR(26); SHA256_SCR(27);
        SHA256_SCR(28); SHA256_SCR(29); SHA256_SCR(30); SHA256_SCR(31);
        SHA256_SCR(32); SHA256_SCR(33); SHA256_SCR(34); SHA256_SCR(35);
        SHA256_SCR(36); SHA256_SCR(37); SHA256_SCR(38); SHA256_SCR(39);
        SHA256_SCR(40); SHA256_SCR(41); SHA256_SCR(42); SHA256_SCR(43);
        SHA256_SCR(44); SHA256_SCR(45); SHA256_SCR(46); SHA256_SCR(47);
        SHA256_SCR(48); SHA256_SCR(49); SHA256_SCR(50); SHA256_SCR(51);
        SHA256_SCR(52); SHA256_SCR(53); SHA256_SCR(54); SHA256_SCR(55);
        SHA256_SCR(56); SHA256_SCR(57); SHA256_SCR(58); SHA256_SCR(59);
        SHA256_SCR(60); SHA256_SCR(61); SHA256_SCR(62); SHA256_SCR(63);

        wv[0] = ctx->h[0]; wv[1] = ctx->h[1];
        wv[2] = ctx->h[2]; wv[3] = ctx->h[3];
        wv[4] = ctx->h[4]; wv[5] = ctx->h[5];
        wv[6] = ctx->h[6]; wv[7] = ctx->h[7];

        SHA256_EXP(0,1,2,3,4,5,6,7, 0); SHA256_EXP(7,0,1,2,3,4,5,6, 1);
        SHA256_EXP(6,7,0,1,2,3,4,5, 2); SHA256_EXP(5,6,7,0,1,2,3,4, 3);
        SHA256_EXP(4,5,6,7,0,1,2,3, 4); SHA256_EXP(3,4,5,6,7,0,1,2, 5);
        SHA256_EXP(2,3,4,5,6,7,0,1, 6); SHA256_EXP(1,2,3,4,5,6,7,0, 7);
        SHA256_EXP(0,1,2,3,4,5,6,7, 8); SHA256_EXP(7,0,1,2,3,4,5,6, 9);
        SHA256_EXP(6,7,0,1,2,3,4,5,10); SHA256_EXP(5,6,7,0,1,2,3,4,11);
        SHA256_EXP(4,5,6,7,0,1,2,3,12); SHA256_EXP(3,4,5,6,7,0,1,2,13);
        SHA256_EXP(2,3,4,5,6,7,0,1,14); SHA256_EXP(1,2,3,4,5,6,7,0,15);
        SHA256_EXP(0,1,2,3,4,5,6,7,16); SHA256_EXP(7,0,1,2,3,4,5,6,17);
        SHA256_EXP(6,7,0,1,2,3,4,5,18); SHA256_EXP(5,6,7,0,1,2,3,4,19);
        SHA256_EXP(4,5,6,7,0,1,2,3,20); SHA256_EXP(3,4,5,6,7,0,1,2,21);
        SHA256_EXP(2,3,4,5,6,7,0,1,22); SHA256_EXP(1,2,3,4,5,6,7,0,23);
        SHA256_EXP(0,1,2,3,4,5,6,7,24); SHA256_EXP(7,0,1,2,3,4,5,6,25);
        SHA256_EXP(6,7,0,1,2,3,4,5,26); SHA256_EXP(5,6,7,0,1,2,3,4,27);
        SHA256_EXP(4,5,6,7,0,1,2,3,28); SHA256_EXP(3,4,5,6,7,0,1,2,29);
        SHA256_EXP(2,3,4,5,6,7,0,1,30); SHA256_EXP(1,2,3,4,5,6,7,0,31);
        SHA256_EXP(0,1,2,3,4,5,6,7,32); SHA256_EXP(7,0,1,2,3,4,5,6,33);
        SHA256_EXP(6,7,0,1,2,3,4,5,34); SHA256_EXP(5,6,7,0,1,2,3,4,35);
        SHA256_EXP(4,5,6,7,0,1,2,3,36); SHA256_EXP(3,4,5,6,7,0,1,2,37);
        SHA256_EXP(2,3,4,5,6,7,0,1,38); SHA256_EXP(1,2,3,4,5,6,7,0,39);
        SHA256_EXP(0,1,2,3,4,5,6,7,40); SHA256_EXP(7,0,1,2,3,4,5,6,41);
        SHA256_EXP(6,7,0,1,2,3,4,5,42); SHA256_EXP(5,6,7,0,1,2,3,4,43);
        SHA256_EXP(4,5,6,7,0,1,2,3,44); SHA256_EXP(3,4,5,6,7,0,1,2,45);
        SHA256_EXP(2,3,4,5,6,7,0,1,46); SHA256_EXP(1,2,3,4,5,6,7,0,47);
        SHA256_EXP(0,1,2,3,4,5,6,7,48); SHA256_EXP(7,0,1,2,3,4,5,6,49);
        SHA256_EXP(6,7,0,1,2,3,4,5,50); SHA256_EXP(5,6,7,0,1,2,3,4,51);
        SHA256_EXP(4,5,6,7,0,1,2,3,52); SHA256_EXP(3,4,5,6,7,0,1,2,53);
        SHA256_EXP(2,3,4,5,6,7,0,1,54); SHA256_EXP(1,2,3,4,5,6,7,0,55);
        SHA256_EXP(0,1,2,3,4,5,6,7,56); SHA256_EXP(7,0,1,2,3,4,5,6,57);
        SHA256_EXP(6,7,0,1,2,3,4,5,58); SHA256_EXP(5,6,7,0,1,2,3,4,59);
        SHA256_EXP(4,5,6,7,0,1,2,3,60); SHA256_EXP(3,4,5,6,7,0,1,2,61);
        SHA256_EXP(2,3,4,5,6,7,0,1,62); SHA256_EXP(1,2,3,4,5,6,7,0,63);

        ctx->h[0] += wv[0]; ctx->h[1] += wv[1];
        ctx->h[2] += wv[2]; ctx->h[3] += wv[3];
        ctx->h[4] += wv[4]; ctx->h[5] += wv[5];
        ctx->h[6] += wv[6]; ctx->h[7] += wv[7];
#endif /* !UNROLL_LOOPS */
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xe0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl $0x0, -0x154(%rbp)
movl -0x154(%rbp), %eax
cmpl -0x14(%rbp), %eax
jge 0x953e
movq -0x10(%rbp), %rax
movl -0x154(%rbp), %ecx
shll $0x6, %ecx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x150(%rbp)
movl $0x0, -0x158(%rbp)
cmpl $0x10, -0x158(%rbp)
jge 0x91c0
movq -0x150(%rbp), %rax
movl -0x158(%rbp), %ecx
shll $0x2, %ecx
movslq %ecx, %rcx
movzbl 0x3(%rax,%rcx), %ecx
movq -0x150(%rbp), %rax
movl -0x158(%rbp), %edx
shll $0x2, %edx
movslq %edx, %rdx
movzbl 0x2(%rax,%rdx), %eax
shll $0x8, %eax
orl %eax, %ecx
movq -0x150(%rbp), %rax
movl -0x158(%rbp), %edx
shll $0x2, %edx
movslq %edx, %rdx
movzbl 0x1(%rax,%rdx), %eax
shll $0x10, %eax
orl %eax, %ecx
movq -0x150(%rbp), %rax
movl -0x158(%rbp), %edx
shll $0x2, %edx
movslq %edx, %rdx
movzbl (%rax,%rdx), %eax
shll $0x18, %eax
orl %eax, %ecx
movslq -0x158(%rbp), %rax
movl %ecx, -0x120(%rbp,%rax,4)
movl -0x158(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x158(%rbp)
jmp 0x9123
movl $0x10, -0x158(%rbp)
cmpl $0x40, -0x158(%rbp)
jge 0x9306
movl -0x158(%rbp), %eax
subl $0x2, %eax
cltq
movl -0x120(%rbp,%rax,4), %ecx
shrl $0x11, %ecx
movl -0x158(%rbp), %eax
subl $0x2, %eax
cltq
movl -0x120(%rbp,%rax,4), %eax
shll $0xf, %eax
orl %eax, %ecx
movl -0x158(%rbp), %eax
subl $0x2, %eax
cltq
movl -0x120(%rbp,%rax,4), %eax
shrl $0x13, %eax
movl -0x158(%rbp), %edx
subl $0x2, %edx
movslq %edx, %rdx
movl -0x120(%rbp,%rdx,4), %edx
shll $0xd, %edx
orl %edx, %eax
xorl %eax, %ecx
movl -0x158(%rbp), %eax
subl $0x2, %eax
cltq
movl -0x120(%rbp,%rax,4), %eax
shrl $0xa, %eax
xorl %eax, %ecx
movl -0x158(%rbp), %eax
subl $0x7, %eax
cltq
addl -0x120(%rbp,%rax,4), %ecx
movl -0x158(%rbp), %eax
subl $0xf, %eax
cltq
movl -0x120(%rbp,%rax,4), %eax
shrl $0x7, %eax
movl -0x158(%rbp), %edx
subl $0xf, %edx
movslq %edx, %rdx
movl -0x120(%rbp,%rdx,4), %edx
shll $0x19, %edx
orl %edx, %eax
movl -0x158(%rbp), %edx
subl $0xf, %edx
movslq %edx, %rdx
movl -0x120(%rbp,%rdx,4), %edx
shrl $0x12, %edx
movl -0x158(%rbp), %esi
subl $0xf, %esi
movslq %esi, %rsi
movl -0x120(%rbp,%rsi,4), %esi
shll $0xe, %esi
orl %esi, %edx
xorl %edx, %eax
movl -0x158(%rbp), %edx
subl $0xf, %edx
movslq %edx, %rdx
movl -0x120(%rbp,%rdx,4), %edx
shrl $0x3, %edx
xorl %edx, %eax
addl %eax, %ecx
movl -0x158(%rbp), %eax
subl $0x10, %eax
cltq
addl -0x120(%rbp,%rax,4), %ecx
movslq -0x158(%rbp), %rax
movl %ecx, -0x120(%rbp,%rax,4)
movl -0x158(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x158(%rbp)
jmp 0x91ca
movl $0x0, -0x158(%rbp)
cmpl $0x8, -0x158(%rbp)
jge 0x934a
movq -0x8(%rbp), %rax
movslq -0x158(%rbp), %rcx
movl 0x88(%rax,%rcx,4), %ecx
movslq -0x158(%rbp), %rax
movl %ecx, -0x140(%rbp,%rax,4)
movl -0x158(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x158(%rbp)
jmp 0x9310
movl $0x0, -0x158(%rbp)
cmpl $0x40, -0x158(%rbp)
jge 0x94dd
movl -0x124(%rbp), %eax
movl -0x130(%rbp), %ecx
shrl $0x6, %ecx
movl -0x130(%rbp), %edx
shll $0x1a, %edx
orl %edx, %ecx
movl -0x130(%rbp), %edx
shrl $0xb, %edx
movl -0x130(%rbp), %esi
shll $0x15, %esi
orl %esi, %edx
xorl %edx, %ecx
movl -0x130(%rbp), %edx
shrl $0x19, %edx
movl -0x130(%rbp), %esi
shll $0x7, %esi
orl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
movl -0x130(%rbp), %ecx
andl -0x12c(%rbp), %ecx
movl -0x130(%rbp), %edx
xorl $-0x1, %edx
andl -0x128(%rbp), %edx
xorl %edx, %ecx
addl %ecx, %eax
movslq -0x158(%rbp), %rdx
leaq 0xa35a(%rip), %rcx      # 0x13730
addl (%rcx,%rdx,4), %eax
movslq -0x158(%rbp), %rcx
addl -0x120(%rbp,%rcx,4), %eax
movl %eax, -0x144(%rbp)
movl -0x140(%rbp), %eax
shrl $0x2, %eax
movl -0x140(%rbp), %ecx
shll $0x1e, %ecx
orl %ecx, %eax
movl -0x140(%rbp), %ecx
shrl $0xd, %ecx
movl -0x140(%rbp), %edx
shll $0x13, %edx
orl %edx, %ecx
xorl %ecx, %eax
movl -0x140(%rbp), %ecx
shrl $0x16, %ecx
movl -0x140(%rbp), %edx
shll $0xa, %edx
orl %edx, %ecx
xorl %ecx, %eax
movl -0x140(%rbp), %ecx
andl -0x13c(%rbp), %ecx
movl -0x140(%rbp), %edx
andl -0x138(%rbp), %edx
xorl %edx, %ecx
movl -0x13c(%rbp), %edx
andl -0x138(%rbp), %edx
xorl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x148(%rbp)
movl -0x128(%rbp), %eax
movl %eax, -0x124(%rbp)
movl -0x12c(%rbp), %eax
movl %eax, -0x128(%rbp)
movl -0x130(%rbp), %eax
movl %eax, -0x12c(%rbp)
movl -0x134(%rbp), %eax
addl -0x144(%rbp), %eax
movl %eax, -0x130(%rbp)
movl -0x138(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x13c(%rbp), %eax
movl %eax, -0x138(%rbp)
movl -0x140(%rbp), %eax
movl %eax, -0x13c(%rbp)
movl -0x144(%rbp), %eax
addl -0x148(%rbp), %eax
movl %eax, -0x140(%rbp)
movl -0x158(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x158(%rbp)
jmp 0x9354
movl $0x0, -0x158(%rbp)
cmpl $0x8, -0x158(%rbp)
jge 0x9528
movslq -0x158(%rbp), %rax
movl -0x140(%rbp,%rax,4), %edx
movq -0x8(%rbp), %rax
movslq -0x158(%rbp), %rcx
addl 0x88(%rax,%rcx,4), %edx
movl %edx, 0x88(%rax,%rcx,4)
movl -0x158(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x158(%rbp)
jmp 0x94e7
jmp 0x952a
movl -0x154(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x154(%rbp)
jmp 0x90f0
addq $0xe0, %rsp
popq %rbp
retq
nopw (%rax,%rax)