LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::Less(LockFreeHashTable<int, int, std::hash<int>>::Node*, LockFreeHashTable<int, int, std::hash<int>>::Node*) const
bool Less(Node* node1, Node* node2) const {
    if (node1->reverse_hash != node2->reverse_hash) {
      return node1->reverse_hash < node2->reverse_hash;
    }

    if (node1->IsDummy() || node2->IsDummy()) {
      // When initialize bucket concurrently, that could happen.
      return false;
    }

    return static_cast<RegularNode*>(node1)->key <
           static_cast<RegularNode*>(node2)->key;
  }

// Assembly:
movq 0x10(%rdx), %rax
cmpq %rax, 0x10(%rsi)
jne 0x4f9e
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq (%rsi), %rax
movq %rsi, %rdi
callq *0x18(%rax)
testb %al, %al
jne 0x4f9a
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x18(%rax)
testb %al, %al
je 0x4fa2
xorl %eax, %eax
jmp 0x4fac
setb %al
retq
movl 0x20(%r14), %eax
cmpl 0x20(%rbx), %eax
setl %al
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::FindNode(LockFreeHashTable<int, int, std::hash<int>>::DummyNode*, LockFreeHashTable<int, int, std::hash<int>>::RegularNode*, int&)
bool FindNode(DummyNode* head, RegularNode* find_node, V& value) {
    Node* prev;
    Node* cur;
    HazardPointer prev_hp, cur_hp;
    bool found = SearchNode(head, find_node, &prev, &cur, prev_hp, cur_hp);
    auto& reclaimer = TableReclaimer<K, V>::GetInstance();
    if (found) {
      V* value_ptr;
      V* temp;
      do {
        // When find and insert concurrently value may be deleted,
        // see InsertRegularNode, so value must be marked as hazard.
        value_ptr = static_cast<RegularNode*>(cur)->value.load(
            std::memory_order_consume);
        temp = value_ptr;
        value_ptr = static_cast<RegularNode*>(cur)->value.load(
            std::memory_order_consume);
      } while (temp != value_ptr);
      reclaimer.ReclaimNoHazardPointer();
      value = *value_ptr;
    }
    return found;
  }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x40, %rsp
