// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/stribob192r2/ref/wbob_pi64.c
// Function: wbob_pi
void wbob_pi(w512_t *s512)
{
    int i;
    uint64_t k[8], l[8];

    // load block
    for (i = 0; i < 8; i++)
        k[i] = s512->q[i];

    for (i = 0; i < 12; i++) {

        l[0] =  WBOB_SM(0, k[0]) ^  WBOB_SM(1, k[7]) ^
                WBOB_SM(2, k[6]) ^  WBOB_SM(3, k[5]) ^
                WBOB_SM(4, k[4]) ^  WBOB_SM(5, k[3]) ^
                WBOB_SM(6, k[2]) ^  WBOB_SM(7, k[1]) ^ wbob_rc[i];

        l[1] =  WBOB_SM(0, k[1]) ^  WBOB_SM(1, k[0]) ^
                WBOB_SM(2, k[7]) ^  WBOB_SM(3, k[6]) ^
                WBOB_SM(4, k[5]) ^  WBOB_SM(5, k[4]) ^
                WBOB_SM(6, k[3]) ^  WBOB_SM(7, k[2]);

        l[2] =  WBOB_SM(0, k[2]) ^  WBOB_SM(1, k[1]) ^
                WBOB_SM(2, k[0]) ^  WBOB_SM(3, k[7]) ^
                WBOB_SM(4, k[6]) ^  WBOB_SM(5, k[5]) ^
                WBOB_SM(6, k[4]) ^  WBOB_SM(7, k[3]);

        l[3] =  WBOB_SM(0, k[3]) ^  WBOB_SM(1, k[2]) ^
                WBOB_SM(2, k[1]) ^  WBOB_SM(3, k[0]) ^
                WBOB_SM(4, k[7]) ^  WBOB_SM(5, k[6]) ^
                WBOB_SM(6, k[5]) ^  WBOB_SM(7, k[4]);

        l[4] =  WBOB_SM(0, k[4]) ^  WBOB_SM(1, k[3]) ^
                WBOB_SM(2, k[2]) ^  WBOB_SM(3, k[1]) ^
                WBOB_SM(4, k[0]) ^  WBOB_SM(5, k[7]) ^
                WBOB_SM(6, k[6]) ^  WBOB_SM(7, k[5]);

        l[5] =  WBOB_SM(0, k[5]) ^  WBOB_SM(1, k[4]) ^
                WBOB_SM(2, k[3]) ^  WBOB_SM(3, k[2]) ^
                WBOB_SM(4, k[1]) ^  WBOB_SM(5, k[0]) ^
                WBOB_SM(6, k[7]) ^  WBOB_SM(7, k[6]);

        l[6] =  WBOB_SM(0, k[6]) ^  WBOB_SM(1, k[5]) ^
                WBOB_SM(2, k[4]) ^  WBOB_SM(3, k[3]) ^
                WBOB_SM(4, k[2]) ^  WBOB_SM(5, k[1]) ^
                WBOB_SM(6, k[0]) ^  WBOB_SM(7, k[7]);

        l[7] =  WBOB_SM(0, k[7]) ^  WBOB_SM(1, k[6]) ^
                WBOB_SM(2, k[5]) ^  WBOB_SM(3, k[4]) ^
                WBOB_SM(4, k[3]) ^  WBOB_SM(5, k[2]) ^
                WBOB_SM(6, k[1]) ^  WBOB_SM(7, k[0]);

        if (i < 11) {
            k[0] = l[0];
            k[1] = l[1];
            k[2] = l[2];
            k[3] = l[3];
            k[4] = l[4];
            k[5] = l[5];
            k[6] = l[6];
            k[7] = l[7];
        }
    }

    for (i = 0; i < 8; i++)
        s512->q[i] = l[i];
}

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movl $0x0, 0xc(%rsp)
cmpl $0x8, 0xc(%rsp)
jge 0x196d
movq 0x10(%rsp), %rax
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rcx
movslq 0xc(%rsp), %rax
movq %rcx, -0x40(%rsp,%rax,8)
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0x1941
movl $0x0, 0xc(%rsp)
cmpl $0xc, 0xc(%rsp)
jge 0x20e1
movq -0x40(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x1669(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1e4e(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x2633(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x2e18(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x35fd(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x3de2(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x45c7(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x4dac(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movslq 0xc(%rsp), %rdx
leaq 0x559c(%rip), %rcx      # 0x7000
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x80(%rsp)
movq -0x38(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x157c(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1d61(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x2546(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x2d2b(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x3510(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x3cf5(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x44da(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x4cbf(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x78(%rsp)
movq -0x30(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x149f(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1c84(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x2469(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x2c4e(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x3433(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x3c18(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x43fd(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x4be2(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x70(%rsp)
movq -0x28(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x13c2(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1ba7(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x238c(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x2b71(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x3356(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x3b3b(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x4320(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x4b05(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x68(%rsp)
movq -0x20(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x12e5(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1aca(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x22af(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x2a94(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x3279(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x3a5e(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x4243(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x4a28(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x60(%rsp)
movq -0x18(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x1208(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x19ed(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x21d2(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x29b7(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x319c(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x3981(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x4166(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x494b(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x58(%rsp)
movq -0x10(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x112b(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1910(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x20f5(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x28da(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x30bf(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x38a4(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x4089(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x486e(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x50(%rsp)
movq -0x8(%rsp), %rcx
shrq $0x0, %rcx
andq $0xff, %rcx
leaq 0x104e(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1833(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x2018(%rip), %rcx      # 0x4000
xorq (%rcx,%rdx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x27fd(%rip), %rcx      # 0x4800
xorq (%rcx,%rdx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x2fe2(%rip), %rcx      # 0x5000
xorq (%rcx,%rdx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x37c7(%rip), %rcx      # 0x5800
xorq (%rcx,%rdx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x3fac(%rip), %rcx      # 0x6000
xorq (%rcx,%rdx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x4791(%rip), %rcx      # 0x6800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x48(%rsp)
cmpl $0xb, 0xc(%rsp)
jge 0x20cf
movq -0x80(%rsp), %rax
movq %rax, -0x40(%rsp)
movq -0x78(%rsp), %rax
movq %rax, -0x38(%rsp)
movq -0x70(%rsp), %rax
movq %rax, -0x30(%rsp)
movq -0x68(%rsp), %rax
movq %rax, -0x28(%rsp)
movq -0x60(%rsp), %rax
movq %rax, -0x20(%rsp)
movq -0x58(%rsp), %rax
movq %rax, -0x18(%rsp)
movq -0x50(%rsp), %rax
movq %rax, -0x10(%rsp)
movq -0x48(%rsp), %rax
movq %rax, -0x8(%rsp)
jmp 0x20d1
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0x1975
movl $0x0, 0xc(%rsp)
cmpl $0x8, 0xc(%rsp)
jge 0x2115
movslq 0xc(%rsp), %rax
movq -0x80(%rsp,%rax,8), %rdx
movq 0x10(%rsp), %rax
movslq 0xc(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0x20e9
addq $0x18, %rsp
retq
nopw (%rax,%rax)