// File: /workspace/github_c_makefile_star2_O3/debbiemarkslab[P]plmc/src/inference.c
// Function: PLMNegLogPosteriorDO
static lbfgsfloatval_t PLMNegLogPosteriorDO(void *instance,
    const lbfgsfloatval_t *x, lbfgsfloatval_t *g, const int n,
    const lbfgsfloatval_t step) {
    /* Compute the the negative log posterior, which is the negative 
       penalized log-(pseudo)likelihood and the objective for MAP inference
    */
    void **d = (void **)instance;
    alignment_t *ali = (alignment_t *) d[0];
    options_t *options = (options_t *) d[1];
    numeric_t *lambdas = (numeric_t *) d[2];

    /* Initialize log-likelihood and gradient */
    lbfgsfloatval_t fx = 0.0;
    for (int i = 0; i < ali->nParams; i++) g[i] = 0;

    numeric_t *H = (numeric_t *) malloc(ali->nCodes * sizeof(numeric_t));
    numeric_t *P = (numeric_t *) malloc(ali->nCodes * sizeof(numeric_t));
    int *drop_mask = (int *) malloc(ali->nParams * sizeof(int));
    for (int s = 0; s < ali->nSeqs; s++) {
        /* Generate random bit mask over parameters */
        for (int p = 0; p < ali->nParams; p ++)
            drop_mask[p] = (int) rand() % 2;

        /* Pseudolikelihood objective */
        for (int i = 0; i < ali->nSites; i++) {
            for (int a = 0; a < ali->nCodes; a++) H[a] = bitHi(i, a)
                                               * xHi(i, a);
            for (int a = 0; a < ali->nCodes; a++)
                for (int j = 0; j < i; j++)
                    H[a] += bitEij(i, j, a, seq(s, j))
                            * xEij(i, j, a, seq(s, j));
            for (int a = 0; a < ali->nCodes; a++)
                for (int j = i + 1; j < ali->nSites; j++)
                    H[a] += bitEij(i, j, a, seq(s, j))
                            * xEij(i, j, a, seq(s, j));

            /* Compute distribution from potential */
            for (int a = 0; a < ali->nCodes; a++) P[a] = exp(H[a]);
            numeric_t Z = 0;
            for (int a = 0; a < ali->nCodes; a++) Z += P[a];
            numeric_t Zinv = 1.0 / Z;
            for (int a = 0; a < ali->nCodes; a++) P[a] *= Zinv;

            /* Log-likelihood contributions */
            fx -= ali->weights[s] * log(P[seq(s, i)]);

            /* Field gradient */
            dHi(i, seq(s, i)) -= bitHi(i, seq(s, i)) * ali->weights[s];
            for (int a = 0; a < ali->nCodes; a++)
                dHi(i, a) -= -bitHi(i, a) * ali->weights[s] * P[a];

            /* Couplings gradient */
            for (int j = 0; j < i; j++)
                dEij(i, j, seq(s, i), seq(s, j)) -=
                    bitEij(i, j, seq(s, i), seq(s, j)) * ali->weights[s];
            for (int j = i + 1; j < ali->nSites; j++)
                dEij(i, j, seq(s, i), seq(s, j)) -=
                    bitEij(i, j, seq(s, i), seq(s, j)) * ali->weights[s];

            for (int j = 0; j < i; j++)
                for (int a = 0; a < ali->nCodes; a++)
                    dEij(i, j, a, seq(s, j)) -=
                        -bitEij(i, j, a, seq(s, j)) * ali->weights[s] * P[a];
            for (int j = i + 1; j < ali->nSites; j++)
                for (int a = 0; a < ali->nCodes; a++)
                    dEij(i, j, a, seq(s, j)) -=
                        -bitEij(i, j, a, seq(s, j)) * ali->weights[s] * P[a];
        }
    }
    free(H);
    free(P);
    free(drop_mask);

    ali->negLogLk = fx;

    /* Gaussian priors */
    for (int i = 0; i < ali->nSites; i++)
        for (int ai = 0; ai < ali->nCodes; ai++) {
            dHi(i, ai) += lambdaHi(i) * 2.0 * xHi(i, ai);
            fx += lambdaHi(i) * xHi(i, ai) * xHi(i, ai);
        }

    for (int i = 0; i < ali->nSites-1; i++)
        for (int j = i + 1; j < ali->nSites; j++)
            for (int ai = 0; ai < ali->nCodes; ai++)
                for (int aj = 0; aj < ali->nCodes; aj++) {
                    dEij(i, j, ai, aj) += lambdaEij(i, j)
                        * 2.0 * xEij(i, j, ai, aj);
                    fx += lambdaEij(i, j)
                        * xEij(i, j, ai, aj) * xEij(i, j, ai, aj);
                }

    fx = PostCondition(x, g, fx, ali, options);
    return fx;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq %rdx, %rbx
movq %rsi, 0x28(%rsp)
movq (%rdi), %r14
movq 0x8(%rdi), %rax
movq %rax, 0x90(%rsp)
movq 0x10(%rdi), %rax
movq %rax, 0x88(%rsp)
movslq 0x68(%r14), %r15
testq %r15, %r15
jle 0xa182
leaq (,%r15,8), %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x1110
movslq 0x8(%r14), %rbp
shlq $0x3, %rbp
movq %rbp, %rdi
callq 0x11b0
movq %rax, 0x10(%rsp)
movq %rbp, %rdi
callq 0x11b0
movq %rax, %r12
shlq $0x2, %r15
movq %r15, %rdi
callq 0x11b0
movq %rax, %r15
cmpl $0x0, (%r14)
movq %r14, 0x70(%rsp)
jle 0xa91d
xorpd %xmm0, %xmm0
movsd %xmm0, 0x18(%rsp)
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
xorl %r13d, %r13d
incq %rax
movq %rax, 0x78(%rsp)
movq %r12, 0x8(%rsp)
cmpl $0x0, 0x68(%r14)
movq %r14, %r12
jle 0xa20e
xorl %r14d, %r14d
callq 0x1250
movl %eax, %ecx
shrl $0x1f, %ecx
addl %eax, %ecx
andl $-0x2, %ecx
subl %ecx, %eax
movl %eax, (%r15,%r14,4)
incq %r14
movslq 0x68(%r12), %rax
cmpq %rax, %r14
jl 0xa1ec
movl 0x4(%r12), %eax
movq %rax, (%rsp)
testl %eax, %eax
movq %r12, %r14
jle 0xa8ef
movl 0x8(%r14), %eax
movl $0x1, %ecx
movq %rcx, 0x40(%rsp)
movq 0x78(%rsp), %rcx
movq %rcx, 0x68(%rsp)
movq %rbx, %rcx
movq 0x28(%rsp), %r8
movq %r15, %r9
xorl %ebp, %ebp
movsd 0x18(%rsp), %xmm3
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %r12
movq %rcx, 0x60(%rsp)
movsd %xmm3, 0x18(%rsp)
testl %eax, %eax
movq %r8, 0x80(%rsp)
movq %r9, 0x58(%rsp)
jle 0xa4cf
movslq (%rsp), %rcx
movl %eax, %r10d
movq %rcx, 0x30(%rsp)
leaq (,%rcx,4), %rcx
xorl %edx, %edx
xorl %esi, %esi
xorps %xmm0, %xmm0
cvtsi2sdl (%r9,%rdx), %xmm0
mulsd (%r8,%rdx,2), %xmm0
movsd %xmm0, (%rdi,%rsi,8)
incq %rsi
addq %rcx, %rdx
cmpq %rsi, %r10
jne 0xa28f
testl %eax, %eax
jle 0xa4cf
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
leal (%rcx,%rbp), %edx
imull %ebp, %edx
movl %edx, %r12d
shrl $0x1f, %r12d
addl %edx, %r12d
sarl %r12d
movl %r13d, %edx
movq (%rsp), %rsi
imull %esi, %edx
movslq %edx, %rcx
shlq $0x2, %rcx
movq %rcx, 0x20(%rsp)
imull %eax, %r12d
addl %esi, %r12d
imull %eax, %r12d
movl %eax, %ecx
imull %eax, %ecx
xorl %r8d, %r8d
movq %r10, 0x38(%rsp)
testq %rbp, %rbp
je 0xa352
movsd (%rdi,%r8,8), %xmm0
movq 0x20(%r14), %rdx
addq 0x20(%rsp), %rdx
movl %r12d, %esi
xorl %r9d, %r9d
movq 0x28(%rsp), %r11
movl (%rdx,%r9,4), %r10d
addl %esi, %r10d
movslq %r10d, %r10
xorps %xmm1, %xmm1
cvtsi2sdl (%r15,%r10,4), %xmm1
mulsd (%r11,%r10,8), %xmm1
addsd %xmm1, %xmm0
incq %r9
addl %ecx, %esi
cmpq %r9, %rbp
jne 0xa31b
movq 0x10(%rsp), %rdi
movsd %xmm0, (%rdi,%r8,8)
movq 0x38(%rsp), %r10
incq %r8
addl %eax, %r12d
cmpq %r10, %r8
jne 0xa2fc
testl %eax, %eax
movq 0x8(%rsp), %r12
jle 0xa4cf
leaq 0x1(%rbp), %r8
movl %eax, %esi
movq (%rsp), %rdx
imull %edx, %esi
movl %esi, 0x48(%rsp)
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
addl %ebp, %esi
imull %ebp, %esi
movl %esi, %r9d
shrl $0x1f, %r9d
addl %esi, %r9d
movl %r9d, %esi
sarl %esi
movl %edx, %r11d
addl 0x40(%rsp), %esi
imull %ecx, %esi
decq %r11
xorl %r9d, %r9d
movq %r8, 0x50(%rsp)
cmpq 0x30(%rsp), %r8
jge 0xa445
movsd (%rdi,%r9,8), %xmm0
movq 0x20(%r14), %r14
addq 0x20(%rsp), %r14
movl %esi, (%rsp)
movl %esi, %r10d
movq %rbp, %rsi
movl 0x48(%rsp), %edi
movl %esi, %r12d
leaq 0x1(%rsi), %rdx
movl 0x4(%r14,%rsi,4), %r8d
cmpq %r12, %rbp
jbe 0xa3e6
addl %r10d, %r8d
jmp 0xa3fa
imull %edx, %esi
shrl %esi
addl %ebp, %esi
imull %eax, %esi
addl %esi, %r8d
imull %eax, %r8d
addl %r9d, %r8d
addl %edi, %r8d
movslq %r8d, %rsi
xorps %xmm1, %xmm1
cvtsi2sdl (%r15,%rsi,4), %xmm1
movq 0x28(%rsp), %r8
mulsd (%r8,%rsi,8), %xmm1
addsd %xmm1, %xmm0
addl %ecx, %r10d
movq %rdx, %rsi
cmpq %rdx, %r11
jne 0xa3d0
movq 0x10(%rsp), %rdi
movsd %xmm0, (%rdi,%r9,8)
movq 0x70(%rsp), %r14
movq 0x8(%rsp), %r12
movq 0x38(%rsp), %r10
movq 0x50(%rsp), %r8
movl (%rsp), %esi
incq %r9
addl %eax, %esi
cmpq %r10, %r9
jne 0xa3a9
testl %eax, %eax
jle 0xa4cf
movq %r14, %r12
xorl %r14d, %r14d
movsd (%rdi,%r14,8), %xmm0
callq 0x1240
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rax
movsd %xmm0, (%rax,%r14,8)
incq %r14
movslq 0x8(%r12), %rax
cmpq %rax, %r14
jl 0xa45d
testl %eax, %eax
movq %r12, %r14
movq 0x8(%rsp), %r12
jle 0xa4cf
xorpd %xmm0, %xmm0
xorl %ecx, %ecx
addsd (%r12,%rcx,8), %xmm0
incq %rcx
cmpq %rcx, %rax
jne 0xa497
testl %eax, %eax
jle 0xa4cf
movsd 0x2bb7(%rip), %xmm1     # 0xd068
divsd %xmm0, %xmm1
xorl %ecx, %ecx
movsd (%r12,%rcx,8), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, (%r12,%rcx,8)
incq %rcx
cmpq %rcx, %rax
jne 0xa4b7
movq 0x50(%r14), %rax
movsd (%rax,%r13,8), %xmm0
movsd %xmm0, 0x38(%rsp)
movslq 0x4(%r14), %rax
movslq %r13d, %rcx
imulq %rax, %rcx
leaq (,%rbp,4), %rax
addq 0x20(%r14), %rax
movslq (%rax,%rcx,4), %rax
movsd (%r12,%rax,8), %xmm0
callq 0x1130
movq 0x58(%rsp), %r11
movl 0x4(%r14), %eax
movq %rax, (%rsp)
movslq %eax, %rdx
movq 0x20(%r14), %rcx
movl %edx, %eax
imull %r13d, %eax
movslq %eax, %rsi
movq %rcx, 0x30(%rsp)
leaq (%rcx,%rbp,4), %rax
movq %rsi, 0x48(%rsp)
movl (%rax,%rsi,4), %r9d
movl %r9d, %eax
movq %rdx, 0x20(%rsp)
imull %edx, %eax
cltq
addq %rbp, %rax
xorps %xmm1, %xmm1
cvtsi2sdl (%r15,%rax,4), %xmm1
movq 0x50(%r14), %rdx
movsd (%rbx,%rax,8), %xmm2
mulsd (%rdx,%r13,8), %xmm1
subsd %xmm1, %xmm2
movsd %xmm2, (%rbx,%rax,8)
movl 0x8(%r14), %eax
testl %eax, %eax
movq 0x60(%rsp), %r10
jle 0xa5b9
movq 0x20(%rsp), %rcx
leaq (,%rcx,4), %rcx
xorl %esi, %esi
xorl %edi, %edi
xorl %r8d, %r8d
subl (%r11,%rsi), %r8d
xorps %xmm1, %xmm1
cvtsi2sd %r8d, %xmm1
mulsd (%rdx,%r13,8), %xmm1
movsd (%r10,%rsi,2), %xmm2
mulsd (%r12,%rdi,8), %xmm1
subsd %xmm1, %xmm2
movsd %xmm2, (%r10,%rsi,2)
incq %rdi
addq %rcx, %rsi
cmpq %rdi, %rax
jne 0xa583
testq %rbp, %rbp
movsd 0x18(%rsp), %xmm3
je 0xa638
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
leal (%rcx,%rbp), %esi
imull %ebp, %esi
movl %esi, %ecx
shrl $0x1f, %ecx
addl %esi, %ecx
sarl %ecx
movq (%rsp), %r8
leal (%r9,%r8), %edi
movl %r13d, %esi
imull %r8d, %esi
movslq %esi, %rsi
movq 0x30(%rsp), %r8
leaq (%r8,%rsi,4), %rsi
imull %eax, %ecx
addl %edi, %ecx
imull %eax, %ecx
movl %eax, %r8d
imull %eax, %r8d
xorl %edi, %edi
movl (%rsi,%rdi,4), %r10d
addl %ecx, %r10d
movslq %r10d, %r10
xorps %xmm1, %xmm1
cvtsi2sdl (%r15,%r10,4), %xmm1
movsd (%rbx,%r10,8), %xmm2
mulsd (%rdx,%r13,8), %xmm1
subsd %xmm1, %xmm2
movsd %xmm2, (%rbx,%r10,8)
incq %rdi
addl %r8d, %ecx
cmpq %rdi, %rbp
jne 0xa604
leaq 0x1(%rbp), %rcx
movq %rcx, 0x50(%rsp)
cmpq 0x20(%rsp), %rcx
jge 0xa702
movl %eax, %esi
movq (%rsp), %rdi
imull %edi, %esi
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
addl %ebp, %ecx
imull %ebp, %ecx
movl %ecx, %r10d
shrl $0x1f, %r10d
addl %ecx, %r10d
sarl %r10d
movl %r13d, %ecx
imull %edi, %ecx
movslq %ecx, %rcx
movq 0x30(%rsp), %rdi
leaq (%rdi,%rcx,4), %r11
movq 0x40(%rsp), %rcx
addl %ecx, %r10d
imull %eax, %r10d
addl %r9d, %r10d
imull %eax, %r10d
movl %eax, %r14d
imull %eax, %r14d
movq 0x68(%rsp), %r8
cmpq %rcx, %rbp
jae 0xa6ca
movl %r8d, %r12d
imull %ecx, %r12d
movl %r12d, %edi
shrl $0x1f, %edi
addl %r12d, %edi
movq 0x8(%rsp), %r12
sarl %edi
addl %ebp, %edi
imull %eax, %edi
addl (%r11,%rcx,4), %edi
imull %eax, %edi
addl %r9d, %edi
jmp 0xa6d1
movl (%r11,%rcx,4), %edi
addl %r10d, %edi
addl %esi, %edi
movslq %edi, %rdi
xorps %xmm1, %xmm1
cvtsi2sdl (%r15,%rdi,4), %xmm1
movsd (%rbx,%rdi,8), %xmm2
mulsd (%rdx,%r13,8), %xmm1
subsd %xmm1, %xmm2
movsd %xmm2, (%rbx,%rdi,8)
incq %rcx
incq %r8
addl %r14d, %r10d
cmpq %rcx, (%rsp)
jne 0xa69d
testq %rbp, %rbp
movq 0x70(%rsp), %r14
je 0xa791
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
addl %ebp, %ecx
imull %ebp, %ecx
movl %ecx, %esi
shrl $0x1f, %esi
addl %ecx, %esi
sarl %esi
movq 0x30(%rsp), %rcx
movq 0x48(%rsp), %rdi
leaq (%rcx,%rdi,4), %r9
imull %eax, %esi
addl (%rsp), %esi
imull %eax, %esi
movl %eax, %ecx
imull %eax, %ecx
xorl %r8d, %r8d
testl %eax, %eax
jle 0xa787
movl (%r9,%r8,4), %r10d
addl %esi, %r10d
xorl %r11d, %r11d
movslq %r10d, %r10
xorl %edi, %edi
subl (%r15,%r10,4), %edi
xorps %xmm1, %xmm1
cvtsi2sd %edi, %xmm1
mulsd (%rdx,%r13,8), %xmm1
movsd (%rbx,%r10,8), %xmm2
mulsd (%r12,%r11,8), %xmm1
subsd %xmm1, %xmm2
movsd %xmm2, (%rbx,%r10,8)
incq %r11
addl %eax, %r10d
cmpq %r11, %rax
jne 0xa750
incq %r8
addl %ecx, %esi
cmpq %rbp, %r8
jne 0xa742
movsd 0x38(%rsp), %xmm1
mulsd %xmm0, %xmm1
subsd %xmm1, %xmm3
movq 0x50(%rsp), %rcx
cmpq 0x20(%rsp), %rcx
jge 0xa901
movl %eax, %r9d
imull (%rsp), %r9d
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
addl %ebp, %ecx
imull %ebp, %ecx
movl %ecx, %esi
shrl $0x1f, %esi
addl %ecx, %esi
sarl %esi
movq %rsi, 0x38(%rsp)
movq 0x30(%rsp), %rcx
movq 0x48(%rsp), %rsi
leaq (%rcx,%rsi,4), %rdi
movq 0x40(%rsp), %r8
testl %eax, %eax
jle 0xa89b
movq 0x38(%rsp), %rcx
addl %r8d, %ecx
movl %eax, %r11d
imull %ecx, %r11d
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
addl %r8d, %ecx
imull %r8d, %ecx
movl %ecx, %esi
shrl $0x1f, %esi
addl %ecx, %esi
sarl %esi
addl %ebp, %esi
imull %eax, %esi
xorl %r14d, %r14d
cmpq %r8, %rbp
jae 0xa82c
movl (%rdi,%r8,4), %ecx
leal (%rsi,%rcx), %r10d
imull %eax, %r10d
addl %r14d, %r10d
jmp 0xa83b
leal (%r14,%r11), %r10d
imull %eax, %r10d
movl (%rdi,%r8,4), %ecx
addl %ecx, %r10d
cmpq %r8, %rbp
jae 0xa84a
addl %esi, %ecx
imull %eax, %ecx
addl %r14d, %ecx
jmp 0xa855
leal (%r14,%r11), %r12d
imull %eax, %r12d
addl %r12d, %ecx
addl %r9d, %r10d
movslq %r10d, %r10
xorl %r12d, %r12d
subl (%r15,%r10,4), %r12d
xorps %xmm0, %xmm0
cvtsi2sd %r12d, %xmm0
addl %r9d, %ecx
movslq %ecx, %rcx
movsd (%rbx,%rcx,8), %xmm1
mulsd (%rdx,%r13,8), %xmm0
movq 0x8(%rsp), %r12
mulsd (%r12,%r14,8), %xmm0
subsd %xmm0, %xmm1
movsd %xmm1, (%rbx,%rcx,8)
incq %r14
cmpq %r14, %rax
jne 0xa816
incq %r8
cmpq (%rsp), %r8
jne 0xa7e2
incq 0x40(%rsp)
movq 0x58(%rsp), %r9
addq $0x4, %r9
movq 0x80(%rsp), %r8
addq $0x8, %r8
movq 0x60(%rsp), %rcx
addq $0x8, %rcx
incq 0x68(%rsp)
movq 0x50(%rsp), %rdx
movq %rdx, %rbp
cmpq 0x20(%rsp), %rdx
movq 0x70(%rsp), %r14
movq 0x10(%rsp), %rdi
jl 0xa257
jmp 0xa906
movsd 0x18(%rsp), %xmm3
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %r12
jmp 0xa906
movq 0x10(%rsp), %rdi
movsd %xmm3, 0x18(%rsp)
incq %r13
movslq (%r14), %rax
cmpq %rax, %r13
jl 0xa1df
jmp 0xa934
movl 0x4(%r14), %eax
movq %rax, (%rsp)
xorpd %xmm0, %xmm0
movsd %xmm0, 0x18(%rsp)
movq 0x10(%rsp), %rdi
callq 0x1050
movq %r12, %rdi
callq 0x1050
movq %r15, %rdi
callq 0x1050
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x70(%r14)
movq (%rsp), %r10
testl %r10d, %r10d
movq %rbx, 0x8(%rsp)
jle 0xa9ed
movl 0x8(%r14), %eax
movl %r10d, %ecx
movq %rcx, 0x60(%rsp)
leaq (,%rcx,8), %rcx
xorl %edx, %edx
movq 0x28(%rsp), %rsi
movq %rbx, %rdi
movq 0x88(%rsp), %rbx
testl %eax, %eax
jle 0xa9d5
movsd (%rbx,%rdx,8), %xmm3
movq %rax, %r8
xorl %r9d, %r9d
addsd %xmm3, %xmm3
mulsd (%rsi,%r9), %xmm3
addsd (%rdi,%r9), %xmm3
movsd %xmm3, (%rdi,%r9)
movsd (%rbx,%rdx,8), %xmm3
movsd (%rsi,%r9), %xmm1
movapd %xmm3, %xmm2
mulsd %xmm1, %xmm2
mulsd %xmm1, %xmm2
addsd %xmm2, %xmm0
addq %rcx, %r9
decq %r8
jne 0xa99c
incq %rdx
addq $0x8, %rdi
addq $0x8, %rsi
cmpq 0x60(%rsp), %rdx
jne 0xa98d
cmpl $0x1, %r10d
jne 0xa9f7
movq 0x28(%rsp), %rdi
jmp 0xabe2
leal -0x1(%r10), %eax
movq %rax, 0x78(%rsp)
movl 0x8(%r14), %edx
movl %edx, %eax
imull %r10d, %eax
movl %eax, 0x38(%rsp)
movl %edx, %eax
imull %edx, %eax
movl %eax, 0x58(%rsp)
movl $0x1, %r9d
xorl %r11d, %r11d
movq 0x28(%rsp), %rdi
leaq 0x1(%r11), %rax
movq %rax, 0x68(%rsp)
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addl %r11d, %eax
imull %r11d, %eax
movl %eax, %ecx
shrl $0x1f, %ecx
addl %eax, %ecx
sarl %ecx
leal (%rcx,%r10), %eax
movq %rax, 0x40(%rsp)
leal (%r10,%r11), %eax
movq %rax, 0x18(%rsp)
addl %r9d, %ecx
movl 0x58(%rsp), %r12d
imull %ecx, %r12d
imull %edx, %ecx
addl %r10d, %ecx
imull %edx, %ecx
movq %r9, 0x80(%rsp)
testl %edx, %edx
movq %rcx, 0x50(%rsp)
movl %r12d, 0x48(%rsp)
jle 0xaba2
movq 0x40(%rsp), %rax
addl %r9d, %eax
movslq %eax, %r10
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addl %r9d, %eax
imull %r9d, %eax
movl %eax, %r8d
shrl $0x1f, %r8d
addl %eax, %r8d
sarl %r8d
movq 0x18(%rsp), %rax
addl %r8d, %eax
movslq %eax, %r13
addl %r11d, %r8d
imull %edx, %r8d
movq (%rsp), %rax
movq %r8, 0x28(%rsp)
leal (%rax,%r8), %ebp
imull %edx, %ebp
movl %ecx, %eax
xorl %r15d, %r15d
movq %rdx, %rsi
movl %ebp, 0x10(%rsp)
movl %eax, 0x20(%rsp)
movl %r12d, 0x30(%rsp)
xorl %r14d, %r14d
cmpq %r9, %r11
jae 0xab2d
movsd (%rbx,%r13,8), %xmm1
addsd %xmm1, %xmm1
movq 0x28(%rsp), %rcx
leal (%rcx,%r14), %r8d
movslq %ebp, %rcx
mulsd (%rdi,%rcx,8), %xmm1
imull %edx, %r8d
movq 0x8(%rsp), %rbx
addsd (%rbx,%rcx,8), %xmm1
movsd %xmm1, (%rbx,%rcx,8)
movq 0x88(%rsp), %rbx
movsd (%rbx,%r13,8), %xmm1
mulsd (%rdi,%rcx,8), %xmm1
addl %r15d, %r8d
jmp 0xab5e
movsd (%rbx,%r10,8), %xmm1
addsd %xmm1, %xmm1
movslq %eax, %rcx
mulsd (%rdi,%rcx,8), %xmm1
movq 0x8(%rsp), %r8
addsd (%r8,%rcx,8), %xmm1
movsd %xmm1, (%r8,%rcx,8)
movsd (%rbx,%r10,8), %xmm1
mulsd (%rdi,%rcx,8), %xmm1
movl %r12d, %r8d
addl 0x38(%rsp), %r8d
movslq %r8d, %rcx
mulsd (%rdi,%rcx,8), %xmm1
addsd %xmm1, %xmm0
incq %r14
incl %r12d
incl %eax
addl %edx, %ebp
decq %rsi
jne 0xaae2
incq %r15
movl 0x30(%rsp), %r12d
addl %edx, %r12d
movl 0x20(%rsp), %eax
addl %edx, %eax
movl 0x10(%rsp), %ebp
incl %ebp
cmpq %rdx, %r15
jne 0xaacf
incq %r9
movl 0x58(%rsp), %eax
movl 0x48(%rsp), %r12d
addl %eax, %r12d
movq 0x50(%rsp), %rcx
addl %eax, %ecx
cmpq 0x60(%rsp), %r9
jne 0xaa72
movq 0x80(%rsp), %r9
incq %r9
movq 0x68(%rsp), %r11
cmpq 0x78(%rsp), %r11
movq (%rsp), %r10
jne 0xaa25
movq 0x8(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq 0x90(%rsp), %rcx
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xb1ab