LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/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
movq %rsi, %rbx
movq %rdi, %r14
leaq 0xf8(%rdi), %rax
movq %rax, -0x38(%rbp)
xorl %r15d, %r15d
leaq -0x80(%rbp), %r12
leaq -0x60(%rbp), %r13
movsd %xmm0, -0x30(%rbp)
movslq (%r14), %rdx
leaq (%rdx,%rdx), %rax
cmpq %rax, %r15
jg 0x2e63
movq 0x38(%rbx), %rax
movq 0x40(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
movl %r15d, %esi
subl %edx, %esi
cvtsi2sd %esi, %xmm2
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x2dda
movq (%rbx), %rsi
movq 0x20(%rbx), %rdi
movslq (%rdi,%rdx,4), %rdi
cmpb $0x74, (%rsi,%rdi)
movapd %xmm0, %xmm1
je 0x2dd0
movsd 0x8(%r14), %xmm1
mulsd %xmm2, %xmm1
movsd %xmm1, (%rax,%rdx,8)
incq %rdx
jmp 0x2dac
movq %r12, %rdi
movq %rbx, %rdx
callq 0x30cc
movq %r13, %rdi
movq %r12, %rsi
callq 0x2200
movq -0x38(%rbp), %rdi
movq %r13, %rsi
callq 0x38a4
movsd %xmm0, -0x40(%rbp)
movq %r13, %rdi
callq 0x20c0
movsd -0x40(%rbp), %xmm1
divsd 0x8(%r14), %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jbe 0x2e31
addsd 0x222a(%rip), %xmm1     # 0x5050
movapd %xmm1, %xmm0
callq 0x2050
jmp 0x2e42
addsd 0x220f(%rip), %xmm1     # 0x5048
movapd %xmm1, %xmm0
callq 0x2270
cvttsd2si %xmm0, %eax
movq 0x10(%r14), %rcx
movl %eax, (%rcx,%r15,4)
movq %r12, %rdi
callq 0x20c0
incq %r15
movsd -0x30(%rbp), %xmm0
jmp 0x2d82
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x2e83
movq %rax, %rbx
leaq -0x60(%rbp), %rdi
callq 0x20c0
leaq -0x80(%rbp), %rdi
callq 0x20c0
movq %rbx, %rdi
callq 0x2290
// File: /workspace/github_cpp_makefile_star2_O2/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 $0x178, %rsp            # imm = 0x178
movq %rdx, %r14
movq %rdi, %rbx
leaq -0x1a0(%rbp), %r15
movq %r15, %rdi
callq 0x21f0
movq 0x20(%r14), %rax
xorl %r12d, %r12d
xorl %ecx, %ecx
movq 0x28(%r14), %rdx
subq %rax, %rdx
sarq $0x2, %rdx
cmpq %r12, %rdx
jbe 0x3154
movslq %ecx, %r13
movslq (%rax,%r12,4), %rax
cmpq %rax, %r13
jge 0x3133
movq (%r14), %rax
movsbl (%rax,%r13), %esi
movq %r15, %rdi
callq 0x21b0
incq %r13
movq 0x20(%r14), %rax
jmp 0x3111
movq 0x38(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %r15, %rdi
callq 0x2250
movq 0x20(%r14), %rax
movl (%rax,%r12,4), %ecx
incl %ecx
incq %r12
jmp 0x30fe
movslq %ecx, %r12
leaq -0x1a0(%rbp), %r15
cmpq %r12, 0x8(%r14)
jbe 0x3179
movq (%r14), %rax
movsbl (%rax,%r12), %esi
movq %r15, %rdi
callq 0x21b0
incq %r12
jmp 0x315e
leaq -0x198(%rbp), %rsi
movq %rbx, %rdi
callq 0x2230
leaq -0x1a0(%rbp), %rdi
callq 0x2080
movq %rbx, %rax
addq $0x178, %rsp            # imm = 0x178
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x31af
jmp 0x31af
jmp 0x31af
movq %rax, %rbx
leaq -0x1a0(%rbp), %rdi
callq 0x2080
movq %rbx, %rdi
callq 0x2290
// File: /workspace/github_cpp_makefile_star2_O2/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
leaq 0x1e1c(%rip), %rsi      # 0x509e
movq %rdx, %rdi
callq 0x22c0
movl (%r14), %eax
movslq %eax, %rcx
cmpq %rcx, 0x8(%r15)
jbe 0x32be
movq (%r15), %rdx
movb (%rdx,%rcx), %cl
leal -0x61(%rcx), %edx
cmpb $0x1a, %dl
jae 0x32b9
movsbl %cl, %esi
movq %rbx, %rdi
callq 0x2140
movl (%r14), %eax
incl %eax
movl %eax, (%r14)
jmp 0x328d
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_O2/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), %eax
cmpl $0x5, %eax
ja 0x32fb
leaq 0x1dc0(%rip), %rcx      # 0x50a4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movl $0x3, %eax
jmp 0x330c
movl $0x2, %eax
jmp 0x330c
cmpl $0x5e, %edi
jne 0x3307
movl $0x4, %eax
jmp 0x330c
movl $0x5, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/xzebra[P]function-plotter/mathParser/stack.h
// Function: Stack<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>::pop()
a_type pop() {
            a_type output = head->value;
            head = head->next;
            size--;
            return output;
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movq (%rsi), %rsi
callq 0x2200
movq (%rbx), %rax
movq 0x20(%rax), %rax
movq %rax, (%rbx)
decl 0x10(%rbx)
movq %r14, %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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
pushq $0x28
popq %rdi
callq 0x2190
movq %rax, %rbx
testq %r12, %r12
je 0x3bad
leaq -0x40(%rbp), %rdi
movq %r15, %rsi
callq 0x2200
movq (%r14), %r15
leaq -0x40(%rbp), %rsi
movq %rbx, %rdi
callq 0x2200
movq %r15, 0x20(%rbx)
movq %rbx, (%r14)
leaq -0x40(%rbp), %rdi
callq 0x20c0
jmp 0x3bdd
leaq -0x60(%rbp), %rdi
movq %r15, %rsi
callq 0x2200
leaq -0x60(%rbp), %rsi
movq %rbx, %rdi
callq 0x2200
andq $0x0, 0x20(%rbx)
movq %rbx, (%r14)
leaq -0x60(%rbp), %rdi
callq 0x20c0
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
leaq -0x60(%rbp), %rdi
jmp 0x3c00
jmp 0x3c07
movq %rax, %r14
leaq -0x40(%rbp), %rdi
callq 0x20c0
jmp 0x3c0a
movq %rax, %r14
movq %rbx, %rdi
callq 0x2170
movq %r14, %rdi
callq 0x2290
// File: /workspace/github_cpp_makefile_star2_O2/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 0x3cb2
movq -0x8(%r14), %rax
movq 0x20(%r14), %r15
testq %rax, %rax
je 0x3ca1
leaq -0x28(%r14), %r12
imulq $0x28, %rax, %r13
leaq (%r12,%r13), %rdi
callq 0x20c0
addq $-0x28, %r13
jne 0x3c92
addq $-0x8, %r14
movq %r14, %rdi
callq 0x21d0
movq %r15, %r14
jmp 0x3c78
andl $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_O2/kdungs[P]codecon/src/maze.cc
// Function: main
int main() {
  auto rows = 0ul, cols = 0ul;
  std::cin >> rows >> cols;

  if (rows < 2 || cols < 2) {
    return EXIT_FAILURE;
  }

  auto map = std::vector<bool>{};
  map.reserve(rows * cols);
  char in;
  while (std::cin >> in) {
    map.push_back((in == '_'));
  }

  auto maze = Maze{rows, cols, map};
  auto path = solveBfs(maze, {1, 0}, {rows - 2, cols - 1});

  std::copy(std::begin(path), std::end(path),
            std::ostream_iterator<Point>(std::cout, "\n"));
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0xc0, %rsp
leaq 0x10(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x8(%rsp), %r14
andq $0x0, (%r14)
movq 0x3877(%rip), %rdi      # 0x4fe0
movq %rbx, %rsi
callq 0x1070
movq %rax, %rdi
movq %r14, %rsi
callq 0x1070
movq (%rbx), %rax
cmpq $0x2, %rax
setb %cl
movq (%r14), %rsi
cmpq $0x2, %rsi
setb %dl
orb %cl, %dl
je 0x179c
pushq $0x1
popq %rax
jmp 0x18ab
imulq %rax, %rsi
xorps %xmm0, %xmm0
leaq 0x30(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
andq $0x0, 0x20(%rdi)
callq 0x1aba
movq 0x3820(%rip), %rbx      # 0x4fe0
leaq 0x7(%rsp), %r14
leaq 0x30(%rsp), %r15
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1100
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x17f8
xorl %esi, %esi
cmpb $0x5f, 0x7(%rsp)
sete %sil
movq %r15, %rdi
callq 0x1aec
jmp 0x17ca
movq 0x10(%rsp), %rax
leaq 0x98(%rsp), %rbx
movq %rax, -0x10(%rbx)
movq 0x8(%rsp), %rax
movq %rax, -0x8(%rbx)
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0x1b2a
leaq 0x58(%rsp), %rdx
movq $0x1, (%rdx)
andq $0x0, 0x8(%rdx)
movq 0x10(%rsp), %rax
addq $-0x2, %rax
leaq 0x78(%rsp), %rcx
movq %rax, (%rcx)
movq 0x8(%rsp), %rax
decq %rax
movq %rax, 0x8(%rcx)
leaq 0x18(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x12a0
movq 0x18(%rsp), %rsi
movq 0x20(%rsp), %rdx
movq 0x3760(%rip), %rax      # 0x4fd0
leaq 0x68(%rsp), %rcx
movq %rax, (%rcx)
leaq 0x1785(%rip), %rax      # 0x3004
movq %rax, 0x8(%rcx)
leaq 0x58(%rsp), %rdi
callq 0x1ba6
leaq 0x18(%rsp), %rdi
callq 0x1c62
movq %rbx, %rdi
callq 0x1aaa
leaq 0x30(%rsp), %rdi
callq 0x1aaa
xorl %eax, %eax
addq $0xc0, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %r14
leaq 0x18(%rsp), %rdi
callq 0x1c62
jmp 0x18ca
movq %rax, %r14
movq %rbx, %rdi
callq 0x1aaa
jmp 0x18db
jmp 0x18d8
jmp 0x18d8
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x1aaa
movq %r14, %rdi
callq 0x1130
nop
// File: /workspace/github_cpp_makefile_star2_O2/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 0x2dd2(%rip), %rax      # 0x5118
subq 0x2dc3(%rip), %rax      # 0x5110
movabsq $0x1fffffffe0, %r15     # imm = 0x1FFFFFFFE0
andq %rax, %r15
xorl %r12d, %r12d
movq 0x2c6c(%rip), %rbx      # 0x4fd0
leaq 0xc99(%rip), %r14       # 0x3004
movabsq $0x10411100104111, %r13 # imm = 0x10411100104111
cmpq %r12, %r15
je 0x23c8
movq 0x2d8f(%rip), %rax      # 0x5110
movq (%rax,%r12), %rax
movzbl (%rax), %eax
addl $-0x41, %eax
cmpl $0x34, %eax
ja 0x23a1
btq %rax, %r13
jae 0x23a1
callq 0x2160
addq $0x20, %r12
jmp 0x2375
movq %rbx, %rdi
movq %r14, %rsi
callq 0x20f0
movq 0x2d5d(%rip), %rsi      # 0x5110
addq %r12, %rsi
movq %rax, %rdi
callq 0x20d0
movq %rax, %rdi
callq 0x2080
jmp 0x239b
xorl %edi, %edi
callq 0x21b0
// File: /workspace/github_cpp_makefile_star2_O2/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 0x2d2f(%rip), %rax      # 0x5118
subq 0x2d20(%rip), %rax      # 0x5110
movabsq $0x1fffffffe0, %r15     # imm = 0x1FFFFFFFE0
andq %rax, %r15
xorl %r12d, %r12d
movabsq $0x10411100104111, %r13 # imm = 0x10411100104111
movq 0x2bbf(%rip), %rbx      # 0x4fd0
leaq 0xbf2(%rip), %r14       # 0x300a
cmpq %r12, %r15
je 0x246b
movq 0x2cec(%rip), %rax      # 0x5110
movq (%rax,%r12), %rax
movzbl (%rax), %eax
addl $-0x41, %eax
cmpl $0x34, %eax
ja 0x2464
btq %rax, %r13
jae 0x2464
movq %rbx, %rdi
movq %r14, %rsi
callq 0x20f0
movq 0x2cc5(%rip), %rsi      # 0x5110
addq %r12, %rsi
movq %rax, %rdi
callq 0x20d0
movq %rax, %rdi
callq 0x2080
addq $0x20, %r12
jmp 0x2418
callq 0x2160
jmp 0x245e
xorl %edi, %edi
callq 0x21b0
// File: /workspace/github_cpp_makefile_star2_O2/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 %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
leaq -0x30(%rbp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
xorl %ecx, %ecx
movb %cl, (%rax)
leaq -0x50(%rbp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb %cl, (%rax)
movq 0x2b27(%rip), %rdi      # 0x4fd0
leaq 0xb60(%rip), %rsi       # 0x3010
callq 0x20f0
movq 0x2b24(%rip), %rdi      # 0x4fe0
leaq -0x40(%rbp), %rsi
callq 0x2030
leaq -0x1f0(%rbp), %rdi
leaq -0x40(%rbp), %rsi
pushq $0x18
popq %rdx
callq 0x2180
leaq -0x1f0(%rbp), %rbx
leaq -0x60(%rbp), %r14
leaq 0x2c26(%rip), %r15      # 0x5110
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2120
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2510
movq %r15, %rdi
movq %r14, %rsi
callq 0x25dc
jmp 0x24ea
leaq -0x148(%rip), %rdx      # 0x23cf
leaq -0x20(%rbp), %rdi
xorl %esi, %esi
xorl %ecx, %ecx
callq 0x21c0
leaq -0x1ff(%rip), %rdx      # 0x232c
leaq -0x68(%rbp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
xorl %ecx, %ecx
callq 0x21c0
movq (%rbx), %rdi
xorl %esi, %esi
callq 0x20e0
movq -0x20(%rbp), %rdi
xorl %esi, %esi
callq 0x20e0
leaq -0x1f0(%rbp), %rdi
callq 0x20a0
leaq -0x60(%rbp), %rdi
callq 0x2070
leaq -0x40(%rbp), %rdi
callq 0x2070
xorl %eax, %eax
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2582
jmp 0x2587
movq %rax, %rbx
jmp 0x2596
movq %rax, %rbx
leaq -0x1f0(%rbp), %rdi
callq 0x20a0
leaq -0x60(%rbp), %rdi
callq 0x2070
leaq -0x40(%rbp), %rdi
callq 0x2070
movq %rbx, %rdi
callq 0x21a0
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/main.cpp
// Function: getFlags[abi:cxx11](int, char**)
map<string, string> getFlags(int argc, char* argv[]) {
	map<string, string> ret;
	for (int i = 3; i < argc; i++) {
		string s(argv[i]);
		if (s.size() == 0 || s[0] != '-') {
			cout<<"c Invalid arg "<<s<<endl;
			cerr<<"Invalid arg "<<s<<endl;
		}
		else {
			int p = -1;
			int prd = 0;
			for (int j = 0; j < (int)s.size(); j++) {
				if (s[j] == '=') {
					p = j;
					break;
				}
				if (j == prd && s[j] == '-') prd++;
			}
			if (p == -1) {
				ret[s.substr(prd)] = "";
			}
			else {
				ret[s.substr(prd, p-prd)] = s.substr(p+1);
			}
		}
	}
	return ret;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rdx, %r13
leaq 0x8(%rdi), %rax
andl $0x0, 0x8(%rdi)
andq $0x0, 0x10(%rdi)
movq %rax, 0x18(%rdi)
movq %rax, 0x20(%rdi)
movq %rdi, (%rsp)
andq $0x0, 0x28(%rdi)
movslq %esi, %rax
movq %rax, 0x10(%rsp)
pushq $0x3
popq %r14
leaq 0x18(%rsp), %rbx
leaq 0x38(%rsp), %r12
leaq 0x58(%rsp), %r15
movq %rdx, 0x8(%rsp)
cmpq 0x10(%rsp), %r14
jge 0x39e1
movq (%r13,%r14,8), %rsi
movq %rbx, %rdi
movq %r12, %rdx
callq 0x6788
movq 0x20(%rsp), %rax
testq %rax, %rax
je 0x38eb
movq 0x18(%rsp), %rcx
cmpb $0x2d, (%rcx)
jne 0x38eb
xorl %r13d, %r13d
testl %eax, %eax
cmovlel %r13d, %eax
xorl %edx, %edx
movl %edx, %ebp
cmpq %r13, %rax
je 0x3947
movb (%rcx,%r13), %sil
cmpb $0x3d, %sil
je 0x3982
cmpq %rbp, %r13
sete %dil
cmpb $0x2d, %sil
sete %sil
andb %dil, %sil
movzbl %sil, %esi
addl %esi, %edx
incq %r13
jmp 0x38b5
movq 0x406d6(%rip), %rdi     # 0x43fc8
leaq 0x2a717(%rip), %rsi     # 0x2e010
callq 0x32a0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x3290
movq %rax, %rdi
callq 0x3140
movq 0x406d8(%rip), %rdi     # 0x43ff0
leaq 0x2a6f3(%rip), %rsi     # 0x2e012
callq 0x32a0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x3290
movq %rax, %rdi
callq 0x3140
movq %rbx, %rdi
callq 0x3130
incq %r14
jmp 0x387b
movq %r12, %rdi
movq %rbx, %rsi
movq %rbp, %rdx
pushq $-0x1
popq %rcx
callq 0x32d0
movq (%rsp), %rdi
movq %r12, %rsi
callq 0x67c4
movq 0x8(%rsp), %r13
movq %rax, %rdi
leaq 0x2d730(%rip), %rsi     # 0x310a3
callq 0x34d0
movq %r12, %rdi
callq 0x3130
jmp 0x3937
leaq 0x1(%r13), %rdx
movq %r12, %rdi
movq %rbx, %rsi
pushq $-0x1
popq %rcx
callq 0x32d0
movq %rbx, %rsi
subq %rbp, %r13
movq %r15, %rbx
movq %r15, %rdi
movq %rbp, %rdx
movq %r13, %rcx
callq 0x32d0
movq (%rsp), %rdi
movq %rbx, %rsi
callq 0x67c4
movq 0x8(%rsp), %r13
movq %rax, %rdi
movq %r12, %rsi
callq 0x3350
movq %rbx, %rdi
callq 0x3130
movq %r12, %rdi
callq 0x3130
leaq 0x18(%rsp), %rbx
jmp 0x3937
movq (%rsp), %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x3a1d
jmp 0x3a09
movq %rax, %r14
leaq 0x58(%rsp), %rdi
callq 0x3130
jmp 0x3a0c
jmp 0x3a1d
movq %rax, %r14
leaq 0x38(%rsp), %rdi
callq 0x3130
jmp 0x3a20
movq %rax, %r14
jmp 0x3a2a
movq %rax, %r14
leaq 0x18(%rsp), %rdi
callq 0x3130
movq (%rsp), %rdi
callq 0x6a28
movq %r14, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/main.cpp
// Function: parseTechniques(std::map<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::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
string parseTechniques(map<string, string>& flags) {
	string techniques = "[bu]#[buvsrgc]";
	if (flags.count("techniques")) {
		techniques = flags["techniques"];
		cout<<"c Techniques "<<techniques<<endl;
		cerr<<"Techniques "<<techniques<<endl;
	}
	else {
		cout<<"c No -techniques= given, defaulting to "<<techniques<<endl;
		cerr<<"No -techniques= given, defaulting to "<<techniques<<endl;
	}
	return techniques;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x2a5ce(%rip), %rsi     # 0x2e01f
leaq 0x10(%rsp), %rdx
callq 0x6788
leaq 0x2c7b5(%rip), %rsi     # 0x30217
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0x682a
movq %rax, %r15
leaq 0x10(%rsp), %rdi
callq 0x3130
testq %r15, %r15
je 0x3af7
leaq 0x2c780(%rip), %rsi     # 0x30217
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0x67c4
movq %rbx, %rdi
movq %rax, %rsi
callq 0x3160
leaq 0x10(%rsp), %rdi
callq 0x3130
movq 0x404f9(%rip), %rdi     # 0x43fc8
leaq 0x2a558(%rip), %rsi     # 0x2e02e
callq 0x32a0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x3290
movq %rax, %rdi
callq 0x3140
leaq 0x2a53b(%rip), %rsi     # 0x2e030
jmp 0x3b24
movq 0x404ca(%rip), %rdi     # 0x43fc8
leaq 0x2a537(%rip), %rsi     # 0x2e03c
callq 0x32a0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x3290
movq %rax, %rdi
callq 0x3140
leaq 0x2a51a(%rip), %rsi     # 0x2e03e
movq 0x404c5(%rip), %rdi     # 0x43ff0
callq 0x32a0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x3290
movq %rax, %rdi
callq 0x3140
movq %rbx, %rax
addq $0x30, %rsp
popq %rbx
popq %r14
popq %r15
retq
jmp 0x3b65
jmp 0x3b56
jmp 0x3b65
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0x3130
jmp 0x3b68
movq %rax, %r14
movq %rbx, %rdi
callq 0x3130
movq %r14, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/main.cpp
// Function: parseTimeLimit(std::map<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::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
double parseTimeLimit(map<string, string>& flags) {
	double timeLimit = 1e9;
	if (flags.count("timelimit")) {
		stringstream ss;
		ss<<flags["timelimit"];
		ss>>timeLimit;
		cout<<"c Preprocess time limit "<<timeLimit<<endl;
		cerr<<"Preprocess time limit "<<timeLimit<<endl;
	}
	else {
		cout<<"c No -timelimit= given, defaulting to inf"<<endl;
		cerr<<"No -timelimit= given, defaulting to inf"<<endl;
	}
	return timeLimit;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x1b8, %rsp            # imm = 0x1B8
movq %rdi, %rbx
movabsq $0x41cdcd6500000000, %rax # imm = 0x41CDCD6500000000
movq %rax, 0x8(%rsp)
leaq 0x2a4c9(%rip), %rsi     # 0x2e064
leaq 0x30(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x6788
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0x682a
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x3130
testq %r14, %r14
je 0x3c84
leaq 0x30(%rsp), %rdi
callq 0x3210
leaq 0x2a486(%rip), %rsi     # 0x2e064
leaq 0x10(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x40(%rsp), %rdi
movq %rax, %rsi
callq 0x3290
leaq 0x10(%rsp), %rdi
callq 0x3130
leaq 0x30(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x31d0
movq 0x403a1(%rip), %rdi     # 0x43fc8
leaq 0x2a440(%rip), %rsi     # 0x2e06e
callq 0x32a0
movsd 0x8(%rsp), %xmm0
movq %rax, %rdi
callq 0x3430
movq %rax, %rdi
callq 0x3140
movq 0x403a0(%rip), %rdi     # 0x43ff0
leaq 0x2a419(%rip), %rsi     # 0x2e070
callq 0x32a0
movsd 0x8(%rsp), %xmm0
movq %rax, %rdi
callq 0x3430
movq %rax, %rdi
callq 0x3140
leaq 0x30(%rsp), %rdi
callq 0x3230
movsd 0x8(%rsp), %xmm0
jmp 0x3cc2
movq 0x4033d(%rip), %rdi     # 0x43fc8
leaq 0x2a3f5(%rip), %rsi     # 0x2e087
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x4034a(%rip), %rdi     # 0x43ff0
leaq 0x2a3dc(%rip), %rsi     # 0x2e089
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movsd 0x2a346(%rip), %xmm0    # 0x2e008
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r14
retq
jmp 0x3cf2
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x3130
jmp 0x3cff
movq %rax, %rbx
jmp 0x3cff
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x3130
jmp 0x3cf5
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x3230
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/main.cpp
// Function: parseBVEgate(std::map<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::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
bool parseBVEgate(map<string, string>& flags) {
	bool BVEgate = false;
	if (flags.count("bvegate")) {
		if (flags["bvegate"] == "1") {
			BVEgate = true;
			cout<<"c BVE gate extraction enabled"<<endl;
			cerr<<"BVE gate extraction enabled"<<endl;
		}
		else if (flags["bvegate"] == "0") {
			BVEgate = false;
			cout<<"c BVE gate extraction disabled"<<endl;
			cerr<<"BVE gate extraction disabled"<<endl;
		}
		else {
			cout<<"Invalid bvegate flag"<<endl;
			cerr<<"Invalid bvegate flag"<<endl;
			exit(0);
		}
	}
	else {
		cout<<"c No -bvegate= given, defaulting to disabled"<<endl;
		cerr<<"No -bvegate= given, defaulting to disabled"<<endl;
	}
	return BVEgate;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
leaq 0x2a398(%rip), %rsi     # 0x2e0b1
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x682a
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0x3130
testq %r14, %r14
je 0x3d9c
leaq 0x2a363(%rip), %rsi     # 0x2e0b1
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2bc20(%rip), %rsi     # 0x2f991
movq %rax, %rdi
callq 0x6844
movl %eax, %ebp
leaq 0x10(%rsp), %rdi
callq 0x3130
testb %bpl, %bpl
je 0x3dae
movb $0x1, %bl
leaq 0x2a328(%rip), %r14     # 0x2e0bb
leaq 0x2a31f(%rip), %rsi     # 0x2e0b9
jmp 0x3e00
xorl %ebx, %ebx
leaq 0x2a368(%rip), %r14     # 0x2e10d
leaq 0x2a35f(%rip), %rsi     # 0x2e10b
jmp 0x3e00
leaq 0x2a2fc(%rip), %rsi     # 0x2e0b1
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2ceed(%rip), %rsi     # 0x30cc5
movq %rax, %rdi
callq 0x6844
movl %eax, %ebx
leaq 0x10(%rsp), %rdi
callq 0x3130
testb %bl, %bl
je 0x3e36
leaq 0x2a2e2(%rip), %r14     # 0x2e0d9
leaq 0x2a2d9(%rip), %rsi     # 0x2e0d7
xorl %ebx, %ebx
movq 0x401c1(%rip), %rdi     # 0x43fc8
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x401d5(%rip), %rdi     # 0x43ff0
movq %r14, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movl %ebx, %eax
addq $0x30, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq 0x4018b(%rip), %rdi     # 0x43fc8
leaq 0x2a2b2(%rip), %rbx     # 0x2e0f6
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x40195(%rip), %rdi     # 0x43ff0
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
xorl %edi, %edi
callq 0x3340
jmp 0x3e7a
jmp 0x3e89
jmp 0x3e7a
jmp 0x3e89
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x3130
jmp 0x3e8c
movq %rax, %rbx
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/main.cpp
// Function: parseLabelMatching(std::map<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::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
bool parseLabelMatching(map<string, string>& flags) {
	bool labelMatching = false;
	if (flags.count("matchlabels")) {
		if (flags["matchlabels"] == "1") {
			labelMatching = true;
			cout<<"c Label matching enabled"<<endl;
			cerr<<"Label matching enabled"<<endl;
		}
		else if (flags["matchlabels"] == "0") {
			labelMatching = false;
			cout<<"c Label matching disabled"<<endl;
			cerr<<"Label matching disabled"<<endl;
		}
		else {
			cout<<"Invalid matchlabels flag"<<endl;
			cerr<<"Invalid matchlabels flag"<<endl;
			exit(0);
		}
	}
	else {
		cout<<"c No -matchlabels given, defaulting to disabled"<<endl;
		cerr<<"No -matchlabels given, defaulting to disabled"<<endl;
	}
	return labelMatching;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
leaq 0x2a292(%rip), %rsi     # 0x2e138
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x682a
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0x3130
testq %r14, %r14
je 0x3f29
leaq 0x2a25d(%rip), %rsi     # 0x2e138
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2ba93(%rip), %rsi     # 0x2f991
movq %rax, %rdi
callq 0x6844
movl %eax, %ebp
leaq 0x10(%rsp), %rdi
callq 0x3130
testb %bpl, %bpl
je 0x3f3b
movb $0x1, %bl
leaq 0x2a226(%rip), %r14     # 0x2e146
leaq 0x2a21d(%rip), %rsi     # 0x2e144
jmp 0x3f8d
xorl %ebx, %ebx
leaq 0x2a260(%rip), %r14     # 0x2e192
leaq 0x2a257(%rip), %rsi     # 0x2e190
jmp 0x3f8d
leaq 0x2a1f6(%rip), %rsi     # 0x2e138
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2cd60(%rip), %rsi     # 0x30cc5
movq %rax, %rdi
callq 0x6844
movl %eax, %ebx
leaq 0x10(%rsp), %rdi
callq 0x3130
testb %bl, %bl
je 0x3fc3
leaq 0x2a1db(%rip), %r14     # 0x2e15f
leaq 0x2a1d2(%rip), %rsi     # 0x2e15d
xorl %ebx, %ebx
movq 0x40034(%rip), %rdi     # 0x43fc8
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x40048(%rip), %rdi     # 0x43ff0
movq %r14, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movl %ebx, %eax
addq $0x30, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq 0x3fffe(%rip), %rdi     # 0x43fc8
leaq 0x2a1a6(%rip), %rbx     # 0x2e177
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x40008(%rip), %rdi     # 0x43ff0
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
xorl %edi, %edi
callq 0x3340
jmp 0x4007
jmp 0x4016
jmp 0x4007
jmp 0x4016
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x3130
jmp 0x4019
movq %rax, %rbx
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/main.cpp
// Function: parseVerb(std::map<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::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
int parseVerb(map<string, string>& flags) {
	int verb = 1;
	if (flags.count("verb")) {
		if (flags["verb"] == "0") {
			verb = 0;
		}
		else if (flags["verb"] == "1") {
			verb = 1;
		}
		else {
			cout<<"Invalid verb flag"<<endl;
			cerr<<"Invalid verb flag"<<endl;
			exit(0);
		}
		cout<<"c Verb "<<verb<<endl;
		cerr<<"Verb "<<verb<<endl;
	}
	else {
		cout<<"c No -verb given, defaulting to 1"<<endl;
		cerr<<"No -verb given, defaulting to 1"<<endl;
	}
	return verb;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
leaq 0x29ae0(%rip), %rsi     # 0x2e444
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x682a
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0x3130
testq %r14, %r14
je 0x4a69
leaq 0x29aa7(%rip), %rsi     # 0x2e444
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2c305(%rip), %rsi     # 0x30cc5
movq %rax, %rdi
callq 0x6844
movl %eax, %r14d
leaq 0x10(%rsp), %rdi
callq 0x3130
xorl %ebp, %ebp
testb %r14b, %r14b
jne 0x4a25
leaq 0x29a61(%rip), %rsi     # 0x2e444
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2af8b(%rip), %rsi     # 0x2f991
movq %rax, %rdi
callq 0x6844
movl %eax, %ebx
leaq 0x10(%rsp), %rdi
callq 0x3130
testb %bl, %bl
je 0x4aad
pushq $0x1
popq %rbp
movq 0x3f59c(%rip), %rdi     # 0x43fc8
leaq 0x29a28(%rip), %rsi     # 0x2e45b
callq 0x32a0
movq %rax, %rdi
movl %ebp, %esi
callq 0x3480
movq %rax, %rdi
callq 0x3140
movq 0x3f59f(%rip), %rdi     # 0x43ff0
leaq 0x29a05(%rip), %rsi     # 0x2e45d
callq 0x32a0
movq %rax, %rdi
movl %ebp, %esi
callq 0x3480
jmp 0x4a9a
movq 0x3f558(%rip), %rdi     # 0x43fc8
leaq 0x299ec(%rip), %rsi     # 0x2e463
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x3f565(%rip), %rdi     # 0x43ff0
leaq 0x299d3(%rip), %rsi     # 0x2e465
callq 0x32a0
pushq $0x1
popq %rbp
movq %rax, %rdi
callq 0x3140
movl %ebp, %eax
addq $0x30, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq 0x3f514(%rip), %rdi     # 0x43fc8
leaq 0x2998e(%rip), %rbx     # 0x2e449
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x3f51e(%rip), %rdi     # 0x43ff0
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
xorl %edi, %edi
callq 0x3340
jmp 0x4af1
jmp 0x4b00
jmp 0x4af1
jmp 0x4b00
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x3130
jmp 0x4b03
movq %rax, %rbx
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::Preprocessor(std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>> const&, std::vector<unsigned long, std::allocator<unsigned long>> const&, unsigned long)
Preprocessor::Preprocessor(const vector<vector<int> >& clauses, const vector<uint64_t>& weights, uint64_t topWeight) : pi(clauses, weights, topWeight), amsLex(pi) {
	originalVars = pi.vars;
	originalClauses = pi.clauses.size();
	BIGIt = 1;
	BVEgate = true;

  BVEsortMaxFirst = false;
  BVElocalGrow = 0;
  BVEglobalGrow = 0;

	doneUnhiding = false;
	randGen.seed(123);
	skipTechnique = 0;
	rLog.weightRange = pi.getWeightSum();
	rLog.initialWeightRange = rLog.weightRange;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
callq 0x210a4
leaq 0x218(%rbx), %r14
movq %r14, %rdi
callq 0x21d2a
movl $0x1, 0x2e8(%rbx)
movb $0x1, 0x2ec(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x2f0(%rbx)
andq $0x0, 0x320(%rbx)
movups %xmm0, 0x300(%rbx)
movups %xmm0, 0x310(%rbx)
movq $0x3b9aca07, 0x328(%rbx) # imm = 0x3B9ACA07
leaq 0x330(%rbx), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x23754
leaq 0x3b0(%rbx), %rax
movq %rax, 0x20(%rsp)
leaq 0x3c8(%rbx), %rax
movq %rax, 0x18(%rsp)
leaq 0x3e0(%rbx), %rax
movq %rax, 0x10(%rsp)
leaq 0x400(%rbx), %rax
movq %rax, 0x8(%rsp)
leaq 0x418(%rbx), %r13
leaq 0x430(%rbx), %rbp
leaq 0x460(%rbx), %rax
xorps %xmm0, %xmm0
movups %xmm0, 0x3e0(%rbx)
movups %xmm0, 0x3d0(%rbx)
movups %xmm0, 0x3c0(%rbx)
movups %xmm0, 0x3b0(%rbx)
andq $0x0, 0x3f0(%rbx)
movups %xmm0, 0x400(%rbx)
movups %xmm0, 0x410(%rbx)
movups %xmm0, 0x420(%rbx)
movq %rax, 0x430(%rbx)
movq $0x1, 0x438(%rbx)
movups %xmm0, 0x440(%rbx)
movl $0x3f800000, 0x450(%rbx) # imm = 0x3F800000
movups %xmm0, 0x458(%rbx)
leaq 0x470(%rbx), %r12
movq %r12, %rdi
callq 0x18996
movl 0x60(%rbx), %eax
movl %eax, 0x214(%rbx)
movq 0x8(%rbx), %rax
subq (%rbx), %rax
pushq $0x28
popq %rcx
cqto
idivq %rcx
movl %eax, 0x210(%rbx)
movl $0x1, 0x3ac(%rbx)
movw $0x1, 0x3a0(%rbx)
andq $0x0, 0x3a4(%rbx)
movb $0x0, 0x3f8(%rbx)
pushq $0x7b
popq %rsi
movq %r12, %rdi
callq 0x189a0
andl $0x0, 0x468(%rbx)
movq %rbx, %rdi
callq 0x217a2
movq %rax, 0x2e0(%rbx)
movq %rax, 0x2d8(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r12
jmp 0x7c45
movq %rax, %r12
jmp 0x7c59
movq %rax, %r12
movq %rbp, %rdi
callq 0x6c92
movq %r13, %rdi
callq 0x6bf4
movq 0x8(%rsp), %rdi
callq 0x6bf4
movq 0x10(%rsp), %rdi
callq 0x7512
movq 0x18(%rsp), %rdi
callq 0x7512
movq 0x20(%rsp), %rdi
callq 0x7512
movq %r15, %rdi
callq 0x23780
leaq 0x2f0(%rbx), %rdi
callq 0x692a
movq %r14, %rdi
callq 0x6c28
movq %rbx, %rdi
callq 0x6c60
movq %r12, %rdi
callq 0x3490
nop
// File: /workspace/github_cpp_makefile_star2_O2/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), %rax
subq %rcx, %rax
sarq $0x2, %rax
xorl %esi, %esi
leal 0x1(%rsi), %edx
cmpq %rdx, %rax
jbe 0x7c91
movl %esi, %esi
movl (%rcx,%rsi,4), %edi
xorl (%rcx,%rdx,4), %edi
movl %edx, %esi
cmpl $0x1, %edi
jne 0x7c7a
cmpq %rdx, %rax
seta %al
retq
// File: /workspace/github_cpp_makefile_star2_O2/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
pushq %rax
movl %edx, %ebp
movl %esi, %r14d
movq %rdi, %rbx
addq $0x2f0, %rdi            # imm = 0x2F0
callq 0x202d0
movq %r14, (%rsp)
leal (%r14,%r14), %eax
testl %ebp, %ebp
je 0x7cd6
movslq %eax, %rdx
movq 0x18(%rbx), %rcx
imulq $0x18, %rdx, %rdx
addq %rcx, %rdx
orl $0x1, %eax
jmp 0x7ce9
movl %eax, %ecx
orl $0x1, %ecx
movslq %ecx, %rdx
movq 0x18(%rbx), %rcx
imulq $0x18, %rdx, %rdx
addq %rcx, %rdx
cltq
imulq $0x18, %rax, %r12
addq %rcx, %r12
movq (%rdx), %r13
movq 0x8(%rdx), %r14
xorl %r15d, %r15d
cmpq %r14, %r13
je 0x7d16
movl (%r13), %esi
movq %rbx, %rdi
callq 0x21490
incl %r15d
addq $0x4, %r13
jmp 0x7cfc
movq (%r12), %r13
movq 0x8(%r12), %r12
movzbl %bpl, %eax
movq (%rsp), %rcx
leal (%rax,%rcx,2), %ebp
pushq $0x1
popq %r14
cmpq %r12, %r13
je 0x7d4a
movl (%r13), %edx
movq %rbx, %rdi
movl %ebp, %esi
movl %r14d, %ecx
callq 0x216d0
addq $0x4, %r13
jmp 0x7d2e
movl %r15d, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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 %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
xorl %ebx, %ebx
pushq $0x28
popq %r12
xorl %r15d, %r15d
movl %r15d, %r15d
movq (%r14), %rsi
movq 0x8(%r14), %rax
subq %rsi, %rax
cqto
idivq %r12
cmpq %r15, %rax
jbe 0x7da9
imulq $0x28, %r15, %rax
addq %rax, %rsi
callq 0x7c6a
testb %al, %al
je 0x7da4
incl %ebx
movq %r14, %rdi
movl %r15d, %esi
callq 0x21490
incl %r15d
jmp 0x7d70
leaq 0x27580(%rip), %rdx     # 0x2f330
movq %r14, %rdi
movl %ebx, %esi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x189d8
nop
// File: /workspace/github_cpp_makefile_star2_O2/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 %r12
pushq %rbx
movq %rdi, %rbx
xorl %r14d, %r14d
xorl %ebp, %ebp
movslq 0x60(%rbx), %rax
addq %rax, %rax
cmpq %rax, %r14
jge 0x8752
movq 0x18(%rbx), %rcx
imulq $0x18, %r14, %r15
movq (%rcx,%r15), %rax
movq 0x8(%rcx,%r15), %rcx
subq %rax, %rcx
cmpq $0x4, %rcx
jne 0x874a
movslq (%rax), %rax
imulq $0x28, %rax, %rdi
addq (%rbx), %rdi
callq 0x21bac
testb %al, %al
jne 0x874a
movq (%rbx), %rcx
movq 0x18(%rbx), %rax
movq (%rax,%r15), %rdx
movslq (%rdx), %rdx
imulq $0x28, %rdx, %rdx
movq 0x8(%rcx,%rdx), %rsi
subq (%rcx,%rdx), %rsi
cmpq $0x4, %rsi
jne 0x874a
movl %r14d, %ecx
xorq $0x1, %rcx
imulq $0x18, %rcx, %rcx
movq (%rax,%rcx), %r15
movq 0x8(%rax,%rcx), %r12
cmpq %r12, %r15
je 0x8734
movslq (%r15), %rax
imulq $0x28, %rax, %rdi
addq (%rbx), %rdi
callq 0x21bac
addq $0x4, %r15
testb %al, %al
jne 0x8716
jmp 0x874a
movl %r14d, %eax
andl $0x1, %eax
movl %r14d, %ecx
shrl %ecx
movq 0x48(%rbx), %rdx
incl %eax
movl %eax, (%rdx,%rcx,4)
incl %ebp
incq %r14
jmp 0x86a4
leaq 0x26c8b(%rip), %rdx     # 0x2f3e4
movq %rbx, %rdi
movl %ebp, %esi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x189d8
nop
// File: /workspace/github_cpp_makefile_star2_O2/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
xorl %r14d, %r14d
pushq $0x28
popq %r12
leaq 0x10(%rsp), %r13
xorl %ebp, %ebp
movl %r14d, %r14d
movq (%rbx), %rdi
movq 0x8(%rbx), %rax
subq %rdi, %rax
cqto
idivq %r12
cmpq %r14, %rax
jbe 0x8886
imulq $0x28, %r14, %r15
addq %r15, %rdi
callq 0x21bac
testb %al, %al
jne 0x887e
movq %rbx, %rdi
movl %r14d, %esi
callq 0x20f14
testb %al, %al
jne 0x887e
movq (%rbx), %rdx
movq 0x48(%rbx), %rax
movq (%rdx,%r15), %rcx
movq 0x8(%rdx,%r15), %rdx
cmpq %rdx, %rcx
je 0x87f8
movl (%rcx), %esi
sarl %esi
movslq %esi, %rsi
addq $0x4, %rcx
cmpl $0x0, (%rax,%rsi,4)
je 0x87dd
jmp 0x887e
movl %ebp, %r12d
movq %rbx, %rdi
callq 0x215a4
movl %eax, %ebp
leal (,%rbp,2), %esi
movq %rbx, %rdi
movl %r14d, %edx
pushq $0x1
popq %rcx
callq 0x21638
leal 0x1(,%rbp,2), %eax
movl %eax, 0xc(%rsp)
movq %r13, %rdi
leaq 0xc(%rsp), %rsi
pushq $0x1
popq %rdx
leaq 0xb(%rsp), %rcx
callq 0x18af6
movq (%rbx), %rax
movq 0x18(%rax,%r15), %rdx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x214e8
movq %r13, %rdi
callq 0x7512
movslq %ebp, %rax
movq 0x48(%rbx), %rcx
movl $0x2, (%rcx,%rax,4)
movq (%rbx), %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x18(%rax,%r15)
movl %r12d, %ebp
incl %ebp
pushq $0x28
popq %r12
incl %r14d
jmp 0x878b
leaq 0x26b6a(%rip), %rdx     # 0x2f3f7
movq %rbx, %rdi
movl %ebp, %esi
callq 0x189d8
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x7512
movq %rbx, %rdi
callq 0x3490
nop
// File: /workspace/github_cpp_makefile_star2_O2/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
leaq 0x10(%rsp), %r14
andq $0x0, 0x10(%r14)
movaps %xmm0, (%r14)
xorl %ebp, %ebp
pushq $0x28
popq %r12
leaq 0xc(%rsp), %r15
movl %ebp, %r13d
movq 0x8(%rbx), %rax
subq (%rbx), %rax
cqto
idivq %r12
cmpq %r13, %rax
jbe 0x893c
movq %rbx, %rdi
movl %ebp, %esi
callq 0x20f14
testb %al, %al
jne 0x8938
movq (%rbx), %rdi
imulq $0x28, %r13, %rax
movq 0x8(%rdi,%rax), %rcx
cmpq (%rdi,%rax), %rcx
jne 0x8938
addq %rax, %rdi
callq 0x21bac
testb %al, %al
jne 0x8938
movl %ebp, 0xc(%rsp)
movq %r14, %rdi
movq %r15, %rsi
callq 0x19ed4
incl %ebp
jmp 0x88e9
movq 0x10(%rsp), %r12
movq 0x18(%rsp), %r13
leaq 0x2f0(%rbx), %r14
xorl %ebp, %ebp
cmpq %r13, %r12
je 0x897f
movslq (%r12), %r15
movq (%rbx), %rax
imulq $0x28, %r15, %rcx
movq 0x18(%rax,%rcx), %rsi
movq %r14, %rdi
callq 0x207e0
movq %rbx, %rdi
movl %r15d, %esi
callq 0x21490
incl %ebp
addq $0x4, %r12
jmp 0x894f
leaq 0x26a7f(%rip), %rdx     # 0x2f405
movq %rbx, %rdi
movl %ebp, %esi
callq 0x189d8
leaq 0x10(%rsp), %rdi
callq 0x7512
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x89b1
jmp 0x89b1
jmp 0x89b1
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x7512
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/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 %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %rbx
movslq %esi, %rax
movq 0x18(%rdi), %rcx
imulq $0x18, %rax, %rax
movq (%rcx,%rax), %r14
movq 0x8(%rcx,%rax), %r15
cmpq %r15, %r14
je 0x8a16
movslq (%r14), %rax
movq (%rbx), %rdi
imulq $0x28, %rax, %rax
movq 0x8(%rdi,%rax), %rcx
subq (%rdi,%rax), %rcx
cmpq $0x4, %rcx
jne 0x8a10
addq %rax, %rdi
callq 0x21bac
testb %al, %al
jne 0x8a1a
addq $0x4, %r14
jmp 0x89e6
xorl %ebx, %ebx
jmp 0x8a6c
movl %ebp, %r15d
sarl %r15d
movslq %r15d, %rax
movq 0x48(%rbx), %rcx
leaq 0x218(%rbx), %r14
cmpl $0x0, (%rcx,%rax,4)
je 0x8a41
pushq $0x1
popq %rsi
movq %r14, %rdi
callq 0x21f32
jmp 0x8a4c
pushq $0x1
popq %rsi
movq %r14, %rdi
callq 0x21ebe
xorl %edx, %edx
testb $0x1, %bpl
sete %dl
movq %rbx, %rdi
movl %r15d, %esi
callq 0x7c98
movl %eax, %ebx
movq %r14, %rdi
movl %eax, %esi
callq 0x21e84
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nop