LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O1/Alcaro[P]bridges/arlib/deps/miniz.c
// Function: tdefl_output_buffer_putter
static mz_bool tdefl_output_buffer_putter(const void *pBuf, int len, void *pUser)
{
  tdefl_output_buffer *p = (tdefl_output_buffer *)pUser;
  size_t new_size = p->m_size + len;
  if (new_size > p->m_capacity)
  {
    size_t new_capacity = p->m_capacity; mz_uint8 *pNew_buf; if (!p->m_expandable) return MZ_FALSE;
    do { new_capacity = MZ_MAX(128U, new_capacity << 1U); } while (new_size > new_capacity);
    pNew_buf = (mz_uint8*)MZ_REALLOC(p->m_pBuf, new_capacity); if (!pNew_buf) return MZ_FALSE;
    p->m_pBuf = pNew_buf; p->m_capacity = new_capacity;
  }
  memcpy((mz_uint8*)p->m_pBuf + p->m_size, pBuf, len); p->m_size = new_size;
  return MZ_TRUE;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r15
movslq %esi, %r14
movq (%rdx), %r13
addq %r14, %r13
movq 0x8(%rdx), %r12
cmpq %r12, %r13
jbe 0x2ce19
xorl %ebp, %ebp
cmpl $0x0, 0x18(%rbx)
je 0x2ce33
movl $0x80, %eax
addq %r12, %r12
cmpq $0x81, %r12
cmovbq %rax, %r12
cmpq %r12, %r13
ja 0x2cded
movq 0x10(%rbx), %rdi
movq %r12, %rsi
callq 0x3610
testq %rax, %rax
je 0x2ce33
movq %rax, 0x10(%rbx)
movq %r12, 0x8(%rbx)
movq 0x10(%rbx), %rdi
addq (%rbx), %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x3280
movq %r13, (%rbx)
movl $0x1, %ebp
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/Alcaro[P]bridges/arlib/deps/miniz.c
// Function: tdefl_compress_mem_to_mem
size_t tdefl_compress_mem_to_mem(void *pOut_buf, size_t out_buf_len, const void *pSrc_buf, size_t src_buf_len, int flags)
{
  tdefl_output_buffer out_buf; MZ_CLEAR_OBJ(out_buf);
  if (!pOut_buf) return 0;
  out_buf.m_pBuf = (mz_uint8*)pOut_buf; out_buf.m_capacity = out_buf_len;
  if (!tdefl_compress_mem_to_output(pSrc_buf, src_buf_len, tdefl_output_buffer_putter, &out_buf, flags)) return 0;
  return out_buf.m_size;
}

// Assembly:
subq $0x28, %rsp
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movaps %xmm0, (%rsp)
testq %rdi, %rdi
je 0x2ce86
movq %rsp, %rax
movq %rdi, 0x10(%rax)
movq %rsi, 0x8(%rax)
leaq -0xae(%rip), %r9        # 0x2cdbd
movq %rdx, %rdi
movq %rcx, %rsi
movq %r9, %rdx
movq %rax, %rcx
callq 0x2ccd8
testl %eax, %eax
je 0x2ce86
movq (%rsp), %rax
jmp 0x2ce88
xorl %eax, %eax
addq $0x28, %rsp
retq
// File: /workspace/github_cpp_makefile_star2_O1/akojo[P]quickfind/term.cpp
// Function: Term::Term(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
Term::Term(const string& ttyName)
{
    tty = fopen(ttyName.c_str(), "r+");
    if (!tty)
        throw invalid_argument("bad tty");
    setbuf(tty, nullptr);

    int fd = fileno(tty);
    if (tcgetattr(fd, &old_termios) < 0)
        throw runtime_error("failed to read terminal parameters");

    struct termios new_termios = old_termios;
    new_termios.c_lflag &= ~(ECHO | ICANON | IEXTEN | ISIG);
    if (tcsetattr(fd, TCSAFLUSH, &new_termios) < 0) {
        throw runtime_error(string("failed to set terminal parameters: ") + strerror(errno));
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x80, %rsp
movq %rdi, %rbx
movq (%rsi), %rdi
leaq 0x1324(%rip), %rsi      # 0x5054
callq 0x21f0
movq %rax, (%rbx)
testq %rax, %rax
je 0x3dad
movq %rax, %rdi
xorl %esi, %esi
callq 0x2240
movq (%rbx), %rdi
callq 0x21a0
movl %eax, %ebp
addq $0x8, %rbx
movl %eax, %edi
movq %rbx, %rsi
callq 0x21c0
testl %eax, %eax
js 0x3dd9
movups (%rbx), %xmm0
movups 0x10(%rbx), %xmm1
movups 0x20(%rbx), %xmm2
movups 0x2c(%rbx), %xmm3
leaq 0x40(%rsp), %rdx
movaps %xmm0, (%rdx)
movups %xmm3, 0x2c(%rdx)
movaps %xmm2, 0x20(%rdx)
movaps %xmm1, 0x10(%rdx)
andl $0xffff7ff4, 0xc(%rdx)  # imm = 0xFFFF7FF4
movl %ebp, %edi
movl $0x2, %esi
callq 0x2220
testl %eax, %eax
js 0x3e0b
addq $0x80, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl $0x10, %edi
callq 0x20d0
movq %rax, %rbx
leaq 0x1296(%rip), %rsi      # 0x5057
movq %rax, %rdi
callq 0x2310
movq 0x3200(%rip), %rsi      # 0x6fd0
movq 0x31e9(%rip), %rdx      # 0x6fc0
jmp 0x3e03
movl $0x10, %edi
callq 0x20d0
movq %rax, %rbx
leaq 0x1272(%rip), %rsi      # 0x505f
movq %rax, %rdi
callq 0x20a0
movq 0x31f4(%rip), %rsi      # 0x6ff0
movq 0x31ad(%rip), %rdx      # 0x6fb0
movq %rbx, %rdi
callq 0x22c0
movl $0x10, %edi
callq 0x20d0
movq %rax, %rbx
leaq 0x30(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x125a(%rip), %rsi      # 0x5082
leaq 0x1276(%rip), %rdx      # 0x50a5
leaq 0x20(%rsp), %rdi
callq 0x2dfe
callq 0x2040
movl (%rax), %edi
callq 0x2080
leaq 0x20(%rsp), %rdi
movq %rax, %rsi
callq 0x2320
leaq 0x10(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x3e75
movups (%rcx), %xmm0
movups %xmm0, (%r12)
jmp 0x3e81
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rdx
movq %rsp, %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movb $0x1, %bpl
movq %rbx, %rdi
callq 0x2290
xorl %ebp, %ebp
movq 0x3141(%rip), %rsi      # 0x6ff0
movq 0x30fa(%rip), %rdx      # 0x6fb0
movq %rbx, %rdi
callq 0x22c0
movq %rax, %r14
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x3edf
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2180
jmp 0x3edf
movq %rax, %r14
movb $0x1, %bpl
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x3efe
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2180
jmp 0x3efe
movq %rax, %r14
movb $0x1, %bpl
testb %bpl, %bpl
jne 0x3f0a
jmp 0x3f12
jmp 0x3f07
movq %rax, %r14
movq %rbx, %rdi
callq 0x2110
movq %r14, %rdi
callq 0x22d0
// File: /workspace/github_cpp_makefile_star2_O1/akojo[P]quickfind/term.cpp
// Function: Term::getchar()
int Term::getchar()
{
    int i;
    i = getc(tty);
    if (i == 0)
        return -1;
    if (i < 0)
        throw runtime_error("read error");
    return i;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq (%rdi), %rdi
callq 0x2060
testl %eax, %eax
je 0x3fac
jns 0x3fb1
movl $0x10, %edi
callq 0x20d0
movq %rax, %rbx
leaq 0x1123(%rip), %rsi      # 0x50b1
movq %rax, %rdi
callq 0x20a0
movq 0x3053(%rip), %rsi      # 0x6ff0
movq 0x300c(%rip), %rdx      # 0x6fb0
movq %rbx, %rdi
callq 0x22c0
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rax, %r14
movq %rbx, %rdi
callq 0x2110
movq %r14, %rdi
callq 0x22d0
// File: /workspace/github_cpp_makefile_star2_O1/akojo[P]quickfind/prompt.cpp
// Function: Prompt::handle_key(Term::Key)
bool Prompt::handle_key(const Term::Key key)
{
    bool reset_selection = true;

    if (isprint(key)) {
        input.push_back(key);
    } else if (input.length() > 0) {
        if (key == Term::DEL || key == Term::BACKSPACE) {
            input.pop_back();
        } else if (key == Term::CTRL_U) {
            input.clear();
        }
        reset_selection = false;
    } else {
        reset_selection = false;
    }
    tty.move_to_col(1);
    tty.erase_line(Term::FORWARD);
    tty.puts(prompt + input);
    return reset_selection;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movl %esi, %ebp
movq %rdi, %r14
movl %esi, %edi
callq 0x22e0
movl %eax, %ebx
leaq 0x68(%r14), %r15
testl %eax, %eax
je 0x428d
movsbl %bpl, %esi
movq %r15, %rdi
callq 0x2140
movq %r14, %rdi
movl $0x1, %esi
callq 0x4054
movq %r14, %rdi
xorl %esi, %esi
callq 0x407c
leaq 0x48(%r14), %rsi
movq %rsp, %r12
movq %r12, %rdi
movq %r15, %rdx
callq 0x4327
movq %r14, %rdi
movq %r12, %rsi
callq 0x3f3a
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x427b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2180
testl %ebx, %ebx
setne %al
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
cmpq $0x0, 0x70(%r14)
je 0x422c
cmpl $0x7f, %ebp
je 0x42a3
cmpl $0x15, %ebp
je 0x42b0
cmpl $0x8, %ebp
jne 0x422c
movq %r15, %rdi
callq 0x2200
jmp 0x422c
movq $0x0, 0x70(%r14)
movq 0x68(%r14), %rax
movb $0x0, (%rax)
jmp 0x422c
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x42e2
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2180
movq %rbx, %rdi
callq 0x22d0
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/main.cpp
// Function: checkError(int, int)
bool checkError(int argc, int i) {
    if(i+1 >= argc) {
        std::cout << "Args error" << std::endl;
        return true;
    }
    return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %ebx
movl %edi, %r14d
incl %ebx
cmpl %edi, %ebx
jl 0x2513
movq 0x4af8(%rip), %r15      # 0x6fd0
leaq 0x2b39(%rip), %rsi      # 0x5018
movl $0xa, %edx
movq %r15, %rdi
callq 0x21d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2120
cmpl %r14d, %ebx
setge %al
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/plot.cpp
// Function: Graph::Plot(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void Graph::Plot(std::string infix) {
    Operation *op = mathParser.toPostfix(infix);
    fillValues(op);
    plot();
    clearMemory();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rdi, %rbx
leaq 0xf8(%rdi), %r14
leaq -0x30(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rsi), %rax
movq 0x8(%rsi), %rdx
addq %rax, %rdx
leaq -0x40(%rbp), %r15
movq %r15, %rdi
movq %rax, %rsi
callq 0x2a62
movq %r14, %rdi
movq %r15, %rsi
callq 0x3972
movq %rax, %r14
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x2b53
callq 0x21a0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2b9a
movq %rbx, %rdi
callq 0x2d08
movq 0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x2b74
callq 0x2200
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x2b92
callq 0x21a0
movq %rbx, %rdi
callq 0x22b0
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/plot.cpp
// Function: Graph::fillValues(Operation*)
void Graph::fillValues(Operation *op) {
    for(int i = 0; i < size+size+1; ++i) {
        // Give each variable a value
        for(int j = 0; j < op->v_values.size(); j++) {
            op->v_values[j] = (i - (size)) * step;
        }
        // EQUATION
        std::string postfix_replaced = replaceVars(op);
        double value = mathParser.Solve(postfix_replaced);
        /// EQUATION
        value = value/step;
        values[i] = int(round(value));
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movl (%rdi), %eax
testl %eax, %eax
js 0x2cc5
movq %rsi, %rbx
movq %rdi, %r14
leaq 0xf8(%rdi), %r15
xorl %r12d, %r12d
leaq -0x50(%rbp), %r13
movq 0x38(%rbx), %rcx
movq 0x40(%rbx), %rdx
subq %rcx, %rdx
je 0x2c07
sarq $0x3, %rdx
movl %r12d, %esi
subl %eax, %esi
xorps %xmm0, %xmm0
cvtsi2sd %esi, %xmm0
cmpq $0x1, %rdx
adcq $0x0, %rdx
xorl %eax, %eax
movsd 0x8(%r14), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rcx,%rax,8)
incq %rax
cmpq %rax, %rdx
jne 0x2bf0
leaq -0x70(%rbp), %rdi
movq %rbx, %rdx
callq 0x3672
leaq -0x40(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x70(%rbp), %rsi
movq -0x68(%rbp), %rdx
addq %rsi, %rdx
movq %r13, %rdi
callq 0x2a62
movq %r15, %rdi
movq %r13, %rsi
callq 0x41c6
movapd %xmm0, %xmm1
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2c59
movsd %xmm1, -0x30(%rbp)
callq 0x21a0
movsd -0x30(%rbp), %xmm1
divsd 0x8(%r14), %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jbe 0x2c7c
addsd 0x2407(%rip), %xmm1     # 0x5078
movapd %xmm1, %xmm0
callq 0x2060
jmp 0x2c8d
addsd 0x23ec(%rip), %xmm1     # 0x5070
movapd %xmm1, %xmm0
callq 0x2290
cvttsd2si %xmm0, %eax
movq 0x10(%r14), %rcx
movl %eax, (%rcx,%r12,4)
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x2cab
callq 0x21a0
leaq 0x1(%r12), %rcx
movslq (%r14), %rax
movq %rax, %rdx
addq %rax, %rdx
cmpq %rdx, %r12
movq %rcx, %r12
jl 0x2bc9
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x2cee
movq %rax, %rbx
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2cee
callq 0x21a0
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x2d00
callq 0x21a0
movq %rbx, %rdi
callq 0x22b0
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/plot.cpp
// Function: Graph::Loop(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void Graph::Loop(std::string infix) {
    Operation *op = mathParser.toPostfix(infix);
    double t = 0;
    for(;;) {
        fillValues(op, t);
        plot();
        t += 0.01;
        const int t100 = t * 100;
        sleep(100);
        std::cout << "t = " << t << (t100 % 10 == 0 ? " " : "") << " s " <<  std::endl;
        cls(3);
    }
    clearMemory();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
leaq 0xf8(%rdi), %r14
leaq -0x48(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rsi), %rax
movq 0x8(%rsi), %rdx
addq %rax, %rdx
leaq -0x58(%rbp), %r15
movq %r15, %rdi
movq %rax, %rsi
callq 0x2a62
movq %r14, %rdi
movq %r15, %rsi
callq 0x3972
movq %rax, %r14
movq -0x58(%rbp), %rdi
cmpq %r12, %rdi
je 0x304f
callq 0x21a0
xorpd %xmm0, %xmm0
movq 0x3f76(%rip), %r15      # 0x6fd0
movq %rbx, %rdi
movq %r14, %rsi
movsd %xmm0, -0x30(%rbp)
callq 0x3172
movq %rbx, %rdi
callq 0x2d08
movsd -0x30(%rbp), %xmm0
addsd 0x2009(%rip), %xmm0     # 0x5088
movsd %xmm0, -0x30(%rbp)
mulsd 0x2004(%rip), %xmm0     # 0x5090
movsd %xmm0, -0x38(%rbp)
callq 0x2110
movq %rax, %r12
addq $0x186a0, %r12          # imm = 0x186A0
callq 0x2110
cmpq %r12, %rax
jl 0x30a0
cvttsd2si -0x38(%rbp), %r13d
movl $0x4, %edx
movq %r15, %rdi
leaq 0x1fd9(%rip), %rsi      # 0x5098
callq 0x21d0
movq %r15, %rdi
movsd -0x30(%rbp), %xmm0
callq 0x2270
movq %rax, %r12
imull $0xcccccccd, %r13d, %eax # imm = 0xCCCCCCCD
addl $0x19999998, %eax       # imm = 0x19999998
rorl %eax
xorl %edx, %edx
cmpl $0x19999999, %eax       # imm = 0x19999999
setb %dl
leaq 0x1fd3(%rip), %rsi      # 0x50c6
leaq 0x1fcb(%rip), %rax      # 0x50c5
cmovbq %rax, %rsi
movq %r12, %rdi
callq 0x21d0
movl $0x3, %edx
movq %r12, %rdi
leaq 0x1f88(%rip), %rsi      # 0x509d
callq 0x21d0
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %r12, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2120
movq %rbx, %rdi
movl $0x3, %esi
callq 0x332c
movsd -0x30(%rbp), %xmm0
jmp 0x305a
movq %rax, %rbx
movq -0x58(%rbp), %rdi
cmpq %r12, %rdi
je 0x316a
callq 0x21a0
movq %rbx, %rdi
callq 0x22b0
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/plot.cpp
// Function: Graph::fillValues(Operation*, double)
void Graph::fillValues(Operation *op, double t) {
    for(int i = 0; i < size+size+1; ++i) {
        // Give each variable a value
        for(int j = 0; j < op->v_values.size(); j++) {
            if(op->postfix[op->v_pos[j]] == 't') op->v_values[j] = t;
            else op->v_values[j] = (i - (size)) * step;
        }
        // EQUATION
        std::string postfix_replaced = replaceVars(op);
        double value = mathParser.Solve(postfix_replaced);
        /// EQUATION
        value = value/step;
        values[i] = int(round(value));
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movl (%rdi), %eax
testl %eax, %eax
js 0x32bc
movq %rsi, %rbx
movq %rdi, %r14
leaq 0xf8(%rdi), %r15
xorl %r12d, %r12d
leaq -0x58(%rbp), %r13
movsd %xmm0, -0x30(%rbp)
movq 0x38(%rbx), %rcx
movq 0x40(%rbx), %rdx
subq %rcx, %rdx
je 0x31f9
sarq $0x3, %rdx
movq (%rbx), %rsi
movq 0x20(%rbx), %rdi
movl %r12d, %r8d
subl %eax, %r8d
cvtsi2sd %r8d, %xmm2
cmpq $0x1, %rdx
adcq $0x0, %rdx
xorl %eax, %eax
movslq (%rdi,%rax,4), %r8
cmpb $0x74, (%rsi,%r8)
movapd %xmm0, %xmm1
je 0x31ec
movsd 0x8(%r14), %xmm1
mulsd %xmm2, %xmm1
movsd %xmm1, (%rcx,%rax,8)
incq %rax
cmpq %rax, %rdx
jne 0x31d3
leaq -0x78(%rbp), %rdi
movq %rbx, %rdx
callq 0x3672
leaq -0x48(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x78(%rbp), %rsi
movq -0x70(%rbp), %rdx
addq %rsi, %rdx
movq %r13, %rdi
callq 0x2a62
movq %r15, %rdi
movq %r13, %rsi
callq 0x41c6
movapd %xmm0, %xmm1
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x324b
movsd %xmm1, -0x38(%rbp)
callq 0x21a0
movsd -0x38(%rbp), %xmm1
divsd 0x8(%r14), %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jbe 0x326e
addsd 0x1e15(%rip), %xmm1     # 0x5078
movapd %xmm1, %xmm0
callq 0x2060
jmp 0x327f
addsd 0x1dfa(%rip), %xmm1     # 0x5070
movapd %xmm1, %xmm0
callq 0x2290
cvttsd2si %xmm0, %eax
movq 0x10(%r14), %rcx
movl %eax, (%rcx,%r12,4)
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x329d
callq 0x21a0
leaq 0x1(%r12), %rcx
movslq (%r14), %rax
movq %rax, %rdx
addq %rax, %rdx
cmpq %rdx, %r12
movq %rcx, %r12
movsd -0x30(%rbp), %xmm0
jl 0x31a6
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x32e5
movq %rax, %rbx
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x32e5
callq 0x21a0
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x32f7
callq 0x21a0
movq %rbx, %rdi
callq 0x22b0
nop
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/plot.cpp
// Function: Graph::replaceVars[abi:cxx11](Operation const*)
std::string Graph::replaceVars(const Operation *op) {
    std::ostringstream output;
    int offset = 0;
    for(int p = 0; p < op->v_pos.size(); p++) {
        // Add rest of postfix expression from last replaced var
        for(int i = offset; i < op->v_pos[p]; i++) {
            output << op->postfix[i];
        }
        output << op->v_values[p];
        offset = op->v_pos[p]+1;
    }
    // Add the rest of the string if not added
    for(int p = offset; p < op->postfix.length(); p++) {
        output << op->postfix[p];
    }
    return output.str();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x188, %rsp            # imm = 0x188
movq %rdx, %r14
movq %rdi, %rbx
leaq -0x1b0(%rbp), %rdi
callq 0x2210
movq 0x28(%r14), %rax
xorl %r13d, %r13d
cmpq 0x20(%r14), %rax
je 0x3720
movq %rbx, -0x38(%rbp)
leaq -0x1b0(%rbp), %r15
leaq -0x29(%rbp), %r12
xorl %ebx, %ebx
movq 0x20(%r14), %rax
cmpl (%rax,%rbx,4), %r13d
jge 0x36ed
movslq %r13d, %r13
movq (%r14), %rax
movb (%rax,%r13), %al
movb %al, -0x29(%rbp)
movl $0x1, %edx
movq %r15, %rdi
movq %r12, %rsi
callq 0x21d0
incq %r13
movq 0x20(%r14), %rax
movslq (%rax,%rbx,4), %rax
cmpq %rax, %r13
jl 0x36c3
movq 0x38(%r14), %rax
movsd (%rax,%rbx,8), %xmm0
movq %r15, %rdi
callq 0x2270
movq 0x20(%r14), %rax
movq 0x28(%r14), %rcx
movslq (%rax,%rbx,4), %r13
incq %r13
incq %rbx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %rbx, %rcx
ja 0x36b6
movq -0x38(%rbp), %rbx
cmpq %r13, 0x8(%r14)
jbe 0x3754
leaq -0x1b0(%rbp), %r15
leaq -0x29(%rbp), %r12
movq (%r14), %rax
movb (%rax,%r13), %al
movb %al, -0x29(%rbp)
movl $0x1, %edx
movq %r15, %rdi
movq %r12, %rsi
callq 0x21d0
incq %r13
cmpq %r13, 0x8(%r14)
ja 0x3731
leaq -0x1a8(%rbp), %rsi
movq %rbx, %rdi
callq 0x2250
movq 0x385e(%rip), %rsi      # 0x6fc8
leaq -0x1b0(%rbp), %rdi
callq 0x20e0
leaq -0x140(%rbp), %rdi
callq 0x20a0
movq %rbx, %rax
addq $0x188, %rsp            # imm = 0x188
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x379d
jmp 0x379d
jmp 0x379d
movq %rax, %rbx
movq 0x3821(%rip), %rsi      # 0x6fc8
leaq -0x1b0(%rbp), %rdi
callq 0x20e0
leaq -0x140(%rbp), %rdi
callq 0x20a0
movq %rbx, %rdi
callq 0x22b0
nop
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/mathParser/mathParser.cpp
// Function: isFunc(int&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&)
bool isFunc(int &i, std::string &infix, std::string &output) {
    output = "";
    for(; i < infix.length(); i++) {
        if(!isLetter(infix[i])) {
            i--;
            break;
        }
        output += infix[i];
    }

    return output.length() > 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
movq 0x8(%rdx), %rdx
leaq 0x1804(%rip), %rcx      # 0x50c6
movq %rbx, %rdi
xorl %esi, %esi
xorl %r8d, %r8d
callq 0x2240
movslq (%r14), %rax
cmpq %rax, 0x8(%r15)
jbe 0x3916
movq (%r15), %rcx
movb (%rcx,%rax), %cl
leal -0x61(%rcx), %edx
cmpb $0x19, %dl
ja 0x3911
movsbl %cl, %esi
movq %rbx, %rdi
callq 0x2180
movslq (%r14), %rax
leaq 0x1(%rax), %rcx
movl %ecx, (%r14)
cmpq %rcx, 0x8(%r15)
jbe 0x3916
movq (%r15), %rdx
movb (%rdx,%rcx), %cl
leal -0x61(%rcx), %edx
cmpb $0x1a, %dl
jb 0x38e6
jmp 0x3913
decl %eax
movl %eax, (%r14)
cmpq $0x2, 0x8(%rbx)
setae %al
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/mathParser/mathParser.cpp
// Function: precedence(char)
int precedence(const char c) {
    switch (c) {
        case '+':
        case '-':
            return 2;
        case '*':
        case '/':
            return 3;
        case '^':
            return 4;
        default: // functions
            return 5;           
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
leal -0x2a(%rdi), %ecx
cmpl $0x5, %ecx
ja 0x3951
movl $0x2, %eax
leaq 0x178b(%rip), %rdx      # 0x50cc
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
movl $0x3, %eax
jmp 0x3962
cmpl $0x5e, %edi
jne 0x395d
movl $0x4, %eax
jmp 0x3962
movl $0x5, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/mathParser/stack.h
// Function: Stack<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>::push(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void push(a_type input) {
            if(head == nullptr) {
                head = new Node<a_type>(input, nullptr);
                bottom = head;
            } else {
                head = new Node<a_type>(input, head);
            }  
            size++;
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x40, %rsp
movq %rsi, %r15
movq %rdi, %r14
movq (%rdi), %r12
movl $0x28, %edi
callq 0x21c0
movq %rax, %rbx
testq %r12, %r12
je 0x4533
leaq -0x30(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
leaq -0x40(%rbp), %rdi
callq 0x2a62
movq (%r14), %r15
movq %rbx, %rax
addq $0x10, %rax
movq %rax, (%rbx)
movq -0x40(%rbp), %rsi
movq -0x38(%rbp), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0x2a62
movq %r15, 0x20(%rbx)
movq %rbx, (%r14)
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x458c
callq 0x21a0
jmp 0x458c
leaq -0x50(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
leaq -0x60(%rbp), %rdi
callq 0x2a62
movq %rbx, %rax
addq $0x10, %rax
movq %rax, (%rbx)
movq -0x60(%rbp), %rsi
movq -0x58(%rbp), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0x2a62
movq $0x0, 0x20(%rbx)
movq %rbx, (%r14)
movq -0x60(%rbp), %rdi
cmpq %r12, %rdi
je 0x4585
callq 0x21a0
movq (%r14), %rax
movq %rax, 0x8(%r14)
incl 0x10(%r14)
addq $0x40, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq -0x60(%rbp), %rdi
jmp 0x45af
jmp 0x45bb
movq %rax, %r14
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0x45be
callq 0x21a0
jmp 0x45be
movq %rax, %r14
movq %rbx, %rdi
callq 0x21a0
movq %r14, %rdi
callq 0x22b0
// File: /workspace/github_cpp_makefile_star2_O1/xzebra[P]function-plotter/mathParser/stack.h
// Function: Stack<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>::clear()
void clear() {
            Node<a_type> *ptr = head;
            while(ptr != nullptr) {
                Node<a_type> *temp = ptr->next;
                delete[] ptr;
                ptr = temp;
            }
            size = 0;
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %r14
testq %r14, %r14
je 0x4683
movq -0x8(%r14), %rax
movq 0x20(%r14), %r15
testq %rax, %rax
je 0x466f
leaq -0x18(%r14), %r12
shlq $0x3, %rax
leaq (%rax,%rax,4), %r13
movq -0x28(%r14,%r13), %rdi
leaq (%r12,%r13), %rax
cmpq %rdi, %rax
je 0x4669
callq 0x21a0
addq $-0x28, %r13
jne 0x4656
addq $-0x8, %r14
movq %r14, %rdi
callq 0x2200
movq %r15, %r14
testq %r15, %r15
jne 0x463d
movl $0x0, 0x10(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/dekanfrus[P]pThreads/osproj2c.cpp
// Function: con(void*)
void *con(void*)
{
	sched_yield();
	// Stores the length of the phrase vector as an integer.
	int end = (int)phrase.size();

	// Iterate through the phrase vector and look for consonants.
	// If the word begins with a consonant, print that word.
	// Otherwise, yield the CPU to the other thread.
	for (int i = 0; i != end; i++)
	{
		if (phrase[i][0] != 'A' && phrase[i][0] != 'a' && phrase[i][0] != 'E' && phrase[i][0] != 'e' && phrase[i][0] != 'I' && phrase[i][0] != 'i' && phrase[i][0] != 'O' && phrase[i][0] != 'o' && phrase[i][0] != 'U' && phrase[i][0] != 'u')
			cout << "Con: " << phrase[i] << endl;
		else sched_yield();
	}
	// Exit the thread once the function has completed running.
	pthread_exit(NULL);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
callq 0x2160
movq 0x2da2(%rip), %rax      # 0x5128
subq 0x2d93(%rip), %rax      # 0x5120
shrq $0x5, %rax
testl %eax, %eax
jne 0x239c
xorl %edi, %edi
callq 0x21b0
movl %eax, %r12d
xorl %r13d, %r13d
movq 0x2c27(%rip), %rbx      # 0x4fd0
movabsq $0x10411100104111, %r14 # imm = 0x10411100104111
movq 0x2d66(%rip), %rax      # 0x5120
movq (%rax,%r13), %rax
movzbl (%rax), %eax
addl $-0x41, %eax
cmpl $0x34, %eax
ja 0x23df
btq %rax, %r14
jae 0x23df
callq 0x2160
addq $0x20, %r13
decq %r12
jne 0x23b3
jmp 0x2395
movl $0x5, %edx
movq %rbx, %rdi
leaq 0xc16(%rip), %rsi       # 0x3004
callq 0x2130
movq 0x2d26(%rip), %rax      # 0x5120
movq (%rax,%r13), %rsi
movq 0x8(%rax,%r13), %rdx
movq %rbx, %rdi
callq 0x2130
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2100
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2090
jmp 0x23d4
// File: /workspace/github_cpp_makefile_star2_O1/dekanfrus[P]pThreads/osproj2c.cpp
// Function: vow(void*)
void *vow(void*)
{
	// Initial yield to allow the other thread to begin operations first
	sched_yield();

	// Stores the length of the phrase vector as an integer.
	int end = (int)phrase.size();

	// Iterate through the phrase vector and look for vowels.
	// If the word begins with a vowel, print that word.
	// Otherwise, yield the CPU to the other thread.
	for (int i = 0; i != end; i++)
	{
		if (phrase[i][0] == 'A' || phrase[i][0] == 'a' || phrase[i][0] == 'E' || phrase[i][0] == 'e' || phrase[i][0] == 'I' || phrase[i][0] == 'i' || phrase[i][0] == 'O' || phrase[i][0] == 'o' || phrase[i][0] == 'U' || phrase[i][0] == 'u')
			cout << "Vow: " << phrase[i] << endl;
		else sched_yield();
	}
	// Exit the thread upon function completion.
	pthread_exit(NULL);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
callq 0x2160
movq 0x2cd7(%rip), %rax      # 0x5128
subq 0x2cc8(%rip), %rax      # 0x5120
shrq $0x5, %rax
testl %eax, %eax
jne 0x2467
xorl %edi, %edi
callq 0x21b0
movl %eax, %r12d
xorl %r13d, %r13d
movabsq $0x10411100104111, %r14 # imm = 0x10411100104111
movq 0x2b52(%rip), %rbx      # 0x4fd0
movq 0x2c9b(%rip), %rax      # 0x5120
movq (%rax,%r13), %rax
movzbl (%rax), %eax
addl $-0x41, %eax
cmpl $0x34, %eax
ja 0x24fe
btq %rax, %r14
jae 0x24fe
movl $0x5, %edx
movq %rbx, %rdi
leaq 0xb61(%rip), %rsi       # 0x300a
callq 0x2130
movq 0x2c6b(%rip), %rax      # 0x5120
movq (%rax,%r13), %rsi
movq 0x8(%rax,%r13), %rdx
movq %rbx, %rdi
callq 0x2130
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2100
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2090
addq $0x20, %r13
decq %r12
jne 0x247e
jmp 0x2460
callq 0x2160
jmp 0x24f0
// File: /workspace/github_cpp_makefile_star2_O1/dekanfrus[P]pThreads/osproj2c.cpp
// Function: main
int main() {

	pthread_t tid1, tid2;
	string input;
	string buffer;

	cout << "Please enter a phrase: ";
	getline(cin, input);
		
	stringstream stream(input);

	while (stream >> buffer)
		phrase.push_back(buffer);

	pthread_create(&tid2, NULL, &vow, NULL);
	pthread_create(&tid1, NULL, &con, NULL);

	pthread_join(tid1, NULL);
	pthread_join(tid2, NULL);



	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
leaq -0x40(%rbp), %r12
movq %r12, -0x10(%r12)
xorl %eax, %eax
movq %rax, -0x8(%r12)
movb %al, (%r12)
leaq -0x60(%rbp), %r13
movq %r13, -0x10(%r13)
movq %rax, -0x8(%r13)
movb %al, (%r13)
movq 0x2a8c(%rip), %rdi      # 0x4fd0
leaq 0xac5(%rip), %rsi       # 0x3010
movl $0x17, %edx
callq 0x2130
movq 0x2a84(%rip), %rdi      # 0x4fe0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2100
movsbl %al, %edx
movq 0x2a69(%rip), %rdi      # 0x4fe0
leaq -0x50(%rbp), %rsi
callq 0x21e0
leaq -0x200(%rbp), %rdi
leaq -0x50(%rbp), %rsi
movl $0x18, %edx
callq 0x2180
leaq -0x200(%rbp), %rbx
leaq -0x70(%rbp), %r14
leaq 0x2b79(%rip), %r15      # 0x5120
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2140
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x25cd
movq %r15, %rdi
movq %r14, %rsi
callq 0x2732
jmp 0x25a7
leaq -0x19d(%rip), %rdx      # 0x2437
leaq -0x30(%rbp), %rdi
xorl %esi, %esi
xorl %ecx, %ecx
callq 0x21d0
leaq -0x27c(%rip), %rdx      # 0x236c
leaq -0x78(%rbp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
xorl %ecx, %ecx
callq 0x21d0
movq (%rbx), %rdi
xorl %esi, %esi
callq 0x20f0
movq -0x30(%rbp), %rdi
xorl %esi, %esi
callq 0x20f0
movq 0x29a4(%rip), %rsi      # 0x4fb8
leaq -0x200(%rbp), %rdi
callq 0x20b0
leaq -0x180(%rbp), %rdi
callq 0x2050
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x2641
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x2120
movq -0x50(%rbp), %rdi
cmpq %r12, %rdi
je 0x2656
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x2120
xorl %eax, %eax
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x266e
jmp 0x2673
movq %rax, %rbx
jmp 0x2695
movq %rax, %rbx
movq 0x293b(%rip), %rsi      # 0x4fb8
leaq -0x200(%rbp), %rdi
callq 0x20b0
leaq -0x180(%rbp), %rdi
callq 0x2050
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x26aa
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x2120
movq -0x50(%rbp), %rdi
cmpq %r12, %rdi
je 0x26bf
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x2120
movq %rbx, %rdi
callq 0x21a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::isTautology(maxPreprocessor::Clause const&) const
bool Preprocessor::isTautology(const Clause& clause) const {
	for (unsigned i = 1; i < clause.lit.size(); i++) {
		if (litNegation(clause.lit[i]) == clause.lit[i - 1]) {
			return true;
		}
	}
	return false;
}

// Assembly:
movq (%rsi), %rcx
movq 0x8(%rsi), %rdx
subq %rcx, %rdx
sarq $0x2, %rdx
cmpq $0x2, %rdx
setae %al
jb 0xa015
movl (%rcx), %esi
xorl 0x4(%rcx), %esi
cmpl $0x1, %esi
je 0xa015
movl $0x1, %esi
leal 0x1(%rsi), %edi
cmpq %rdi, %rdx
seta %al
jbe 0xa015
movl %esi, %esi
movl (%rcx,%rsi,4), %r8d
xorl (%rcx,%rdi,4), %r8d
movl %edi, %esi
cmpl $0x1, %r8d
jne 0x9ff8
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::setVariable(int, bool)
int Preprocessor::setVariable(int var, bool value) {
	int removed = 0;
	trace.setVar(var, value);
	vector<int>& satClauses = (value == true) ? pi.litClauses[posLit(var)] : pi.litClauses[negLit(var)];
	vector<int>& notSatClauses = (value == true) ? pi.litClauses[negLit(var)] : pi.litClauses[posLit(var)];
	for (int c : satClauses) {
		pi.removeClause(c);
		removed++;
	}
	for (int c : notSatClauses) {
		if (value == true) pi.removeLiteralFromClause(negLit(var), c);
		else pi.removeLiteralFromClause(posLit(var), c);
	}
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %edx, %r14d
movl %esi, %r15d
movq %rdi, %rbx
addq $0x2f0, %rdi            # imm = 0x2F0
callq 0x27524
leal (%r15,%r15), %ebp
movl %r14d, %eax
xorb $0x1, %al
movzbl %al, %eax
leal (%rax,%r15,2), %eax
cltq
movq 0x18(%rbx), %rcx
leaq (%rax,%rax,2), %rax
leal 0x1(,%r15,2), %edx
movl %r14d, 0xc(%rsp)
testl %r14d, %r14d
cmovel %ebp, %edx
movslq %edx, %rdx
leaq (%rdx,%rdx,2), %rdx
leaq (%rcx,%rdx,8), %rdx
movq %rdx, 0x10(%rsp)
movq (%rcx,%rax,8), %r14
movq 0x8(%rcx,%rax,8), %r13
xorl %r12d, %r12d
cmpq %r13, %r14
je 0xa09b
movl (%r14), %esi
movq %rbx, %rdi
callq 0x28c34
incl %r12d
addq $0x4, %r14
jmp 0xa082
movq 0x10(%rsp), %rax
movq (%rax), %r14
movq 0x8(%rax), %r13
cmpq %r13, %r14
je 0xa0d7
leal 0x1(,%r15,2), %eax
cmpb $0x0, 0xc(%rsp)
cmovnel %eax, %ebp
movl (%r14), %edx
movq %rbx, %rdi
movl %ebp, %esi
movl $0x1, %ecx
callq 0x28f40
addq $0x4, %r14
cmpq %r13, %r14
jne 0xa0bc
movl %r12d, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::removeTautologies()
void Preprocessor::removeTautologies() {
	int found = 0;
	
	for (unsigned i = 0; i < pi.clauses.size(); i++) {
		if (isTautology(pi.clauses[i])) {
			found++;
			pi.removeClause(i);
		}
	}
	
	log(found, " tautologies removed");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rcx
cmpq %rcx, 0x8(%rdi)
je 0xa186
xorl %r14d, %r14d
movabsq $-0x3333333333333333, %r15 # imm = 0xCCCCCCCCCCCCCCCD
xorl %ebp, %ebp
leaq (%r14,%r14,4), %rdx
movq (%rcx,%rdx,8), %rax
movq 0x8(%rcx,%rdx,8), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq $0x2, %rcx
setae %dl
jb 0xa159
movl (%rax), %esi
xorl 0x4(%rax), %esi
cmpl $0x1, %esi
je 0xa159
movl $0x1, %esi
leal 0x1(%rsi), %edi
cmpq %rdi, %rcx
seta %dl
jbe 0xa159
movl %esi, %esi
movl (%rax,%rsi,4), %r8d
xorl (%rax,%rdi,4), %r8d
movl %edi, %esi
cmpl $0x1, %r8d
jne 0xa13c
testb %dl, %dl
je 0xa16a
incl %ebp
movq %rbx, %rdi
movl %r14d, %esi
callq 0x28c34
incl %r14d
movq (%rbx), %rcx
movq 0x8(%rbx), %rax
subq %rcx, %rax
sarq $0x3, %rax
imulq %r15, %rax
cmpq %r14, %rax
ja 0xa110
jmp 0xa188
xorl %ebp, %ebp
leaq 0x2f171(%rip), %rdx     # 0x39300
movq %rbx, %rdi
movl %ebp, %esi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x1f426
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::identifyLabels()
void Preprocessor::identifyLabels() {
	int found = 0;
	
	// Find literals that occur in only 1 clause and their negation occurs only in hard clauses
	for (int lit = 0; lit < pi.vars*2; lit++) {
		if (pi.litClauses[lit].size() == 1 && !pi.clauses[pi.litClauses[lit][0]].isHard() && pi.clauses[pi.litClauses[lit][0]].lit.size() == 1) {
			bool f = false;
			for (int c : pi.litClauses[litNegation(lit)]) {
				if (!pi.clauses[c].isHard()) {
					f = true;
					break;
				}
			}
			if (!f) {
				if (litValue(lit) == true) {
					pi.isLabel[litVariable(lit)] = VAR_TRUE;
				}
				else {
					pi.isLabel[litVariable(lit)] = VAR_FALSE;
				}
				found++;
			}
		}
	}
	
	log(found, " labels identified");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
cmpl $0x0, 0x60(%rdi)
jle 0xae07
xorl %r14d, %r14d
movl $0x1, %r15d
xorl %ebp, %ebp
movq 0x18(%rbx), %rcx
leaq (%r14,%r14,2), %r12
movq (%rcx,%r12,8), %rax
movq 0x8(%rcx,%r12,8), %rcx
subq %rax, %rcx
cmpq $0x4, %rcx
jne 0xadf2
movslq (%rax), %rax
leaq (%rax,%rax,4), %rdi
shlq $0x3, %rdi
addq (%rbx), %rdi
callq 0x29586
testb %al, %al
jne 0xadf2
movq (%rbx), %rcx
movq 0x18(%rbx), %rax
movq (%rax,%r12,8), %rdx
movslq (%rdx), %rdx
leaq (%rdx,%rdx,4), %rdx
movq 0x8(%rcx,%rdx,8), %rsi
subq (%rcx,%rdx,8), %rsi
cmpq $0x4, %rsi
jne 0xadf2
movl %r14d, %ecx
xorq $0x1, %rcx
leaq (%rcx,%rcx,2), %rcx
movq (%rax,%rcx,8), %r13
movq 0x8(%rax,%rcx,8), %r12
cmpq %r12, %r13
je 0xaddc
movl %ebp, 0x4(%rsp)
addq $0x4, %r13
xorl %ebp, %ebp
movslq -0x4(%r13), %rax
leaq (%rax,%rax,4), %rdi
shlq $0x3, %rdi
addq (%rbx), %rdi
callq 0x29586
movzbl %bpl, %ebp
testb %al, %al
cmovel %r15d, %ebp
je 0xadd2
leaq 0x4(%r13), %rax
cmpq %r12, %r13
movq %rax, %r13
jne 0xada6
testb $0x1, %bpl
movl 0x4(%rsp), %ebp
jne 0xadf2
movl %r14d, %eax
andl $0x1, %eax
movl %r14d, %ecx
shrl %ecx
incl %eax
movq 0x48(%rbx), %rdx
movl %eax, (%rdx,%rcx,4)
incl %ebp
incq %r14
movslq 0x60(%rbx), %rax
addq %rax, %rax
cmpq %rax, %r14
jl 0xad29
jmp 0xae09
xorl %ebp, %ebp
leaq 0x2e5a4(%rip), %rdx     # 0x393b4
movq %rbx, %rdi
movl %ebp, %esi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1f426
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::createLabels()
void Preprocessor::createLabels() {
	int added = 0;
	
	// Create labels for every soft clause that does not have a label yet
	for (unsigned i = 0; i < pi.clauses.size(); i++) {
		if (!pi.clauses[i].isHard() && !pi.isClauseRemoved(i)) {
			bool f = false;
			for (int lit : pi.clauses[i].lit) {
				if (pi.isLabel[litVariable(lit)]) {
					f = true;
					break;
				}
			}
			if (!f) {
				int nv = pi.addVar();
				pi.addLiteralToClause(posLit(nv), i);
				pi.addClause({negLit(nv)}, pi.clauses[i].weight);
				pi.isLabel[nv] = VAR_FALSE;
				pi.clauses[i].weight = HARDWEIGHT;
				added++;
			}
		}
	}
	
	log(added, " labels added");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movq (%rdi), %rax
cmpq %rax, 0x8(%rdi)
je 0xaf8e
xorl %r14d, %r14d
movabsq $-0x3333333333333333, %r13 # imm = 0xCCCCCCCCCCCCCCCD
movl $0x1, %r15d
xorl %r12d, %r12d
leaq (%r14,%r14,4), %rbp
leaq (%rax,%rbp,8), %rdi
callq 0x29586
testb %al, %al
jne 0xaf6e
movq %rbx, %rdi
movl %r14d, %esi
callq 0x284dc
testb %al, %al
jne 0xaf6e
movq (%rbx), %rax
movq (%rax,%rbp,8), %rcx
movq 0x8(%rax,%rbp,8), %rax
cmpq %rax, %rcx
je 0xaecb
movq 0x48(%rbx), %rdx
addq $0x4, %rcx
xorl %esi, %esi
movl -0x4(%rcx), %edi
sarl %edi
movslq %edi, %rdi
cmpl $0x0, (%rdx,%rdi,4)
movzbl %sil, %esi
cmovnel %r15d, %esi
jne 0xaec1
leaq 0x4(%rcx), %rdi
cmpq %rax, %rcx
movq %rdi, %rcx
jne 0xae9f
testb $0x1, %sil
jne 0xaf6e
movl %r12d, %r13d
movq %rbx, %rdi
callq 0x28d9a
movl %eax, %r12d
leal (%r12,%r12), %esi
movq %rbx, %rdi
movl %r14d, %edx
movl $0x1, %ecx
callq 0x28e70
leal 0x1(,%r12,2), %eax
movl %eax, 0xc(%rsp)
movl $0x1, %edx
leaq 0x10(%rsp), %rdi
leaq 0xc(%rsp), %rsi
leaq 0xb(%rsp), %rcx
callq 0x1f586
movq (%rbx), %rax
movq 0x18(%rax,%rbp,8), %rdx
movq %rbx, %rdi
leaq 0x10(%rsp), %rsi
callq 0x28c8e
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xaf3e
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movslq %r12d, %rax
movq 0x48(%rbx), %rcx
movl $0x2, (%rcx,%rax,4)
movq (%rbx), %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x18(%rax,%rbp,8)
movl %r13d, %r12d
incl %r12d
movabsq $-0x3333333333333333, %r13 # imm = 0xCCCCCCCCCCCCCCCD
incl %r14d
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
imulq %r13, %rcx
cmpq %r14, %rcx
ja 0xae5c
jmp 0xaf91
xorl %r12d, %r12d
leaq 0x2e42f(%rip), %rdx     # 0x393c7
movq %rbx, %rdi
movl %r12d, %esi
callq 0x1f426
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xafcc
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::removeEmptyClauses()
int Preprocessor::removeEmptyClauses() {
	int removed = 0;
	vector<int> src;
	for (unsigned i = 0; i < pi.clauses.size(); i++) {
		if (!pi.isClauseRemoved(i)) {
			if (pi.clauses[i].lit.size() == 0) {
				if (pi.clauses[i].isHard()) {
					
				}
				else {
					src.push_back(i);
				}
			}
		}
	}
	for (int c : src) {
		trace.removeWeight(pi.clauses[c].weight);
		pi.removeClause(c);
		removed++;
	}
	log(removed, " empty clauses removed");
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
movq $0x0, 0x10(%rsp)
movq 0x8(%rdi), %rax
cmpq (%rdi), %rax
je 0xb08e
movl $0x1, %r12d
xorl %r14d, %r14d
movabsq $-0x3333333333333333, %r13 # imm = 0xCCCCCCCCCCCCCCCD
leaq 0x24(%rsp), %r15
leal -0x1(%r12), %ebp
movq %rbx, %rdi
movl %ebp, %esi
callq 0x284dc
testb %al, %al
jne 0xb074
movq (%rbx), %rax
leaq (%r14,%r14,4), %rcx
movq 0x8(%rax,%rcx,8), %rdx
cmpq (%rax,%rcx,8), %rdx
jne 0xb074
leaq (%rax,%rcx,8), %rdi
callq 0x29586
testb %al, %al
jne 0xb074
movl %ebp, 0x24(%rsp)
movq 0x8(%rsp), %rsi
cmpq 0x10(%rsp), %rsi
je 0xb069
movl %ebp, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rsp)
jmp 0xb074
movq %rsp, %rdi
movq %r15, %rdx
callq 0x20b8a
movl %r12d, %r14d
movq 0x8(%rbx), %rax
subq (%rbx), %rax
sarq $0x3, %rax
imulq %r13, %rax
incl %r12d
cmpq %r14, %rax
ja 0xb01a
movq (%rsp), %r12
movq 0x8(%rsp), %r13
cmpq %r13, %r12
je 0xb0d5
leaq 0x2f0(%rbx), %r14
xorl %ebp, %ebp
movslq (%r12), %r15
movq (%rbx), %rax
leaq (%r15,%r15,4), %rcx
movq 0x18(%rax,%rcx,8), %rsi
movq %r14, %rdi
callq 0x27d0c
movq %rbx, %rdi
movl %r15d, %esi
callq 0x28c34
incl %ebp
addq $0x4, %r12
cmpq %r13, %r12
jne 0xb0a5
jmp 0xb0d7
xorl %ebp, %ebp
leaq 0x2e2f7(%rip), %rdx     # 0x393d5
movq %rbx, %rdi
movl %ebp, %esi
callq 0x1f426
movq (%rsp), %rdi
testq %rdi, %rdi
je 0xb0fe
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xb115
jmp 0xb115
jmp 0xb115
movq %rax, %rbx
movq (%rsp), %rdi
testq %rdi, %rdi
je 0xb12e
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::tryUP(int)
int Preprocessor::tryUP(int lit) {
	for (int c : pi.litClauses[lit]) {
		if (pi.clauses[c].lit.size() == 1 && pi.clauses[c].isHard()) {
			if (pi.isLabel[litVariable(lit)] != VAR_UNDEFINED) {
				rLog.removeLabel(1);
			}
			else {
				rLog.removeVariable(1);
			}
			int rmClauses = setVariable(litVariable(lit), litValue(lit));
			rLog.removeClause(rmClauses);
			return rmClauses;
		}
	}
	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movslq %esi, %rax
movq 0x18(%rdi), %rcx
leaq (%rax,%rax,2), %rax
movq (%rcx,%rax,8), %rbx
movq 0x8(%rcx,%rax,8), %rbp
xorl %eax, %eax
cmpq %rbp, %rbx
je 0xb212
movq %rdi, %r14
movl %esi, 0xc(%rsp)
sarl %esi
movl %esi, 0x8(%rsp)
movslq %esi, %rax
movq %rax, 0x10(%rsp)
leaq 0x218(%rdi), %r12
movslq (%rbx), %rcx
movq (%r14), %rax
leaq (%rcx,%rcx,4), %rcx
movq 0x8(%rax,%rcx,8), %rdx
subq (%rax,%rcx,8), %rdx
movb $0x1, %r15b
cmpq $0x4, %rdx
jne 0xb1f9
leaq (%rax,%rcx,8), %rdi
callq 0x29586
testb %al, %al
je 0xb1f9
movq 0x48(%r14), %rax
movq 0x10(%rsp), %rcx
cmpl $0x0, (%rax,%rcx,4)
je 0xb1c6
movq %r12, %rdi
movl $0x1, %esi
callq 0x29a24
jmp 0xb1d3
movq %r12, %rdi
movl $0x1, %esi
callq 0x299ac
xorl %edx, %edx
testb $0x1, 0xc(%rsp)
sete %dl
movq %r14, %rdi
movl 0x8(%rsp), %esi
callq 0xa016
movl %eax, %r13d
movq %r12, %rdi
movl %eax, %esi
callq 0x29970
xorl %r15d, %r15d
testb %r15b, %r15b
je 0xb20f
addq $0x4, %rbx
cmpq %rbp, %rbx
jne 0xb17f
xorl %eax, %eax
jmp 0xb212
movl %r13d, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::doUP()
int Preprocessor::doUP() {
	rLog.startTechnique(Log::Technique::UP);
	int removed = 0;
	if (!rLog.requestTime(Log::Technique::UP)) {
		rLog.stopTechnique(Log::Technique::UP);
		return 0;
	}
	vector<int> checkLit = pi.tl.getTouchedLiterals("UP");
	if ((int)checkLit.size() > pi.vars) {
		removed = tryUPAll();
	}
	else {
		for (int lit : checkLit) {
			if (!rLog.requestTime(Log::Technique::UP)) break;
			removed += tryUP(lit);
		}
	}
	
	log(removed, " clauses removed by UP");
	rLog.stopTechnique(Log::Technique::UP);
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdi, %r12
leaq 0x218(%rdi), %rbx
movq %rbx, %rdi
movl $0x2, %esi
callq 0x298e6
movq %rbx, %rdi
movl $0x2, %esi
callq 0x2a464
testb %al, %al
je 0xb3e5
leaq 0x38(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x2e084(%rip), %rsi     # 0x39400
leaq 0x2e07f(%rip), %rdx     # 0x39402
leaq 0x28(%rsp), %r15
movq %r15, %rdi
callq 0x945c
leaq 0x68(%r12), %rsi
leaq 0x10(%rsp), %rdi
movq %r15, %rdx
callq 0x306be
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xb3b9
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x10(%rsp), %r13
movq 0x18(%rsp), %r14
movq %r14, %rax
subq %r13, %rax
shrq $0x2, %rax
cmpl %eax, 0x60(%r12)
movq %r12, 0x8(%rsp)
jge 0xb3f6
movq %r12, %rdi
callq 0xb222
movl %eax, %ebp
jmp 0xb43b
movq %rbx, %rdi
movl $0x2, %esi
callq 0x29928
xorl %ebp, %ebp
jmp 0xb472
cmpq %r14, %r13
je 0xb439
addq $0x4, %r13
xorl %ebp, %ebp
movl -0x4(%r13), %r12d
movq %rbx, %rdi
movl $0x2, %esi
callq 0x2a464
movl %eax, %r15d
testb %al, %al
je 0xb428
movq 0x8(%rsp), %rdi
movl %r12d, %esi
callq 0xb136
addl %eax, %ebp
cmpq %r14, %r13
setne %al
addq $0x4, %r13
testb %al, %r15b
jne 0xb401
jmp 0xb43b
xorl %ebp, %ebp
leaq 0x2dfaa(%rip), %rdx     # 0x393ec
movq 0x8(%rsp), %rdi
movl %ebp, %esi
callq 0x1f426
movq %rbx, %rdi
movl $0x2, %esi
callq 0x29928
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xb472
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl %ebp, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xb4b6
movq 0x38(%rsp), %rsi
incq %rsi
jmp 0xb4b1
jmp 0xb49c
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xb4b6
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::doUP2()
void Preprocessor::doUP2() {
	rLog.startTechnique(Log::Technique::UP);
	for (int lit = 0; lit < 2*pi.vars; lit++) {
		assert(tryUP(lit) == 0);
	}
	rLog.stopTechnique(Log::Technique::UP);
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %rdi, %r14
leaq 0x218(%rdi), %rbx
movq %rbx, %rdi
movl $0x2, %esi
callq 0x298e6
cmpl $0x0, 0x60(%r14)
jle 0xb4fc
xorl %ebp, %ebp
movq %r14, %rdi
movl %ebp, %esi
callq 0xb136
testl %eax, %eax
jne 0xb50d
incl %ebp
movl 0x60(%r14), %eax
addl %eax, %eax
cmpl %eax, %ebp
jl 0xb4e2
movq %rbx, %rdi
movl $0x2, %esi
popq %rbx
popq %r14
popq %rbp
jmp 0x29928
leaq 0x2deef(%rip), %rdi     # 0x39403
leaq 0x2de1c(%rip), %rsi     # 0x39337
leaq 0x2def1(%rip), %rcx     # 0x39413
movl $0x154, %edx            # imm = 0x154
callq 0x31b0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/./SE.cpp
// Function: maxPreprocessor::Preprocessor::isSubsumed(std::vector<int, std::allocator<int>> const&, std::vector<int, std::allocator<int>> const&) const
bool Preprocessor::isSubsumed(const vector<int>& a, const vector<int>& b) const {
	unsigned i2 = 0;
	for (unsigned i = 0; i < b.size(); i++) {
		while (i2 < a.size() && a[i2] < b[i]) {
			i2++;
		}
		if (i2 >= a.size() || a[i2] != b[i]) return false;
	}
	return true;
}

// Assembly:
movq (%rdx), %rcx
movq 0x8(%rdx), %rdx
subq %rcx, %rdx
sete %al
je 0xba9a
pushq %rbx
sarq $0x2, %rdx
movq (%rsi), %rdi
movq 0x8(%rsi), %rsi
subq %rdi, %rsi
sarq $0x2, %rsi
xorl %r8d, %r8d
xorl %r9d, %r9d
movl %r9d, %r11d
cmpq %r11, %rsi
seta %r10b
jbe 0xba99
movl (%rcx,%r8,4), %ebx
cmpl %ebx, (%rdi,%r11,4)
jge 0xba7f
incl %r9d
cmpq %r9, %rsi
seta %r10b
jbe 0xba99
movq %r9, %r11
cmpl %ebx, (%rdi,%r9,4)
jl 0xba6a
testb %r10b, %r10b
je 0xba99
movl (%rdi,%r11,4), %r10d
cmpl (%rcx,%r8,4), %r10d
jne 0xba99
incl %r8d
cmpq %r8, %rdx
setbe %al
ja 0xba54
popq %rbx
andb $0x1, %al
retq
nop