LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/Karunika[P]Taxi_Agency_OODB/./src/TaxiAgency.cpp
// Function: TaxiAgency::print_shift_history()
void TaxiAgency::print_shift_history(){
    cout << "[" << endl;
    for (list<Shift>::iterator i = shift_history.begin(); i != shift_history.end(); ++i)
        cout << *i;
    cout << "]" << endl;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0xc7be(%rip), %r14      # 0x1df70
leaq 0x2c7c(%rip), %rsi      # 0x14435
movq %r14, %rdi
callq 0x4290
movq %rax, %rdi
callq 0x4180
addq $0x60, %rbx
movq %rbx, %r15
movq (%r15), %r15
cmpq %rbx, %r15
je 0x117e6
leaq 0x10(%r15), %rsi
movq %r14, %rdi
callq 0xcd95
jmp 0x117d0
movq 0xc783(%rip), %rdi      # 0x1df70
leaq 0x4058(%rip), %rsi      # 0x1584c
callq 0x4290
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x4180
nop
// File: /workspace/github_cpp_makefile_star2_O2/Karunika[P]Taxi_Agency_OODB/./src/TaxiAgency.cpp
// Function: TaxiAgency::upgrade_agency_assets(int, int, int)
void TaxiAgency::upgrade_agency_assets(int garage_limit, int each_car_limit, int driver_vacancies){
    if(garage_limit < GarageLimit || each_car_limit < EachCarLimit || driver_vacancies < DriverLimit){
        return;
    }
    this->GarageLimit = garage_limit;
    this->EachCarLimit = each_car_limit;
    this->DriverLimit = driver_vacancies;

    taxies.reserve(GarageLimit+1);
    driver_db.reserve(DriverLimit+1);
    customer_db.reserve(DriverLimit+1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
cmpl %esi, 0x7c(%rdi)
jg 0x1182a
movq %rdi, %rbx
cmpl %edx, 0x80(%rdi)
jg 0x1182a
cmpl %ecx, 0x84(%rbx)
jle 0x11831
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
movl %esi, 0x7c(%rbx)
movl %edx, 0x80(%rbx)
movl %ecx, 0x84(%rbx)
incl %esi
movslq %esi, %rsi
movq %rbx, %rdi
callq 0x11940
leaq 0x18(%rbx), %rdi
movslq 0x84(%rbx), %rsi
incq %rsi
callq 0x119d6
movslq 0x84(%rbx), %rsi
addq $0x30, %rbx
incq %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x11a70
// File: /workspace/github_cpp_makefile_star2_O2/Karunika[P]Taxi_Agency_OODB/./src/../include/./Taxi.hpp
// Function: operator<<(std::ostream&, Taxi const&)
ostream& operator<<(ostream& output, const Taxi& T){
        output << "\t{" <<
            "\n\t\thybrid : " << (T.hybrid ? "True" : "False") <<
            "\n\t\tid : " << T.id <<
            "\n\t\tmanufacturer : " << T.manufacturer <<
            "\n\t\tfare amount : " << T.fare_amount <<
            "\n\t\tcount : " << T.number <<
            "\n\t\tavailable count : " << T.available_number <<
            "\n\t\ton shift count : " << T.number - T.available_number <<
            "\n\t}" <<
            endl;
        return output;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x3141(%rip), %rsi      # 0x15547
callq 0x4290
leaq 0x38ae(%rip), %rsi      # 0x15cc0
movq %rax, %rdi
callq 0x4290
leaq 0x3571(%rip), %rcx      # 0x15992
leaq 0x356f(%rip), %rsi      # 0x15997
cmpb $0x0, (%r14)
cmovneq %rcx, %rsi
movq %rax, %rdi
callq 0x4290
leaq 0x388e(%rip), %rsi      # 0x15ccd
movq %rax, %rdi
callq 0x4290
leaq 0x8(%r14), %rsi
movq %rax, %rdi
callq 0x4250
leaq 0x387c(%rip), %rsi      # 0x15cd6
movq %rax, %rdi
callq 0x4290
leaq 0x28(%r14), %rsi
movq %rax, %rdi
callq 0x4250
leaq 0x3874(%rip), %rsi      # 0x15ce9
movq %rax, %rdi
callq 0x4290
movl 0x48(%r14), %esi
movq %rax, %rdi
callq 0x4430
leaq 0x386b(%rip), %rsi      # 0x15cfb
movq %rax, %rdi
callq 0x4290
movl 0x4c(%r14), %esi
movq %rax, %rdi
callq 0x4430
leaq 0x385c(%rip), %rsi      # 0x15d07
movq %rax, %rdi
callq 0x4290
movl 0x50(%r14), %esi
movq %rax, %rdi
callq 0x4430
leaq 0x3857(%rip), %rsi      # 0x15d1d
movq %rax, %rdi
callq 0x4290
movl 0x4c(%r14), %esi
subl 0x50(%r14), %esi
movq %rax, %rdi
callq 0x4430
leaq 0x30b9(%rip), %rsi      # 0x1559e
movq %rax, %rdi
callq 0x4290
movq %rax, %rdi
callq 0x4180
movq %rbx, %rax
popq %rbx
popq %r14
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/bubiche[P]wu_manber/main.cpp
// Function: main
int main()
{
  // simple driver program for th Wu - Manber algorithm
  wu_manber::WuManber<char> wuManber;
  std::vector<std::string> patternList = { "some", "word", "abracadabra", "x", "ra" };
  std::string text = "xrayx someabracadabra";
  wuManber.preProcess(patternList);
  wuManber.scan(text,
    [](const std::string &pattern, size_t indexInPatternList, size_t startIndexInText) {
      std::cout << "Matched pattern #" << indexInPatternList <<": '" << pattern << "' at position " << startIndexInText << std::endl;
    }
  );
  return 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x1d0, %rsp            # imm = 0x1D0
leaq 0xe8(%rsp), %rdi
pushq $0x4
popq %rsi
movl $0x8000, %edx           # imm = 0x8000
callq 0x2564
leaq 0x1cf0(%rip), %rsi      # 0x4004
leaq 0x48(%rsp), %r14
leaq 0x2(%rsp), %rdx
movq %r14, %rdi
callq 0x2668
leaq 0x68(%rsp), %r15
leaq 0x1cd7(%rip), %rsi      # 0x4009
leaq 0x7(%rsp), %rdx
movq %r15, %rdi
callq 0x2668
leaq 0x88(%rsp), %r15
leaq 0x1ccc(%rip), %rsi      # 0x401a
leaq 0x6(%rsp), %rdx
movq %r15, %rdi
callq 0x2668
leaq 0xa8(%rsp), %r15
leaq 0x1ca4(%rip), %rsi      # 0x400e
leaq 0x5(%rsp), %rdx
movq %r15, %rdi
callq 0x2668
leaq 0xc8(%rsp), %r15
leaq 0x1c9d(%rip), %rsi      # 0x4023
leaq 0x4(%rsp), %rdx
movq %r15, %rdi
callq 0x2668
leaq 0x8(%rsp), %rdi
leaq 0x48(%rsp), %rsi
pushq $0x5
popq %rdx
leaq 0x3(%rsp), %rcx
callq 0x26a4
movl $0x80, %ebx
leaq (%rsp,%rbx), %rdi
addq $0x48, %rdi
callq 0x2080
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x23af
leaq 0x1c43(%rip), %rsi      # 0x4010
leaq 0x48(%rsp), %rdi
leaq 0x2(%rsp), %rdx
callq 0x2668
leaq 0xe8(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x26de
xorps %xmm0, %xmm0
leaq 0x20(%rsp), %rdx
movaps %xmm0, (%rdx)
leaq 0xde(%rip), %rax        # 0x24de
movq %rax, 0x18(%rdx)
leaq 0x141(%rip), %rax       # 0x254c
movq %rax, 0x10(%rdx)
leaq 0xe8(%rsp), %rdi
leaq 0x48(%rsp), %rsi
callq 0x2956
leaq 0x20(%rsp), %rdi
callq 0x2ba0
leaq 0x48(%rsp), %rdi
callq 0x2080
leaq 0x8(%rsp), %rdi
callq 0x2bbc
leaq 0xe8(%rsp), %rdi
callq 0x2bde
xorl %eax, %eax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x2ba0
jmp 0x246d
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x2080
jmp 0x247c
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x2bbc
jmp 0x24c9
movq %rax, %rbx
movl $0x80, %r14d
leaq (%rsp,%r14), %rdi
addq $0x48, %rdi
callq 0x2080
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x2491
jmp 0x24c9
jmp 0x24b0
jmp 0x24b0
jmp 0x24b0
movq %rax, %rbx
addq $-0x20, %r15
movq %r15, %rdi
callq 0x2080
cmpq %r14, %r15
jne 0x24b3
jmp 0x24c9
movq %rax, %rbx
leaq 0xe8(%rsp), %rdi
callq 0x2bde
movq %rbx, %rdi
callq 0x21a0
// File: /workspace/github_cpp_makefile_star2_O2/bubiche[P]wu_manber/./wu_manber.hpp
// Function: wu_manber::WuManber<char, std::char_traits<char>>::checkShortPattern_(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, unsigned long, std::function<void (std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, unsigned long, unsigned long)>) const
void checkShortPattern_(const StringType &text, std::size_t cur_idx, std::function<void(const StringType&, std::size_t, std::size_t)> onMatch) const {
      int l1MatchIndex = lengthOnePatternLookup_[static_cast<std::size_t>(text[cur_idx])];
      if (l1MatchIndex > -1) {
        onMatch(lengthOnePatterns_[l1MatchIndex], l1MatchIndex, cur_idx);
      }

      int l2MatchIndex = lengthTwoPatternLookup_[static_cast<std::size_t>(text[cur_idx - 1])][static_cast<std::size_t>(text[cur_idx])];
      if (l2MatchIndex > -1) {
        onMatch(lengthTwoPatterns_[l2MatchIndex], l2MatchIndex, cur_idx - 1);
      }
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %r14
movq %rdx, %rbx
movq %rdi, %r15
movq (%rsi), %rcx
movsbq (%rcx,%rdx), %rax
movq 0x80(%rdi), %rdx
movq (%rdx,%rax,8), %rdx
testl %edx, %edx
js 0x3a8d
movq %rsi, %r12
andl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
movq %rdx, %rsi
shlq $0x5, %rsi
addq 0xb0(%r15), %rsi
movq %r14, %rdi
movq %rbx, %rcx
callq 0x3a0e
movq (%r12), %rcx
movsbq (%rcx,%rbx), %rax
movsbq -0x1(%rcx,%rbx), %rcx
movq 0x98(%r15), %rdx
imulq $0x18, %rcx, %rcx
movq (%rdx,%rcx), %rcx
movq (%rcx,%rax,8), %rdx
testl %edx, %edx
js 0x3ad7
decq %rbx
andl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
movq %rdx, %rsi
shlq $0x5, %rsi
addq 0xc8(%r15), %rsi
movq %r14, %rdi
movq %rbx, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x3a0e
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: log(char const*, ...)
void log(const char* fmt ...) {
	va_list args;
	va_start(args, fmt);
	printf("[%.3f] ", getAbsoluteTimeLP() - start);
	vprintf(fmt, args);
	va_end(args);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0xd8, %rsp
movq %rdi, %rbx
leaq 0x20(%rsp), %rdi
movq %rsi, 0x8(%rdi)
movq %rdx, 0x10(%rdi)
movq %rcx, 0x18(%rdi)
movq %r8, 0x20(%rdi)
movq %r9, 0x28(%rdi)
testb %al, %al
je 0x24cd
movapd %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
movq %rsp, %r14
movq %rdi, 0x10(%r14)
leaq 0xf0(%rsp), %rax
movq %rax, 0x8(%r14)
movabsq $0x3000000008, %rax     # imm = 0x3000000008
movq %rax, (%r14)
callq 0x243c
subsd 0x14c96(%rip), %xmm0    # 0x17190
leaq 0xdb1f(%rip), %rdi      # 0x10020
movb $0x1, %al
callq 0x2030
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2170
addq $0xd8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: addFormula(void*, SimpleFormula const&)
void addFormula(void* solver, const SimpleFormula& formula) {
	for (size_t i = 0; i < formula.clauses.size(); i++) {
		for (size_t j = 0; j < formula.clauses[i].size(); j++) {
			ipasir_add(solver, formula.clauses[i][j]);
		}
		ipasir_add(solver, 0);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
xorl %r15d, %r15d
pushq $0x18
popq %r12
movq 0x8(%rbx), %rcx
movq 0x10(%rbx), %rax
subq %rcx, %rax
cqto
idivq %r12
cmpq %rax, %r15
jae 0x2886
imulq $0x18, %r15, %r13
xorl %ebp, %ebp
movq (%rcx,%r13), %rax
movq 0x8(%rcx,%r13), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %rcx, %rbp
jae 0x2877
movl (%rax,%rbp,4), %esi
movq %r14, %rdi
callq 0x373f
incq %rbp
movq 0x8(%rbx), %rcx
jmp 0x284e
movq %r14, %rdi
xorl %esi, %esi
callq 0x373f
incq %r15
jmp 0x2833
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: printGraph(Graph const&)
void printGraph(const Graph& graph) {
	printf("p edge %d %d\n", graph.verticesCount, graph.edgesCount);
	for (size_t i = 0; i < graph.neighbours.size(); i++) {
		for (size_t j = 0; j < graph.neighbours[i].size(); j++) {
			printf("e %lu %d\n", i, graph.neighbours[i][j]);
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl (%rdi), %esi
movl 0x4(%rdi), %edx
leaq 0xd85e(%rip), %rdi      # 0x1010d
xorl %eax, %eax
callq 0x2030
movq 0x8(%rbx), %rcx
pushq $0x18
popq %r12
leaq 0xd856(%rip), %r14      # 0x1011b
xorl %r15d, %r15d
movq 0x10(%rbx), %rax
subq %rcx, %rax
cqto
idivq %r12
cmpq %rax, %r15
jae 0x2912
imulq $0x18, %r15, %r13
xorl %ebp, %ebp
movq (%rcx,%r13), %rax
movq 0x8(%rcx,%r13), %rdx
subq %rax, %rdx
sarq $0x2, %rdx
cmpq %rdx, %rbp
jae 0x290d
movl (%rax,%rbp,4), %edx
movq %r14, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x2030
incq %rbp
movq 0x8(%rbx), %rcx
jmp 0x28df
incq %r15
jmp 0x28c8
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: printFormula(SimpleFormula const&)
void printFormula(const SimpleFormula& formula) {
	printf("p cnf %d %lu\n", formula.vars, formula.clauses.size());
	for (size_t i = 0; i < formula.clauses.size(); i++) {
		for (size_t j = 0; j < formula.clauses[i].size(); j++) {
			printf("%d ", formula.clauses[i][j]);
		}
		printf("0\n");
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl (%rdi), %esi
movq 0x10(%rdi), %rax
subq 0x8(%rdi), %rax
pushq $0x18
popq %rcx
cqto
idivq %rcx
leaq 0xd7dd(%rip), %rdi      # 0x10125
movq %rax, %rdx
xorl %eax, %eax
callq 0x2030
leaq 0xd7da(%rip), %r14      # 0x10133
leaq 0xec16(%rip), %r15      # 0x11576
xorl %r13d, %r13d
movq 0x8(%rbx), %rcx
movq 0x10(%rbx), %rax
subq %rcx, %rax
cqto
pushq $0x18
popq %rsi
idivq %rsi
cmpq %rax, %r13
jae 0x29bb
imulq $0x18, %r13, %rbp
xorl %r12d, %r12d
movq (%rcx,%rbp), %rax
movq 0x8(%rcx,%rbp), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %rcx, %r12
jae 0x29ae
movl (%rax,%r12,4), %esi
movq %r14, %rdi
xorl %eax, %eax
callq 0x2030
incq %r12
movq 0x8(%rbx), %rcx
jmp 0x2982
movq %r15, %rdi
callq 0x2260
incq %r13
jmp 0x2963
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: recDFS(Graph const&, int, int)
int recDFS(const Graph&g, int vert, int goal) {
	//log("called dfs with %d\n", vert);
	if (vert == goal) {
		return 1;
	}
	visited[vert]=vert;
	int best = 0;
	for (size_t i = 0; i < g.neighbours[vert].size(); i++) {
		int nvert = g.neighbours[vert][i];
		if (!isVisited(nvert)) {
			int res = recDFS(g, nvert, goal);
			if (res > best) {
				best = res;
			}
		}
	}
	return best > 0 ? best+1 : 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movl %esi, 0xc(%rsp)
cmpl %edx, %esi
jne 0x2a06
pushq $0x1
popq %rax
jmp 0x2a7b
movl %edx, %ebx
movl %esi, %ebp
movq %rdi, %r14
leaq 0x1478c(%rip), %rdi     # 0x171a0
leaq 0xc(%rsp), %rsi
callq 0x2f06
movl %ebp, (%rax)
xorl %r12d, %r12d
xorl %r15d, %r15d
movslq 0xc(%rsp), %rax
movq 0x8(%r14), %rcx
imulq $0x18, %rax, %rdx
movq (%rcx,%rdx), %rax
movq 0x8(%rcx,%rdx), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %rcx, %r12
jae 0x2a6f
movl (%rax,%r12,4), %ebp
movl %ebp, %edi
callq 0x29ca
testb %al, %al
jne 0x2a6a
movq %r14, %rdi
movl %ebp, %esi
movl %ebx, %edx
callq 0x29ed
cmpl %r15d, %eax
cmovgl %eax, %r15d
incq %r12
jmp 0x2a26
leal 0x1(%r15), %ecx
xorl %eax, %eax
testl %r15d, %r15d
cmovgl %ecx, %eax
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: getLowerUpperBound(Graph const&, int, int, int&, int&)
int getLowerUpperBound(const Graph& g, int start, int goal, int& lowBound, int& upBound) {
	visited.clear();
	lowBound = recDFS(g,start,goal);
	visited[goal] = goal; // because goal is not marked visited by DFS
	upBound = visited.size();
	return lowBound;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %r8, %rbx
movq %rcx, %r14
movl %edx, %ebp
movl %esi, %r15d
movq %rdi, %r12
leaq 0x4(%rsp), %rax
movl %edx, (%rax)
leaq 0x146f1(%rip), %r13     # 0x171a0
movq %r13, %rdi
callq 0x3698
movq %r12, %rdi
movl %r15d, %esi
movl %ebp, %edx
callq 0x29ed
movl %eax, (%r14)
movq %r13, %rdi
leaq 0x4(%rsp), %rsi
callq 0x2f06
movl %ebp, (%rax)
movl 0x146ec(%rip), %eax     # 0x171c8
movl %eax, (%rbx)
movl (%r14), %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: addUniversalConditions(void*, Graph const&, int)
void addUniversalConditions(void* solver, const Graph&g, int step) {
	// at most one vertex has a particular position
	for (int v1 = 1; v1 <= g.verticesCount; v1++) {
		if (!isVisited(v1)) continue;
		for (int v2 = 1; v2 < v1; v2++) {
			if (!isVisited(v2)) continue;
			ipasir_add(solver, -mapVar(v1,step,g.verticesCount));
			ipasir_add(solver, -mapVar(v2,step,g.verticesCount));
			ipasir_add(solver, 0);
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %r15
movl %edx, 0x4(%rsp)
negl %edx
movl %edx, (%rsp)
pushq $0x1
popq %rbp
xorl %ebx, %ebx
cmpl (%r14), %ebp
jg 0x2b9d
movl %ebp, %edi
callq 0x29ca
testb %al, %al
je 0x2b97
pushq $-0x1
popq %r13
pushq $0x1
popq %rax
movl %eax, %r12d
leal (%rbx,%r12), %eax
cmpl $0x1, %eax
je 0x2b97
movl %r12d, %edi
callq 0x29ca
testb %al, %al
je 0x2b8f
movl (%r14), %esi
imull 0x4(%rsp), %esi
addl %ebp, %esi
negl %esi
movq %r15, %rdi
callq 0x373f
movl (%r14), %esi
imull (%rsp), %esi
addl %r13d, %esi
movq %r15, %rdi
callq 0x373f
movq %r15, %rdi
xorl %esi, %esi
callq 0x373f
incl %r12d
decl %r13d
jmp 0x2b4a
incl %ebp
decl %ebx
jmp 0x2b30
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/app/genipalsp/genipalsp.cpp
// Function: addTransitionalConditions(void*, Graph const&, int)
void addTransitionalConditions(void* solver, const Graph&g, int step) {
	int verts = g.verticesCount;
	for (int v1 = 1; v1 <= verts; v1++) {
		if (!isVisited(v1)) continue;
		// clauses expressing that successor of the node in a path is its neighbour
		ipasir_add(solver, -mapVar(v1,step-1,verts));
		for (size_t i = 0; i < g.neighbours[v1].size(); i++) {
			int v2 = g.neighbours[v1][i];
			ipasir_add(solver, mapVar(v2, step,verts));
		}
		ipasir_add(solver, 0);
		// the selected vertex is not used in any of the previous steps
		for (int prevStep=0; prevStep < step; prevStep++) {
			ipasir_add(solver, -mapVar(v1,step,verts));
			ipasir_add(solver, -mapVar(v1,prevStep,verts));
			ipasir_add(solver, 0);
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl (%rsi), %eax
pushq $0x1
popq %rcx
subl %edx, %ecx
imull %eax, %ecx
movl %ecx, 0x10(%rsp)
movl %eax, %r12d
imull %edx, %r12d
xorl %ecx, %ecx
testl %edx, %edx
cmovlel %ecx, %edx
movl %edx, 0x14(%rsp)
testl %eax, %eax
movl %eax, %r14d
cmovgl %eax, %ecx
movq %rdi, %r15
incl %ecx
movq %rcx, 0x20(%rsp)
pushq $0x1
popq %rdi
pushq $-0x1
popq %rax
movl %eax, 0x4(%rsp)
movq %rsi, 0x18(%rsp)
cmpq 0x20(%rsp), %rdi
je 0x2cbc
movq %rdi, 0x8(%rsp)
callq 0x29ca
testb %al, %al
je 0x2cab
movl 0x10(%rsp), %esi
movq 0x8(%rsp), %rbx
subl %ebx, %esi
movq %r15, %rdi
callq 0x373f
imulq $0x18, %rbx, %rbx
xorl %r13d, %r13d
movq 0x18(%rsp), %rbp
movq 0x8(%rbp), %rcx
movq (%rcx,%rbx), %rax
movq 0x8(%rcx,%rbx), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %rcx, %r13
jae 0x2c64
movl (%rax,%r13,4), %esi
addl %r12d, %esi
movq %r15, %rdi
callq 0x373f
incq %r13
jmp 0x2c37
movq %r15, %rdi
xorl %esi, %esi
callq 0x373f
movq 0x8(%rsp), %rax
leal (%r12,%rax), %ebp
negl %ebp
movl 0x4(%rsp), %r13d
movl 0x14(%rsp), %ebx
subl $0x1, %ebx
jb 0x2cab
movq %r15, %rdi
movl %ebp, %esi
callq 0x373f
movq %r15, %rdi
movl %r13d, %esi
callq 0x373f
movq %r15, %rdi
xorl %esi, %esi
callq 0x373f
subl %r14d, %r13d
jmp 0x2c82
movq 0x8(%rsp), %rdi
incq %rdi
decl 0x4(%rsp)
jmp 0x2bfb
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/JameyWoo[P]re2graph/algorithms.cpp
// Function: parse_range(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
string parse_range(string str) {
    /**
     * ! 范围解析的函数
     * ! 可以解析出如A-Z, a-zA-Z0-9_- 这一类范围定义的字符
     * 以字符串形式返回
     */
    if (str.size() == 1) return str;
    string range;
    for (size_t i = 0; i < str.size(); ++i) {
        if (i + 1 < str.size() and str[i + 1] == '-') {  // 识别到一个范围
            for (auto x = str[i]; x <= str[i + 2]; ++x) {
                range += x;
            }
            i += 2;
        } else {
            range += str[i];
        }
    }
    return range;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rax
cmpq $0x1, %rax
jne 0x4038
movq %rbx, %rdi
movq %r14, %rsi
callq 0x22c0
movq %rbx, %rax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x10(%rbx), %rcx
movq %rcx, (%rbx)
andq $0x0, 0x8(%rbx)
movb $0x0, 0x10(%rbx)
xorl %r15d, %r15d
cmpq %rax, %r15
jae 0x402c
leaq 0x1(%r15), %r12
movq (%r14), %rcx
cmpq %rax, %r12
jae 0x4082
cmpb $0x2d, (%rcx,%r12)
jne 0x4082
movb (%rcx,%r15), %bpl
cmpb 0x2(%rcx,%r15), %bpl
jg 0x4091
movsbl %bpl, %esi
movq %rbx, %rdi
callq 0x21c0
incb %bpl
movq (%r14), %rcx
jmp 0x4067
movsbl (%rcx,%r15), %esi
movq %rbx, %rdi
callq 0x21c0
jmp 0x4098
addq $0x3, %r15
movq %r15, %r12
movq 0x8(%r14), %rax
movq %r12, %r15
jmp 0x404b
jmp 0x40a3
movq %rax, %r14
movq %rbx, %rdi
callq 0x20d0
movq %r14, %rdi
callq 0x2370
// File: /workspace/github_cpp_makefile_star2_O2/JameyWoo[P]re2graph/algorithms.cpp
// Function: get_closure(NFA, std::vector<std::set<int, std::less<int>, std::allocator<int>>, std::allocator<std::set<int, std::less<int>, std::allocator<int>>>>&, int, std::vector<bool, std::allocator<bool>>&)
void get_closure(NFA nfa, vector<set<int>> &closures, int state, vector<bool> &visted) {
    /**
     * ! 获取nfa某状态闭包的函数. 存储在closures中
     * !  参数解释: 
     * NFA nfa: 要求闭包的nfa
     * vector<set<int>> &closures: 闭包存储的数据结构
     * int state: 当前要求闭包的状态. 由于dfa, 先求出它可以扩展的状态, 再回来求它
     * vector<bool> &visted: 回溯的标记, 先标记为true, 回溯之后标记为false
     */
    if (closures[state].size()) return;
    for (auto x : nfa.jump[state]) {                                                 // 当前状态的map集
        if (x.first == '~') {                                                        // 当边为 空 时, 可以滑动求闭包
            for (auto y : x.second) {                                                // 遍历下一状态
                if (visted[y] == false) {                                            // 当前递归路径没有被访问过
                    visted[y] = true;                                                // 标记访问
                    get_closure(nfa, closures, y, visted);                           // 递归得到下一状态闭包
                    closures[state].insert(closures[y].begin(), closures[y].end());  // 更新当前状态闭包
                    visted[y] = false;                                               // 撤销标记
                }
            }
        }
    }
    closures[state].insert(state);  // ! ...插入自己......
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rcx, %r15
movl %edx, 0xc(%rsp)
movslq %edx, %rax
movq (%rsi), %rcx
imulq $0x30, %rax, %rax
cmpq $0x0, 0x28(%rcx,%rax)
jne 0x59b2
movq %rsi, %r14
movq %rdi, 0x20(%rsp)
movq 0x58(%rdi), %rcx
addq %rcx, %rax
addq $0x8, %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rax), %rax
leaq 0x48(%rsp), %rbx
cmpq 0x10(%rsp), %rax
je 0x599e
movq %rax, 0x18(%rsp)
leaq 0x20(%rax), %rsi
leaq 0x28(%rsp), %rdi
callq 0x3698
cmpb $0x7e, 0x28(%rsp)
jne 0x5985
movq 0x30(%rsp), %rbp
movq 0x38(%rsp), %r12
cmpq %r12, %rbp
je 0x5985
movslq (%rbp), %r13
movq %r15, %rdi
movq %r13, %rsi
callq 0x8da0
testq %rdx, (%rax)
jne 0x597c
movq %r15, %rdi
movq %r13, %rsi
callq 0x8da0
orq %rdx, (%rax)
movq %rbx, %rdi
movq 0x20(%rsp), %rsi
callq 0x2fac
movq %rbx, %rdi
movq %r14, %rsi
movl %r13d, %edx
movq %r15, %rcx
callq 0x5874
movq %rbx, %rdi
callq 0x303e
movslq 0xc(%rsp), %rax
movq (%r14), %rcx
imulq $0x30, %rax, %rdi
addq %rcx, %rdi
imulq $0x30, %r13, %rax
leaq (%rcx,%rax), %rdx
addq $0x8, %rdx
movq 0x10(%rdx), %rsi
callq 0xb832
movq %r15, %rdi
movq %r13, %rsi
callq 0x8da0
notq %rdx
andq %rdx, (%rax)
addq $0x4, %rbp
jmp 0x58f6
leaq 0x30(%rsp), %rdi
callq 0x329e
movq 0x18(%rsp), %rdi
callq 0x2170
jmp 0x58c3
leaq 0xc(%rsp), %rsi
movslq (%rsi), %rax
imulq $0x30, %rax, %rdi
addq (%r14), %rdi
callq 0xba30
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x303e
jmp 0x59dc
jmp 0x59d9
jmp 0x59d9
jmp 0x59d9
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x329e
movq %rbx, %rdi
callq 0x2370
// File: /workspace/github_cpp_makefile_star2_O2/JameyWoo[P]re2graph/algorithms.cpp
// Function: dfaPattern(DFA, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
bool dfaPattern(DFA dfa, string pattern) {
    /**
     * 模式匹配函数, 以bool形式返回匹配的结果
     * 直接遍历pattern然后跳转状态, 同时保存所有到达接受状态的模式串就好了
     */
    int state = 0;
    for (auto c : pattern) {  // 遍历待匹配的字符
        char real = c;
        if (count(dfa.chars.begin(), dfa.chars.end(), c) == 0) {  // ! 如果字符在chars没找到, 那么当作OTHER来处理
            c = OTHER;
            if (count(dfa.chars.begin(), dfa.chars.end(), c) == 0) {  // ! 如果dfa本身没有处理OTHER的功能, 那么退出并返回之前的匹配
                cout << "error char: " << real << " !" << endl;
                return false;
            }
        }

        if (dfa.jump_map[state].count(c)) {  // 查看输入字符是否支持当前状态
            state = dfa.jump_map[state][c];
        } else {
            return false;
        }
        if (state == ERROR) return false;  // 超过的最长长度, 可以舍去了
    }
    if (count(dfa.end_states.begin(), dfa.end_states.end(), state)) {  // 查询是否到达接受状态
        return true;
    }
    return false;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
andl $0x0, 0xc(%rsp)
movq (%rsi), %rax
movq %rax, 0x10(%rsp)
movq 0x8(%rsi), %r13
xorl %ebp, %ebp
leaq 0xb(%rsp), %r14
xorl %r15d, %r15d
cmpq %rbp, %r13
je 0x6411
movq 0x10(%rsp), %rax
movb (%rax,%rbp), %r12b
movb %r12b, 0xb(%rsp)
movq 0x10(%rbx), %rdi
movq 0x18(%rbx), %rsi
movq %r14, %rdx
callq 0xd23e
testq %rax, %rax
jne 0x63d4
movb $0x5e, 0xb(%rsp)
movq 0x10(%rbx), %rdi
movq 0x18(%rbx), %rsi
movq %r14, %rdx
callq 0xd23e
testq %rax, %rax
je 0x642b
movslq %r15d, %rax
imulq $0x30, %rax, %r15
movq 0x58(%rbx), %rdi
addq %r15, %rdi
movq %r14, %rsi
callq 0x91da
testq %rax, %rax
je 0x6461
addq 0x58(%rbx), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x8f5a
movl (%rax), %r15d
movl %r15d, 0xc(%rsp)
incq %rbp
cmpl $-0x1, %r15d
jne 0x6392
jmp 0x6461
movq 0x40(%rbx), %rdi
movq 0x48(%rbx), %rsi
leaq 0xc(%rsp), %rdx
callq 0xcd59
testq %rax, %rax
setne %al
jmp 0x6463
movq 0x10b9e(%rip), %rdi     # 0x16fd0
leaq 0x8d77(%rip), %rsi      # 0xf1b0
callq 0x21f0
movsbl %r12b, %esi
movq %rax, %rdi
callq 0x2270
leaq 0x8d6c(%rip), %rsi      # 0xf1bd
movq %rax, %rdi
callq 0x21f0
movq %rax, %rdi
callq 0x20f0
xorl %eax, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/JameyWoo[P]re2graph/algorithms.cpp
// Function: nfa2png(NFA, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void nfa2png(NFA nfa, string png_file, string pattern) {
    string raw_png_file = png_file;
    string dot_file     = "./tmp/" + png_file.replace(png_file.find(".png"), 4, ".dot");
    nfa2dot(nfa, dot_file);
    string his_pat = "dot";
    string cmd     = his_pat + " -Tpng " + dot_file + " -o ./image/{test.png}";
    if (pattern.size()) cmd.replace(cmd.find(his_pat), his_pat.size(), pattern);
    cmd.replace(cmd.find("{test.png}"), 10, raw_png_file);
    // cout << "nfa cmd: " << cmd << endl;
    system(cmd.c_str());
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x150, %rsp            # imm = 0x150
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
leaq 0xc0(%rsp), %rdi
callq 0x22d0
leaq 0x8cb6(%rip), %rsi      # 0xf151
movq %r15, %rdi
xorl %edx, %edx
callq 0x23c0
leaq 0x8d1b(%rip), %rcx      # 0xf1c7
pushq $0x4
popq %rdx
movq %r15, %rdi
movq %rax, %rsi
callq 0x2130
leaq 0x8cff(%rip), %rsi      # 0xf1c0
leaq 0x40(%rsp), %rdi
movq %rax, %rdx
callq 0x92fb
leaq 0xe0(%rsp), %rdi
movq %r14, %rsi
callq 0x2fac
leaq 0xa0(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x22d0
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x66aa
leaq 0xa0(%rsp), %rdi
callq 0x20d0
leaq 0xe0(%rsp), %rdi
callq 0x303e
leaq 0x9107(%rip), %rsi      # 0xf62d
leaq 0x20(%rsp), %rdi
movq %rsp, %rdx
callq 0x2f70
leaq 0x8c92(%rip), %rdx      # 0xf1cc
leaq 0x60(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x93af
leaq 0x80(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x40(%rsp), %rdx
callq 0x9390
leaq 0x8c6d(%rip), %rdx      # 0xf1d4
movq %rsp, %rdi
leaq 0x80(%rsp), %rsi
callq 0x9371
leaq 0x80(%rsp), %rdi
callq 0x20d0
leaq 0x60(%rsp), %rdi
callq 0x20d0
cmpq $0x0, 0x8(%rbx)
je 0x65bc
movq %rsp, %r14
leaq 0x20(%rsp), %r15
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x23d0
movq 0x8(%r15), %rdx
movq %r14, %rdi
movq %rax, %rsi
movq %rbx, %rcx
callq 0x20a0
leaq 0x8c1d(%rip), %rsi      # 0xf1e0
movq %rsp, %rbx
movq %rbx, %rdi
xorl %edx, %edx
callq 0x23c0
pushq $0xa
popq %rdx
leaq 0xc0(%rsp), %rcx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20a0
movq (%rsp), %rdi
callq 0x21b0
movq %rsp, %rdi
callq 0x20d0
leaq 0x20(%rsp), %rdi
callq 0x20d0
leaq 0x40(%rsp), %rdi
callq 0x20d0
leaq 0xc0(%rsp), %rdi
callq 0x20d0
addq $0x150, %rsp            # imm = 0x150
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x20d0
jmp 0x663a
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
jmp 0x667c
movq %rax, %rbx
jmp 0x6681
jmp 0x666c
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
callq 0x20d0
jmp 0x665d
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x303e
jmp 0x668b
movq %rax, %rbx
jmp 0x668b
movq %rax, %rbx
jmp 0x6695
movq %rax, %rbx
movq %rsp, %rdi
callq 0x20d0
leaq 0x20(%rsp), %rdi
callq 0x20d0
leaq 0x40(%rsp), %rdi
callq 0x20d0
leaq 0xc0(%rsp), %rdi
callq 0x20d0
movq %rbx, %rdi
callq 0x2370
// File: /workspace/github_cpp_makefile_star2_O2/JameyWoo[P]re2graph/algorithms.cpp
// Function: dfa2png(DFA, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void dfa2png(DFA dfa, string png_file, string pattern) {
    string raw_png_file = png_file;
    string dot_file     = "./tmp/" + png_file.replace(png_file.find(".png"), 4, ".dot");
    dfa2dot(dfa, dot_file);
    string his_pat = "dot";
    string cmd     = his_pat + " -Tpng " + dot_file + " -o ./image/{test.png}";
    if (pattern.size()) cmd.replace(cmd.find(his_pat), his_pat.size(), pattern);
    cmd.replace(cmd.find("{test.png}"), 10, raw_png_file);
    system(cmd.c_str());
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x150, %rsp            # imm = 0x150
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
leaq 0xc0(%rsp), %rdi
callq 0x22d0
leaq 0x830d(%rip), %rsi      # 0xf151
movq %r15, %rdi
xorl %edx, %edx
callq 0x23c0
leaq 0x8372(%rip), %rcx      # 0xf1c7
pushq $0x4
popq %rdx
movq %r15, %rdi
movq %rax, %rsi
callq 0x2130
leaq 0x8356(%rip), %rsi      # 0xf1c0
leaq 0x40(%rsp), %rdi
movq %rax, %rdx
callq 0x92fb
leaq 0xe0(%rsp), %rdi
movq %r14, %rsi
callq 0x306a
leaq 0xa0(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x22d0
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x7053
leaq 0xa0(%rsp), %rdi
callq 0x20d0
leaq 0xe0(%rsp), %rdi
callq 0x30fc
leaq 0x875e(%rip), %rsi      # 0xf62d
leaq 0x20(%rsp), %rdi
movq %rsp, %rdx
callq 0x2f70
leaq 0x82e9(%rip), %rdx      # 0xf1cc
leaq 0x60(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x93af
leaq 0x80(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x40(%rsp), %rdx
callq 0x9390
leaq 0x82c4(%rip), %rdx      # 0xf1d4
movq %rsp, %rdi
leaq 0x80(%rsp), %rsi
callq 0x9371
leaq 0x80(%rsp), %rdi
callq 0x20d0
leaq 0x60(%rsp), %rdi
callq 0x20d0
cmpq $0x0, 0x8(%rbx)
je 0x6f65
movq %rsp, %r14
leaq 0x20(%rsp), %r15
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x23d0
movq 0x8(%r15), %rdx
movq %r14, %rdi
movq %rax, %rsi
movq %rbx, %rcx
callq 0x20a0
leaq 0x8274(%rip), %rsi      # 0xf1e0
movq %rsp, %rbx
movq %rbx, %rdi
xorl %edx, %edx
callq 0x23c0
pushq $0xa
popq %rdx
leaq 0xc0(%rsp), %rcx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20a0
movq (%rsp), %rdi
callq 0x21b0
movq %rsp, %rdi
callq 0x20d0
leaq 0x20(%rsp), %rdi
callq 0x20d0
leaq 0x40(%rsp), %rdi
callq 0x20d0
leaq 0xc0(%rsp), %rdi
callq 0x20d0
addq $0x150, %rsp            # imm = 0x150
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x20d0
jmp 0x6fe3
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
jmp 0x7025
movq %rax, %rbx
jmp 0x702a
jmp 0x7015
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
callq 0x20d0
jmp 0x7006
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x30fc
jmp 0x7034
movq %rax, %rbx
jmp 0x7034
movq %rax, %rbx
jmp 0x703e
movq %rax, %rbx
movq %rsp, %rdi
callq 0x20d0
leaq 0x20(%rsp), %rdi
callq 0x20d0
leaq 0x40(%rsp), %rdi
callq 0x20d0
leaq 0xc0(%rsp), %rdi
callq 0x20d0
movq %rbx, %rdi
callq 0x2370
// File: /workspace/github_cpp_makefile_star2_O2/6851-2021[P]Cache-Oblivious-Data-Structures/static_search_trees/perf_co_sst.cpp
// Function: test(int, int)
void test(int n, int Q) {
    co_static_search_tree tree(n);

    for (int i = 0; i < n; ++i) {
        tree.update(i, i);
    }

    for (int query = 0; query < Q; ++query)
    {   
        if (query % rand_reset_const == 0) {
            srand(query / rand_reset_const);
        }
        int type = rand() % 2;
        int index = rand() % n;
        if(type == 0) {
            tree.update(index, index);
        } else {
            if(tree.get(index) != index) {
                cout << "Fail: expected value " << index << " at index " << index << endl;
                return;
            }
        }
    }
    cout << "test(" << n << ", " << Q << "): OK" << endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
movl %esi, 0x4(%rsp)
movl %edi, %ebp
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movl %ebp, %esi
callq 0x132c
xorl %r15d, %r15d
testl %ebp, %ebp
movl $0x0, %ebx
cmovgl %ebp, %ebx
cmpl %r15d, %ebx
je 0x2797
movq %r14, %rdi
movl %r15d, %esi
movl %r15d, %edx
callq 0x153e
incl %r15d
jmp 0x277f
xorl %r14d, %r14d
movl 0x4(%rsp), %eax
testl %eax, %eax
movl $0x0, %ebx
cmovgl %eax, %ebx
movl $0x2710, %r15d          # imm = 0x2710
movl %r14d, %eax
xorl %edx, %edx
divl %r15d
cmpl %r14d, %ebx
je 0x2817
imull $0x2710, %eax, %ecx     # imm = 0x2710
movl %r14d, %eax
xorl %edx, %edx
divl %r15d
cmpl %r14d, %ecx
jne 0x27d5
movl %eax, %edi
callq 0x10f0
callq 0x1050
movl %eax, %r13d
callq 0x1050
cltd
idivl %ebp
movl %edx, %r12d
testb $0x1, %r13b
jne 0x2800
leaq 0x8(%rsp), %rdi
movl %r12d, %esi
movl %r12d, %edx
callq 0x153e
jmp 0x2812
leaq 0x8(%rsp), %rdi
movl %r12d, %esi
callq 0x16aa
cmpl %r12d, %eax
jne 0x2868
incl %r14d
jmp 0x27ae
movq 0x37b2(%rip), %rdi      # 0x5fd0
leaq 0x965(%rip), %rsi       # 0x318a
callq 0x1100
movq %rax, %rdi
movl %ebp, %esi
callq 0x11b0
leaq 0x955(%rip), %rsi       # 0x3190
movq %rax, %rdi
callq 0x1100
movq %rax, %rdi
movl 0x4(%rsp), %esi
callq 0x11b0
leaq 0x93d(%rip), %rsi       # 0x3193
movq %rax, %rdi
callq 0x1100
movq %rax, %rdi
callq 0x1090
jmp 0x28a8
movq 0x3761(%rip), %rdi      # 0x5fd0
leaq 0x8f3(%rip), %rsi       # 0x3169
callq 0x1100
movq %rax, %rdi
movl %r12d, %esi
callq 0x11b0
leaq 0x8f2(%rip), %rsi       # 0x317f
movq %rax, %rdi
callq 0x1100
movq %rax, %rdi
movl %r12d, %esi
callq 0x11b0
movq %rax, %rdi
callq 0x1090
leaq 0x8(%rsp), %rdi
callq 0x13a4
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x28ca
jmp 0x28ca
jmp 0x28ca
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x13a4
movq %rbx, %rdi
callq 0x11c0
// File: /workspace/github_cpp_makefile_star2_O2/6851-2021[P]Cache-Oblivious-Data-Structures/static_search_trees/perf_co_sst.cpp
// Function: main
int main(){
    // I think it's better to first let the user specify the inputs,
    // then make 10 independent runs on the same inputs n and Q, and
    // measure the runtime of each separately. We need an average of
    // runtimes, not the total runtime - maybe I'm wrong about this?
    srand(10);
    chrono::steady_clock::time_point begin = chrono::steady_clock::now();
    int n, Q;
    cin >> n >> Q;
    test(n, Q);
    chrono::steady_clock::time_point end = chrono::steady_clock::now();
    cout << "Time difference = " << chrono::duration_cast<chrono::microseconds>(end - begin).count() << "[µs]" << std::endl;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
pushq $0xa
popq %rdi
callq 0x10f0
callq 0x1150
movq %rax, %rbx
movq 0x36e1(%rip), %rdi      # 0x5fe0
leaq 0xc(%rsp), %r14
movq %r14, %rsi
callq 0x10a0
leaq 0x8(%rsp), %r15
movq %rax, %rdi
movq %r15, %rsi
callq 0x10a0
movl (%r14), %edi
movl (%r15), %esi
callq 0x274c
callq 0x1150
movq %rax, %r14
movq 0x369a(%rip), %rdi      # 0x5fd0
leaq 0x85c(%rip), %rsi       # 0x3199
callq 0x1100
movq %rax, %rdi
subq %rbx, %r14
movl $0x3e8, %ecx            # imm = 0x3E8
movq %r14, %rax
cqto
idivq %rcx
movq %rax, %rsi
callq 0x10e0
leaq 0x848(%rip), %rsi       # 0x31ac
movq %rax, %rdi
callq 0x1100
movq %rax, %rdi
callq 0x1090
xorl %eax, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/brianbbsu[P]TCP-Ping/src/server.cpp
// Function: sigint_handler(int)
void sigint_handler(int sig)
{
    logger::log_error("\nShuting down server ...");
    shutdown(server_socket_fd, SHUT_RDWR);
    close(server_socket_fd);
    exit(0);
}

// Assembly:
pushq %rbx
subq $0x30, %rsp
leaq 0x46eb(%rip), %rsi      # 0xa043
leaq 0x10(%rsp), %rbx
leaq 0xf(%rsp), %rdx
movq %rbx, %rdi
callq 0x622c
pushq $-0x1
popq %rsi
movq %rbx, %rdi
callq 0x98ca
leaq 0x10(%rsp), %rdi
callq 0x55a8
movl 0xaa5b(%rip), %edi      # 0x103e0
pushq $0x2
popq %rsi
callq 0x53b0
movl 0xaa4d(%rip), %edi      # 0x103e0
callq 0x5570
xorl %edi, %edi
callq 0x5330
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x55a8
movq %rbx, %rdi
callq 0x54d0
// File: /workspace/github_cpp_makefile_star2_O2/brianbbsu[P]TCP-Ping/src/server.cpp
// Function: print_help(boost::program_options::options_description)
void print_help(po::options_description desc){
    std::cout<<"Usage: ./server [--help] port\n\n";
    std::cout<<"TCP Ping - Server - Made by Po-Hsuan Su (b08902107)\n\n";
    std::cout<<"Positional Argument\n  port - Port to listen on\n\n";
    std::cout<<"Optional Arguments\n";
    std::cout<<desc<<std::endl;
    exit(0);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0xa3a9(%rip), %r14      # 0xffc8
leaq 0x44a8(%rip), %rsi      # 0xa0ce
movq %r14, %rdi
callq 0x5280
leaq 0x44b9(%rip), %rsi      # 0xa0ee
movq %r14, %rdi
callq 0x5280
leaq 0x44e0(%rip), %rsi      # 0xa124
movq %r14, %rdi
callq 0x5280
leaq 0x4502(%rip), %rsi      # 0xa155
movq %r14, %rdi
callq 0x5280
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5080
movq %rax, %rdi
callq 0x5140
xorl %edi, %edi
callq 0x5330
// File: /workspace/github_cpp_makefile_star2_O2/NFAcz[P]compareQC/main.cpp
// Function: split(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, char)
std::vector<std::string> split(const std::string& s, char delimiter)
{
  std::vector<std::string> tokens;
  std::string token;
  std::istringstream tokenStream(s);

  while (std::getline(tokenStream, token, delimiter))
  {
    tokens.push_back(token);
  }

  return tokens;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x1a0, %rsp            # imm = 0x1A0
movl %edx, %r14d
movq %rdi, %rbx
andq $0x0, 0x10(%rdi)
xorps %xmm0, %xmm0
movups %xmm0, (%rdi)
leaq -0x30(%rbp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq -0x1c0(%rbp), %rdi
pushq $0x8
popq %rdx
callq 0x6430
movsbl %r14b, %r14d
leaq -0x1c0(%rbp), %r15
leaq -0x40(%rbp), %r12
movq %r15, %rdi
movq %r12, %rsi
movl %r14d, %edx
callq 0x64c0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x67fb
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7ab4
jmp 0x67d2
leaq -0x1c0(%rbp), %rdi
callq 0x6130
leaq -0x40(%rbp), %rdi
callq 0x6508
movq %rbx, %rax
addq $0x1a0, %rsp            # imm = 0x1A0
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
jmp 0x6837
movq %rax, %r14
leaq -0x1c0(%rbp), %rdi
callq 0x6130
leaq -0x40(%rbp), %rdi
callq 0x6508
movq %rbx, %rdi
callq 0x7af0
movq %r14, %rdi
callq 0x6470
// File: /workspace/github_cpp_makefile_star2_O2/NFAcz[P]compareQC/main.cpp
// Function: loadFromTxt(char const*, int)
std::vector<float> loadFromTxt(const char *filename, const int jump){

    std:ifstream instream(filename);
    float Y;
    std::string line;
    std::vector<float> tmp;
    int counter = 0;
    int frms = 0;
    while(std::getline(instream, line)){
      if(counter%3==0){
        if(frms%jump==0){
        Y = float(strtof(line.c_str(),NULL));
        tmp.push_back(Y);
        }
        frms++;
      }
      counter++;
    }
    instream.close();

    FPS = 25.0;

    return tmp;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
movl %edx, -0x34(%rbp)
movq %rdi, %rbx
leaq -0x260(%rbp), %rdi
pushq $0x8
popq %rdx
callq 0x64b0
leaq -0x48(%rbp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb $0x0, (%rax)
andq $0x0, 0x10(%rbx)
xorps %xmm0, %xmm0
movq %rbx, -0x30(%rbp)
movups %xmm0, (%rbx)
xorl %r15d, %r15d
leaq -0x58(%rbp), %r12
xorl %r13d, %r13d
xorl %ebx, %ebx
movl %ebx, %eax
xorl %edx, %edx
pushq $0x3
popq %rcx
divl %ecx
movl %eax, %r14d
leaq -0x260(%rbp), %rdi
movq %r12, %rsi
callq 0x6050
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x6908
leal (%r14,%r14,2), %eax
addl %r15d, %eax
jne 0x6901
movl %r13d, %eax
cltd
idivl -0x34(%rbp)
testl %edx, %edx
jne 0x68fe
movq -0x58(%rbp), %rdi
xorl %esi, %esi
callq 0x6340
movss %xmm0, -0x38(%rbp)
movq -0x30(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x7b1c
incl %r13d
incl %ebx
decl %r15d
jmp 0x68a4
leaq -0x260(%rbp), %rdi
callq 0x6060
movl $0x41c80000, 0xf972(%rip) # imm = 0x41C80000
leaq -0x58(%rbp), %rdi
callq 0x6508
leaq -0x260(%rbp), %rdi
callq 0x6080
movq -0x30(%rbp), %rax
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x694b
movq %rax, %rbx
movq -0x30(%rbp), %rdi
callq 0x81f2
leaq -0x58(%rbp), %rdi
callq 0x6508
leaq -0x260(%rbp), %rdi
callq 0x6080
movq %rbx, %rdi
callq 0x6470
// File: /workspace/github_cpp_makefile_star2_O2/yueww[P]TSR/yyThreadPool.c
// Function: threadpool_init
threadpool_t *threadpool_init(int threadNum,int queueMaxLen){
    threadpool_t *pThreadPool=(threadpool_t *)malloc(sizeof(threadpool_t));
    if(pThreadPool==NULL) return NULL;
    (pThreadPool->tasks).front=NULL;
    (pThreadPool->tasks).rear=NULL;
    pthread_mutex_init(&((pThreadPool->tasks).qmutex),NULL);
    pthread_cond_init(&((pThreadPool->tasks).not_full),NULL);
    (pThreadPool->tasks).max_len=queueMaxLen;
    (pThreadPool->tasks).qlen=0;
    (pThreadPool->tasks).has_tasks=(bsem *)malloc(sizeof(bsem));
    if((pThreadPool->tasks).has_tasks==NULL) return NULL;
    if(bsem_init((pThreadPool->tasks).has_tasks,0)!=0) return NULL;
    pThreadPool->work_threads=(pthread_t *)malloc(threadNum*sizeof(pthread_t));
    pThreadPool->num_alive_threads=threadNum;
    pThreadPool->num_running_threads=0;
    pthread_mutex_init(&(pThreadPool->tmutex),NULL);
    pthread_cond_init(&(pThreadPool->has_idle),NULL);
    keepAlive=1;
    for(int i=0;i<threadNum;i++){
        pthread_create(&((pThreadPool->work_threads)[i]),0,thread_work,(void *)pThreadPool);
    }
    return pThreadPool;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl %esi, %r12d
movl %edi, %r15d
movl $0xe0, %edi
callq 0x2370
testq %rax, %rax
je 0x2770
movq %rax, %rbx
leaq 0x10(%rax), %rdi
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
xorl %r14d, %r14d
xorl %esi, %esi
callq 0x2400
leaq 0x38(%rbx), %rdi
xorl %esi, %esi
callq 0x2350
movl %r12d, 0x68(%rbx)
andl $0x0, 0x6c(%rbx)
pushq $0x60
popq %rdi
callq 0x2370
movq %rax, 0x70(%rbx)
testq %rax, %rax
je 0x2778
xorl %r14d, %r14d
movq %rax, %rdi
xorl %esi, %esi
callq 0x2784
testl %eax, %eax
jne 0x2778
movslq %r15d, %r12
leaq (,%r12,8), %rdi
callq 0x2370
movq %rax, 0x78(%rbx)
movl %r12d, 0x80(%rbx)
andl $0x0, 0x84(%rbx)
leaq 0x88(%rbx), %rdi
xorl %esi, %esi
callq 0x2400
movq %rbx, %rdi
addq $0xb0, %rdi
xorl %esi, %esi
callq 0x2350
movl $0x1, 0x6b55(%rip)      # 0x9294
testl %r12d, %r12d
cmovlel %r14d, %r12d
shlq $0x3, %r12
leaq 0x71(%rip), %r15        # 0x27c2
cmpq %r14, %r12
je 0x2775
movq 0x78(%rbx), %rdi
addq %r14, %rdi
xorl %esi, %esi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x24d0
addq $0x8, %r14
jmp 0x2751
xorl %r14d, %r14d
jmp 0x2778
movq %rbx, %r14
movq %r14, %rax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/yueww[P]TSR/yyThreadPool.c
// Function: bsem_init(bsem*, int)
int bsem_init(bsem *pBsem,int sem){
    if(sem<0||sem>1){
        printf("the binary sem only can be 1 or 0!\n");
        return -1;
    }
    pthread_mutex_init(&(pBsem->mut),NULL);
    pthread_cond_init(&(pBsem->con),NULL);
    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
cmpl $0x2, %esi
jb 0x27a1
leaq 0x3889(%rip), %rdi      # 0x6020
callq 0x2450
pushq $-0x1
popq %rbx
jmp 0x27bb
movq %rdi, %r14
xorl %ebx, %ebx
xorl %esi, %esi
callq 0x2400
addq $0x28, %r14
movq %r14, %rdi
xorl %esi, %esi
callq 0x2350
movl %ebx, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/yueww[P]TSR/yyThreadPool.c
// Function: thread_work(void*)
void *thread_work(void *args){
    pthread_detach(pthread_self());
    threadpool_t *pThreadPool=(threadpool_t *)args;
    while(keepAlive){
        bsem_wait((pThreadPool->tasks).has_tasks);
        if(keepAlive){
            pthread_mutex_lock(&(pThreadPool->tmutex));
            pThreadPool->num_running_threads++;
            pthread_mutex_unlock(&(pThreadPool->tmutex));
            task *t;
            pthread_mutex_lock(&((pThreadPool->tasks).qmutex));
            if((pThreadPool->tasks).qlen==0){
                pthread_mutex_unlock(&((pThreadPool->tasks).qmutex));
                continue;
            }else if((pThreadPool->tasks).qlen==1){
                t=(pThreadPool->tasks).front;
                (pThreadPool->tasks).front=NULL;
                (pThreadPool->tasks).rear=NULL;
            }else{
                t=(pThreadPool->tasks).front;
                (pThreadPool->tasks).front=((pThreadPool->tasks).front)->next;
                bsem_post((pThreadPool->tasks).has_tasks);
            }
            (pThreadPool->tasks).qlen--;
            if((pThreadPool->tasks).qlen==((pThreadPool->tasks).max_len-1)){
                pthread_cond_signal(&((pThreadPool->tasks).not_full));
            }
            pthread_mutex_unlock(&((pThreadPool->tasks).qmutex));
            void *(*func)(void *)=t->func;
            func(t->args);
            free(t);
            pthread_mutex_lock(&(pThreadPool->tmutex));
            pThreadPool->num_running_threads--;
#ifdef LIMITTASK
            pthread_cond_signal(&(pThreadPool->has_idle));
#endif
            pthread_mutex_unlock(&(pThreadPool->tmutex));
        }
    }
    pthread_mutex_lock(&(pThreadPool->tmutex));
    pThreadPool->num_alive_threads--;
    pthread_mutex_unlock(&(pThreadPool->tmutex));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x2280
movq %rax, %rdi
callq 0x21a0
leaq 0x88(%rbx), %r14
leaq 0x10(%rbx), %r15
leaq 0x38(%rbx), %r12
cmpl $0x0, 0x6a9e(%rip)      # 0x9294
je 0x28a5
movq 0x70(%rbx), %rdi
callq 0x28bb
cmpl $0x0, 0x6a88(%rip)      # 0x9294
je 0x27ef
movq %r14, %rdi
callq 0x23f0
incl 0x84(%rbx)
movq %r14, %rdi
callq 0x21f0
movq %r15, %rdi
callq 0x23f0
movl 0x6c(%rbx), %eax
movq %r15, %rdi
testl %eax, %eax
je 0x289b
cmpl $0x1, %eax
jne 0x2849
movq (%rbx), %r13
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
pushq $0x1
popq %rax
jmp 0x285f
movq (%rbx), %r13
movq 0x70(%rbx), %rdi
movq 0x10(%r13), %rax
movq %rax, (%rbx)
callq 0x28f1
movl 0x6c(%rbx), %eax
leal -0x1(%rax), %ecx
movl %ecx, 0x6c(%rbx)
cmpl 0x68(%rbx), %eax
jne 0x2872
movq %r12, %rdi
callq 0x2030
movq %r15, %rdi
callq 0x21f0
movq 0x8(%r13), %rdi
callq *(%r13)
movq %r13, %rdi
callq 0x2340
movq %r14, %rdi
callq 0x23f0
decl 0x84(%rbx)
movq %r14, %rdi
callq 0x21f0
jmp 0x27ef
movq %r14, %rdi
callq 0x23f0
decl 0x80(%rbx)
movq %r14, %rdi
callq 0x21f0
// File: /workspace/github_cpp_makefile_star2_O2/yueww[P]TSR/yyThreadPool.c
// Function: bsem_wait(bsem*)
void bsem_wait(bsem *pBsem){
    pthread_mutex_lock(&(pBsem->mut));
    while(pBsem->sem==0) pthread_cond_wait(&(pBsem->con),&(pBsem->mut));
    pBsem->sem=0;
    pthread_mutex_unlock(&(pBsem->mut));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
callq 0x23f0
leaq 0x28(%rbx), %r14
cmpl $0x0, 0x58(%rbx)
jne 0x28e1
movq %r14, %rdi
movq %rbx, %rsi
callq 0x2430
jmp 0x28ce
andl $0x0, 0x58(%rbx)
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x21f0