LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: RBM::activate_hidden(double*, double*, int*, int, int)
void RBM::activate_hidden(double *v_prob, double *h_prob, int *h_state, int n_visible, int n_hidden)
{	
    //v->h
    for(int i=0; i<n_hidden; i++)
    {
        double vh_prob = 0;
        for(int j=0; j<n_visible; j++)
        {
            // prob or state?
            vh_prob += v_prob[j] * W[i][j];
        }
        vh_prob += hbias[i];
        h_prob[i] = sigmoid(vh_prob);
        if(h_state != NULL)
            h_state[i] = binomial(1, h_prob[i]);
    }

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %r9d, %ebx
movl %r8d, %r14d
movq %rcx, %r15
movq %rdx, (%rsp)
movq %rsi, %r13
movq %rdi, %rbp
xorl %r12d, %r12d
testl %r8d, %r8d
cmovlel %r12d, %r14d
testl %r9d, %r9d
cmovlel %r12d, %ebx
cmpq %rbx, %r12
je 0x3e37
movq 0x10(%rbp), %rax
xorpd %xmm0, %xmm0
xorl %ecx, %ecx
cmpq %rcx, %r14
je 0x3e08
movsd (%r13,%rcx,8), %xmm1
movq (%rax,%r12,8), %rdx
mulsd (%rdx,%rcx,8), %xmm1
addsd %xmm1, %xmm0
incq %rcx
jmp 0x3dea
movq 0x18(%rbp), %rax
addsd (%rax,%r12,8), %xmm0
callq 0x3145
movq (%rsp), %rax
movsd %xmm0, (%rax,%r12,8)
testq %r15, %r15
je 0x3e32
pushq $0x1
popq %rdi
callq 0x3169
movl %eax, (%r15,%r12,4)
incq %r12
jmp 0x3ddb
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: RBM::activate_visible(int*, double*, int*, int, int)
void RBM::activate_visible(int *h_state, double *v_prob, int *v_state, int n_hidden, int n_visible)
{	
    //h->v
    for(int i=0; i<n_visible; i++)
    {
        double hv_prob = 0;
        for(int j=0; j<n_hidden; j++)
        {
            hv_prob += h_state[j] * W[j][i];
        }
        hv_prob += vbias[i];
        v_prob[i] = sigmoid(hv_prob);
        v_state[i] = binomial(1, v_prob[i]);
    }	
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %r9d, %ebx
movl %r8d, %r14d
movq %rcx, (%rsp)
movq %rdx, %r12
movq %rsi, %r13
movq %rdi, %rbp
xorl %r15d, %r15d
testl %r8d, %r8d
cmovlel %r15d, %r14d
testl %r9d, %r9d
cmovlel %r15d, %ebx
cmpq %rbx, %r15
je 0x3ecd
movq 0x10(%rbp), %rax
xorpd %xmm0, %xmm0
xorl %ecx, %ecx
cmpq %rcx, %r14
je 0x3ea3
cvtsi2sdl (%r13,%rcx,4), %xmm1
movq (%rax,%rcx,8), %rdx
mulsd (%rdx,%r15,8), %xmm1
addsd %xmm1, %xmm0
incq %rcx
jmp 0x3e84
movq 0x20(%rbp), %rax
addsd (%rax,%r15,8), %xmm0
callq 0x3145
movsd %xmm0, (%r12,%r15,8)
pushq $0x1
popq %rdi
callq 0x3169
movq (%rsp), %rcx
movl %eax, (%rcx,%r15,4)
incq %r15
jmp 0x3e75
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: RBM::~RBM()
RBM::~RBM()
{
    for(int i=0; i < n_hidden; i++)
        delete[] W[i];
    delete[] W;
    delete[] hbias;
    delete[] vbias;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %r14d, %r14d
movslq 0x8(%rbx), %rax
movq 0x10(%rbx), %rdi
cmpq %rax, %r14
jge 0x4162
movq (%rdi,%r14,8), %rdi
testq %rdi, %rdi
je 0x415d
callq 0x2200
incq %r14
jmp 0x4142
testq %rdi, %rdi
je 0x416c
callq 0x2200
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x417a
callq 0x2200
movq 0x20(%rbx), %rdi
addq $0x8, %rsp
testq %rdi, %rdi
je 0x418f
popq %rbx
popq %r14
jmp 0x2200
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::LR(Dataset, Conf)
LR::LR(Dataset data, Conf conf)
{
    n_samples = data.N;
    n_features = data.n_f;
    n_labels = conf.n_labels;
    lamda = conf.lamda;

    W = new double*[n_labels];
    for(int i=0; i<n_labels; i++)
        W[i] = new double[n_features];
    b = new double[n_labels];

    for(int i=0; i<n_labels; i++)
    {
        for(int j=0; j<n_features; j++)
            W[i][j] = 0;
        b[i] = 0;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl (%rsi), %eax
movl %eax, (%rdi)
movslq 0x4(%rsi), %rbp
movl %ebp, 0x4(%rdi)
movslq 0xa4(%rdx), %r13
leaq (,%r13,8), %r14
testq %r13, %r13
movl %r13d, 0x8(%rdi)
movsd 0xa8(%rdx), %xmm0
movsd %xmm0, 0x10(%rdi)
pushq $-0x1
popq %r12
cmovsq %r12, %r14
movq %r14, %rdi
callq 0x2030
leaq (,%rbp,8), %r15
movq %rbp, (%rsp)
testq %rbp, %rbp
movq %rax, 0x18(%rbx)
cmovsq %r12, %r15
xorl %ebp, %ebp
testl %r13d, %r13d
movl $0x0, %r12d
cmovgl %r13d, %r12d
cmpq %rbp, %r12
je 0x4220
movq %r15, %rdi
callq 0x2030
movq 0x18(%rbx), %rcx
movq %rax, (%rcx,%rbp,8)
incq %rbp
jmp 0x4206
movq %r14, %rdi
callq 0x2030
movq %rax, 0x20(%rbx)
xorl %ecx, %ecx
movq (%rsp), %rsi
testl %esi, %esi
movl $0x0, %edx
cmovgl %esi, %edx
cmpq %r12, %rcx
je 0x4264
movq 0x18(%rbx), %rsi
xorl %edi, %edi
cmpq %rdi, %rdx
je 0x425a
movq (%rsi,%rcx,8), %r8
andq $0x0, (%r8,%rdi,8)
incq %rdi
jmp 0x4247
andq $0x0, (%rax,%rcx,8)
incq %rcx
jmp 0x423c
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::LR(int, int, int, double)
LR::LR(int N, int n_f, int n_lb, double lbd)
{
    n_samples = N;
    n_features = n_f;
    n_labels = n_lb;
    lamda = lbd;

    W = new double*[n_labels];
    for(int i=0; i<n_labels; i++)
        W[i] = new double[n_features];
    b = new double[n_labels];

    for(int i=0; i<n_labels; i++)
    {
        for(int j=0; j<n_features; j++)
            W[i][j] = 0;
        b[i] = 0;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %ecx, %ebx
movl %edx, %r14d
movq %rdi, %r15
movl %esi, (%rdi)
movl %edx, 0x4(%rdi)
movl %ecx, 0x8(%rdi)
movsd %xmm0, 0x10(%rdi)
movl %ecx, %r12d
shlq $0x3, %r12
xorl %ebp, %ebp
testl %ecx, %ecx
pushq $-0x1
popq %rax
cmovsq %rax, %r12
cmovlel %ebp, %ebx
movq %r12, %rdi
callq 0x2030
movq %rax, 0x18(%r15)
movl %r14d, %r13d
shlq $0x3, %r13
testl %r14d, %r14d
pushq $-0x1
popq %rax
cmovsq %rax, %r13
cmpq %rbp, %rbx
je 0x42e0
movq %r13, %rdi
callq 0x2030
movq 0x18(%r15), %rcx
movq %rax, (%rcx,%rbp,8)
incq %rbp
jmp 0x42c6
movq %r12, %rdi
callq 0x2030
movq %rax, 0x20(%r15)
xorl %ecx, %ecx
testl %r14d, %r14d
cmovlel %ecx, %r14d
cmpq %rbx, %rcx
je 0x431d
movq 0x18(%r15), %rdx
xorl %esi, %esi
cmpq %rsi, %r14
je 0x4313
movq (%rdx,%rcx,8), %rdi
andq $0x0, (%rdi,%rsi,8)
incq %rsi
jmp 0x4300
andq $0x0, (%rax,%rcx,8)
incq %rcx
jmp 0x42f5
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::~LR()
LR::~LR()
{
    for(int i=0; i<n_labels; i++)
        delete[] W[i];
    delete[] W;
    delete[] b;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %r14d, %r14d
movslq 0x8(%rbx), %rax
movq 0x18(%rbx), %rdi
cmpq %rax, %r14
jge 0x4356
movq (%rdi,%r14,8), %rdi
testq %rdi, %rdi
je 0x4351
callq 0x2200
incq %r14
jmp 0x4336
testq %rdi, %rdi
je 0x4360
callq 0x2200
movq 0x20(%rbx), %rdi
addq $0x8, %rsp
testq %rdi, %rdi
je 0x4375
popq %rbx
popq %r14
jmp 0x2200
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::train(double*, int*, double)
void LR::train(double *x, int *y, double gamma)
{
    double *h_theta_x = new double[n_labels];
    double *dy = new double[n_labels];

    for(int i=0; i<n_labels; i++) 
    {
        h_theta_x[i] = 0;
        for(int j=0; j<n_features; j++) 
        {
            h_theta_x[i] += W[i][j] * x[j];
        }
        h_theta_x[i] += b[i];
    }
    softmax(h_theta_x);

    for(int i=0; i<n_labels; i++) 
    {
        dy[i] = (y[i]==1 ? 1:0) - h_theta_x[i];

        for(int j=0; j<n_features; j++) 
        {
            W[i][j] -= gamma * (-1*dy[i] * x[j] + lamda * W[i][j]);
        }

        b[i] += gamma * dy[i];
    }
    delete[] h_theta_x;
    delete[] dy;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movapd %xmm0, (%rsp)
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movslq 0x8(%rdi), %r13
leaq (,%r13,8), %rax
testq %r13, %r13
pushq $-0x1
popq %rdi
cmovnsq %rax, %rdi
callq 0x2030
movq %rax, %r12
movslq 0x4(%r15), %rax
movq 0x18(%r15), %rcx
movq 0x20(%r15), %rdx
xorl %esi, %esi
testl %r13d, %r13d
movl $0x0, %edi
cmovgl %r13d, %edi
cmpq %rdi, %rsi
je 0x440d
xorpd %xmm0, %xmm0
xorl %r8d, %r8d
cmpq %rax, %r8
jge 0x43fd
movq (%rcx,%rsi,8), %r9
movsd (%r9,%r8,8), %xmm1
mulsd (%r14,%r8,8), %xmm1
addsd %xmm1, %xmm0
movsd %xmm0, (%r12,%rsi,8)
incq %r8
jmp 0x43d9
addsd (%rdx,%rsi,8), %xmm0
movsd %xmm0, (%r12,%rsi,8)
incq %rsi
jmp 0x43cd
movq %r15, %rdi
movq %r12, %rsi
callq 0x44d4
movslq 0x8(%r15), %rax
movslq 0x4(%r15), %rcx
movapd 0x1cd8(%rip), %xmm0     # 0x6100
movapd (%rsp), %xmm8
xorpd %xmm8, %xmm0
movq 0x20(%r15), %rdx
xorl %esi, %esi
movsd 0x1bd7(%rip), %xmm1     # 0x6018
movapd 0x1cb7(%rip), %xmm2     # 0x6100
cmpq %rax, %rsi
jge 0x44bf
cmpl $0x1, (%rbx,%rsi,4)
movapd %xmm1, %xmm3
je 0x445c
xorpd %xmm3, %xmm3
subsd (%r12,%rsi,8), %xmm3
movq 0x18(%r15), %rdi
movapd %xmm3, %xmm4
xorpd %xmm2, %xmm4
xorl %r8d, %r8d
cmpq %rcx, %r8
jge 0x44ab
movq (%rdi,%rsi,8), %r9
movsd (%r9,%r8,8), %xmm5
movsd 0x10(%r15), %xmm6
mulsd %xmm5, %xmm6
movsd (%r14,%r8,8), %xmm7
mulsd %xmm4, %xmm7
addsd %xmm6, %xmm7
mulsd %xmm0, %xmm7
addsd %xmm5, %xmm7
movsd %xmm7, (%r9,%r8,8)
incq %r8
jmp 0x4471
mulsd %xmm8, %xmm3
addsd (%rdx,%rsi,8), %xmm3
movsd %xmm3, (%rdx,%rsi,8)
incq %rsi
jmp 0x4449
movq %r12, %rdi
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x2200
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::softmax(double*)
void LR::softmax(double *x)
{
    double sum = 0.0;
    for(int i=0; i<n_labels; i++) 
    {
        x[i] = exp(x[i]);
        sum += x[i];
    } 

    for(int i=0; i<n_labels; i++) 
        x[i] /= sum;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %rbx
movq %rdi, %r14
xorpd %xmm1, %xmm1
xorl %r15d, %r15d
movslq 0x8(%r14), %rax
cmpq %rax, %r15
jge 0x4519
movsd (%rbx,%r15,8), %xmm0
movsd %xmm1, 0x8(%rsp)
callq 0x22c0
movsd 0x8(%rsp), %xmm1
movsd %xmm0, (%rbx,%r15,8)
addsd %xmm0, %xmm1
incq %r15
jmp 0x44ea
xorl %ecx, %ecx
testl %eax, %eax
cmovlel %ecx, %eax
cmpq %rcx, %rax
je 0x4538
movsd (%rbx,%rcx,8), %xmm0
divsd %xmm1, %xmm0
movsd %xmm0, (%rbx,%rcx,8)
incq %rcx
jmp 0x4520
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::predict(double*, double*)
void LR::predict(double *x, double *y)
{
    for(int i=0; i<n_labels; i++) 
    {
        y[i] = 0;
        for(int j=0; j<n_features; j++) 
        {
            y[i] += W[i][j] * x[j];
        }
        y[i] += b[i];
    }
    softmax(y);
}

// Assembly:
pushq %rbx
movslq 0x8(%rdi), %rax
movslq 0x4(%rdi), %rcx
movq 0x20(%rdi), %r8
xorl %r9d, %r9d
cmpq %rax, %r9
jge 0x459c
andq $0x0, (%rdx,%r9,8)
movq 0x18(%rdi), %r10
xorpd %xmm0, %xmm0
xorl %r11d, %r11d
cmpq %rcx, %r11
jge 0x458b
movq (%r10,%r9,8), %rbx
movsd (%rbx,%r11,8), %xmm1
mulsd (%rsi,%r11,8), %xmm1
addsd %xmm1, %xmm0
movsd %xmm0, (%rdx,%r9,8)
incq %r11
jmp 0x4567
addsd (%r8,%r9,8), %xmm0
movsd %xmm0, (%rdx,%r9,8)
incq %r9
jmp 0x4552
movq %rdx, %rsi
popq %rbx
jmp 0x44d4
nop
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: DBN::DBN(Dataset, Conf)
DBN::DBN(Dataset data, Conf conf)
{
    n_samples = data.N;
    n_features = data.n_f;
    n_layers = conf.n_layers;
    n_labels = conf.n_labels;
    lamda = conf.lamda;
    alpha = conf.learning_rate;

    rbm_layers = new RBM*[n_layers];
    hidden_layer_size = new int[n_layers];
    for(int i=0; i<n_layers; i++)
    {
        hidden_layer_size[i] = conf.hidden_layer_size[i];
        if(i == 0)
        {
            rbm_layers[i] = new RBM(n_samples, n_features, hidden_layer_size[i], NULL, NULL, NULL, conf.lamda, 0.5);
        }
        else
        {
            rbm_layers[i] = new RBM(n_samples, hidden_layer_size[i-1], hidden_layer_size[i],  NULL, NULL, NULL, conf.lamda, 0.5);
        }
    }

    //logistic layer
    lr_layer = new LR(n_samples, hidden_layer_size[n_layers-1], n_labels, conf.lamda);

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rdi, %rbx
movq 0xa0(%rdx), %r12
movq (%rsi), %xmm0
movq %r12, %xmm1
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movdqu %xmm0, (%rdi)
movsd 0xa8(%rdx), %xmm0
movsd %xmm0, 0x18(%rdi)
movsd 0x98(%rdx), %xmm0
movsd %xmm0, 0x20(%rdi)
movslq %r12d, %rax
leaq (,%rax,8), %rdi
testl %eax, %eax
pushq $-0x1
popq %rcx
cmovsq %rcx, %rdi
leaq (,%rax,4), %r15
cmovsq %rcx, %r15
callq 0x2030
movq %rax, 0x28(%rbx)
movq %r15, %rdi
callq 0x2030
movq %rax, 0x10(%rbx)
xorl %r13d, %r13d
xorl %ebp, %ebp
movslq %r12d, %r12
cmpq %r12, %rbp
jge 0x46cb
movq 0x88(%r14), %rax
movl (%rax,%rbp,4), %eax
movq 0x10(%rbx), %r15
movl %eax, (%r15,%rbp,4)
pushq $0x40
popq %rdi
callq 0x21b0
movq %rax, %r12
movl (%rbx), %esi
testq %r13, %r13
je 0x4689
movl -0x4(%r15,%rbp,4), %edx
movl (%r15,%rbp,4), %ecx
movsd 0xa8(%r14), %xmm0
andq $0x0, (%rsp)
movq %r12, %rdi
xorl %r8d, %r8d
xorl %r9d, %r9d
movq 0x1a75(%rip), %xmm1     # 0x60f0
callq 0x3c46
movq 0x28(%rbx), %rax
addq %r13, %rax
jmp 0x46b8
movl 0x4(%rbx), %edx
movl (%r15,%rbp,4), %ecx
movsd 0xa8(%r14), %xmm0
andq $0x0, (%rsp)
movq %r12, %rdi
xorl %r8d, %r8d
xorl %r9d, %r9d
movq 0x1a41(%rip), %xmm1     # 0x60f0
callq 0x3c46
movq 0x28(%rbx), %rax
movq %r12, (%rax)
incq %rbp
movl 0x8(%rbx), %r12d
addq $0x8, %r13
jmp 0x4623
pushq $0x28
popq %rdi
callq 0x21b0
movq %rax, %r15
movq 0x10(%rbx), %rax
movl -0x4(%rax,%r12,4), %edx
movl (%rbx), %esi
movl 0xc(%rbx), %ecx
movsd 0xa8(%r14), %xmm0
movq %r15, %rdi
callq 0x4274
movq %r15, 0x30(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
pushq $0x28
popq %rsi
movq %r15, %rdi
jmp 0x471e
jmp 0x4715
movq %rax, %rbx
pushq $0x40
popq %rsi
movq %r12, %rdi
callq 0x21c0
movq %rbx, %rdi
callq 0x22b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/lipiji[P]PG_DEEP/deep.cpp
// Function: DBN::~DBN()
DBN::~DBN()
{
    for(int i=0; i<n_layers; i++)
        delete rbm_layers[i];
    delete[] rbm_layers;
    delete lr_layer;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %r12d, %r12d
pushq $0x40
popq %r14
movslq 0x8(%rbx), %rax
movq 0x28(%rbx), %rdi
cmpq %rax, %r12
jge 0x5800
movq (%rdi,%r12,8), %r15
testq %r15, %r15
je 0x57f0
movq %r15, %rdi
callq 0x4138
movq %r15, %rdi
movq %r14, %rsi
callq 0x21c0
incq %r12
jmp 0x57d2
testq %rdi, %rdi
je 0x580a
callq 0x2200
movq 0x30(%rbx), %rbx
testq %rbx, %rbx
je 0x581b
movq %rbx, %rdi
callq 0x432c
pushq $0x28
popq %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x21c0
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/main.cpp
// Function: adapteInput(MiniSat::JinkelaSat&, DIMACS::CNF::Input const&)
void adapteInput(MiniSat::JinkelaSat &Solver, const DIMACS::CNF::Input &Input) {
  for (auto &ClauseRaw : Input.getClauses()) {
    std::vector<MiniSat::Literal> Clause;
    for (int RawLit : ClauseRaw) {
      Clause.emplace_back(std::abs(RawLit) - 1, RawLit < 0);
    }
    Solver.addClause(std::move(Clause));
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, 0x10(%rsp)
movq 0x8(%rsi), %r13
movq 0x10(%rsi), %rax
movq %rax, 0x18(%rsp)
leaq 0x20(%rsp), %r14
leaq 0xc(%rsp), %r15
leaq 0xb(%rsp), %r12
cmpq 0x18(%rsp), %r13
je 0x2442
andq $0x0, 0x30(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq (%r13), %rbx
movq 0x8(%r13), %rbp
cmpq %rbp, %rbx
je 0x2427
movl (%rbx), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
decl %ecx
movl %ecx, 0xc(%rsp)
shrl $0x1f, %eax
movb %al, 0xb(%rsp)
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x2696
addq $0x4, %rbx
jmp 0x23f8
movq 0x10(%rsp), %rdi
movq %r14, %rsi
callq 0x26d4
movq %r14, %rdi
callq 0x45fa
addq $0x18, %r13
jmp 0x23db
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2453
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x45fa
movq %rbx, %rdi
callq 0x2250
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/main.cpp
// Function: to_ostream(MiniSat::JinkelaSat&, MiniSat::Status, std::ostream&)
void to_ostream(MiniSat::JinkelaSat &Solver, const MiniSat::Status Result,
                std::ostream &Out) {
  if (Result == MiniSat::Status::True) {
    Out << "SAT\n";
    size_t VarCnt = 1;
    for (auto VarStatus : Solver.getModel()) {
      Out << (VarStatus == MiniSat::Status::False ? "-" : "") << VarCnt++
          << ' ';
    }
    Out << "0\n";
  } else {
    Out << "UNSAT\n";
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
cmpb $0x1, %sil
jne 0x24e6
movq %rdi, %r14
leaq 0x5c21(%rip), %rsi      # 0x80a7
movq %rbx, %rdi
callq 0x2150
movq 0x158(%r14), %r12
movq 0x160(%r14), %r13
pushq $0x1
popq %r15
pushq $0x20
popq %rbp
cmpq %r13, %r12
je 0x24ef
cmpb $0x0, (%r12)
leaq 0x5bec(%rip), %rsi      # 0x80a0
je 0x24bd
leaq 0x5be7(%rip), %rsi      # 0x80a4
movq %rbx, %rdi
callq 0x2150
leaq 0x1(%r15), %r14
movq %rax, %rdi
movq %r15, %rsi
callq 0x2100
movq %rax, %rdi
movl %ebp, %esi
callq 0x21a0
incq %r12
movq %r14, %r15
jmp 0x24a3
leaq 0x5bb8(%rip), %rsi      # 0x80a5
jmp 0x24f6
leaq 0x5bac(%rip), %rsi      # 0x80a2
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2150
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/main.cpp
// Function: main
int main() {
  DIMACS::CNF::Parser Parser;
  auto Input = std::move(Parser.parse(std::cin));

  MiniSat::JinkelaSat Solver;
  adapteInput(Solver, Input);

  auto Result = Solver.solve();
  to_ostream(Solver, Result, std::cout);

  return 0;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
movq 0xaac3(%rip), %rdx      # 0xcfe0
leaq 0x28(%rsp), %rbx
leaq 0x7(%rsp), %rsi
movq %rbx, %rdi
callq 0x2858
leaq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq 0x2ac0
leaq 0x30(%rsp), %rbx
movq %rbx, %rdi
callq 0x51ec
andq $0x0, 0xb8(%rbx)
andl $0x0, 0xc0(%rbx)
leaq 0x120(%rsp), %r14
andl $0x0, (%r14)
andq $0x0, 0x8(%r14)
leaq 0x28(%rsp), %rbx
movl $0xbc, %edx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x20c0
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%r14)
movups %xmm0, -0x18(%r14)
movq %r14, 0x10(%r14)
movq %r14, 0x18(%r14)
andq $0x0, 0x20(%r14)
leaq 0x178(%rsp), %rax
movq %rax, -0x30(%rax)
movq $0x1, -0x28(%rax)
movups %xmm0, -0x20(%rax)
movl $0x3f800000, -0x10(%rax) # imm = 0x3F800000
andq $0x0, 0x18(%rax)
movups %xmm0, -0x8(%rax)
movups %xmm0, 0x8(%rax)
movaps 0x5a56(%rip), %xmm1     # 0x8020
movups %xmm1, 0x20(%rax)
pushq $0x64
popq %rcx
movq %rcx, 0x30(%rax)
movq %rcx, 0x38(%rax)
movaps 0x5a50(%rip), %xmm1     # 0x8030
movups %xmm1, 0x40(%rax)
movaps 0x5a55(%rip), %xmm1     # 0x8040
movups %xmm1, 0x50(%rax)
movaps 0x5a5a(%rip), %xmm1     # 0x8050
movups %xmm1, 0x60(%rax)
orl $-0x1, 0x88(%rax)
movups %xmm0, 0xa0(%rax)
movups %xmm0, 0x90(%rax)
andq $0x0, 0xb0(%rax)
movb $0x1, 0xb8(%rax)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x23ac
leaq 0x28(%rsp), %rdi
callq 0x2ad4
movsbl %al, %esi
movq 0xa991(%rip), %rdx      # 0xcfd0
leaq 0x28(%rsp), %rdi
callq 0x2468
leaq 0x28(%rsp), %rdi
callq 0x2bc4
leaq 0x10(%rsp), %rdi
callq 0x51ec
xorl %eax, %eax
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r14
retq
jmp 0x2676
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
jmp 0x2688
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x2bc4
leaq 0x10(%rsp), %rdi
callq 0x51ec
movq %rbx, %rdi
callq 0x2250
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::addClause(std::vector<MiniSat::Literal, std::allocator<MiniSat::Literal>>&&)
bool addClause(std::vector<Literal> &&ps) {
    if (!ok)
      return false;
    for (Literal p : ps)
      while (p.var() >= int(nVars()))
        newVar();
    std::sort(ps.begin(), ps.end());
    Literal p;
    size_t j = 0;
    for (Literal l : ps) {
      if (value(l) == Status::True || l == ~p) {
        return true;
      } else if (value(l) != Status::False && l != p) {
        ps[j++] = p = l;
      }
    }
    ps.resize(j), ps.shrink_to_fit();
    if (ps.empty())
      return ok = false;
    else if (ps.size() == 1) {
      uncheckedEnqueue(ps[0]);
      return ok = (propagate() == nullptr);
    } else {
      clauses.emplace_back(new Clause(std::move(ps), false));
      attachClause(clauses.back().get());
    }
    return true;
  }

// Assembly:
cmpb $0x1, 0x208(%rdi)
jne 0x2717
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq (%rsi), %r15
movq 0x8(%rsi), %r12
cmpq %r12, %r15
je 0x271a
movl (%r15), %ebp
sarl %ebp
cmpl 0x1e8(%rbx), %ebp
jl 0x2711
movq %rbx, %rdi
callq 0x2c4e
jmp 0x26ff
addq $0x4, %r15
jmp 0x26f5
xorl %eax, %eax
retq
movq (%r14), %rdi
movq 0x8(%r14), %rsi
callq 0x3f4b
movq (%r14), %rcx
movq 0x8(%r14), %rdx
movq 0x68(%rbx), %rdi
pushq $-0x1
popq %r10
xorl %esi, %esi
pushq $0x2
popq %r8
movq %rcx, %r9
cmpq %rdx, %r9
je 0x27a2
movl (%r9), %r11d
movl %r11d, %eax
sarl %eax
cltq
movb (%rdi,%rax), %al
movl %r11d, %ebp
andb $0x1, %bpl
xorb %al, %bpl
cmpb $0x2, %al
movzbl %bpl, %ebp
cmovel %r8d, %ebp
movb $0x1, %al
cmpb $0x1, %bpl
je 0x2849
movl %r11d, %r15d
xorl %r10d, %r15d
cmpl $0x1, %r15d
je 0x2849
testb %bpl, %bpl
sete %al
cmpl %r10d, %r11d
sete %bpl
orb %al, %bpl
jne 0x279c
movl %r11d, (%rcx,%rsi,4)
incq %rsi
movl %r11d, %r10d
addq $0x4, %r9
jmp 0x273e
movq %r14, %rdi
callq 0x2cf2
movq %r14, %rdi
callq 0x44f0
movq (%r14), %r12
movq 0x8(%r14), %r13
cmpq %r13, %r12
je 0x27ef
movq %r13, %rax
subq %r12, %rax
cmpq $0x4, %rax
jne 0x27fa
movl (%r12), %esi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x2d24
movq %rbx, %rdi
callq 0x2d6e
testq %rax, %rax
sete %al
sete 0x208(%rbx)
jmp 0x2849
movb $0x0, 0x208(%rbx)
xorl %eax, %eax
jmp 0x2849
leaq 0x20(%rbx), %r15
pushq $0x20
popq %rdi
callq 0x2160
movq %r12, (%rax)
movq %r13, 0x8(%rax)
movq 0x10(%r14), %rcx
movq %rcx, 0x10(%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%r14)
andq $0x0, 0x10(%r14)
movb $0x0, 0x18(%rax)
andl $0x0, 0x1c(%rax)
movq %rsp, %rsi
movq %rax, (%rsi)
movq %r15, %rdi
callq 0x2fb0
movq 0x28(%rbx), %rax
movq -0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x2fe8
movb $0x1, %al
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::solve()
Status solve() {
    if (!ok)
      return Status::False;
    max_learnts = nClauses() * learntsize_factor;
    learntsize_adjust_confl = learntsize_adjust_start_confl;
    learntsize_adjust_cnt = learntsize_adjust_start_confl;
    Status status = Status::Undef;
    int curr_restarts = 0;
    do {
      double rest_base = luby(restart_inc, curr_restarts);
      status = search(rest_base * restart_first);
      ++curr_restarts;
    } while (status == Status::Undef);
    model = assigns;
    cancelUntil(0);
    return status;
  }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
xorl %ebp, %ebp
cmpb $0x1, 0x208(%rdi)
jne 0x2bbc
movq %rdi, %rbx
movsd 0x1f0(%rdi), %xmm0
movsd 0x5566(%rip), %xmm3     # 0x8060
unpcklps %xmm3, %xmm0            # xmm0 = xmm0[0],xmm3[0],xmm0[1],xmm3[1]
movapd 0x556b(%rip), %xmm1     # 0x8070
subpd %xmm1, %xmm0
movapd %xmm0, %xmm2
unpckhpd %xmm0, %xmm2            # xmm2 = xmm2[1],xmm0[1]
addsd %xmm0, %xmm2
mulsd 0x170(%rdi), %xmm2
movsd %xmm2, 0x1c0(%rdi)
movq 0x188(%rdi), %rax
movq %rax, %xmm0
punpckldq %xmm3, %xmm0    # xmm0 = xmm0[0],xmm3[0],xmm0[1],xmm3[1]
subpd %xmm1, %xmm0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movsd %xmm1, 0x1c8(%rdi)
movq %rax, 0x1d0(%rdi)
movsd 0x178(%rbx), %xmm0
movl %ebp, %edi
callq 0x5834
movsd 0x180(%rbx), %xmm1
unpcklps 0x54ee(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x54f6(%rip), %xmm1     # 0x8070
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
mulsd %xmm0, %xmm2
cvttsd2si %xmm2, %esi
movq %rbx, %rdi
callq 0x5862
incl %ebp
cmpb $0x2, %al
je 0x2b54
movl %eax, %r14d
leaq 0x68(%rbx), %rsi
leaq 0x158(%rbx), %rdi
callq 0x5abe
movq %rbx, %rdi
xorl %esi, %esi
callq 0x5b80
movl %r14d, %ebp
movl %ebp, %eax
popq %rbx
popq %r14
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::newVar()
int newVar() {
    int v = next_var++;
    assigns.emplace_back(Status::Undef);
    vardata.emplace_back(nullptr, 0);
    activity.emplace_back(0);
    seen.emplace_back(0);
    polarity.emplace_back(true);
    insertVarOrder(v);
    return v;
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %r14
movq 0x1e8(%rdi), %rbx
leaq 0x1(%rbx), %rax
movq %rax, 0x1e8(%rdi)
addq $0x68, %rdi
movq %rsp, %r15
movb $0x2, (%r15)
movq %r15, %rsi
callq 0x3096
leaq 0x80(%r14), %rdi
andq $0x0, (%r15)
leaq 0xc(%rsp), %rdx
andl $0x0, (%rdx)
movq %rsp, %r15
movq %r15, %rsi
callq 0x30c8
leaq 0x98(%r14), %rdi
andl $0x0, (%r15)
movq %rsp, %r15
movq %r15, %rsi
callq 0x3106
leaq 0xd8(%r14), %rdi
andl $0x0, (%r15)
movq %rsp, %r15
movq %r15, %rsi
callq 0x313e
leaq 0xb0(%r14), %rdi
movb $0x1, (%r15)
movq %rsp, %rsi
callq 0x3172
movq %r14, %rdi
movl %ebx, %esi
callq 0x3188
movl %ebx, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::attachClause(MiniSat::Clause*)
void attachClause(Clause *cr) {
    const Clause &c = *cr;
    watches[~c[0]].emplace_back(cr, c[1]);
    watches[~c[1]].emplace_back(cr, c[0]);
    if (c.learnt())
      learnts_literals += c.size();
    else
      num_clauses++, clauses_literals += c.size();
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x8(%rsp), %r15
movq %rsi, (%r15)
leaq 0x120(%rdi), %r12
movq (%rsi), %rax
movl (%rax), %eax
xorl $0x1, %eax
leaq 0x4(%rsp), %r13
movl %eax, (%r13)
movq %r12, %rdi
movq %r13, %rsi
callq 0x4794
movq (%r14), %rdx
addq $0x4, %rdx
movq %rax, %rdi
movq %r15, %rsi
callq 0x4fc6
movq (%r14), %rax
movl 0x4(%rax), %eax
xorl $0x1, %eax
movl %eax, (%r13)
leaq 0x4(%rsp), %rsi
movq %r12, %rdi
callq 0x4794
movq (%r14), %rdx
movq %rax, %rdi
movq %r15, %rsi
callq 0x4fc6
movl $0x200, %eax            # imm = 0x200
cmpb $0x0, 0x18(%r14)
jne 0x3078
incq 0x1f0(%rbx)
movl $0x1f8, %eax            # imm = 0x1F8
movq 0x8(%r14), %rcx
subq (%r14), %rcx
sarq $0x2, %rcx
addq %rcx, (%rbx,%rax)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::luby(double, int)
inline double luby(double y, int x) {
  int size, seq;
  for (size = 1, seq = 0; size < x + 1; seq++, size = 2 * size + 1)
    ;
  while (size - 1 != x) {
    size = (size - 1) >> 1;
    seq--;
    x = x % size;
  }
  return pow(y, seq);
}

// Assembly:
movl %edi, %eax
xorl %ecx, %ecx
pushq $0x1
popq %rsi
cmpl %eax, %esi
jg 0x5853
incl %ecx
leal 0x1(,%rsi,2), %esi
jmp 0x583b
sarl %esi
decl %ecx
cltd
idivl %esi
movl %edx, %eax
decl %esi
cmpl %eax, %esi
jne 0x584a
cvtsi2sd %ecx, %xmm1
jmp 0x2240
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::claBumpActivity(MiniSat::Clause&)
void claBumpActivity(Clause &c) {
    if ((c.activity() += cla_inc) > 1e20) {
      for (auto &l : learnts)
        l->activity() *= 1e-20;
      cla_inc *= 1e-20;
    }
  }

// Assembly:
movsd 0x1b0(%rdi), %xmm0
cvtss2sd 0x1c(%rsi), %xmm1
addsd %xmm0, %xmm1
cvtsd2ss %xmm1, %xmm1
movss %xmm1, 0x1c(%rsi)
cvtss2sd %xmm1, %xmm1
ucomisd 0x2166(%rip), %xmm1     # 0x8080
jbe 0x5f5c
movq 0x38(%rdi), %rax
movq 0x40(%rdi), %rcx
movsd 0x215c(%rip), %xmm1     # 0x8088
cmpq %rcx, %rax
je 0x5f4c
movq (%rax), %rdx
cvtss2sd 0x1c(%rdx), %xmm2
mulsd %xmm1, %xmm2
cvtsd2ss %xmm2, %xmm2
movss %xmm2, 0x1c(%rdx)
addq $0x8, %rax
jmp 0x5f2c
mulsd 0x2134(%rip), %xmm0     # 0x8088
movsd %xmm0, 0x1b0(%rdi)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::simplify()
bool simplify() {
    if (propagate() != nullptr)
      return false;
    if (int(nAssigns()) == simpDB_assigns || (simpDB_props > 0))
      return true;
    removeSatisfied(learnts);
    rebuildOrderHeap();
    simpDB_assigns = nAssigns();
    simpDB_props = clauses_literals + learnts_literals;
    return true;
  }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x2d6e
movq %rax, %r14
testq %rax, %rax
jne 0x5fcb
movq 0x10(%rbx), %rax
subq 0x8(%rbx), %rax
shrq $0x2, %rax
cmpl %eax, 0x1d8(%rbx)
je 0x5fcb
cmpq $0x0, 0x1e0(%rbx)
jg 0x5fcb
leaq 0x38(%rbx), %rsi
movq %rbx, %rdi
callq 0x6bbc
movq %rbx, %rdi
callq 0x656c
movq 0x10(%rbx), %rax
movq 0x200(%rbx), %rcx
subq 0x8(%rbx), %rax
shrq $0x2, %rax
movl %eax, 0x1d8(%rbx)
addq 0x1f8(%rbx), %rcx
movq %rcx, 0x1e0(%rbx)
testq %r14, %r14
sete %al
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::reduceDB()
void reduceDB() {
    size_t j = 0;
    double extra_lim = cla_inc / learnts.size();
    std::sort(learnts.begin(), learnts.end(), reduceDB_cmp);
    for (size_t i = 0; i < learnts.size(); i++) {
      auto &c = learnts[i];
      if (c->size() > 2 && !locked(c.get()) &&
          (i < learnts.size() / 2 || c->activity() < extra_lim)) {
        removeClause(c);
      } else
        learnts[j++] = std::move(c);
    }
    learnts.resize(j);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movsd 0x1b0(%rdi), %xmm2
leaq 0x38(%rdi), %r14
movq 0x38(%rdi), %rdi
movq 0x40(%rbx), %rsi
movq %rsi, %rax
subq %rdi, %rax
sarq $0x3, %rax
movq %rax, %xmm0
punpckldq 0x204d(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x2055(%rip), %xmm0     # 0x8070
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
divsd %xmm1, %xmm2
movsd %xmm2, (%rsp)
leaq 0x10af(%rip), %rdx      # 0x70e6
callq 0x7118
xorl %r13d, %r13d
xorl %ebp, %ebp
xorl %r15d, %r15d
movq 0x38(%rbx), %rcx
movq 0x40(%rbx), %rax
subq %rcx, %rax
sarq $0x3, %rax
cmpq %rax, %rbp
jae 0x60c9
leaq (%rcx,%r13), %r12
movq (%rcx,%r13), %rsi
movq 0x8(%rsi), %rax
subq (%rsi), %rax
cmpq $0x9, %rax
jb 0x607d
movq %rbx, %rdi
callq 0x6e08
movq 0x38(%rbx), %rcx
testb %al, %al
je 0x6095
leaq (%rcx,%r15,8), %rdi
incq %r15
movq %r12, %rsi
callq 0x6f60
incq %rbp
addq $0x8, %r13
jmp 0x6044
movq 0x40(%rbx), %rax
subq %rcx, %rax
sarq $0x3, %rax
shrq %rax
cmpq %rax, %rbp
jb 0x60bc
movq (%r12), %rax
cvtss2sd 0x1c(%rax), %xmm0
movsd (%rsp), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x607d
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6ce8
jmp 0x608c
movq %r14, %rdi
movq %r15, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x6d4c
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::pickBranchLit()
Literal pickBranchLit() {
    const int VarUndef = -1;
    int next = VarUndef;
    while (next == VarUndef || value(next) != Status::Undef)
      if (order_heap.empty()) {
        next = VarUndef;
        break;
      } else {
        next = (*--order_heap.end()).second;
        order_heap.erase(--order_heap.end());
      }
    if (next == VarUndef)
      return Literal();
    return Literal(next, polarity[next]);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
leaq 0xf0(%rdi), %r14
leaq 0xf8(%rdi), %r15
pushq $-0x1
popq %rbp
movl %ebp, %r12d
cmpl $-0x1, %r12d
je 0x6114
movslq %r12d, %rsi
movq 0x68(%rbx), %rax
cmpb $0x2, (%rax,%rsi)
je 0x6137
cmpq $0x0, 0x118(%rbx)
je 0x6152
movq %r15, %rdi
callq 0x20e0
movl 0x28(%rax), %r12d
movq %r14, %rdi
movq %rax, %rsi
callq 0x78a4
jmp 0x6101
addq $0xb0, %rbx
movq %rbx, %rdi
callq 0x7886
xorl %ecx, %ecx
testq %rdx, (%rax)
setne %cl
leal (%rcx,%r12,2), %ebp
movl %ebp, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::varBumpActivity(int)
void varBumpActivity(int v) {
    auto ori = activity[v];
    if ((activity[v] += var_inc) > 1e100) {
      for (auto &act : activity)
        act *= 1e-100;
      var_inc *= 1e-100;
      rebuildOrderHeap();
    } else {
      if (order_heap.count({ori, v})) {
        order_heap.erase({ori, v});
        order_heap.emplace(activity[v], v);
      }
    }
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movl %esi, 0xc(%rsp)
movslq %esi, %r14
movq 0x98(%rdi), %rax
movsd (%rax,%r14,8), %xmm1
movsd 0x1b8(%rdi), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, (%rax,%r14,8)
ucomisd 0x1ea9(%rip), %xmm0     # 0x8090
jbe 0x620f
movq 0xa0(%rbx), %rcx
movsd 0x1ea0(%rip), %xmm0     # 0x8098
cmpq %rcx, %rax
je 0x6277
movsd (%rax), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rax)
addq $0x8, %rax
jmp 0x61f8
movl %esi, %ebp
leaq 0xf0(%rbx), %r15
leaq 0x18(%rsp), %rsi
movsd %xmm1, 0x10(%rsp)
movsd %xmm1, (%rsi)
movl %ebp, 0x8(%rsi)
movq %r15, %rdi
callq 0x3cca
testq %rax, %rax
je 0x626c
leaq 0x18(%rsp), %rsi
movsd 0x10(%rsp), %xmm0
movsd %xmm0, (%rsi)
movl %ebp, 0x8(%rsi)
movq %r15, %rdi
callq 0x66ee
shlq $0x3, %r14
addq 0x98(%rbx), %r14
leaq 0xc(%rsp), %rdx
movq %r15, %rdi
movq %r14, %rsi
callq 0x3d7e
addq $0x28, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movsd 0x1b8(%rbx), %xmm0
mulsd 0x1e11(%rip), %xmm0     # 0x8098
movsd %xmm0, 0x1b8(%rbx)
movq %rbx, %rdi
addq $0x28, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x656c
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::rebuildOrderHeap()
void rebuildOrderHeap() {
    order_heap.clear();
    for (size_t v = 0; v < nVars(); ++v)
      if (value(v) == Status::Undef)
        order_heap.emplace(activity[v], v);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
leaq 0xf0(%rdi), %r14
movq %r14, %rdi
callq 0x65d4
xorl %esi, %esi
leaq 0x8(%rsp), %r15
movq %rsi, 0x8(%rsp)
cmpq 0x1e8(%rbx), %rsi
jae 0x65c9
movslq %esi, %rax
movq 0x68(%rbx), %rcx
cmpb $0x2, (%rcx,%rax)
jne 0x65c4
shlq $0x3, %rsi
addq 0x98(%rbx), %rsi
movq %r14, %rdi
movq %r15, %rdx
callq 0x6646
movq 0x8(%rsp), %rsi
incq %rsi
jmp 0x658e
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::removeSatisfied(std::vector<std::unique_ptr<MiniSat::Clause, std::default_delete<MiniSat::Clause>>, std::allocator<std::unique_ptr<MiniSat::Clause, std::default_delete<MiniSat::Clause>>>>&)
void removeSatisfied(std::vector<Clause::Ptr> &cs) {
    size_t j = 0;
    for (auto &c : cs) {
      if (satisfied(*c))
        removeClause(c);
      else {
        for (size_t k = 2; k < c->size(); ++k)
          if (value(c->at(k)) == Status::False) {
            c->at(k--) = c->back();
            c->pop_back();
          }
        cs[j++] = std::move(c);
      }
    }
    cs.resize(j);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %r14
movq (%rsi), %r15
movq %rsi, 0x8(%rsp)
movq 0x8(%rsi), %rbx
xorl %r12d, %r12d
movq %rbx, 0x10(%rsp)
cmpq %rbx, %r15
je 0x6c8e
movq (%r15), %rsi
movq %r14, %rdi
callq 0x6caa
testb %al, %al
je 0x6c06
movq %r14, %rdi
movq %r15, %rsi
callq 0x6ce8
jmp 0x6c85
pushq $0x2
popq %r13
movq (%r15), %rdi
movq 0x8(%rdi), %rax
subq (%rdi), %rax
sarq $0x2, %rax
cmpq %rax, %r13
jae 0x6c61
movq %r13, %rsi
callq 0x6d2a
movl (%rax), %eax
movl %eax, %ecx
sarl %ecx
movslq %ecx, %rcx
movq 0x68(%r14), %rdx
andb $0x1, %al
cmpb %al, (%rdx,%rcx)
jne 0x6c5c
movq (%r15), %rdi
movq 0x8(%rdi), %rbx
leaq -0x1(%r13), %rbp
movq %r13, %rsi
callq 0x6d2a
movl -0x4(%rbx), %ecx
movl %ecx, (%rax)
movq (%r15), %rax
addq $-0x4, 0x8(%rax)
movq %rbp, %r13
incq %r13
jmp 0x6c0a
leaq 0x1(%r12), %r13
shlq $0x3, %r12
movq 0x8(%rsp), %rax
addq (%rax), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x6f60
movq %r13, %r12
movq 0x10(%rsp), %rbx
addq $0x8, %r15
jmp 0x6be1
movq 0x8(%rsp), %rdi
movq %r12, %rsi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x6d4c
nop
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::removeClause(std::unique_ptr<MiniSat::Clause, std::default_delete<MiniSat::Clause>>&)
void removeClause(Clause::Ptr &cr) {
    Clause &c = *cr;
    detachClause(&c);
    if (locked(&c))
      vardata[c[0].var()].reason = nullptr;
  }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rsi), %r14
movq %r14, %rsi
callq 0x6d76
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6e08
testb %al, %al
je 0x6d22
movq (%r14), %rax
movl (%rax), %eax
sarl %eax
cltq
movq 0x80(%rbx), %rcx
shlq $0x4, %rax
andq $0x0, (%rcx,%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::detachClause(MiniSat::Clause*)
void detachClause(Clause *cr) {
    const Clause &c = *cr;
    watcheErase(watches[~c[0]], cr);
    watcheErase(watches[~c[1]], cr);
    if (c.learnt())
      learnts_literals -= c.size();
    else
      num_clauses++, clauses_literals -= c.size();
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x120(%rdi), %r15
movq (%rsi), %rax
movl (%rax), %eax
xorl $0x1, %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0x4794
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rdx
callq 0x6e44
movq (%r14), %rax
movl 0x4(%rax), %eax
xorl $0x1, %eax
leaq 0x8(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0x4794
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rdx
callq 0x6e44
movl $0x200, %eax            # imm = 0x200
cmpb $0x0, 0x18(%r14)
jne 0x6def
incq 0x1f0(%rbx)
movl $0x1f8, %eax            # imm = 0x1F8
movq 0x8(%r14), %rcx
subq (%r14), %rcx
sarq $0x2, %rcx
subq %rcx, (%rbx,%rax)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::watcheErase(std::vector<MiniSat::JinkelaSat::Watcher, std::allocator<MiniSat::JinkelaSat::Watcher>>&, MiniSat::Clause*)
void watcheErase(std::vector<Watcher> &watche, Clause *cr) {
    auto it = std::find(watche.begin(), watche.end(), cr);
    if (it == watche.end())
      return;
    watche.erase(it);
  }

// Assembly:
pushq %rbx
subq $0x10, %rsp
movq %rsi, %rbx
leaq 0x8(%rsp), %rax
movq %rdx, (%rax)
movq (%rsi), %rdi
movq 0x8(%rsi), %rsi
movq %rax, %rdx
callq 0x6eb3
cmpq 0x8(%rbx), %rax
je 0x6e74
movq %rbx, %rdi
movq %rax, %rsi
callq 0x6e7a
addq $0x10, %rsp
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/bauerj4[P]Riemann1D/src/Context.cpp
// Function: delimitString(std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
int delimitString(vector<string> &tokens, string line, string delimiter)
{
  int pos = 0;
  int newpos = 0;
  string token;
  while(1)
    {
      newpos = line.find(' ');
      token = line.substr(0,newpos);
      line.erase(0,newpos+1);

      tokens.push_back(token);
      if (newpos == string::npos)
        {
          break;
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0x28(%rsp), %r15
leaq 0x8(%rsp), %r12
movabsq $0x100000000, %rbp      # imm = 0x100000000
movq %rbx, %rdi
pushq $0x20
popq %rsi
xorl %edx, %edx
callq 0x2260
movq %rax, %r13
movslq %r13d, %rcx
movq %r15, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x21f0
shlq $0x20, %r13
addq %rbp, %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x2230
movq %r15, %rdi
callq 0x20e0
sarq $0x20, %r13
movq %rbx, %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x2060
movq %r14, %rdi
movq %r12, %rsi
callq 0x2b04
jmp 0x2545
jmp 0x259f
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x20e0
movq %rbx, %rdi
callq 0x2320
// File: /workspace/github_cpp_makefile_star2_O2/bauerj4[P]Riemann1D/src/Context.cpp
// Function: printContext(context_t&)
int printContext(context_t &context)
{
  printf("THE CONTEXT IS: \n");
  printf("MESH_RESOLUTION = %d\n",context.MESH_RESOLUTION);
  printf("X0 = %10.10f\n", context.X0);
  printf("X1 = %10.10f\n", context.X1);
  printf("INITIAL_DISCONTINUITY = %10.10f\n", context.INITIAL_DISCONTINUITY);
  printf("RHO_L = %10.10f\n", context.RHO_L);
  printf("P_L = %10.10f\n", context.P_L);
  printf("U_L = %10.10f\n", context.U_L);
  printf("RHO_R = %10.10f\n", context.RHO_R);
  printf("P_R = %10.10f\n", context.P_R);
  printf("U_R = %10.10f\n", context.U_R);

  printf("EVOLVE_TIME = %10.10f\n", context.EVOLVE_TIME);
  printf("CFL_NUMBER = %10.10f\n", context.CFL_NUMBER);

  cout << "SNAPSHOT_PATH = " << context.SNAPSHOT_PATH << '\n';
  cout << "SOLUTION_METHOD = " << context.SOLUTION_METHOD << '\n';

}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
leaq 0x7804(%rip), %rdi      # 0xa1c7
callq 0x22b0
movl (%rbx), %esi
leaq 0x76b0(%rip), %rdi      # 0xa081
xorl %eax, %eax
callq 0x2030
movsd 0x8(%rbx), %xmm0
leaq 0x76b3(%rip), %rdi      # 0xa097
movb $0x1, %al
callq 0x2030
movsd 0x10(%rbx), %xmm0
leaq 0x76ae(%rip), %rdi      # 0xa0a5
movb $0x1, %al
callq 0x2030
movsd 0x48(%rbx), %xmm0
leaq 0x76a9(%rip), %rdi      # 0xa0b3
movb $0x1, %al
callq 0x2030
movsd 0x18(%rbx), %xmm0
leaq 0x76b7(%rip), %rdi      # 0xa0d4
movb $0x1, %al
callq 0x2030
movsd 0x38(%rbx), %xmm0
leaq 0x76b5(%rip), %rdi      # 0xa0e5
movb $0x1, %al
callq 0x2030
movsd 0x28(%rbx), %xmm0
leaq 0x76b1(%rip), %rdi      # 0xa0f4
movb $0x1, %al
callq 0x2030
movsd 0x20(%rbx), %xmm0
leaq 0x76ad(%rip), %rdi      # 0xa103
movb $0x1, %al
callq 0x2030
movsd 0x40(%rbx), %xmm0
leaq 0x76ab(%rip), %rdi      # 0xa114
movb $0x1, %al
callq 0x2030
movsd 0x30(%rbx), %xmm0
leaq 0x76a7(%rip), %rdi      # 0xa123
movb $0x1, %al
callq 0x2030
movsd 0x58(%rbx), %xmm0
leaq 0x76a3(%rip), %rdi      # 0xa132
movb $0x1, %al
callq 0x2030
movsd 0x50(%rbx), %xmm0
leaq 0x76a7(%rip), %rdi      # 0xa149
movb $0x1, %al
callq 0x2030
movq 0xb528(%rip), %r14      # 0xdfd8
leaq 0x76a8(%rip), %rsi      # 0xa15f
movq %r14, %rdi
callq 0x21b0
leaq 0x80(%rbx), %rsi
movq %rax, %rdi
callq 0x21a0
pushq $0xa
popq %rbp
movq %rax, %rdi
movl %ebp, %esi
callq 0x2210
leaq 0x768e(%rip), %rsi      # 0xa170
movq %r14, %rdi
callq 0x21b0
addq $0x60, %rbx
movq %rax, %rdi
movq %rbx, %rsi
callq 0x21a0
movq %rax, %rdi
movl %ebp, %esi
callq 0x2210
nop
// File: /workspace/github_cpp_makefile_star2_O2/bauerj4[P]Riemann1D/src/Fluxes.cpp
// Function: SUPERBEE(double, double)
double SUPERBEE(double r, double c)
{
  if (r <= 0 )
    {
      return 1.0;
    }
  else if(r > 0 && r <= 0.5)
    {
      return (1. - (2.*(1. - c) * r));
    }
  else if (r > 0.5 && r <= 1.0)
    {
      return c;
    }
  else if (r > 1.0 && r <= 2.0)
    {
      return (1. - ((1. - c)*r));
    }
  else if (r > 2.0)
    {
      return ((2. * c) - 1.);
    }
  /*
  else if (r!=r)
    {
      return 0;
      }*/
  
}

// Assembly:
xorpd %xmm2, %xmm2
ucomisd %xmm0, %xmm2
jae 0x324d
ucomisd %xmm2, %xmm0
jbe 0x325a
movsd 0x70a6(%rip), %xmm2     # 0xa2c8
ucomisd %xmm0, %xmm2
jb 0x325a
movsd 0x7090(%rip), %xmm3     # 0xa2c0
movapd %xmm3, %xmm2
subsd %xmm1, %xmm2
mulsd 0x70a0(%rip), %xmm2     # 0xa2e0
mulsd %xmm0, %xmm2
addsd %xmm3, %xmm2
movapd %xmm2, %xmm0
retq
movsd 0x706b(%rip), %xmm1     # 0xa2c0
movapd %xmm1, %xmm0
retq
ucomisd 0x7066(%rip), %xmm0     # 0xa2c8
jbe 0x3272
movsd 0x7054(%rip), %xmm2     # 0xa2c0
ucomisd %xmm0, %xmm2
jae 0x3255
ucomisd 0x7046(%rip), %xmm0     # 0xa2c0
jbe 0x32a4
movsd 0x704c(%rip), %xmm2     # 0xa2d0
ucomisd %xmm0, %xmm2
jb 0x32a4
movsd 0x702e(%rip), %xmm2     # 0xa2c0
movapd %xmm2, %xmm3
subsd %xmm1, %xmm3
mulsd %xmm0, %xmm3
subsd %xmm3, %xmm2
jmp 0x3248
addsd %xmm1, %xmm1
addsd 0x7028(%rip), %xmm1     # 0xa2d8
jmp 0x3255
// File: /workspace/github_cpp_makefile_star2_O2/bauerj4[P]Riemann1D/src/Fluxes.cpp
// Function: MINBEE(double, double)
double MINBEE(double r, double c)
{
  if (r <= 0.)
    {
      return 1.0;
    }
  else if(r > 0. && r <= 1.) 
    {
      return (1 - (1 - c)*r);
    }
  else if(r > 1)
    {
      return c;
    }
}

// Assembly:
xorpd %xmm2, %xmm2
ucomisd %xmm0, %xmm2
jae 0x32e5
ucomisd %xmm2, %xmm0
jbe 0x32ed
movsd 0x6ff6(%rip), %xmm2     # 0xa2c0
ucomisd %xmm0, %xmm2
jb 0x32ed
movapd %xmm2, %xmm3
subsd %xmm1, %xmm3
mulsd %xmm0, %xmm3
subsd %xmm3, %xmm2
movapd %xmm2, %xmm0
retq
movsd 0x6fd3(%rip), %xmm1     # 0xa2c0
movaps %xmm1, %xmm0
retq
// File: /workspace/github_cpp_makefile_star2_O2/bauerj4[P]Riemann1D/src/Fluxes.cpp
// Function: primativeTo1DConservative(std::vector<double, std::allocator<double>>)
vector<double> primativeTo1DConservative(vector<double> primative)
{
  if (primative.size()!=3)
    {
      printf("INCORRECT PRIMATIVE VARIABLE SIZE!\n");
      return primative;
    }
  double gamma = 1.4;
  double density = primative[0];
  double velocity = primative[1];
  double pressure = primative[2];
  double conservative_2 = density * velocity;
  //primative[1] *= primative[0];
  // Compute energy from pressure
  double int_energy = pressure / (density * (gamma - 1.));
  double kinetic_energy = 0.5 * velocity * velocity;

  double conservative_3 = density * (int_energy + kinetic_energy);
  vector<double> conservative(3,0.0);
  conservative[0] = density;
  conservative[1] = conservative_2;
  conservative[2] = conservative_3;
  //primative[2] = energy * primative[0] + pow(primative[1]/primative[0],2.0);
  return conservative;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
movq (%rsi), %rax
movq 0x8(%rsi), %rcx
subq %rax, %rcx
cmpq $0x18, %rcx
jne 0x339c
movsd 0x10(%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
movups (%rax), %xmm0
movaps %xmm0, 0x10(%rsp)
shufps $0x4e, %xmm0, %xmm0     # xmm0 = xmm0[2,3,0,1]
movaps %xmm0, 0x20(%rsp)
leaq 0x30(%rsp), %rdx
andq $0x0, (%rdx)
pushq $0x3
popq %rsi
leaq 0x7(%rsp), %rcx
movq %rbx, %rdi
callq 0x7c0c
movsd 0x6f9c(%rip), %xmm0     # 0xa2e8
movapd 0x10(%rsp), %xmm1
mulsd %xmm1, %xmm0
movsd 0x8(%rsp), %xmm3
divsd %xmm0, %xmm3
movapd %xmm1, %xmm0
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movsd 0x6f54(%rip), %xmm1     # 0xa2c8
mulsd %xmm0, %xmm1
mulsd %xmm0, %xmm1
addsd %xmm3, %xmm1
movapd %xmm2, %xmm0
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
mulpd 0x20(%rsp), %xmm0
movq (%rbx), %rax
movlpd %xmm2, (%rax)
movupd %xmm0, 0x8(%rax)
jmp 0x33ca
movq %rsi, %r14
leaq 0x7085(%rip), %rdi      # 0xa42b
callq 0x22b0
movupd (%r14), %xmm0
movupd %xmm0, (%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x10(%rbx)
xorpd %xmm0, %xmm0
movupd %xmm0, (%r14)
andq $0x0, 0x10(%r14)
movq %rbx, %rax
addq $0x38, %rsp
popq %rbx
popq %r14
retq