movq %rcx, %rbx
leaq 0x28(%rsp), %r9
andq $0x0, (%r9)
orl $-0x1, 0x8(%r9)
leaq 0x18(%rsp), %rax
andq $0x0, (%rax)
orl $-0x1, 0x8(%rax)
movq %rax, (%rsp)
leaq 0x38(%rsp), %rcx
leaq 0x10(%rsp), %r8
callq 0x4706
movl %eax, %ebp
callq 0x4902
testb %bpl, %bpl
je 0x5079
movq 0x10(%rsp), %rcx
movq 0x28(%rcx), %r14
movq 0x10(%rsp), %rcx
movq 0x28(%rcx), %rcx
cmpq %rcx, %r14
jne 0x5055
movq %rax, %rdi
callq 0x2558
movl (%r14), %eax
movl %eax, (%rbx)
leaq 0x18(%rsp), %rdi
callq 0x48f2
leaq 0x28(%rsp), %rdi
callq 0x48f2
movl %ebp, %eax
addq $0x40, %rsp
popq %rbx
popq %r14
popq %rbp
retq
jmp 0x509c
jmp 0x509c
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0x48f2
leaq 0x28(%rsp), %rdi
callq 0x48f2
movq %rbx, %rdi
callq 0x2230
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/calcdb.cpp
// Function: Dbase_Ctrl_Blk::Dbase_Ctrl_Blk(char const*, int)
Dbase_Ctrl_Blk::Dbase_Ctrl_Blk(const char *infile, const int buf_sz)
{
   if (binary_input){
      fd.open(infile, ios::in|ios::binary);
      if (!fd){
         cerr << "cannot open infile" << infile << endl;
         exit(1);
      }
   }
   else{
      fd.open(infile, ios::in);
      if (!fd){
         cerr << "cannot open infile" << infile << endl;
         exit(1);
      }
   }
   
   buf_size = buf_sz;
   buf = new int [buf_sz];
   cur_buf_pos = 0;
   cur_blk_size = 0;
   readall = 0;
   fd.seekg(0,ios::end);
   endpos = fd.tellg();
   fd.seekg(0,ios::beg);
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %rbx
callq 0x21a0
andq $0x0, 0x238(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x228(%rbx)
cmpb $0x1, 0xac82(%rip)      # 0xd208
jne 0x25cf
pushq $0xc
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2100
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x20(%rbx,%rax)
je 0x25eb
movq 0xaa45(%rip), %rdi      # 0xcff0
leaq 0x5a6e(%rip), %rsi      # 0x8020
callq 0x2160
movq %rax, %rdi
movq %r14, %rsi
callq 0x2160
movq %rax, %rdi
callq 0x20c0
jmp 0x266d
pushq $0x8
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2100
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x20(%rbx,%rax)
jne 0x2647
movl %ebp, 0x208(%rbx)
movl %ebp, %eax
shlq $0x2, %rax
testl %ebp, %ebp
pushq $-0x1
popq %rdi
cmovnsq %rax, %rdi
callq 0x2030
movq %rax, 0x210(%rbx)
andq $0x0, 0x218(%rbx)
movb $0x0, 0x224(%rbx)
pushq $0x2
popq %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x21f0
movq %rbx, %rdi
callq 0x22d0
movl %eax, 0x220(%rbx)
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x21f0
popq %rbx
popq %r14
popq %rbp
retq
movq 0xa9a2(%rip), %rdi      # 0xcff0
leaq 0x59cb(%rip), %rsi      # 0x8020
callq 0x2160
movq %rax, %rdi
movq %r14, %rsi
callq 0x2160
movq %rax, %rdi
callq 0x20c0
pushq $0x1
popq %rdi
callq 0x21b0
jmp 0x2677
movq %rax, %r14
leaq 0x228(%rbx), %rdi
callq 0x2ed4
movq %rbx, %rdi
callq 0x2070
movq %r14, %rdi
callq 0x22e0
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/calcdb.cpp
// Function: Dbase_Ctrl_Blk::get_first_blk()
void Dbase_Ctrl_Blk::get_first_blk()
{
   readall=0;

   fd.clear();
   fd.seekg(0,ios::beg);
   
   if (binary_input){
      fd.read((char *)buf, (buf_size*ITSZ));
      cur_blk_size = fd.gcount()/ITSZ; 
      if (cur_blk_size < 0){
         cerr << "problem in get_first_blk" << cur_blk_size << endl;
      }
      if (cur_blk_size < buf_size){
         fd.clear();
         fd.seekg(0,ios::end);
      }
   }
   
   cur_buf_pos = 0;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movb $0x0, 0x224(%rdi)
movq (%rdi), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
xorl %esi, %esi
callq 0x22b0
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x21f0
cmpb $0x1, 0xab09(%rip)      # 0xd208
jne 0x2786
movq 0x210(%rbx), %rsi
movslq 0x208(%rbx), %rdx
shlq $0x2, %rdx
movq %rbx, %rdi
callq 0x21d0
movq 0x8(%rbx), %rax
shrq $0x2, %rax
movl %eax, 0x218(%rbx)
testl %eax, %eax
jns 0x2760
movq 0xa8b8(%rip), %rdi      # 0xcff0
leaq 0x58f4(%rip), %rsi      # 0x8033
callq 0x2160
movl 0x218(%rbx), %esi
movq %rax, %rdi
callq 0x22c0
movq %rax, %rdi
callq 0x20c0
movl 0x218(%rbx), %eax
cmpl 0x208(%rbx), %eax
jge 0x2786
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
xorl %esi, %esi
callq 0x22b0
pushq $0x2
popq %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x21f0
andl $0x0, 0x21c(%rbx)
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/calcdb.cpp
// Function: Dbase_Ctrl_Blk::get_next_trans_ext()
void Dbase_Ctrl_Blk::get_next_trans_ext()
{
   // Need to get more items from file
   int res = cur_blk_size - cur_buf_pos;
   if (res > 0)
   {
      // First copy partial transaction to beginning of buffer
      for (int i=0; i < res; i++)
         buf[i] = buf[cur_buf_pos+i]; 
      cur_blk_size = res;
   }
   else
   {
      // No partial transaction in buffer
      cur_blk_size = 0;
   }

   fd.read((char *)(buf + cur_blk_size),
           ((buf_size - cur_blk_size)*ITSZ));
   
   res = fd.gcount();
   if (res < 0){
      cerr << "in get_next_trans_ext" << res << endl;
   }

  if (res < (buf_size - cur_blk_size)){
      fd.clear();
      fd.seekg(0,ios::end);
   }

   
   cur_blk_size += res/ITSZ;
   cur_buf_pos = 0;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl 0x218(%rdi), %eax
movq 0x210(%rdi), %rcx
subl 0x21c(%rdi), %eax
jle 0x294f
movl %eax, %edx
xorl %esi, %esi
cmpq %rsi, %rdx
je 0x2951
movl 0x21c(%rbx), %edi
addl %esi, %edi
movslq %edi, %rdi
movl (%rcx,%rdi,4), %edi
movl %edi, (%rcx,%rsi,4)
incq %rsi
jmp 0x2934
xorl %eax, %eax
movl %eax, 0x218(%rbx)
movl %eax, %edx
leaq (%rcx,%rdx,4), %rsi
movslq 0x208(%rbx), %rdx
cltq
subq %rax, %rdx
shlq $0x2, %rdx
movq %rbx, %rdi
callq 0x21d0
movq 0x8(%rbx), %r14
testl %r14d, %r14d
jns 0x29a4
movq 0xa66b(%rip), %rdi      # 0xcff0
leaq 0x56c0(%rip), %rsi      # 0x804c
callq 0x2160
movq %rax, %rdi
movl %r14d, %esi
callq 0x22c0
movq %rax, %rdi
callq 0x20c0
movl 0x208(%rbx), %ecx
movl 0x218(%rbx), %eax
subl %eax, %ecx
cmpl %r14d, %ecx
jle 0x29db
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
xorl %esi, %esi
callq 0x22b0
pushq $0x2
popq %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x21f0
movl 0x218(%rbx), %eax
movslq %r14d, %rcx
shrq $0x2, %rcx
addl %eax, %ecx
movl %ecx, 0x218(%rbx)
andl $0x0, 0x21c(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/calcdb.cpp
// Function: Dbase_Ctrl_Blk::print_trans()
void Dbase_Ctrl_Blk::print_trans(){
  cout << Cid << " " << Tid << " " << TransSz;
  for (int i=0; i < TransSz; i++)
    cout << " " << TransAry[i];
  cout << endl;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movl 0xa64d(%rip), %esi      # 0xd1f4
movq 0xa422(%rip), %rbx      # 0xcfd0
movq %rbx, %rdi
callq 0x22c0
leaq 0x54fc(%rip), %r14      # 0x80b9
movq %rax, %rdi
movq %r14, %rsi
callq 0x2160
movl 0xa622(%rip), %esi      # 0xd1f0
movq %rax, %rdi
callq 0x22c0
movq %rax, %rdi
movq %r14, %rsi
callq 0x2160
movl 0xa5fd(%rip), %esi      # 0xd1e4
movq %rax, %rdi
callq 0x22c0
xorl %r15d, %r15d
movslq 0xa5eb(%rip), %rax      # 0xd1e4
cmpq %rax, %r15
jge 0x2c21
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2160
movq 0xa5d8(%rip), %rcx      # 0xd1e8
movl (%rcx,%r15,4), %esi
movq %rax, %rdi
callq 0x22c0
incq %r15
jmp 0x2bf2
movq 0xa3a8(%rip), %rdi      # 0xcfd0
popq %rbx
popq %r14
popq %r15
jmp 0x20c0
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/calcdb.cpp
// Function: Dbase_Ctrl_Blk::alloc_idlists()
void Dbase_Ctrl_Blk::alloc_idlists()
{
   //allocate space for Idlists
   Idlists.resize(NumF1);
   for (int i=0; i < NumF1; i++){
      Idlists[i] = new idlist;   
   }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
addq $0x228, %rbx            # imm = 0x228
movslq 0xa5ad(%rip), %rsi      # 0xd1f8
movq %rbx, %rdi
callq 0x2e42
movslq 0xa59e(%rip), %r15      # 0xd1f8
xorl %r12d, %r12d
pushq $0x18
popq %r14
cmpq %r15, %r12
jge 0x2c85
movq %r14, %rdi
callq 0x2170
andq $0x0, 0x10(%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq (%rbx), %rcx
movq %rax, (%rcx,%r12,8)
incq %r12
jmp 0x2c61
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/calcdb.cpp
// Function: Dbase_Ctrl_Blk::make_vertical()
void Dbase_Ctrl_Blk::make_vertical(){
   int i, j; //track the position in trans, counting BranchIt
   int pi, pj; //track the position in trans, not counting BranchIt
   int scope;
   int depth = 0;
   //convert current transaction into vertical format
   
   for (i=0, pi=0; i < TransSz; i++){

      if (TransAry[i] == BranchIt){
         depth--;
         continue;
      }
      else if (TransAry[i] == InvalidIt){
	 depth++;
	 pi++;
	 continue;
      }
      
      scope=0;
      for (j=i+1, pj=pi; scope >= 0 && j < TransSz; j++){
         if (TransAry[j] == BranchIt) scope--;
         else{
            scope++;
            pj++;
         }
      }
      
      idnode nn(Cid, pi,pj, depth, true);
      //cout << "push " << TransAry[i] << " " <<  pi << " " << pj << endl;
      Idlists[TransAry[i]]->push_back(nn);
      pi++;
      depth++;
   }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, (%rsp)
leaq 0x18(%rsp), %r13
xorl %r12d, %r12d
movl 0xa532(%rip), %eax      # 0xd1e4
leaq 0xa4e7(%rip), %rdi      # 0xd1a0
leaq 0xa4e8(%rip), %rbx      # 0xd1a8
xorl %r15d, %r15d
xorl %ebp, %ebp
xorl %r14d, %r14d
movslq %eax, %rcx
cmpq %rcx, %r15
jge 0x2da2
movq 0xa50d(%rip), %rcx      # 0xd1e8
movslq (%rcx,%r15,4), %rsi
movq (%rdi), %rdx
cmpq %rsi, %rdx
jne 0x2cef
decl %r14d
jmp 0x2d96
cmpq %rsi, (%rbx)
jne 0x2cfe
incl %r14d
incl %ebp
jmp 0x2d96
leaq (%rcx,%r12), %rdi
xorl %r8d, %r8d
pushq $0x1
popq %r9
movl %ebp, %esi
testl %r8d, %r8d
js 0x2d36
leal (%r15,%r9), %r10d
cmpl %r10d, %eax
jle 0x2d36
movslq (%rdi,%r9,4), %r10
xorl %r11d, %r11d
cmpq %r10, %rdx
setne %r11b
addl %r11d, %esi
leal (%r8,%r11,2), %r8d
decl %r8d
incq %r9
jmp 0x2d0b
movl 0xa4b8(%rip), %eax      # 0xd1f4
movl %eax, 0x8(%rsp)
movl %ebp, 0xc(%rsp)
movl %esi, 0x10(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, (%r13)
andq $0x0, 0x10(%r13)
movl %r14d, 0x30(%rsp)
movb $0x1, 0x34(%rsp)
movslq (%rcx,%r15,4), %rax
movq (%rsp), %rcx
movq 0x228(%rcx), %rcx
movq (%rcx,%rax,8), %rdi
leaq 0x8(%rsp), %rsi
callq 0x2e74
incl %ebp
incl %r14d
movq %r13, %rdi
callq 0x2ea0
movl 0xa455(%rip), %eax      # 0xd1e4
leaq 0xa40a(%rip), %rdi      # 0xd1a0
incq %r15
addq $0x4, %r12
jmp 0x2cc8
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq %r13, %rdi
callq 0x2ea0
movq %r14, %rdi
callq 0x22e0
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/calcdb.cpp
// Function: Dbase_Ctrl_Blk::print_vertical()
void Dbase_Ctrl_Blk::print_vertical(){
  int i;
  for (i=0; i < NumF1; i++){
    cout << "item " << Dbase_Ctrl_Blk::FreqIdx[i] << endl;
    cout << *Idlists[i];
  }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %r12d, %r12d
movq 0xa1f7(%rip), %r14      # 0xcfd0
leaq 0x5282(%rip), %r15      # 0x8062
movslq 0xa411(%rip), %rax      # 0xd1f8
cmpq %rax, %r12
jge 0x2e2a
movq %r14, %rdi
movq %r15, %rsi
callq 0x2160
movq 0xa3d2(%rip), %rcx      # 0xd1d0
movl (%rcx,%r12,4), %esi
movq %rax, %rdi
callq 0x22c0
movq %rax, %rdi
callq 0x20c0
movq 0x228(%rbx), %rax
movq (%rax,%r12,8), %rsi
movq %r14, %rdi
callq 0x454e
incq %r12
jmp 0x2de0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: Eqnode::find_in_tlist(std::vector<int, std::allocator<int>>&, int, ival&, int)
bool Eqnode::find_in_tlist(vector<int> &par, int lit, 
                           ival &it, int stpos)
{
   //idlist::iterator ii;
   //for (ii = &tlist[stpos]; ii != tlist.end(); ++ii){
   idnode *ii;
   for (int i = stpos; i < tlist.size(); ++i){
      ii = &tlist[stpos];
      
      if (equal(par.begin(), par.end(), (*ii).parscope.begin())){
         if ((lit == (*ii).parscope.back()) &&
             (ival::compare((*ii).itscope, it) == equals)) return true;
      }
   }
   return false;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, 0x10(%rsp)
movl %edx, 0xc(%rsp)
movq %rsi, %r14
movq %rdi, %r15
movslq %r8d, %rbx
imulq $0x30, %rbx, %rbp
movq 0x10(%r15), %r13
movq 0x18(%r15), %rax
subq %r13, %rax
cqto
pushq $0x30
popq %rcx
idivq %rcx
movq %rax, %r12
cmpq %rbx, %rax
jbe 0x34a2
movq (%r14), %rdi
movq 0x8(%r14), %rsi
movq 0x10(%r13,%rbp), %rdx
callq 0x3b84
testb %al, %al
je 0x349d
addq %rbp, %r13
movq 0x18(%r13), %rax
movl 0xc(%rsp), %ecx
cmpl %ecx, -0x4(%rax)
jne 0x349d
addq $0x4, %r13
movq %r13, %rdi
movq 0x10(%rsp), %rsi
callq 0x38b2
testl %eax, %eax
je 0x34a2
incq %rbx
jmp 0x3448
cmpq %rbx, %r12
seta %al
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: operator<<(std::ostream&, Eqnode&)
ostream & operator<<(ostream& ostr, Eqnode& eqn){
   int *fidx = Dbase_Ctrl_Blk::FreqIdx;
   //ostr << fidx[eqn.val] << " (" << eqn.pos << ") - " << eqn.sup << endl;
   //ostr << fidx[eqn.val] << " - " << eqn.sup << " , " << eqn.isup <<
   //endl;
   if (mine_induced) ostr << " - " << eqn.isup << endl;
   else ostr << " - " << eqn.sup << endl;
   if (output_idlist) ostr << eqn.tlist;
   return ostr;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x9eea(%rip), %rax      # 0xd3b3
movzbl (%rax), %r15d
leaq 0x4bc8(%rip), %rsi      # 0x809c
callq 0x2160
movl 0x8(%r14,%r15,4), %esi
movq %rax, %rdi
callq 0x22c0
movq %rax, %rdi
callq 0x20c0
leaq 0x9ebc(%rip), %rax      # 0xd3b1
cmpb $0x1, (%rax)
jne 0x3509
addq $0x10, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x454e
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: Eqclass::item(int)
int Eqclass::item(int n) {
   int i,k;
   //cout << "in item: " << n << " " << _prefix.size() << endl;
   for (i=0,k=0; i < _prefix.size(); i++){
      if (_prefix[i] != BranchIt){
         if (k == n) return _prefix[i];
         k++;
      }
   }
   return -1;
}

// Assembly:
movq (%rdi), %rcx
movq 0x8(%rdi), %rdx
subq %rcx, %rdx
sarq $0x2, %rdx
leaq 0x9be3(%rip), %rax      # 0xd1a0
movq (%rax), %rdi
xorl %r8d, %r8d
pushq $-0x1
popq %rax
xorl %r9d, %r9d
cmpq %r8, %rdx
jbe 0x35e7
movslq (%rcx,%r8,4), %r10
cmpq %r10, %rdi
je 0x35df
cmpl %esi, %r9d
je 0x35e4
incl %r9d
incq %r8
jmp 0x35c9
movl %r10d, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: Eqclass::get_scope(int, int&)
int Eqclass::get_scope(int pos, int &scope){
  int scnt=0;
  for (int i=0; i < _prefix.size(); i++){
    if (_prefix[i] == BranchIt) scnt--;
    else scnt++;
    if (i == pos) scope = scnt;
  }
  return scnt;
}

// Assembly:
movq (%rdi), %rcx
movq 0x8(%rdi), %rdi
subq %rcx, %rdi
sarq $0x2, %rdi
leaq 0x9ba3(%rip), %rax      # 0xd1a0
movq (%rax), %r8
movl %esi, %esi
xorl %r9d, %r9d
xorl %eax, %eax
cmpq %r9, %rdi
je 0x362c
movslq (%rcx,%r9,4), %r10
xorl %r11d, %r11d
cmpq %r10, %r8
setne %r11b
leal (%rax,%r11,2), %eax
decl %eax
cmpq %r9, %rsi
jne 0x3627
movl %eax, (%rdx)
incq %r9
jmp 0x3607
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: Eqclass::set_prefix(std::vector<int, std::allocator<int>>&, Eqnode&)
void Eqclass::set_prefix(vector<int> &pref, Eqnode &node)
{
   _prefix = pref;
   
   int scope, scnt;
   scnt = get_scope(node.pos, scope); //what is the scope of node.pos

   while(scnt > scope){ 
     _prefix.push_back(BranchIt);
     scnt--;
   }
   _prefix.push_back(node.val);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
callq 0x393a
movl 0x4(%rbx), %esi
leaq 0x4(%rsp), %r15
movq %r14, %rdi
movq %r15, %rdx
callq 0x35e8
movl %eax, %ebp
movl (%r15), %r12d
leaq 0x9b3d(%rip), %r13      # 0xd1a0
movq %rsp, %r15
cmpl %r12d, %ebp
jle 0x3681
movl (%r13), %eax
movl %eax, (%rsp)
movq %r14, %rdi
movq %r15, %rsi
callq 0x3cec
decl %ebp
jmp 0x3666
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3a04
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: Eqclass::print_prefix(std::ostream&)
ostream & Eqclass::print_prefix(ostream& fout)
{
   for (int i=0; i < _prefix.size(); i++){
      if (_prefix[i] == BranchIt) fout << LOCAL_BRANCHIT << " ";
      else fout << Dbase_Ctrl_Blk::FreqIdx[_prefix[i]] << " ";
   }
   return fout;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
xorl %r12d, %r12d
leaq 0x9ae9(%rip), %r13      # 0xd1a0
pushq $-0x1
popq %rbp
leaq 0x49f8(%rip), %r15      # 0x80b9
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %r12, %rcx
jbe 0x3705
movslq (%rax,%r12,4), %rax
movl %ebp, %esi
cmpq %rax, (%r13)
je 0x36ed
leaq 0x9ae9(%rip), %rcx      # 0xd1d0
movq (%rcx), %rcx
movl (%rcx,%rax,4), %esi
movq %rbx, %rdi
callq 0x22c0
movq %rax, %rdi
movq %r15, %rsi
callq 0x2160
incq %r12
jmp 0x36c1
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: Eqclass::print(bool)
void Eqclass::print(bool check_isup){
  list<Eqnode *>::iterator ni = _nodelist.begin();
  int st, en;
  for (; ni != _nodelist.end(); ni++){
     if (check_isup && (*ni)->isup < MINSUPPORT) continue;
     
     print_prefix();
     en = get_scope((*ni)->pos, st);
     while (en > st){
        st++;
        cout << LOCAL_BRANCHIT << " ";
     }
     //cout << Dbase_Ctrl_Blk::FreqIdx[(*ni)->val] << " - " 
     //      << (*ni)->sup << " , " << (*ni)->isup << endl;    
     cout << *(*ni);
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %esi, 0xc(%rsp)
leaq 0x18(%rdi), %rax
movq %rax, 0x18(%rsp)
movq %rdi, 0x10(%rsp)
movq 0x18(%rdi), %r14
movq 0x988d(%rip), %r15      # 0xcfd0
pushq $-0x1
popq %rbp
leaq 0x496c(%rip), %r13      # 0x80b9
cmpq 0x18(%rsp), %r14
je 0x37e7
cmpb $0x0, 0xc(%rsp)
je 0x3771
movq 0x10(%r14), %rax
movl 0xc(%rax), %eax
leaq 0x9a43(%rip), %rcx      # 0xd1b0
cmpl (%rcx), %eax
jl 0x37df
movq 0x10(%rsp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x369c
movq %r14, 0x20(%rsp)
movq 0x10(%r14), %rax
movl 0x4(%rax), %esi
movq %rbx, %rdi
leaq 0x8(%rsp), %rdx
callq 0x35e8
movl %eax, %r12d
movl 0x8(%rsp), %ebx
movl %ebx, %r14d
cmpl %r14d, %r12d
jle 0x37c3
incl %r14d
movq %r15, %rdi
movl %ebp, %esi
callq 0x22c0
movq %rax, %rdi
movq %r13, %rsi
callq 0x2160
jmp 0x37a4
cmpl %ebx, %r12d
cmovgl %r12d, %ebx
movl %ebx, 0x8(%rsp)
movq 0x20(%rsp), %r14
movq 0x10(%r14), %rsi
movq %r15, %rdi
callq 0x34b7
movq (%r14), %r14
jmp 0x374d
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/eqclass.cpp
// Function: operator<<(std::ostream&, Eqclass&)
ostream& operator << (ostream& fout, Eqclass& eq)
{
  list<Eqnode *>::iterator ni = eq._nodelist.begin();
  int st, en;
  for (; ni != eq._nodelist.end(); ni++){
     eq.print_prefix(fout);
     en = eq.get_scope((*ni)->pos, st);
     while (en > st){
        st++;
        fout << LOCAL_BRANCHIT << " ";
     }
     fout << *(*ni);
  }
  return fout;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
leaq 0x18(%rsi), %rax
movq %rax, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq 0x18(%rsi), %r15
pushq $-0x1
popq %rbp
leaq 0x4896(%rip), %r12      # 0x80b9
cmpq 0x18(%rsp), %r15
je 0x389f
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x369c
movq %r15, 0x20(%rsp)
movq 0x10(%r15), %rax
movl 0x4(%rax), %esi
movq %r14, %rdi
leaq 0xc(%rsp), %rdx
callq 0x35e8
movl %eax, %r13d
movl 0xc(%rsp), %r15d
movl %r15d, %r14d
cmpl %r14d, %r13d
jle 0x387d
incl %r14d
movq %rbx, %rdi
movl %ebp, %esi
callq 0x22c0
movq %rax, %rdi
movq %r12, %rsi
callq 0x2160
jmp 0x385e
cmpl %r15d, %r13d
cmovgl %r13d, %r15d
movl %r15d, 0xc(%rsp)
movq 0x20(%rsp), %r15
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x34b7
movq (%r15), %r15
jmp 0x3823
movq %rbx, %rax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/./idlist.h
// Function: ival::compare(ival&, ival&)
static ival_type compare(ival &n1, ival &n2){
      ival_type retval;
      if (n1.lb == n2.lb && n1.ub == n2.ub) retval = equals; //n1 equals n2
      else if (n1.lb < n2.lb && n1.ub >= n2.ub) retval = sup; //n1 contains n2
      else if (n1.lb > n2.lb && n1.ub <= n2.ub) retval = sub; //n2 contains n1
      else if (n1.ub < n2.lb) retval = before; //n1 comes before n2
      else if (n2.ub < n1.lb) retval = after; //n1 comes after n2
      else{ 
         retval = overlap;
         //cout << "wrong case in compare_interval: ";
         //cout << "[" << n1.lb << "," << n1.ub << "]";
         //cout << " [" << n2.lb << "," << n2.ub << "]" << endl;
      }
      return retval;
   }

// Assembly:
movl (%rdi), %ecx
movl (%rsi), %edx
cmpl %edx, %ecx
jne 0x38c6
movl 0x4(%rdi), %r8d
xorl %eax, %eax
cmpl 0x4(%rsi), %r8d
je 0x38f9
cmpl %edx, %ecx
jge 0x38d2
movl 0x4(%rdi), %eax
cmpl 0x4(%rsi), %eax
jge 0x38ea
movl 0x4(%rdi), %eax
cmpl %edx, %ecx
jle 0x38e2
cmpl 0x4(%rsi), %eax
jg 0x38e2
pushq $0x2
jmp 0x38ec
cmpl %edx, %eax
jge 0x38ee
pushq $0x3
jmp 0x38ec
pushq $0x1
popq %rax
retq
xorl %eax, %eax
cmpl %ecx, 0x4(%rsi)
setl %al
xorl $0x5, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/stats.cpp
// Function: Stats::add(iterstat&)
void Stats::add(iterstat &is){
   push_back(is);
   sumtime += is.time;
   sumcand += is.numcand;
   sumlarge += is.numlarge;
}

// Assembly:
pushq %rbx
movq %rsi, %rbx
callq 0x40f4
movsd 0x8(%rbx), %xmm0
addsd 0x9426(%rip), %xmm0     # 0xd220
movsd %xmm0, 0x941e(%rip)     # 0xd220
movl (%rbx), %eax
addl %eax, 0x941e(%rip)      # 0xd228
movl 0x4(%rbx), %eax
addl %eax, 0x9419(%rip)      # 0xd22c
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/stats.cpp
// Function: Stats::add(int, int, double, double)
void Stats::add(int cand, int freq, double time, double avgtid){
  iterstat *is = new iterstat(cand, freq, time, avgtid);
  push_back(*is);
  sumtime += is->time;
  sumcand += is->numcand;
  sumlarge += is->numlarge;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movsd %xmm1, 0x10(%rsp)
movsd %xmm0, 0x8(%rsp)
movl %edx, %ebx
movl %esi, %ebp
movq %rdi, %r14
pushq $0x18
popq %rdi
callq 0x2170
movq %rax, %r15
movl %ebp, (%rax)
movl %ebx, 0x4(%rax)
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x8(%rax)
movsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x10(%rax)
movq %r14, %rdi
movq %rax, %rsi
callq 0x40f4
movsd 0x8(%r15), %xmm0
addsd 0x93ae(%rip), %xmm0     # 0xd220
movsd %xmm0, 0x93a6(%rip)     # 0xd220
movl (%r15), %eax
addl %eax, 0x93a5(%rip)      # 0xd228
movl 0x4(%r15), %eax
addl %eax, 0x939f(%rip)      # 0xd22c
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/stats.cpp
// Function: operator<<(std::ostream&, Stats&)
ostream& operator << (ostream& fout, Stats& stats){
  //fout << "SIZE " << stats.size() << endl;
  for (int i=0; i<stats.size(); i++){
    fout << "[ " << i+1 << " " << stats[i].numcand << " "
	 << stats[i].numlarge << " " << stats[i].time << " "
	 << stats[i].avgtid << " ] ";
  }
  fout << "[ SUM " << stats.sumcand << " " << stats.sumlarge << " "
       << stats.sumtime << " ] ";
  fout << stats.tottime;
  return fout;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
xorl %r15d, %r15d
leaq 0x410f(%rip), %r12      # 0x80b9
leaq 0x40f2(%rip), %r13      # 0x80a3
xorl %ebp, %ebp
movq 0x8(%r14), %rax
subq (%r14), %rax
cqto
pushq $0x18
popq %rcx
idivq %rcx
cmpq %rbp, %rax
jbe 0x406a
movq %rbx, %rdi
leaq 0x40cb(%rip), %rsi      # 0x80a0
callq 0x2160
incq %rbp
movq %rax, %rdi
movl %ebp, %esi
callq 0x22c0
movq %rax, %rdi
movq %r12, %rsi
callq 0x2160
movq (%r14), %rcx
movl (%rcx,%r15), %esi
movq %rax, %rdi
callq 0x22c0
movq %rax, %rdi
movq %r12, %rsi
callq 0x2160
movq (%r14), %rcx
movl 0x4(%rcx,%r15), %esi
movq %rax, %rdi
callq 0x22c0
movq %rax, %rdi
movq %r12, %rsi
callq 0x2160
movq (%r14), %rcx
movsd 0x8(%rcx,%r15), %xmm0
movq %rax, %rdi
callq 0x2250
movq %rax, %rdi
movq %r12, %rsi
callq 0x2160
movq (%r14), %rcx
movsd 0x10(%rcx,%r15), %xmm0
movq %rax, %rdi
callq 0x2250
movq %rax, %rdi
movq %r13, %rsi
callq 0x2160
addq $0x18, %r15
jmp 0x3fb3
leaq 0x4036(%rip), %rsi      # 0x80a7
movq %rbx, %rdi
callq 0x2160
movl 0x91a9(%rip), %esi      # 0xd228
movq %rax, %rdi
callq 0x22c0
leaq 0x402b(%rip), %r14      # 0x80b9
movq %rax, %rdi
movq %r14, %rsi
callq 0x2160
movl 0x918d(%rip), %esi      # 0xd22c
movq %rax, %rdi
callq 0x22c0
movq %rax, %rdi
movq %r14, %rsi
callq 0x2160
movsd 0x9166(%rip), %xmm0     # 0xd220
movq %rax, %rdi
callq 0x2250
leaq 0x3fda(%rip), %rsi      # 0x80a3
movq %rax, %rdi
callq 0x2160
movsd 0x913f(%rip), %xmm0     # 0xd218
movq %rbx, %rdi
callq 0x2250
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/treeminer.cpp
// Function: F1cmp(int, int)
bool F1cmp(int x, int y){
   bool res = false;
   if ((*ITCNT)[x] < (*ITCNT)[y]) res = true;

   if (sort_type == incr) return res;
   else return !res;
}

// Assembly:
movq 0x8e1d(%rip), %rax      # 0xd3e0
movslq %edi, %rcx
movq (%rax), %rax
movl (%rax,%rcx,4), %ecx
movslq %esi, %rdx
cmpl (%rax,%rdx,4), %ecx
setl %cl
cmpl $0x1, 0x8ddc(%rip)      # 0xd3b8
setne %al
xorb %cl, %al
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/treeminer.cpp
// Function: get_intersect(idlist*, idlist*, Eqnode*, Eqnode*, int, int, bool)
void get_intersect(idlist *l1, idlist *l2, Eqnode *ins, Eqnode *outs,
                   int n1depth, int n2depth, bool f2=false)
{
   static idnode *n1, *n2;

   int i1 = 0, i2 = 0;
   int e1, e2;

   //cout << "GISECT:\n";
   //cout << *l1;
   //cout << *l2;
   
   while (i1 < l1->size() && i2 < l2->size()){
      n1 = &(*l1)[i1];
      n2 = &(*l2)[i2];

      //look for matching cids
      if (n1->cid < n2->cid) i1++;
      else if (n1->cid > n2->cid) i2++;
      else{
         //cids match
         e1 = i1;
         e2 = i2;

         //check the cid end positions in it1 and it2
         while (e1 < l1->size() && (*l1)[e1].cid == n1->cid) e1++;
         while (e2 < l2->size() && (*l2)[e2].cid == n2->cid) e2++;

         //cout << "ISECT " << i1 << " " << i2 << " " << e1 << " " << e2 << endl;
         //increment support if candidate found
         if (ins) check_ins(l1, l2, ins, i1, i2, e1, e2, f2);
         if (outs) check_outs(l1, l2, outs, i1, i2, e1, e2, 
                              n1depth, n2depth);

         //restore index to end of cids
         i1 = e1;
         i2 = e2;
      }
   }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %r10
movq %rdx, %r11
movq %rsi, %r15
xorl %r13d, %r13d
pushq $0x30
popq %r12
xorl %ebx, %ebx
movq %rdi, (%rsp)
movl %r13d, %ebp
movslq %r13d, %rcx
movq (%rdi), %r8
movq 0x8(%rdi), %rax
subq %r8, %rax
cqto
idivq %r12
imulq $0x30, %rcx, %rsi
addq %r8, %rsi
movslq %ebx, %r14
imulq $0x30, %r14, %rdi
movq %rax, %r13
cmpq %rcx, %r13
jbe 0x53b6
movq (%r15), %r9
movq 0x8(%r15), %rax
subq %r9, %rax
cqto
idivq %r12
cmpq %r14, %rax
jbe 0x53b6
movq %rax, %rbx
movq %rsi, 0x812b(%rip)      # 0xd408
leaq (%r9,%rdi), %rax
movq %rax, 0x8128(%rip)      # 0xd410
movl (%rsi), %r8d
movl (%r9,%rdi), %edx
cmpl %edx, %r8d
jl 0x5328
jle 0x5306
incq %r14
addq $0x30, %rdi
jmp 0x52b2
incq %rcx
addq $0x30, %rsi
cmpq %rcx, %r13
jbe 0x5313
cmpl %r8d, (%rsi)
je 0x52ff
movq %rcx, %r13
movq %r14, %rcx
cmpq %rcx, %rbx
jbe 0x533c
cmpl %edx, (%rax)
jne 0x5339
incq %rcx
addq $0x30, %rax
jmp 0x5316
incl %ebp
movl %ebp, %r13d
movl %r14d, %ebx
movq (%rsp), %rdi
jmp 0x528c
movq %rcx, %rbx
testq %r11, %r11
je 0x5377
movzbl 0x50(%rsp), %eax
movq (%rsp), %rdi
movq %r15, %rsi
movq %r11, %rdx
movl %ebp, %ecx
movl %r14d, %r8d
movl %r13d, %r9d
pushq %rax
pushq %rbx
movq %r10, 0x20(%rsp)
movq %r11, 0x18(%rsp)
callq 0x4ee1
movq 0x18(%rsp), %r11
movq 0x20(%rsp), %r10
addq $0x10, %rsp
testq %r10, %r10
movq (%rsp), %rdi
je 0x528c
subq $0x18, %rsp
movq %r15, %rsi
movq %r10, %rdx
movl %ebp, %ecx
movl %r14d, %r8d
movl %r13d, %r9d
pushq %rbx
movq %r10, %r14
movq %r11, %rbp
callq 0x50be
movq 0x20(%rsp), %rdi
movq %rbp, %r11
movq %r14, %r10
addq $0x20, %rsp
jmp 0x528c
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/treeminer.cpp
// Function: lexsmaller(std::vector<int, std::allocator<int>>&, std::vector<int, std::allocator<int>>&)
bool lexsmaller(vector<int> &subtree, vector<int> &cand)
{
   int i,j;

   for (i=0, j=0; i < subtree.size() && j < cand.size();){

      if (subtree[i] > cand[j]){
         if (cand[j] != BranchIt) return false;
         else{
            while (cand[j] == BranchIt) j++;
            if (subtree[i] > cand[j]) return false;
            else if (subtree[i] < cand[j]) return true;
            else return false;
         }
         
      }
      else if (subtree[i] < cand[j]){
         if (subtree[i] != BranchIt) return true;
         else{
            while(subtree[i] == BranchIt) i++;
            if (subtree[i] > cand[j]) return false;
            else if (subtree[i] < cand[j]) return true;
            else return true;
         }
      }
      else{
         i++;
         j++;
      }
   }
   return false;
}

// Assembly:
movq (%rdi), %rcx
movq 0x8(%rdi), %r9
subq %rcx, %r9
sarq $0x2, %r9
movq (%rsi), %rdx
movq 0x8(%rsi), %r10
subq %rdx, %r10
sarq $0x2, %r10
xorl %edi, %edi
xorl %r11d, %r11d
xorl %eax, %eax
cmpq %r11, %r9
je 0x5429
cmpq %r11, %r10
je 0x5429
movslq (%rcx,%r11,4), %rsi
movslq (%rdx,%r11,4), %r8
cmpl %r8d, %esi
jg 0x540d
cmpl %r8d, %esi
jl 0x542a
incq %r11
addq $-0x4, %rdi
jmp 0x53e8
cmpq %r8, 0x7d8c(%rip)       # 0xd1a0
jne 0x5449
subq %rdi, %rdx
movl (%rdx), %eax
addq $0x4, %rdx
cmpl %eax, %r8d
je 0x5419
cmpl %eax, %esi
setl %al
retq
movb $0x1, %al
cmpq %rsi, 0x7d6d(%rip)      # 0xd1a0
jne 0x5429
subq %rdi, %rcx
movl (%rcx), %eax
addq $0x4, %rcx
cmpl %eax, %esi
je 0x5438
cmpl %r8d, %eax
setle %al
retq
xorl %eax, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/treeminer.cpp
// Function: form_f2_lists(Eqclass*)
void form_f2_lists(Eqclass *eq)
{
   list<Eqnode *>::iterator ni;
   idlist *l1, *l2;
   Eqnode *ins=NULL, *outs=NULL;
   int pit, nit;
   TimeTracker tt;
   
   tt.Start();
   pit = eq->prefix()[0];
   l1 = DCB->Idlists[pit];
   for (ni=eq->nlist().begin(); ni != eq->nlist().end(); ++ni){
      nit = (*ni)->val;
      l2 = DCB->Idlists[nit];
      ins = (*ni);
      //cout << "LISTS " << pit << " " << nit << " " << l1->size() 
      //     << " " << l2->size() << " " << ins->tlist.size() << endl;
      get_intersect(l1, l2, ins, outs, 0, 0, true);

   }
   stats.incrtime(1,tt.Stop());
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
leaq 0x8(%rsp), %rdi
movb $0x0, 0x20(%rdi)
callq 0x605c
movq (%rbx), %rax
movslq (%rax), %rax
movq 0x7822(%rip), %rcx      # 0xd380
movq 0x228(%rcx), %rcx
movq (%rcx,%rax,8), %r14
addq $0x18, %rbx
movq %rbx, %r15
movq (%r15), %r15
cmpq %rbx, %r15
je 0x5ba4
movq 0x10(%r15), %rdx
movslq (%rdx), %rax
movq 0x77fa(%rip), %rcx      # 0xd380
movq 0x228(%rcx), %rcx
movq (%rcx,%rax,8), %rsi
movl $0x1, (%rsp)
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x5268
jmp 0x5b70
leaq 0x8(%rsp), %rdi
callq 0x60a2
leaq 0x77d3(%rip), %rdi      # 0xd388
pushq $0x1
popq %rsi
callq 0x3f28
addq $0x30, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/treeminer.cpp
// Function: get_Fk(std::__cxx11::list<Eqclass*, std::allocator<Eqclass*>>&)
void get_Fk(list<Eqclass *> &F2list){
   Eqclass *eq;

   while(!F2list.empty()){
      eq = F2list.front();
      form_f2_lists(eq);
      //if (output){
      //   if (mine_induced) eq->print(true);
      //   else eq->print();
      // }
      
      if (prune_type == prune) FK.add(2, eq);
      switch(alg_type){
      case treeminer:
         enumerate_freq(eq, 3); 
         break;
      case maxtreeminer:
         cout << "NOT IMPLEMENTED\n";
         break;
      }
      delete eq;
      F2list.pop_front();
   }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x77ec(%rip), %r14      # 0xd3c8
pushq $0x2
popq %rbp
pushq $0x30
popq %r13
pushq $0x3
popq %r15
movq (%rbx), %rax
cmpq %rbx, %rax
je 0x5c62
movq 0x10(%rax), %r12
movq %r12, %rdi
callq 0x5b37
cmpl $0x1, 0x77be(%rip)      # 0xd3c0
jne 0x5c11
movq %r14, %rdi
movl %ebp, %esi
movq %r12, %rdx
callq 0x7250
movl 0x77a5(%rip), %eax      # 0xd3bc
cmpl $0x1, %eax
je 0x5c2d
testl %eax, %eax
jne 0x5c40
movq %r12, %rdi
movl %r15d, %esi
callq 0x57fa
jmp 0x5c40
movq 0x739c(%rip), %rdi      # 0xcfd0
leaq 0x2598(%rip), %rsi      # 0x81d3
callq 0x2160
testq %r12, %r12
je 0x5c4d
movq %r12, %rdi
callq 0x3512
movq %r12, %rdi
movq %r13, %rsi
callq 0x2180
movq %rbx, %rdi
callq 0x6208
jmp 0x5be7
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/./timetrack.h
// Function: TimeTracker::Stop()
double Stop() {
     double st, en;
     if (!running) return(-1.0);
     else {
        gettimeofday(&stop_time, (struct timezone *)0);
        st = start_time.tv_sec + (start_time.tv_usec/microsec);
        en = stop_time.tv_sec + (stop_time.tv_usec/microsec);
        running=false;
        return (double)(en - st);
     }
  }

// Assembly:
cmpb $0x1, 0x20(%rdi)
jne 0x60f0
pushq %rbx
movq %rdi, %rbx
addq $0x10, %rdi
xorl %esi, %esi
callq 0x2260
cvtsi2sdq (%rbx), %xmm0
cvtsi2sdq 0x8(%rbx), %xmm1
movsd 0x205e(%rip), %xmm2     # 0x8128
divsd %xmm2, %xmm1
addsd %xmm0, %xmm1
cvtsi2sdq 0x10(%rbx), %xmm3
cvtsi2sdq 0x18(%rbx), %xmm0
divsd %xmm2, %xmm0
addsd %xmm3, %xmm0
subsd %xmm1, %xmm0
movb $0x0, 0x20(%rbx)
popq %rbx
retq
movsd 0x2028(%rip), %xmm0     # 0x8120
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/./idlist.h
// Function: idnode::path_equal(idnode&)
bool path_equal(idnode &idn){
      int i;
      for (i=0; i < parscope.size(); i++){
         if (parscope[i] != idn.parscope[i]) return false;
      }
      return true;
   }

// Assembly:
movq 0x10(%rdi), %rcx
movq 0x18(%rdi), %rax
subq %rcx, %rax
sarq $0x2, %rax
movq 0x10(%rsi), %rdx
xorl %edi, %edi
movq %rdi, %rsi
cmpq %rdi, %rax
je 0x6137
movl (%rcx,%rsi,4), %r8d
leaq 0x1(%rsi), %rdi
cmpl (%rdx,%rsi,4), %r8d
je 0x6121
cmpq %rsi, %rax
setbe %al
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/./eqclass.h
// Function: Eqnode::add_list(int, std::vector<int, std::allocator<int>>&, int, ival&, int, bool)
void add_list(int c, vector<int> &pscope, int lit, ival &ivl, 
                 int d, bool i=false)
   {
//       if (tlist.size() > 0){
//          idnode *idn = &tlist.back();
//          vector<int> ps = pscope;
//          ps.push_back(lit);
//          if (idn->cid == c && 
//              idn->itscope == ivl && 
//              idn->parscope == ps) return;
//       }
      
      tlist.push_back(idnode(c, pscope, lit, ivl, d, i));
   }

// Assembly:
pushq %r14
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
addq $0x10, %rbx
movzbl 0x50(%rsp), %eax
movl %eax, (%rsp)
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x6500
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6572
leaq 0x18(%rsp), %rdi
callq 0x2ea0
addq $0x38, %rsp
popq %rbx
popq %r14
retq
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0x2ea0
movq %rbx, %rdi
callq 0x22e0
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/./eqclass.h
// Function: Eqnode::add_list(int, ival&, int, bool)
void add_list(int c, ival &it, int d, bool i=false)
   {
//       if (tlist.size() > 0){
//          idnode *idn = &tlist.back();
//          if (idn->cid == c && idn->itscope == it) return;
//       }
      
      tlist.push_back(idnode(c,it,d,i));
   }

// Assembly:
pushq %r14
pushq %rbx
subq $0x38, %rsp
addq $0x10, %rdi
leaq 0x18(%rsp), %rbx
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
movl %esi, -0x10(%rbx)
movq (%rdx), %rax
movq %rax, -0xc(%rbx)
movl %ecx, 0x18(%rbx)
movb %r8b, 0x1c(%rbx)
leaq 0x8(%rsp), %rsi
callq 0x6572
movq %rbx, %rdi
callq 0x2ea0
addq $0x38, %rsp
popq %rbx
popq %r14
retq
movq %rax, %r14
movq %rbx, %rdi
callq 0x2ea0
movq %r14, %rdi
callq 0x22e0
nop
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/./hashtable.h
// Function: FreqHT::clearall()
void clearall(){
      for (int i=0; i < chtable.size(); i++){
         if (chtable[i]){
            cHTable::iterator hi = chtable[i]->begin();
            for (; hi != chtable[i]->end(); hi++){
               delete (*hi).second;
            }
            chtable[i]->clear();
         }
      }
   }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
xorl %r13d, %r13d
pushq $0x18
popq %r14
movq %rsp, %r15
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %r13, %rcx
jbe 0x63fc
movq (%rax,%r13,8), %rdi
testq %rdi, %rdi
je 0x63f7
callq 0x6428
movq %rax, (%rsp)
movq %rdx, 0x8(%rsp)
testq %rax, %rax
je 0x63eb
movq 0x10(%rax), %r12
testq %r12, %r12
je 0x63d0
movq %r12, %rdi
callq 0x2ea0
movq %r12, %rdi
movq %r14, %rsi
callq 0x2180
movq %r15, %rdi
xorl %esi, %esi
callq 0x640a
movq (%rsp), %rax
jmp 0x63ba
movq (%rbx), %rax
movq (%rax,%r13,8), %rdi
callq 0x649a
incq %r13
jmp 0x6390
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/./idlist.h
// Function: idnode::idnode(int, std::vector<int, std::allocator<int>>&, int, ival&, int, bool)
idnode(int c, vector<int> &pscope, int lit, ival &ivl, int d, 
          bool i=false){
      cid = c;
      itscope = ivl;
      parscope = pscope;
      parscope.push_back(lit);      
      depth = d;
      induced = i;
   }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movl %r9d, %ebx
movq %rdi, %r14
movl %ecx, 0xc(%rsp)
andq $0x0, 0x4(%rdi)
leaq 0x10(%rdi), %r15
xorps %xmm0, %xmm0
andq $0x0, 0x20(%rdi)
movups %xmm0, 0x10(%rdi)
movl %esi, (%rdi)
movq (%r8), %rax
movq %rax, 0x4(%rdi)
movq %r15, %rdi
movq %rdx, %rsi
callq 0x393a
leaq 0xc(%rsp), %rsi
movq %r15, %rdi
callq 0x3a04
movb 0x30(%rsp), %al
movl %ebx, 0x28(%r14)
movb %al, 0x2c(%r14)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
movq %r15, %rdi
callq 0x2ea0
movq %rbx, %rdi
callq 0x22e0
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/hashtable.cpp
// Function: FreqHT::add(int, Eqclass*)
void FreqHT::add(int iter, Eqclass *eq){
   vector<int> *iset;
   int phval = 0;
   int i;
   for (i=0; i < eq->prefix().size(); i++)
      if (eq->prefix()[i] != BranchIt) phval += eq->prefix()[i];
   
   
   int hval = 0;
   int scope, scnt;
   list<Eqnode *>::iterator ni = eq->nlist().begin();
   for (; ni != eq->nlist().end(); ni++){
      iset = new vector<int>(eq->prefix());
      scnt = eq->get_scope((*ni)->pos, scope); //what is the scope of node.pos
      while(scnt > scope){
         iset->push_back(BranchIt);
         scnt--;
      }
      iset->push_back((*ni)->val);
      hval = phval + (*ni)->val;
      if (chtable[iter] == NULL) chtable[iter] = new cHTable(FHTSIZE);
      int hres = chtable[iter]->hash_funct()(hval);
      chtable[iter]->insert(cHTPair(hres, iset));
      //cout << "ADD " << hres << " xx " << *iset << endl;
   }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdx, %r14
movq %rdi, 0x10(%rsp)
movq (%rdx), %rax
movq 0x8(%rdx), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
leaq 0x5f25(%rip), %r12      # 0xd1a0
movq (%r12), %rdx
xorl %edi, %edi
xorl %r8d, %r8d
xorl %r10d, %r10d
cmpq %r8, %rcx
je 0x72a2
movslq (%rax,%r8,4), %r9
cmpq %r9, %rdx
cmovel %edi, %r9d
addl %r10d, %r9d
incq %r8
movl %r9d, %r10d
jmp 0x7287
movl %r10d, (%rsp)
leaq 0x18(%r14), %rbx
movslq %esi, %rax
movq %rax, 0x8(%rsp)
leaq 0x28(%rsp), %r13
movq %rbx, 0x20(%rsp)
movq %r14, 0x18(%rsp)
movq (%rbx), %rbx
cmpq 0x20(%rsp), %rbx
je 0x7392
pushq $0x18
popq %rdi
callq 0x2170
movq %rax, %rbp
movq %rax, %rdi
movq %r14, %rsi
callq 0x3214
movq 0x10(%rbx), %rax
movl 0x4(%rax), %esi
movq %r14, %rdi
leaq 0x4(%rsp), %rdx
callq 0x35e8
movl %eax, %r15d
cmpl 0x4(%rsp), %r15d
jle 0x731b
movl (%r12), %eax
movl %eax, 0x28(%rsp)
movq %rbp, %rdi
movq %r13, %rsi
callq 0x3cec
decl %r15d
jmp 0x72fc
movq 0x10(%rbx), %rsi
movq %rbp, %rdi
callq 0x3a04
movq 0x10(%rbx), %rax
movl (%rax), %r14d
addl (%rsp), %r14d
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rsp), %rcx
movq (%rax,%rcx,8), %rdi
testq %rdi, %rdi
jne 0x7376
pushq $0x28
popq %rdi
callq 0x2170
movq %rax, %r15
movq %rax, %rdi
pushq $0x64
popq %rsi
callq 0x7472
movq 0x10(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rsp), %rdx
movq %r15, (%rax,%rdx,8)
movq (%rcx), %rax
movq (%rax,%rdx,8), %rdi
movl %r14d, 0x28(%rsp)
movq %rbp, 0x30(%rsp)
movq %r13, %rsi
callq 0x78e8
movq 0x18(%rsp), %r14
jmp 0x72c1
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
pushq $0x28
popq %rsi
movq %r15, %rdi
jmp 0x73b5
movq %rax, %rbx
pushq $0x18
popq %rsi
movq %rbp, %rdi
callq 0x2180
movq %rbx, %rdi
callq 0x22e0
// File: /workspace/github_cpp_makefile_star2_O2/zakimjz[P]SLEUTH/hashtable.cpp
// Function: FreqHT::find(int, std::vector<int, std::allocator<int>>&, int)
bool FreqHT::find(int iter, vector<int> &cand, int hval)
{
   if (chtable[iter] == NULL) return false;

   int hres = chtable[iter]->hash_funct()(hval);   
   cHTFind p = chtable[iter]->equal_range(hres);
   
   //cout << "FIND " << hres << " xx  " << cand << endl;
   cHTable::iterator hi = p.first;
   for (; hi!=p.second; hi++){
      if (eqcmp(&cand, (*hi).second)) return true;
   }
   return false;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x40, %rsp
movq %rdx, %rbx
movslq %esi, %rax
movq (%rdi), %rdx
movq (%rdx,%rax,8), %rsi
testq %rsi, %rsi
je 0x7465
leaq 0xc(%rsp), %rdx
movl %ecx, (%rdx)
leaq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0x7b08
movups (%r14), %xmm0
leaq 0x10(%rsp), %r14
movaps %xmm0, (%r14)
movq 0x10(%rsp), %rax
cmpq 0x30(%rsp), %rax
setne %bpl
je 0x7467
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x73c2
testb %al, %al
jne 0x7467
movq %r14, %rdi
xorl %esi, %esi
callq 0x640a
jmp 0x7439
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x40, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/thierry7100[P]CutOptim/include/cxxopts.hpp
// Function: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const& cxxopts::OptionValue::as<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>() const
const T&
    as() const
    {
      if (m_value == nullptr) {
        throw std::domain_error("No value");
      }

#ifdef CXXOPTS_NO_RTTI
      return static_cast<const values::standard_value<T>&>(*m_value).get();
#else
      return dynamic_cast<const values::standard_value<T>&>(*m_value).get();
#endif
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
callq 0x83a0
movq (%rbx), %rdi
testq %rdi, %rdi
je 0xc35c
leaq 0x470ec(%rip), %rsi     # 0x53420
leaq 0x47125(%rip), %rdx     # 0x53460
xorl %ecx, %ecx
callq 0x8500
testq %rax, %rax
je 0xc38c
movq 0x28(%rax), %rcx
testq %rcx, %rcx
jne 0xc354
movq 0x18(%rax), %rcx
movq %rcx, %rax
popq %rbx
popq %r14
popq %rbp
retq
pushq $0x10
popq %rdi
callq 0x8210
movq %rax, %rbx
leaq 0x2ed9d(%rip), %rsi     # 0x3b10b
movq %rax, %rdi
callq 0x82c0
movq 0x47beb(%rip), %rsi     # 0x53f68
movq 0x47bfc(%rip), %rdx     # 0x53f80
movq %rbx, %rdi
callq 0x8760
callq 0x8820
movq %rax, %r14
movq %rbx, %rdi
callq 0x8350
movq %r14, %rdi
callq 0x87a0
// File: /workspace/github_cpp_makefile_star2_O2/thierry7100[P]CutOptim/src/ConvexHull.cpp
// Function: HullArea(std::vector<Point, std::allocator<Point>> const&)
double HullArea(const vector<Point> &points)
{
double A = 0.0;
int n = points.size();

    if ( n < 3) return 0.0;
    for (int i = 0; i < n - 1; i++)
    {
        A += points[i].x*points[i+1].y - points[i+1].x*points[i].y;
    }
    //  Then close the polygon, last point is the first one.
    A += points[n-1].x*points[0].y - points[0].x*points[n-1].y;
    A = fabs(A);
	return A/2;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x83a0
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
shrq $0x4, %rcx
xorpd %xmm0, %xmm0
cmpl $0x3, %ecx
jl 0x26ff0
decl %ecx
shlq $0x4, %rcx
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x26fc4
movsd (%rax,%rdx), %xmm1
movsd 0x8(%rax,%rdx), %xmm2
mulsd 0x10(%rax,%rdx), %xmm2
mulsd 0x18(%rax,%rdx), %xmm1
subsd %xmm2, %xmm1
addsd %xmm1, %xmm0
addq $0x10, %rdx
jmp 0x26f9a
movsd (%rax,%rcx), %xmm1
movsd 0x8(%rax,%rcx), %xmm2
mulsd (%rax), %xmm2
mulsd 0x8(%rax), %xmm1
subsd %xmm2, %xmm1
addsd %xmm1, %xmm0
andpd 0x15048(%rip), %xmm0    # 0x3c030
mulsd 0x15050(%rip), %xmm0    # 0x3c040
addq $0x8, %rsp
popq %rbx
popq %rbp
retq