LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/riyadparvez[P]louvain-method/graph.cpp
// Function: Graph::clean(int)
void
Graph::clean(int type) {
  for (unsigned int i=0 ; i<links.size() ; i++) {
    map<int, float> m;
    map<int, float>::iterator it;

    for (unsigned int j=0 ; j<links[i].size() ; j++) {
      it = m.find(links[i][j].first);
      if (it==m.end())
	m.insert(make_pair(links[i][j].first, links[i][j].second));
      else if (type==WEIGHTED)
      	it->second+=links[i][j].second;
    }
    
    vector<pair<int,float> > v;
    for (it = m.begin() ; it!=m.end() ; it++)
      v.push_back(*it);
    links[i].clear();
    links[i]=v;
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movl %esi, 0xc(%rsp)
movq (%rdi), %rax
cmpq %rax, 0x8(%rdi)
je 0x2b72
movq %rdi, %r14
leaq 0x40(%rsp), %rbx
leaq 0x10(%rsp), %r15
leaq 0x38(%rsp), %r12
xorl %ecx, %ecx
xorl %r13d, %r13d
movq %r13, 0x30(%rsp)
movl $0x0, 0x40(%rsp)
xorl %edx, %edx
movq %rdx, 0x48(%rsp)
movq %rbx, 0x50(%rsp)
movq %rbx, 0x58(%rsp)
movq %rdx, 0x60(%rsp)
leaq (%rcx,%rcx,2), %r13
movq (%rax,%r13,8), %rcx
cmpq %rcx, 0x8(%rax,%r13,8)
je 0x2af9
xorl %ebp, %ebp
movq 0x48(%rsp), %r10
testq %r10, %r10
je 0x2a61
movl (%rcx,%rbp,8), %esi
movq %rbx, %rdx
movq %rdx, %rdi
movq %r10, %r8
movl 0x20(%r10), %r9d
xorl %r10d, %r10d
cmpl %esi, %r9d
setl %r10b
movq %r8, %rdx
cmovlq %rdi, %rdx
movq 0x10(%r8,%r10,8), %r10
testq %r10, %r10
jne 0x2a2a
cmpq %rbx, %rdx
je 0x2a61
cmpl %esi, %r9d
cmovlq %rdi, %r8
cmpl 0x20(%r8), %esi
jge 0x2a91
movq (%rcx,%rbp,8), %rax
movq %rax, 0x10(%rsp)
movq %r12, %rdi
movq %r15, %rsi
callq 0x41f8
movq (%r14), %rax
incl %ebp
movq (%rax,%r13,8), %rcx
movq 0x8(%rax,%r13,8), %rdx
subq %rcx, %rdx
sarq $0x3, %rdx
cmpq %rbp, %rdx
ja 0x2a1a
jmp 0x2aaa
cmpl $0x0, 0xc(%rsp)
jne 0x2a78
movss 0x4(%rcx,%rbp,8), %xmm0
addss 0x24(%rdx), %xmm0
movss %xmm0, 0x24(%rdx)
jmp 0x2a78
movq 0x50(%rsp), %rbp
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
cmpq %rbx, %rbp
je 0x2b0a
movl 0x20(%rbp), %eax
movl %eax, 0x28(%rsp)
movss 0x24(%rbp), %xmm0
movss %xmm0, 0x2c(%rsp)
movq %r15, %rdi
leaq 0x28(%rsp), %rsi
callq 0x36fa
movq %rbp, %rdi
callq 0x2130
movq %rax, %rbp
cmpq %rbx, %rax
jne 0x2ac5
movq (%r14), %rax
jmp 0x2b0a
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
leaq (%rax,%r13,8), %rdi
movq (%rdi), %rax
cmpq %rax, 0x8(%rdi)
je 0x2b1b
movq %rax, 0x8(%rdi)
movq %r15, %rsi
callq 0x32a8
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
movq 0x30(%rsp), %r13
je 0x2b3f
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x21a0
movq %r12, %rdi
callq 0x34ae
incl %r13d
movq (%r14), %rax
movq 0x8(%r14), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rdx
movq %r13, %rcx
cmpq %r13, %rdx
ja 0x29e2
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2b83
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2ba2
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x21a0
jmp 0x2ba2
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x34ae
movq %rbx, %rdi
callq 0x22b0
// File: /workspace/github_cpp_makefile_star2_O3/riyadparvez[P]louvain-method/graph.cpp
// Function: Graph::display(int)
void
Graph::display(int type) {
  for (unsigned int i=0 ; i<links.size() ; i++) {
    for (unsigned int j=0 ; j<links[i].size() ; j++) {
      int dest   = links[i][j].first;
      float weight = links[i][j].second;
      if (type==WEIGHTED)
	cout << i << " " << dest << " " << weight << endl;
      else
	cout << i << " " << dest << endl;
    }
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %esi, 0x4(%rsp)
movq (%rdi), %rax
movq 0x8(%rdi), %rcx
cmpq %rax, %rcx
je 0x2d1d
movq %rdi, %r14
xorl %r15d, %r15d
leaq (%r15,%r15,2), %r13
movq (%rax,%r13,8), %rdx
cmpq %rdx, 0x8(%rax,%r13,8)
je 0x2cf9
movl $0x1, %ebx
xorl %ecx, %ecx
movq %r13, 0x8(%rsp)
movl (%rdx,%rcx,8), %ebp
cmpl $0x0, 0x4(%rsp)
je 0x2c37
movq 0x53c4(%rip), %rdi      # 0x7fd0
movq %r15, %rsi
callq 0x2110
movq %rax, %r12
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2496(%rip), %rsi      # 0x50bc
callq 0x21d0
movq %r12, %rdi
movl %ebp, %esi
callq 0x2290
jmp 0x2cab
xorps %xmm0, %xmm0
cvtss2sd 0x4(%rdx,%rcx,8), %xmm0
movsd %xmm0, 0x10(%rsp)
movq 0x5383(%rip), %rdi      # 0x7fd0
movq %r15, %rsi
callq 0x2110
movq %rax, %r12
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %r13
movq %r14, %r15
leaq 0x244f(%rip), %r14      # 0x50bc
movq %r14, %rsi
callq 0x21d0
movq %r12, %rdi
movl %ebp, %esi
callq 0x2290
movq %rax, %r12
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
movq %r15, %r14
movq %r13, %r15
movq 0x8(%rsp), %r13
callq 0x21d0
movq %r12, %rdi
movsd 0x10(%rsp), %xmm0
callq 0x2250
movq %rax, %rbp
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbp, %rdi
movl $0xa, %esi
callq 0x2170
movsbl %al, %esi
movq %rbp, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2120
movl %ebx, %ecx
movq (%r14), %rax
movq (%rax,%r13,8), %rdx
movq 0x8(%rax,%r13,8), %rsi
subq %rdx, %rsi
sarq $0x3, %rsi
incl %ebx
cmpq %rcx, %rsi
ja 0x2bfb
movq 0x8(%r14), %rcx
incl %r15d
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rsi, %rdx
cmpq %r15, %rdx
ja 0x2bdc
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/riyadparvez[P]louvain-method/main_convert.cpp
// Function: usage(char*, char const*)
void
usage(char *prog_name, const char *more) {
  cerr << more;
  cerr << "usage: " << prog_name << " -i input_file -o outfile [-r] [-w outfile_weight]" << endl << endl;
  cerr << "read the graph and convert it to binary format." << endl;
  cerr << "-r\tnodes are renumbered from 0 to nb_nodes-1 (the order is kept)." << endl;
  cerr << "-w filename\tread the graph as a weighted one and writes the weights in a separate file." << endl;
  cerr << "-h\tshow this usage message." << endl;
  exit(0);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %r14
movq 0x3ca2(%rip), %rbx      # 0x7ff0
movq %rbx, %rdi
callq 0x2180
leaq 0xd59(%rip), %rsi       # 0x50b6
movq %rbx, %rdi
callq 0x2180
movq %rax, %rdi
movq %r14, %rsi
callq 0x2180
leaq 0xd47(%rip), %rsi       # 0x50be
movq %rax, %rdi
callq 0x2180
movq %rax, %rdi
callq 0x20c0
movq %rax, %rdi
callq 0x20c0
leaq 0xd5b(%rip), %rsi       # 0x50f1
movq %rbx, %rdi
callq 0x2180
movq %rax, %rdi
callq 0x20c0
leaq 0xd74(%rip), %rsi       # 0x5121
movq %rbx, %rdi
callq 0x2180
movq %rax, %rdi
callq 0x20c0
leaq 0xd9f(%rip), %rsi       # 0x5163
movq %rbx, %rdi
callq 0x2180
movq %rax, %rdi
callq 0x20c0
leaq 0xde0(%rip), %rsi       # 0x51bb
movq %rbx, %rdi
callq 0x2180
movq %rax, %rdi
callq 0x20c0
xorl %edi, %edi
callq 0x21f0
// File: /workspace/github_cpp_makefile_star2_O3/riyadparvez[P]louvain-method/main_convert.cpp
// Function: parse_args(int, char**)
void
parse_args(int argc, char **argv) {
  for (int i = 1; i < argc; i++) {
    if(argv[i][0] == '-') {
      switch(argv[i][1]) {
      case 'i':
	if (i==argc-1)
	  usage(argv[0], "Infile missing\n");
	infile = argv[i+1];
	i++;
	break;
      case 'o':
	if (i==argc-1)
	  usage(argv[0], "Outfile missing\n");
        outfile = argv[i+1];
	i++;
	break;
      case 'w' :
	type = WEIGHTED;
        outfile_w = argv[i+1];
	i++;
	break;
      case 'r' :
	do_renumber=true;
	break;
      default:
	usage(argv[0], "Unknown option\n");
      }
    } else {
      usage(argv[0], "More than one filename\n");
    }
  }
  if (infile==NULL || outfile==NULL)
    usage(argv[0], "In or outfile missing\n");
}

// Assembly:
pushq %rax
cmpl $0x2, %edi
jl 0x4494
leal -0x1(%rdi), %eax
movl $0x1, %ecx
movslq %ecx, %rdx
movq (%rsi,%rdx,8), %r8
cmpb $0x2d, (%r8)
jne 0x44aa
movzbl 0x1(%r8), %r8d
cmpl $0x71, %r8d
jg 0x4448
cmpl $0x69, %r8d
je 0x446f
cmpl $0x6f, %r8d
jne 0x44b9
cmpl %eax, %ecx
je 0x44c8
incl %ecx
movq 0x8(%rsi,%rdx,8), %rdx
movq %rdx, 0x3d52(%rip)      # 0x8198
jmp 0x448a
cmpl $0x72, %r8d
je 0x4483
cmpl $0x77, %r8d
jne 0x44b9
movl $0x0, 0x3d1a(%rip)      # 0x8178
leal 0x1(%rdx), %ecx
movq 0x8(%rsi,%rdx,8), %rdx
movq %rdx, 0x3d33(%rip)      # 0x81a0
jmp 0x448a
cmpl %eax, %ecx
je 0x44d7
incl %ecx
movq 0x8(%rsi,%rdx,8), %rdx
movq %rdx, 0x3d0f(%rip)      # 0x8190
jmp 0x448a
movb $0x1, 0x3d1e(%rip)      # 0x81a8
incl %ecx
cmpl %edi, %ecx
jl 0x4404
cmpq $0x0, 0x3cf4(%rip)      # 0x8190
je 0x44e6
cmpq $0x0, 0x3cf2(%rip)      # 0x8198
je 0x44e6
popq %rax
retq
movq (%rsi), %rdi
leaq 0xd54(%rip), %rsi       # 0x5208
callq 0x4340
movq (%rsi), %rdi
leaq 0xd35(%rip), %rsi       # 0x51f8
callq 0x4340
movq (%rsi), %rdi
leaq 0xd15(%rip), %rsi       # 0x51e7
callq 0x4340
movq (%rsi), %rdi
leaq 0xcf6(%rip), %rsi       # 0x51d7
callq 0x4340
movq (%rsi), %rdi
leaq 0xd30(%rip), %rsi       # 0x5220
callq 0x4340
// File: /workspace/github_cpp_makefile_star2_O3/riyadparvez[P]louvain-method/main_convert.cpp
// Function: main
int
main(int argc, char **argv) {
  parse_args(argc, argv);

  Graph g(infile, type);

  g.clean(type);

  if (do_renumber)
    g.renumber(type);

  g.display_binary(outfile, outfile_w, type);

}

// Assembly:
pushq %rbx
subq $0x30, %rsp
callq 0x43f2
movq 0x3c8a(%rip), %rsi      # 0x8190
movl 0x3c6c(%rip), %edx      # 0x8178
movq %rsp, %rbx
movq %rbx, %rdi
callq 0x244c
movl 0x3c5b(%rip), %esi      # 0x8178
movq %rbx, %rdi
callq 0x29ac
cmpb $0x1, 0x3c7c(%rip)      # 0x81a8
jne 0x453c
movl 0x3c44(%rip), %esi      # 0x8178
movq %rsp, %rdi
callq 0x2700
movq 0x3c55(%rip), %rsi      # 0x8198
movq 0x3c56(%rip), %rdx      # 0x81a0
movl 0x3c28(%rip), %ecx      # 0x8178
movq %rsp, %rdi
callq 0x2d2c
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x456f
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x21a0
movq %rsp, %rdi
callq 0x300c
xorl %eax, %eax
addq $0x30, %rsp
popq %rbx
retq
movq %rax, %rbx
movq %rsp, %rdi
callq 0x4592
movq %rbx, %rdi
callq 0x22b0
// File: /workspace/github_cpp_makefile_star2_O3/mbottini[P]CS250lab2/main.cpp
// Function: getVariables(std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&)
stringVector getVariables(const stringVector& tokenVector) {
    stringVector variableVector;
    for(stringIter i = tokenVector.begin(); i != tokenVector.end(); ++i) {

        if(i->length() == 1 && isalpha(i->at(0)) && i->at(0) != 'v' &&
                                 i->at(0) != 'c' && i->at(0) != 't') {

            if(!(std::find(variableVector.begin(), variableVector.end(), *i) !=
                    variableVector.end())) {
                variableVector.push_back(*i);
            }
        }
    }

    return variableVector;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorps %xmm0, %xmm0
movups %xmm0, (%rdi)
movq $0x0, 0x10(%rdi)
movq (%rsi), %r15
cmpq 0x8(%rsi), %r15
je 0x30d3
movq %rsi, %r14
movl $0xa0001, %r13d         # imm = 0xA0001
cmpq $0x1, 0x8(%r15)
jne 0x30a5
movq (%r15), %rax
movsbl (%rax), %r12d
movl %r12d, %edi
callq 0x21f0
testl %eax, %eax
je 0x30a5
movzbl %r12b, %eax
addl $-0x63, %eax
cmpl $0x13, %eax
ja 0x30b1
btl %eax, %r13d
jae 0x30b1
addq $0x20, %r15
cmpq 0x8(%r14), %r15
jne 0x3079
jmp 0x30d3
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
movq %r15, %rdx
callq 0x4d78
cmpq 0x8(%rbx), %rax
jne 0x30a5
movq %rbx, %rdi
movq %r15, %rsi
callq 0x40b8
jmp 0x30a5
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x30e7
movq %rax, %r14
movq %rbx, %rdi
callq 0x3f82
movq %r14, %rdi
callq 0x2220
// File: /workspace/github_cpp_makefile_star2_O3/mbottini[P]CS250lab2/main.cpp
// Function: combineVectors(std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&)
stringVector combineVectors(const stringVector& vector1, 
                            const stringVector& vector2) {
    stringVector newVector = vector1;

    for(stringIter i = vector2.begin(); i != vector2.end(); ++i) {
        if(std::find(newVector.begin(), 
                     newVector.end(), *i) == newVector.end()) {
            newVector.push_back(*i);
        }
    }

    std::sort(newVector.begin(), newVector.end());

    return newVector;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rdi, %rbx
callq 0x4228
movq (%r14), %r15
cmpq 0x8(%r14), %r15
je 0x313e
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
movq %r15, %rdx
callq 0x4d78
cmpq 0x8(%rbx), %rax
jne 0x3138
movq %rbx, %rdi
movq %r15, %rsi
callq 0x40b8
addq $0x20, %r15
jmp 0x3112
movq (%rbx), %r14
movq 0x8(%rbx), %r15
cmpq %r15, %r14
je 0x3177
movq %r15, %rax
subq %r14, %rax
sarq $0x5, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r14, %rdi
movq %r15, %rsi
callq 0x56e3
movq %r14, %rdi
movq %r15, %rsi
callq 0x57b7
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x3189
jmp 0x3189
movq %rax, %r14
movq %rbx, %rdi
callq 0x3f82
movq %r14, %rdi
callq 0x2220
// File: /workspace/github_cpp_makefile_star2_O3/mbottini[P]CS250lab2/main.cpp
// Function: setValues(std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, 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, bool>>>&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, int)
void setValues(boolMap& bmap, const stringVector& variableVector, 
                                                  int comboGen) {
    int j = 0;
    for(stringIter i = variableVector.begin(); i != variableVector.end(); i++) {
        if((comboGen >> j) & 0x01) {
            bmap[*i] = true;
        }

        else {
            bmap[*i] = false;
        }
        j++;
    }

    return;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq (%rsi), %r12
cmpq 0x8(%rsi), %r12
je 0x3479
movl %edx, %ebx
movq %rsi, %r14
movq %rdi, %r15
xorl %r13d, %r13d
movq %r15, %rdi
movq %r12, %rsi
callq 0x41a8
btl %r13d, %ebx
setb (%rax)
incl %r13d
addq $0x20, %r12
cmpq 0x8(%r14), %r12
jne 0x345a
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/mbottini[P]CS250lab2/main.cpp
// Function: isOperator(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
bool isOperator(const string& s) {
    string validOperators[] = {"!", "v", "^", "->", "<->", "XOR"};

    for(int i = 0; i < 6; i++) {
        if(s == validOperators[i]) {
            return true;
        }
    }

    return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
movq %rdi, %r15
leaq -0xe0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x25e1(%rip), %rsi      # 0x6048
leaq 0x25db(%rip), %rdx      # 0x6049
leaq -0xf0(%rbp), %rbx
movq %rbx, %rdi
callq 0x44d6
leaq -0xd0(%rbp), %r14
leaq -0xc0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x262c(%rip), %rsi      # 0x60c2
leaq 0x2626(%rip), %rdx      # 0x60c3
movq %r14, %rdi
callq 0x44d6
leaq -0xb0(%rbp), %r14
leaq -0xa0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2606(%rip), %rsi      # 0x60c4
leaq 0x2600(%rip), %rdx      # 0x60c5
movq %r14, %rdi
callq 0x44d6
leaq -0x90(%rbp), %r14
leaq -0x80(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x25dc(%rip), %rsi      # 0x60bf
leaq 0x25d7(%rip), %rdx      # 0x60c1
movq %r14, %rdi
callq 0x44d6
leaq -0x70(%rbp), %r14
leaq -0x60(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x25b9(%rip), %rsi      # 0x60be
leaq 0x25b5(%rip), %rdx      # 0x60c1
movq %r14, %rdi
callq 0x44d6
leaq -0x50(%rbp), %r14
leaq -0x40(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x2592(%rip), %rsi      # 0x60ba
leaq 0x258e(%rip), %rdx      # 0x60bd
movq %r14, %rdi
callq 0x44d6
movq (%r15), %rax
movq %rax, -0x30(%rbp)
movq 0x8(%r15), %r15
movb $0x1, %bl
leaq -0xe8(%rbp), %r13
xorl %r14d, %r14d
cmpq (%r13), %r15
jne 0x3b6d
testq %r15, %r15
je 0x3b85
movq -0x8(%r13), %rsi
movq -0x30(%rbp), %rdi
movq %r15, %rdx
callq 0x2150
testl %eax, %eax
je 0x3b85
cmpq $0x5, %r14
leaq 0x1(%r14), %rax
setb %bl
addq $0x20, %r13
movq %rax, %r14
cmpq $0x6, %rax
jne 0x3b4e
xorl %r14d, %r14d
movq -0x50(%rbp,%r14), %rdi
leaq (%r12,%r14), %rax
cmpq %rdi, %rax
je 0x3b9b
callq 0x2120
addq $-0x20, %r14
cmpq $-0xc0, %r14
jne 0x3b88
andb $0x1, %bl
movl %ebx, %eax
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x3bc7
jmp 0x3bc7
jmp 0x3bc7
jmp 0x3bc7
movq %rax, %r15
addq $-0x10, %r14
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x3bdc
callq 0x2120
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x3bce
movq %r15, %rdi
callq 0x2220
// File: /workspace/github_cpp_makefile_star2_O3/mbottini[P]CS250lab2/main.cpp
// Function: getPrecedence(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
int getPrecedence(const string& s) {
    if(s == "<->") {
        return 0;
    }

    if(s == "->") {
        return 1;
    }

    if(s == "XOR") {
        return 2;
    }

    if(s == "v") {
        return 3;
    }

    if(s == "^") {
        return 4;
    }

    if(s == "!") {
        return 5;
    }

    else {
        return -1;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x2488(%rip), %rsi      # 0x60be
callq 0x2060
testl %eax, %eax
je 0x3ca7
leaq 0x2479(%rip), %rsi      # 0x60bf
movq %rbx, %rdi
callq 0x2060
testl %eax, %eax
je 0x3cab
leaq 0x2461(%rip), %rsi      # 0x60ba
movq %rbx, %rdi
callq 0x2060
testl %eax, %eax
je 0x3cb2
leaq 0x2456(%rip), %rsi      # 0x60c2
movq %rbx, %rdi
callq 0x2060
testl %eax, %eax
je 0x3cb9
leaq 0x2445(%rip), %rsi      # 0x60c4
movq %rbx, %rdi
callq 0x2060
testl %eax, %eax
je 0x3cc0
leaq 0x23b6(%rip), %rsi      # 0x6048
movq %rbx, %rdi
callq 0x2060
movl %eax, %ecx
xorl %eax, %eax
negl %ecx
sbbl %eax, %eax
orl $0x5, %eax
jmp 0x3cc5
xorl %eax, %eax
jmp 0x3cc5
movl $0x1, %eax
jmp 0x3cc5
movl $0x2, %eax
jmp 0x3cc5
movl $0x3, %eax
jmp 0x3cc5
movl $0x4, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/davmac314[P]dinit/build/tools/mconfig-gen.cc
// Function: parse_arg(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void parse_arg(std::string arg)
{
    auto idx = arg.find("=", 0, 1);
    if (idx == std::string::npos) {
        throw std::string("Couldn't parse argument: ") + arg;
    }

    auto name = arg.substr(0, idx);
    auto value = arg.substr(idx + 1);
    vars.emplace(std::move(name), std::move(value));
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x48, %rsp
movq %rdi, %r14
leaq 0x1c60(%rip), %rsi      # 0x4004
movl $0x1, %ecx
xorl %edx, %edx
callq 0x21b0
cmpq $-0x1, %rax
je 0x2440
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
xorl %edx, %edx
movq %rax, %rcx
callq 0x2140
incq %rbx
leaq 0x28(%rsp), %rdi
movq %r14, %rsi
movq %rbx, %rdx
movq $-0x1, %rcx
callq 0x2140
leaq 0x3d30(%rip), %rdi      # 0x6120
leaq 0x8(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x36fc
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x241a
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2120
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2435
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2120
addq $0x48, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0x2090
movq %rax, %rbx
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1ba9(%rip), %rsi      # 0x4006
leaq 0x1bbb(%rip), %rdx      # 0x401f
leaq 0x8(%rsp), %rdi
callq 0x3666
movb $0x1, %bpl
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
movq %r14, %rdx
callq 0x3459
xorl %ebp, %ebp
leaq 0x3916(%rip), %rsi      # 0x5da0
movq 0x3b37(%rip), %rdx      # 0x5fc8
movq %rbx, %rdi
callq 0x21a0
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x24b3
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2120
testb %bpl, %bpl
jne 0x24bd
jmp 0x2505
movq %rax, %r14
movq %rbx, %rdi
callq 0x20c0
jmp 0x2505
movq %rax, %r14
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24ea
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2120
jmp 0x24ea
movq %rax, %r14
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2505
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2120
movq %r14, %rdi
callq 0x21c0
// File: /workspace/github_cpp_makefile_star2_O3/davmac314[P]dinit/build/tools/mconfig-gen.cc
// Function: stringify(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
static std::string stringify(std::string a)
{
    std::string out = "\"";

    for (std::string::size_type i = 0; i < a.length(); i++) {
        char c = a[i];
        if (c == '\n') out += "\\n";
        else if (c == '\t') out += "\\t";
        else if (c == '\"') out += "\\\"";
        else if (c < 0x20) {
            out += "\\x" ;
            out += to_hex_digit((c & 0xF0) >> 4);
            out += to_hex_digit((c & 0x0F));
        }
        else out += c;
    }

    out += "\"";
    return out;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rdi), %rax
movq %rax, (%rsp)
movq %rax, (%rdi)
leaq 0x108c(%rip), %rsi      # 0x43d7
leaq 0x1086(%rip), %rdx      # 0x43d8
callq 0x3666
cmpq $0x0, 0x8(%r14)
je 0x3411
xorl %r13d, %r13d
leaq 0x1067(%rip), %rbp      # 0x43d3
leaq 0x105d(%rip), %r15      # 0x43d0
movq (%r14), %rax
movzbl (%rax,%r13), %r12d
movq %rbp, %rsi
cmpl $0x9, %r12d
je 0x339c
cmpl $0x22, %r12d
je 0x3395
cmpl $0xa, %r12d
jne 0x33a6
movq %r15, %rsi
jmp 0x339c
leaq 0x103a(%rip), %rsi      # 0x43d6
movq %rbx, %rdi
callq 0x21e0
jmp 0x3404
cmpb $0x1f, %r12b
jg 0x33f8
movq %rbx, %rdi
leaq 0x1023(%rip), %rsi      # 0x43d9
callq 0x21e0
movl $0x30, %eax
cmpb $-0x60, %r12b
jb 0x33cb
movl $0x37, %eax
movl %r12d, %ecx
shrb $0x4, %cl
addb %cl, %al
movzbl %al, %esi
movq %rbx, %rdi
callq 0x20f0
andb $0xf, %r12b
movl $0x30, %eax
cmpb $0xa, %r12b
jb 0x33f2
movl $0x37, %eax
addb %r12b, %al
movl %eax, %r12d
movsbl %r12b, %esi
movq %rbx, %rdi
callq 0x20f0
incq %r13
cmpq 0x8(%r14), %r13
jb 0x3373
leaq 0xfbf(%rip), %rsi       # 0x43d7
movq %rbx, %rdi
callq 0x21e0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x3431
movq %rax, %r14
movq (%rbx), %rdi
cmpq (%rsp), %rdi
je 0x344c
movq (%rsp), %rax
movq (%rax), %rsi
incq %rsi
callq 0x2120
movq %r14, %rdi
callq 0x21c0
// File: /workspace/github_cpp_makefile_star2_O3/shengzh-oOoO[P]CodeSim/src/text_moss.cpp
// Function: CodeFile::CreateHashList()
void CreateHashList(){
        FILE *fid = fopen(filename,"r");
        if(fid == NULL){
            printf("打开%s失败\n",filename);
            assert(false);
        }
        char ch = 0;
        char prev_ch = 0;
        while(EOF!=(ch= fgetc(fid))){
        	if (ch=='\n'||ch=='\t'){
        		ch = ' ';
        	}
        	if(prev_ch == ' '&& ch ==' '){
        		continue;
        	}
            if (hashwindow.size() < N_GRAM_K){
                hashwindow.push_back(ch);    
            }
            else{
                hashlist.push_back(RSHash());
                hashwindow.pop_front();
                hashwindow.push_back(ch);
            }
            prev_ch = ch;
        }
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
leaq 0xa95(%rip), %rsi       # 0x2078
callq 0x10d0
testq %rax, %rax
je 0x16cf
movq %rax, %r14
leaq 0x68(%rbx), %r15
leaq 0x80(%rbx), %rax
movq %rax, -0x30(%rbp)
xorl %r12d, %r12d
movq %r14, %rdi
callq 0x1100
movl %eax, %r13d
movzbl %r13b, %eax
leal -0x9(%rax), %ecx
cmpl $0x2, %ecx
jae 0x1622
movb $0x20, %r13b
jmp 0x162d
cmpl $0xff, %eax
je 0x16c0
xorb $0x20, %r12b
movl %r13d, %eax
xorb $0x20, %al
orb %r12b, %al
movl %r13d, %r12d
je 0x1606
cmpq $0xa, 0x78(%rbx)
jb 0x169b
movq %rbx, %rdi
callq 0x1914
movq %rax, -0x38(%rbp)
movq 0x88(%rbx), %rsi
cmpq 0x90(%rbx), %rsi
je 0x1671
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x88(%rbx)
jmp 0x167e
movq -0x30(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x1972
movq 0x68(%rbx), %r12
decq 0x78(%rbx)
movq %r12, %rdi
callq 0x1120
movl $0x18, %esi
movq %r12, %rdi
callq 0x10c0
movl $0x18, %edi
callq 0x10b0
movb %r13b, 0x10(%rax)
movq %rax, %rdi
movq %r15, %rsi
callq 0x1040
incq 0x78(%rbx)
movl %r13d, %r12d
jmp 0x1606
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9a4(%rip), %rdi       # 0x207a
movq %rbx, %rsi
xorl %eax, %eax
callq 0x1030
leaq 0x951(%rip), %rdi       # 0x2038
leaq 0x950(%rip), %rsi       # 0x203e
leaq 0x995(%rip), %rcx       # 0x208a
movl $0x2b, %edx
callq 0x1070
nop
// File: /workspace/github_cpp_makefile_star2_O3/shengzh-oOoO[P]CodeSim/src/text_moss.cpp
// Function: CodeFile::Winnowing()
void Winnowing(){
        list<long> win;
        vector<long>::iterator h;
        long before = LONG_LONG_MAX;
        for (h = hashlist.begin(); h != hashlist.end(); h++){
            if (win.size() < WINNOWING_SIZE){
                win.push_back(*h);
            }
            else{
                list<long>::iterator i;
                long min = LONG_LONG_MAX;
                for (i = win.begin(); i != win.end(); i++){
                    if(*i < min) min = *i;
                }
                if(min !=  before){
                    before = min;
                    result.push_back(min);
                }
                win.pop_front();
                win.push_back(*h);
            }
        }
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
leaq -0x40(%rbp), %rbx
movq %rbx, 0x8(%rbx)
movq %rbx, (%rbx)
movq $0x0, 0x10(%rbx)
movq 0x80(%rdi), %r12
cmpq 0x88(%rdi), %r12
je 0x1871
movq %rdi, %r15
movabsq $0x7fffffffffffffff, %r14 # imm = 0x7FFFFFFFFFFFFFFF
leaq 0x98(%rdi), %rax
movq %rax, -0x58(%rbp)
xorl %eax, %eax
movq %rdi, -0x48(%rbp)
cmpq $0x4, %rax
ja 0x1789
movl $0x18, %edi
callq 0x10b0
movq (%r12), %rcx
movq %rcx, 0x10(%rax)
movq %rax, %rdi
movq %rbx, %rsi
callq 0x1040
movq -0x30(%rbp), %rax
incq %rax
movq %rax, -0x30(%rbp)
jmp 0x1842
movabsq $0x7fffffffffffffff, %r15 # imm = 0x7FFFFFFFFFFFFFFF
movq %r15, -0x50(%rbp)
movq -0x40(%rbp), %r13
cmpq %rbx, %r13
je 0x17bb
movq %r13, %rax
movq 0x10(%rax), %rcx
cmpq %r15, %rcx
jge 0x17b3
movq %rcx, -0x50(%rbp)
movq %rcx, %r15
movq (%rax), %rax
cmpq %rbx, %rax
jne 0x17a3
cmpq %r14, %r15
jne 0x17c5
movq %r14, %r15
jmp 0x17fa
movq -0x48(%rbp), %rax
movq 0xa0(%rax), %rsi
cmpq 0xa8(%rax), %rsi
je 0x17e9
movq %r15, (%rsi)
addq $0x8, %rsi
movq %rsi, 0xa0(%rax)
jmp 0x17fa
movq -0x58(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x1ab2
movq -0x40(%rbp), %r13
decq -0x30(%rbp)
movq %r13, %rdi
callq 0x1120
movl $0x18, %esi
movq %r13, %rdi
callq 0x10c0
movl $0x18, %edi
callq 0x10b0
movq (%r12), %rcx
movq %rcx, 0x10(%rax)
movq %rax, %rdi
movq %rbx, %rsi
callq 0x1040
movq -0x30(%rbp), %rax
incq %rax
movq %rax, -0x30(%rbp)
movq %r15, %r14
movq -0x48(%rbp), %r15
addq $0x8, %r12
cmpq 0x88(%r15), %r12
jne 0x1756
movq -0x40(%rbp), %rdi
cmpq %rbx, %rdi
je 0x1871
movq (%rdi), %r14
movl $0x18, %esi
callq 0x10c0
movq %r14, %rdi
cmpq %rbx, %r14
jne 0x185c
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x1882
movq %rax, %r14
movq -0x40(%rbp), %rdi
cmpq %rbx, %rdi
je 0x18a3
movq (%rdi), %r15
movl $0x18, %esi
callq 0x10c0
movq %r15, %rdi
cmpq %rbx, %r15
jne 0x188e
movq %r14, %rdi
callq 0x1130
nop
// File: /workspace/github_cpp_makefile_star2_O3/shengzh-oOoO[P]CodeSim/src/text_moss.cpp
// Function: CodeFile::RSHash()
long RSHash(){
        long b = 378551;
        long a = 63689;
        long hash = 0;
        assert(hashwindow.size() == N_GRAM_K);
        list<char>::iterator i;
        for (i = hashwindow.begin(); i != hashwindow.end(); i++){
        	// printf("%c", (*i));
            hash = hash * a + (long) (*i);
            a = a * b;
        }
        // printf("\n");
        return hash;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
cmpq $0xa, 0x78(%rdi)
jne 0x1953
addq $0x68, %rdi
movq (%rdi), %rcx
cmpq %rdi, %rcx
je 0x194f
movl $0xf8c9, %edx           # imm = 0xF8C9
xorl %eax, %eax
imulq %rdx, %rax
movsbq 0x10(%rcx), %rsi
addq %rsi, %rax
imulq $0x5c6b7, %rdx, %rdx    # imm = 0x5C6B7
movq (%rcx), %rcx
cmpq %rdi, %rcx
jne 0x1932
jmp 0x1951
xorl %eax, %eax
popq %rbp
retq
leaq 0x76a(%rip), %rdi       # 0x20c4
leaq 0x6dd(%rip), %rsi       # 0x203e
leaq 0x77a(%rip), %rcx       # 0x20e2
movl $0x18, %edx
callq 0x1070
// File: /workspace/github_cpp_makefile_star2_O3/sotrteacher[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: siguiente_turno()
unsigned int siguiente_turno(){
  int candidato_a_ser_reactivo_en_turno;
  if(cantidad_de_reactivos_usados==NUMDREAC){
    modificado=false;
    return 0;
  }
  if((NUMDREAC-cantidad_de_reactivos_usados)==1){
unsigned int usar_NUMDREAC_buckets();
    if((reactivo_en_turno=usar_NUMDREAC_buckets())>0){
//printf("candidato_a_ser_reactivo_en_turno=%u\n",candidato_a_ser_reactivo_en_turno);
      goto actualizacion;
    }
  }
  if(cantidad_de_reactivos_usados<NUMDREAC){
    srand(time(NULL));
    candidato_a_ser_reactivo_en_turno=1+rand()%NUMDREAC;
bool asignado(unsigned int);
    while(asignado(candidato_a_ser_reactivo_en_turno)){
      candidato_a_ser_reactivo_en_turno=1+rand()%NUMDREAC;
    }
    reactivo_en_turno=candidato_a_ser_reactivo_en_turno;
    assert(reactivo_en_turno<=NUMDREAC);
void actualizar_reactivos_usados(unsigned int);
actualizacion:
    actualizar_reactivos_usados(reactivo_en_turno);
  }
  return reactivo_en_turno;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
leaq 0x450b(%rip), %rbx      # 0x6970
movl (%rbx), %eax
cmpl $0x2, %eax
je 0x2482
cmpl $0x3, %eax
jne 0x249c
leaq 0x4508(%rip), %rax      # 0x6980
movb $0x0, (%rax)
xorl %eax, %eax
jmp 0x254d
callq 0x2571
movl %eax, %edi
leaq 0x44f4(%rip), %rax      # 0x6984
movl %edi, (%rax)
testl %edi, %edi
jne 0x253f
jmp 0x24a2
jae 0x2544
xorl %edi, %edi
callq 0x2120
movl %eax, %edi
callq 0x2130
callq 0x2080
cltq
imulq $0x55555556, %rax, %rcx # imm = 0x55555556
movq %rcx, %rdx
shrq $0x3f, %rdx
shrq $0x20, %rcx
addl %edx, %ecx
leal (%rcx,%rcx,2), %ecx
negl %ecx
leal (%rax,%rcx), %edi
incl %edi
movl (%rbx), %eax
testl %eax, %eax
je 0x2531
leaq 0x4496(%rip), %r14      # 0x6978
movq (%r14), %rcx
cmpl %edi, (%rcx)
je 0x2506
movl %eax, %eax
movl $0x1, %esi
movq %rsi, %rdx
cmpq %rsi, %rax
je 0x2501
leaq 0x1(%rdx), %rsi
cmpl %edi, (%rcx,%rdx,4)
jne 0x24f0
cmpq %rax, %rdx
jae 0x2531
callq 0x2080
cltq
imulq $0x55555556, %rax, %rcx # imm = 0x55555556
movq %rcx, %rdx
shrq $0x3f, %rdx
shrq $0x20, %rcx
addl %edx, %ecx
leal (%rcx,%rcx,2), %ecx
negl %ecx
leal (%rax,%rcx), %edi
incl %edi
movl (%rbx), %eax
testl %eax, %eax
jne 0x24e2
leaq 0x444c(%rip), %rax      # 0x6984
movl %edi, (%rax)
cmpl $0x4, %edi
jae 0x2552
callq 0x2602
leaq 0x4439(%rip), %rax      # 0x6984
movl (%rax), %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xab9(%rip), %rdi       # 0x3012
leaq 0xace(%rip), %rsi       # 0x302e
leaq 0xad6(%rip), %rcx       # 0x303d
movl $0x43, %edx
callq 0x20b0
// File: /workspace/github_cpp_makefile_star2_O3/sotrteacher[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: usar_NUMDREAC_buckets()
unsigned int usar_NUMDREAC_buckets()
{
  char bucket[NUMDREAC+1]={0};        /* buckets o cubetas a utilizar */
  int i;
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    bucket[reactivos_usados[i]]=1;
  }
  for(i=1;i<NUMDREAC;i++){
    if(bucket[i]==0){
      return i;
    }
  }
  return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl $0x0, -0x4(%rbp)
leaq 0x43ed(%rip), %rax      # 0x6970
movl (%rax), %ecx
movl $0x1, %eax
testq %rcx, %rcx
je 0x25bc
leaq 0x43e2(%rip), %rdx      # 0x6978
movq (%rdx), %rdx
xorl %esi, %esi
movl (%rdx,%rsi,4), %edi
movb $0x1, -0x4(%rbp,%rdi)
incq %rsi
cmpq %rsi, %rcx
jne 0x259b
cmpb $0x0, -0x3(%rbp)
je 0x25bc
xorl %eax, %eax
cmpb $0x0, -0x2(%rbp)
sete %al
addl %eax, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/sotrteacher[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: asignado(unsigned int)
bool asignado(unsigned int candidato)
{
  unsigned int i;
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    if(*(reactivos_usados+i)==candidato){
      return true;
    }
  }
  return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
leaq 0x43a7(%rip), %rax      # 0x6970
movl (%rax), %ecx
testq %rcx, %rcx
je 0x25fe
leaq 0x43a1(%rip), %rax      # 0x6978
movq (%rax), %rdx
movb $0x1, %al
cmpl %edi, (%rdx)
je 0x2600
movl $0x1, %esi
movq %rsi, %rax
cmpq %rsi, %rcx
je 0x25f6
leaq 0x1(%rax), %rsi
cmpl %edi, (%rdx,%rax,4)
jne 0x25e5
cmpq %rcx, %rax
setb %al
jmp 0x2600
xorl %eax, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/sotrteacher[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: actualizar_reactivos_usados(unsigned int)
void actualizar_reactivos_usados(unsigned int reactivo_en_uso)
{
  unsigned int i,*tmp=(unsigned int *)malloc(cantidad_de_reactivos_usados*sizeof(unsigned int));
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    *(tmp+i)=reactivos_usados[i];
  }
  reactivos_usados=(unsigned int *)malloc(
                   (cantidad_de_reactivos_usados+1)*sizeof(unsigned int));
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    reactivos_usados[i]=*(tmp+i);
  }
  reactivos_usados[cantidad_de_reactivos_usados]=reactivo_en_uso;
  cantidad_de_reactivos_usados++;
  modificado=true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %edi, -0x2c(%rbp)
leaq 0x4356(%rip), %rax      # 0x6970
movl (%rax), %r13d
leaq (,%r13,4), %r14
movq %r14, %rdi
callq 0x21c0
movq %rax, %r15
testq %r13, %r13
je 0x264a
leaq 0x433c(%rip), %rax      # 0x6978
movq (%rax), %rsi
movq %r15, %rdi
movq %r14, %rdx
callq 0x20f0
leal 0x1(%r13), %ebx
leaq (,%rbx,4), %rdi
callq 0x21c0
movq %rax, %r12
leaq 0x4313(%rip), %rax      # 0x6978
movq %r12, (%rax)
testq %r13, %r13
je 0x267b
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x20f0
movl -0x2c(%rbp), %eax
movl %eax, (%r12,%r13,4)
leaq 0x42e7(%rip), %rax      # 0x6970
movl %ebx, (%rax)
leaq 0x42ee(%rip), %rax      # 0x6980
movb $0x1, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/sotrteacher[P]1MM1INTRO/20190925_1MM1_INTRO/test_EvalContinua.c
// Function: main
int main(int argc,char *argv[])
{
  unsigned int indice_de_reactivo,reactivo_index,ret;
  if(argc<2){
    printf("FORMA DE USO:%s <file_index_reactivos_intro>\n",
            argv[0]);
    exit(1);
  }
void run_ctor(char *);
  run_ctor(argv[1]);
unsigned int init_REACTIVO();
   if((ret=init_REACTIVO())==NUMDREAC){
unsigned int siguiente_turno();
     if((reactivo_index=siguiente_turno())>0){
#ifndef NDEBUG
       printf("reactivo_index=%u\n",reactivo_index);
#endif
       indice_de_reactivo=reactivo_index-1;
int show_reactivo(unsigned int);
       show_reactivo(indice_de_reactivo);
void save_reactivos_asignados(unsigned int);
       if(modificado){
         save_reactivos_asignados(reactivo_index);
       }
     }else{ 
       printf("Reactivos YA asignados ...\n");
       return 0;
     }
   }else{
#ifndef NDEBUG
     printf("ret=%u\n",ret);
#endif
     return -1;
   }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
cmpl $0x1, %edi
jle 0x29da
movq 0x8(%rsi), %rdi
callq 0x29f8
callq 0x2c1c
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
cmpl $0x3, %eax
jne 0x29d3
callq 0x2457
testl %eax, %eax
je 0x29c5
movl %eax, %r14d
leal -0x1(%r14), %edi
callq 0x23fc
leaq 0x3fcc(%rip), %rax      # 0x6980
xorl %ebx, %ebx
cmpb $0x1, (%rax)
jne 0x29d3
movl %r14d, %edi
callq 0x26a4
jmp 0x29d3
leaq 0x755(%rip), %rdi       # 0x3121
callq 0x2210
xorl %ebx, %ebx
movl %ebx, %eax
popq %rbx
popq %r14
popq %rbp
retq
movq (%rsi), %rsi
leaq 0x70f(%rip), %rdi       # 0x30f3
xorl %eax, %eax
callq 0x2040
movl $0x1, %edi
callq 0x21a0
nopl (%rax)
// File: /workspace/github_cpp_makefile_star2_O3/sotrteacher[P]1MM1INTRO/20190925_1MM1_INTRO/ctors.c
// Function: init_REACTIVO()
unsigned int init_REACTIVO()
{
  unsigned int i,j=0;
  FILE *fent;
  int car,res=0;
  char nombre_de_archivo[1024];
  
  for(i=0;i<NUMDREAC;i++){
    sprintf(nombre_de_archivo,"./reactivos/reactivo%d.txt",i+1);
#ifndef NDEBUG
    printf("Abriendo %s\n",nombre_de_archivo);
#endif
    /**Apertura del i-esimo archivo de entrada*/
    fent=fopen(nombre_de_archivo,"r");
    if(fent==NULL){
      fprintf(stderr,"Error abriendo %s\n",nombre_de_archivo);
      return i;
    }
    while((car=fgetc(fent))!=EOF){
      REACTIVO[i][j++]=car;
    }
    j=0;
    /**Cierre del i-esimo archivo*/ 
    fclose(fent);
#ifndef NDEBUG
    printf("%s\n",REACTIVO[i]);
#endif
  }/*end for()*/
  return i;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x408, %rsp            # imm = 0x408
leaq 0x2539(%rip), %r12      # 0x5170
xorl %ebx, %ebx
leaq 0x1(%rbx), %r13
leaq -0x430(%rbp), %r14
movq %r14, %rdi
leaq 0x4f0(%rip), %rsi       # 0x313e
movl %r13d, %edx
xorl %eax, %eax
callq 0x2050
movq %r14, %rdi
leaq 0x4f7(%rip), %rsi       # 0x3159
callq 0x2190
testq %rax, %rax
je 0x2cc7
movq %rax, %r14
movq %rax, %rdi
callq 0x2240
cmpl $-0x1, %eax
je 0x2c9d
xorl %r15d, %r15d
shlq $0xb, %rbx
movl %r15d, %ecx
incl %r15d
leaq (%rbx,%r12), %rdx
movb %al, (%rcx,%rdx)
movq %r14, %rdi
callq 0x2240
cmpl $-0x1, %eax
jne 0x2c83
movq %r14, %rdi
callq 0x2150
movq %r13, %rbx
cmpq $0x3, %r13
jne 0x2c39
movl $0x3, %ebx
movl %ebx, %eax
addq $0x408, %rsp            # imm = 0x408
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x230a(%rip), %rax      # 0x4fd8
movq (%rax), %rdi
leaq 0x483(%rip), %rsi       # 0x315b
leaq -0x430(%rbp), %rdx
xorl %eax, %eax
callq 0x21e0
jmp 0x2cb3
// File: /workspace/github_cpp_makefile_star2_O3/roberty65[P]bServer/frame/main/EventManager.cpp
// Function: beyondy::Async::EventManager::addListener(char const*, beyondy::Async::Queue<beyondy::Async::Message>*, beyondy::Async::Processor*, int)
int EventManager::addListener(const char *address, Queue<Message> *inQueue, Processor *processor, int maxActive)
{
	Listener *listener = new Listener(address, maxActive, this, inQueue, processor);
	if (listener == NULL) {
		SYSLOG_ERROR("open listener at %s failed", address);
		return -1;
	}
	
	if (listener->open() < 0 || this->addHandler(listener, EVENT_IN) < 0) {
		SYSLOG_ERROR("open or watch-IN failed for listener at %s", address);
		delete listener;
		return -1;
	}

	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %r8d, %ebp
movq %rcx, %r12
movq %rdx, %r13
movq %rsi, %r14
movq %rdi, %r15
movl $0xb0, %edi
callq 0x3330
movq %rax, %rbx
movq %rax, %rdi
movq %r14, %rsi
movl %ebp, %edx
movq %r15, %rcx
movq %r13, %r8
movq %r12, %r9
callq 0x6e28
movq %rbx, %rdi
callq 0x7172
testl %eax, %eax
js 0x4bf5
movq %r15, %rdi
movq %rbx, %rsi
movl $0x1, %edx
callq 0x4c50
movl %eax, %ecx
xorl %eax, %eax
testl %ecx, %ecx
jns 0x4c28
leaq 0xb90c(%rip), %rax      # 0x10508
movq (%rax), %rdi
cmpl $0x2, (%rdi)
jl 0x4c1a
leaq 0x583e(%rip), %rdx      # 0xa449
movl $0x2, %esi
movq %r14, %rcx
xorl %eax, %eax
callq 0x71fc
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x8(%rax)
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movl $0xb0, %esi
movq %rbx, %rdi
callq 0x3340
movq %r14, %rdi
callq 0x35d0
nop
// File: /workspace/github_cpp_makefile_star2_O3/roberty65[P]bServer/frame/main/EventManager.cpp
// Function: beyondy::Async::EventManager::addHandler(beyondy::Async::EventHandler*, int)
int EventManager::addHandler(EventHandler *handler, int events)
{
	struct epoll_event ee;
	int retval;
	
	ee.events = events;
	ee.data.ptr = (void *)handler;
	
	retval = epoll_ctl(epoll_fd, EPOLL_CTL_ADD, handler->fd, &ee);
	if (retval == 0) {
		handler->events = events;
		SYSLOG_DEBUG("addHandler fd=%d events=%d OK", handler->fd, events);
	}
	else {
		SYSLOG_DEBUG("addHandler fd=%d failed: %m", handler->fd);
	}

	return retval;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movl %edx, %ebp
movq %rsi, %r14
leaq 0x4(%rsp), %rcx
movl %edx, (%rcx)
movq %rsi, 0x4(%rcx)
movl (%rdi), %edi
movl 0x8(%rsi), %edx
movl $0x1, %esi
callq 0x3490
movl %eax, %ebx
testl %eax, %eax
je 0x4ca5
leaq 0xb884(%rip), %rax      # 0x10508
movq (%rax), %rdi
cmpl $0x5, (%rdi)
jl 0x4cd2
movl 0x8(%r14), %ecx
leaq 0x5817(%rip), %rdx      # 0xa4ae
movl $0x5, %esi
xorl %eax, %eax
callq 0x71fc
jmp 0x4cd2
movl %ebp, 0xc(%r14)
leaq 0xb858(%rip), %rax      # 0x10508
movq (%rax), %rdi
cmpl $0x5, (%rdi)
jl 0x4cd2
movl 0x8(%r14), %ecx
leaq 0x57cd(%rip), %rdx      # 0xa490
movl $0x5, %esi
movl %ebp, %r8d
xorl %eax, %eax
callq 0x71fc
movl %ebx, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/roberty65[P]bServer/frame/main/EventManager.cpp
// Function: beyondy::Async::EventManager::addConnector(char const*, beyondy::Async::Queue<beyondy::Async::Message>*, beyondy::Async::Processor*, int)
int EventManager::addConnector(const char *address, Queue<Message> *inQueue, Processor *processor, int openImmediately)
{
	int flow = nextFlow();
	Connector *connector = new Connector(flow, address, this, inQueue, processor);

	if (openImmediately && connector->open() < 0) {
		SYSLOG_ERROR("open Connector to %s failed", address);
		return -1;
	}

	mapFlow(flow, connector);
	_list_add_tail(&connector->connectorsEntry, &connectorsHead);

	return flow;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %r8d, 0xc(%rsp)
movq %rcx, %r13
movq %rdx, %r14
movq %rsi, %rbp
movq %rdi, %r15
movl 0x40(%rdi), %ebx
leal 0x1(%rbx), %eax
movl %eax, 0x40(%rdi)
movl $0x138, %edi            # imm = 0x138
callq 0x3330
movq %rax, %r12
movq %rax, %rdi
movl %ebx, %esi
movq %rbp, 0x10(%rsp)
movq %rbp, %rdx
movq %r15, %rcx
movq %r14, %r8
movq %r13, %r9
callq 0x6770
cmpl $0x0, 0xc(%rsp)
je 0x4d41
movq %r12, %rdi
callq 0x6958
testl %eax, %eax
js 0x4d87
movq %r15, %rdi
movl %ebx, %esi
movq %r12, %rdx
callq 0x4dd8
movq %r12, %rax
addq $0x90, %rax
leaq 0x30(%r15), %rcx
movq 0x38(%r15), %rdx
movq %rax, 0x38(%r15)
movq %rcx, 0x90(%r12)
movq %rdx, 0x98(%r12)
movq %rax, (%rdx)
movl %ebx, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xb77a(%rip), %rax      # 0x10508
movq (%rax), %rdi
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
cmpl $0x2, (%rdi)
jl 0x4d76
leaq 0x56d2(%rip), %rdx      # 0xa474
movl $0x2, %esi
movq 0x10(%rsp), %rcx
xorl %eax, %eax
callq 0x71fc
jmp 0x4d76
movq %rax, %rbx
movl $0x138, %esi            # imm = 0x138
movq %r12, %rdi
callq 0x3340
movq %rbx, %rdi
callq 0x35d0
nop
// File: /workspace/github_cpp_makefile_star2_O3/roberty65[P]bServer/frame/main/EventManager.cpp
// Function: beyondy::Async::EventManager::mapFlow(int, beyondy::Async::Connection*)
int EventManager::mapFlow(int flow, Connection *connection)
{
	assert(flow2Connection(flow) == NULL);
	Connection *ret = __insert(flow, &connection->flowEntry);
	if (ret == NULL) rb_insert_color(&connection->flowEntry, &flowRoot);

	SYSLOG_DEBUG("mapFlow=%d => %d", flow, connection->fd);
	return 0;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movl %esi, %ebx
movq %rdi, %rsi
movq 0x48(%rdi), %rax
addq $0x48, %rsi
testq %rax, %rax
je 0x4e30
movq %rax, %rcx
movl $0x10, %edx
cmpl %ebx, -0x28(%rcx)
jg 0x4e05
movl $0x8, %edx
jge 0x4e7f
movq (%rcx,%rdx), %rcx
testq %rcx, %rcx
jne 0x4df4
movq %rax, %rcx
movl $0x8, %edx
cmpl %ebx, -0x28(%rax)
jl 0x4e22
movl $0x10, %edx
jle 0x4e4d
movq (%rcx,%rdx), %rax
testq %rax, %rax
jne 0x4e0e
addq %rcx, %rdx
jmp 0x4e35
xorl %ecx, %ecx
movq %rsi, %rdx
leaq 0x38(%r14), %rdi
movq %rcx, 0x38(%r14)
xorps %xmm0, %xmm0
movups %xmm0, 0x40(%r14)
movq %rdi, (%rdx)
callq 0x7bf0
leaq 0xb6b4(%rip), %rax      # 0x10508
movq (%rax), %rdi
cmpl $0x5, (%rdi)
jl 0x4e75
movl 0x8(%r14), %r8d
leaq 0x5824(%rip), %rdx      # 0xa68b
movl $0x5, %esi
movl %ebx, %ecx
xorl %eax, %eax
callq 0x71fc
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x5733(%rip), %rdi      # 0xa5b9
leaq 0x574a(%rip), %rsi      # 0xa5d7
leaq 0x5754(%rip), %rcx      # 0xa5e8
movl $0xdc, %edx
callq 0x31f0
// File: /workspace/github_cpp_makefile_star2_O3/roberty65[P]bServer/frame/main/EventManager.cpp
// Function: beyondy::Async::EventManager::addConnection(beyondy::Async::Connection*, int)
int EventManager::addConnection(Connection *connection, int events)
{
	if (addHandler(connection, events) < 0) {
		SYSLOG_ERROR("can not add connection fd=%d flow=%d", connection->fd, connection->flow);
		return -1;
	}

	/* init it */
	gettimeofday(&connection->tsLastRead, NULL);
	_list_add_tail(&connection->lruEntry, &lruHead);

	SYSLOG_DEBUG("addConneciton fd=%d flow=%d OK", connection->fd, connection->flow);
	return 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %r15
callq 0x4c50
testl %eax, %eax
js 0x4f01
leaq 0x28(%r14), %rdi
xorl %ebx, %ebx
xorl %esi, %esi
callq 0x3570
leaq 0x18(%r14), %rax
leaq 0x20(%r15), %rcx
movq 0x28(%r15), %rdx
movq %rax, 0x28(%r15)
movq %rcx, 0x18(%r14)
movq %rdx, 0x20(%r14)
movq %rax, (%rdx)
leaq 0xb627(%rip), %rax      # 0x10508
movq (%rax), %rdi
cmpl $0x5, (%rdi)
jl 0x4f30
movl 0x8(%r14), %ecx
movl 0x10(%r14), %r8d
leaq 0x55f7(%rip), %rdx      # 0xa4ef
xorl %ebx, %ebx
movl $0x5, %esi
jmp 0x4f29
leaq 0xb600(%rip), %rax      # 0x10508
movq (%rax), %rdi
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
cmpl $0x2, (%rdi)
jl 0x4f30
movl 0x8(%r14), %ecx
movl 0x10(%r14), %r8d
leaq 0x55a6(%rip), %rdx      # 0xa4ca
movl $0x2, %esi
xorl %eax, %eax
callq 0x71fc
movl %ebx, %eax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/roberty65[P]bServer/frame/main/EventManager.cpp
// Function: beyondy::Async::EventManager::modifyConnection(beyondy::Async::Connection*, int, int)
int EventManager::modifyConnection(Connection *connection, int add, int remove)
{
	struct epoll_event ee;
	int retval;

	ee.events = (connection->events | add) & ~remove;
	ee.data.ptr = (void *)(EventHandler *)connection;

	retval = epoll_ctl(epoll_fd, EPOLL_CTL_MOD, connection->fd, &ee);
	if (retval == 0) {
		connection->events = ee.events;
		SYSLOG_DEBUG("modifyConneciton fd=%d flow=%d events=%d OK", connection->fd, connection->flow, ee.events);
	}
	else {
		SYSLOG_DEBUG("modifyConneciton fd=%d flow=%d events=%d failed: %m", connection->fd, connection->flow, ee.events);
	}

	return retval;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r14
orl 0xc(%rsi), %edx
notl %ecx
andl %edx, %ecx
leaq 0xc(%rsp), %rax
movl %ecx, (%rax)
movq %rsi, 0x4(%rax)
movl (%rdi), %edi
movl 0x8(%rsi), %edx
movl $0x3, %esi
movq %rax, %rcx
callq 0x3490
movl %eax, %ebx
testl %eax, %eax
je 0x4f91
leaq 0xb595(%rip), %rax      # 0x10508
movq (%rax), %rdi
cmpl $0x5, (%rdi)
jl 0x4fc4
movl 0x8(%r14), %ecx
movl 0x10(%r14), %r8d
movl 0xc(%rsp), %r9d
leaq 0x55ab(%rip), %rdx      # 0xa53a
jmp 0x4fb8
movl 0xc(%rsp), %r9d
movl %r9d, 0xc(%r14)
leaq 0xb567(%rip), %rax      # 0x10508
movq (%rax), %rdi
cmpl $0x5, (%rdi)
jl 0x4fc4
movl 0x8(%r14), %ecx
movl 0x10(%r14), %r8d
leaq 0x5556(%rip), %rdx      # 0xa50e
movl $0x5, %esi
xorl %eax, %eax
callq 0x71fc
movl %ebx, %eax
addq $0x18, %rsp
popq %rbx
popq %r14
retq