LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O1/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::Node::Reverse(unsigned long) const
HashKey Reverse(HashKey hash) const {
      return reverse8bits_[hash & 0xff] << 56 |
             reverse8bits_[(hash >> 8) & 0xff] << 48 |
             reverse8bits_[(hash >> 16) & 0xff] << 40 |
             reverse8bits_[(hash >> 24) & 0xff] << 32 |
             reverse8bits_[(hash >> 32) & 0xff] << 24 |
             reverse8bits_[(hash >> 40) & 0xff] << 16 |
             reverse8bits_[(hash >> 48) & 0xff] << 8 |
             reverse8bits_[(hash >> 56) & 0xff];
    }

// Assembly:
movl $0xff, %eax
movl %esi, %edx
andl %eax, %edx
leaq 0x5f32(%rip), %rcx      # 0xa140
movq (%rcx,%rdx,8), %rdx
shlq $0x38, %rdx
movl %esi, %edi
shrl $0x8, %edi
andl %eax, %edi
movq (%rcx,%rdi,8), %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
movl %esi, %edx
shrl $0xd, %edx
andl $0x7f8, %edx            # imm = 0x7F8
movq (%rdx,%rcx), %r8
shlq $0x28, %r8
movl %esi, %edx
shrl $0x18, %edx
movq (%rcx,%rdx,8), %rdx
shlq $0x20, %rdx
orq %r8, %rdx
orq %rdi, %rdx
movq %rsi, %rdi
shrq $0x20, %rdi
andl %eax, %edi
movq (%rcx,%rdi,8), %rdi
shlq $0x18, %rdi
movq %rsi, %r8
shrq $0x28, %r8
andl %eax, %r8d
movq (%rcx,%r8,8), %r8
shlq $0x10, %r8
orq %rdi, %r8
movq %rsi, %rdi
shrq $0x30, %rdi
andl %eax, %edi
movq (%rcx,%rdi,8), %rax
shlq $0x8, %rax
orq %r8, %rax
orq %rdx, %rax
shrq $0x38, %rsi
orq (%rcx,%rsi,8), %rax
retq
// File: /workspace/github_cpp_makefile_star2_O1/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::GetBucketHeadByHash(unsigned long)
DummyNode* GetBucketHeadByHash(HashKey hash) {
    BucketIndex bucket_index = (hash & (bucket_size() - 1));
    DummyNode* head = GetBucketHeadByIndex(bucket_index);
    if (nullptr == head) {
      head = InitializeBucket(bucket_index);
    }
    return head;
  }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rcx
movl $0x1, %eax
shll %cl, %eax
movq %rsi, %r14
cltq
decq %rax
andq %rax, %r14
movq %r14, %rsi
callq 0x4592
testq %rax, %rax
je 0x4323
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rbx, %rdi
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x462a
nop
// File: /workspace/github_cpp_makefile_star2_O1/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::GetBucketHeadByIndex(unsigned long)
typename LockFreeHashTable<K, V, Hash>::DummyNode*
LockFreeHashTable<K, V, Hash>::GetBucketHeadByIndex(BucketIndex bucket_index) {
  int level = 1;
  const Segment* segments = segments_;
  while (level++ <= kMaxLevel - 2) {
    segments =
        segments[(bucket_index / static_cast<SegmentIndex>(pow(
                                     kSegmentSize, kMaxLevel - level + 1))) %
                 kSegmentSize]
            .get_sub_segments();
    if (nullptr == segments) return nullptr;
  }

  Bucket* buckets =
      segments[(bucket_index / kSegmentSize) % kSegmentSize].get_sub_buckets();
  if (nullptr == buckets) return nullptr;

  Bucket& bucket = buckets[bucket_index % kSegmentSize];
  return bucket.load(std::memory_order_consume);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
addq $0x18, %r14
movl $0x12, %eax
xorl %r15d, %r15d
movl $0x12, %ebp
addl $-0x6, %ebp
je 0x45fc
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
callq 0x20f0
cvttsd2si %xmm0, %rax
movq %rax, %rcx
subsd 0x1a3f(%rip), %xmm0     # 0x6010
cvttsd2si %xmm0, %rsi
sarq $0x3f, %rcx
andq %rcx, %rsi
orq %rax, %rsi
movq %rbx, %rax
xorl %edx, %edx
divq %rsi
andl $0x3f, %eax
shll $0x4, %eax
movq 0x8(%r14,%rax), %r14
movl %ebp, %eax
testq %r14, %r14
jne 0x45b0
jmp 0x461c
movl %ebx, %eax
shrl $0x2, %eax
andl $0x3f0, %eax            # imm = 0x3F0
movq 0x8(%r14,%rax), %rax
testq %rax, %rax
je 0x4619
andl $0x3f, %ebx
movq (%rax,%rbx,8), %r15
jmp 0x461c
xorl %r15d, %r15d
movq %r15, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::InsertDummyNode(LockFreeHashTable<int, int, std::hash<int>>::DummyNode*, LockFreeHashTable<int, int, std::hash<int>>::DummyNode*, LockFreeHashTable<int, int, std::hash<int>>::DummyNode**)
bool LockFreeHashTable<K, V, Hash>::InsertDummyNode(DummyNode* parent_head,
                                                    DummyNode* new_head,
                                                    DummyNode** real_head) {
  Node* prev;
  Node* cur;
  HazardPointer prev_hp, cur_hp;
  do {
    if (SearchNode(parent_head, new_head, &prev, &cur, prev_hp, cur_hp)) {
      // The head of bucket already insert into list.
      *real_head = static_cast<DummyNode*>(cur);
      return false;
    }
    new_head->next.store(cur, std::memory_order_release);
  } while (!prev->next.compare_exchange_weak(
      cur, new_head, std::memory_order_release, std::memory_order_relaxed));
  return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rcx, 0x38(%rsp)
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r12
xorl %eax, %eax
leaq 0x18(%rsp), %rdx
movq %rax, (%rdx)
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl %ecx, 0x8(%rdx)
leaq 0x28(%rsp), %r13
movq %rax, (%r13)
movl %ecx, 0x8(%r13)
leaq 0x10(%rsp), %rbx
movq %r13, (%rsp)
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
leaq 0x40(%rsp), %rcx
movq %rbx, %r8
leaq 0x18(%rsp), %r9
callq 0x4938
movl %eax, %ebp
movq 0x10(%rsp), %rax
testb %bpl, %bpl
jne 0x48d8
movq %rax, 0x18(%r14)
movq 0x40(%rsp), %rcx
movq 0x10(%rsp), %rax
lock
cmpxchgq %r14, 0x18(%rcx)
je 0x48e0
movq %rax, 0x10(%rsp)
jmp 0x4890
movq 0x38(%rsp), %rcx
movq %rax, (%rcx)
xorb $0x1, %bpl
movq 0x28(%rsp), %rdi
movl 0x30(%rsp), %esi
callq 0x4dc8
movq 0x18(%rsp), %rdi
movl 0x20(%rsp), %esi
callq 0x4dc8
movl %ebp, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x28(%rsp), %rdi
movl 0x30(%rsp), %esi
callq 0x4dc8
movq 0x18(%rsp), %rdi
movl 0x20(%rsp), %esi
callq 0x4dc8
movq %rbx, %rdi
callq 0x2230
// File: /workspace/github_cpp_makefile_star2_O1/bhhbazinga[P]LockFreeHashTable/./HazardPointer/reclaimer.h
// Function: Reclaimer::ReclaimLater(void*, std::function<void (void*)>&&)
void ReclaimLater(void* const ptr, std::function<void(void*)>&& func) {
    ReclaimNode* new_node = reclaim_pool_.Pop();
    new_node->ptr = ptr;
    new_node->delete_func = std::move(func);
    reclaim_map_.insert(std::make_pair(ptr, new_node));
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movq 0x58(%rdi), %r12
movq 0x8(%r12), %rax
testq %rax, %rax
je 0x4bdf
movq %rax, 0x58(%rbx)
movq $0x0, 0x8(%r12)
jmp 0x4bfa
movl $0x30, %edi
callq 0x2130
movq %rax, %r12
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movups %xmm0, 0x10(%rax)
movups %xmm0, 0x20(%rax)
movq %r14, (%r12)
leaq 0x10(%r12), %rdi
movq %r15, %rsi
callq 0x4e14
addq $0x20, %rbx
leaq 0x8(%rsp), %rsi
movq %r14, (%rsi)
movq %r12, 0x8(%rsi)
movq %rbx, %rdi
callq 0x4ea6
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::GreaterOrEquals(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 0x4c6e
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 0x4c6a
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x18(%rax)
testb %al, %al
je 0x4c73
xorl %eax, %eax
jmp 0x4c7d
setb %al
jmp 0x4c84
movl 0x20(%r14), %eax
cmpl 0x20(%rbx), %eax
setl %al
addq $0x8, %rsp
popq %rbx
popq %r14
xorb $0x1, %al
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/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
xorl %eax, %eax
leaq 0x28(%rsp), %r9
movq %rax, (%r9)
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl %ecx, 0x8(%r9)
leaq 0x18(%rsp), %r8
movq %rax, (%r8)
movl %ecx, 0x8(%r8)
movq %r8, (%rsp)
leaq 0x38(%rsp), %rcx
leaq 0x10(%rsp), %r8
callq 0x4938
movl %eax, %ebp
callq 0x4b88
testb %bpl, %bpl
je 0x5257
movq 0x10(%rsp), %rcx
movq 0x28(%rcx), %rcx
movq 0x10(%rsp), %rdx
movq 0x28(%rdx), %r14
cmpq %r14, %rcx
jne 0x5233
movq %rax, %rdi
callq 0x263e
movl (%r14), %eax
movl %eax, (%rbx)
movq 0x18(%rsp), %rdi
movl 0x20(%rsp), %esi
callq 0x4dc8
movq 0x28(%rsp), %rdi
movl 0x30(%rsp), %esi
callq 0x4dc8
movl %ebp, %eax
addq $0x40, %rsp
popq %rbx
popq %r14
popq %rbp
retq
jmp 0x5282
jmp 0x5282
movq %rax, %rbx
movq 0x18(%rsp), %rdi
movl 0x20(%rsp), %esi
callq 0x4dc8
movq 0x28(%rsp), %rdi
movl 0x30(%rsp), %esi
callq 0x4dc8
movq %rbx, %rdi
callq 0x2230
nop
// File: /workspace/github_cpp_makefile_star2_O1/iZhangHui[P]CppPrimer/CH17_SpecializedLibraryFacilities/examples/skipws.cc
// Function: main
int main()
{
	char ch;
	while (cin >> ch)
		cout << ch;
	cout << endl;

	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq 0x2dee(%rip), %rdi      # 0x3fe0
leaq -0x21(%rbp), %rsi
callq 0x1080
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x124e
movq 0x2dc0(%rip), %rbx      # 0x3fd0
leaq -0x22(%rbp), %r14
movq 0x2dc5(%rip), %r15      # 0x3fe0
leaq -0x21(%rbp), %r12
movb -0x21(%rbp), %al
movb %al, -0x22(%rbp)
movl $0x1, %edx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1070
movq %r15, %rdi
movq %r12, %rsi
callq 0x1080
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
je 0x121f
movq 0x2d7b(%rip), %rbx      # 0x3fd0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x1060
movsbl %al, %esi
movq %rbx, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x1040
xorl %eax, %eax
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 0x2210
xorps %xmm0, %xmm0
movups %xmm0, 0x228(%rbx)
movq $0x0, 0x238(%rbx)
cmpb $0x1, 0xaa4f(%rip)      # 0xd238
jne 0x283d
movq %rbx, %rdi
movq %r14, %rsi
movl $0xc, %edx
callq 0x2130
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x20(%rbx,%rax)
je 0x285b
movq 0xa7e0(%rip), %rdi      # 0xcff0
leaq 0x6809(%rip), %rsi      # 0x9020
movl $0x12, %edx
callq 0x2220
movq 0xa7c8(%rip), %rdi      # 0xcff0
movq %r14, %rsi
callq 0x21c0
movq %rax, %rdi
callq 0x20e0
jmp 0x28f4
movq %rbx, %rdi
movq %r14, %rsi
movl $0x8, %edx
callq 0x2130
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x20(%rbx,%rax)
jne 0x28c5
movl %ebp, 0x208(%rbx)
movslq %ebp, %rax
leaq (,%rax,4), %rcx
testl %eax, %eax
movq $-0x1, %rdi
cmovnsq %rcx, %rdi
callq 0x2030
movq %rax, 0x210(%rbx)
movq $0x0, 0x218(%rbx)
movb $0x0, 0x224(%rbx)
movq %rbx, %rdi
xorl %esi, %esi
movl $0x2, %edx
callq 0x2270
movq %rbx, %rdi
callq 0x2340
movl %eax, 0x220(%rbx)
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x2270
popq %rbx
popq %r14
popq %rbp
retq
movq 0xa724(%rip), %rdi      # 0xcff0
leaq 0x674d(%rip), %rsi      # 0x9020
movl $0x12, %edx
callq 0x2220
movq 0xa70c(%rip), %rdi      # 0xcff0
movq %r14, %rsi
callq 0x21c0
movq %rax, %rdi
callq 0x20e0
movl $0x1, %edi
callq 0x2230
jmp 0x2900
movq %rax, %r14
leaq 0x228(%rbx), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x2921
movq 0x238(%rbx), %rsi
subq %rdi, %rsi
callq 0x21e0
movq %rbx, %rdi
callq 0x2080
movq %r14, %rdi
callq 0x2350
nop
// File: /workspace/github_cpp_makefile_star2_O1/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 %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movb $0x0, 0x224(%rdi)
movq (%rdi), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
xorl %esi, %esi
callq 0x2320
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x2270
cmpb $0x1, 0xa88a(%rip)      # 0xd238
jne 0x2a61
movq 0x210(%rbx), %rsi
movslq 0x208(%rbx), %rdx
shlq $0x2, %rdx
movq %rbx, %rdi
callq 0x2250
movq 0x8(%rbx), %rax
shrq $0x2, %rax
movl %eax, 0x218(%rbx)
testl %eax, %eax
jns 0x2a33
movq 0xa609(%rip), %r14      # 0xcff0
leaq 0x6645(%rip), %rsi      # 0x9033
movl $0x18, %edx
movq %r14, %rdi
callq 0x2220
movl 0x218(%rbx), %esi
movq %r14, %rdi
callq 0x2330
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2150
movl 0x218(%rbx), %eax
cmpl 0x208(%rbx), %eax
jge 0x2a61
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
xorl %esi, %esi
callq 0x2320
movq %rbx, %rdi
xorl %esi, %esi
movl $0x2, %edx
callq 0x2270
movl $0x0, 0x21c(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/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 %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movl 0x218(%rdi), %eax
subl 0x21c(%rdi), %eax
jle 0x2c4a
movq 0x210(%rbx), %rcx
movl %eax, %edx
xorl %esi, %esi
movl 0x21c(%rbx), %edi
addl %esi, %edi
movslq %edi, %rdi
movl (%rcx,%rdi,4), %edi
movl %edi, (%rcx,%rsi,4)
incq %rsi
cmpq %rsi, %rdx
jne 0x2c2f
jmp 0x2c4c
xorl %eax, %eax
movl %eax, 0x218(%rbx)
movl %eax, %esi
shlq $0x2, %rsi
addq 0x210(%rbx), %rsi
movslq 0x208(%rbx), %rdx
cltq
subq %rax, %rdx
shlq $0x2, %rdx
movq %rbx, %rdi
callq 0x2250
movq 0x8(%rbx), %r14
testl %r14d, %r14d
jns 0x2cd0
movq 0xa369(%rip), %r15      # 0xcff0
leaq 0x63be(%rip), %rsi      # 0x904c
movl $0x15, %edx
movq %r15, %rdi
callq 0x2220
movq %r15, %rdi
movl %r14d, %esi
callq 0x2330
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2150
movl 0x208(%rbx), %eax
subl 0x218(%rbx), %eax
cmpl %r14d, %eax
jle 0x2d01
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
xorl %esi, %esi
callq 0x2320
movq %rbx, %rdi
xorl %esi, %esi
movl $0x2, %edx
callq 0x2270
movslq %r14d, %rax
shrq $0x2, %rax
addl %eax, 0x218(%rbx)
movl $0x0, 0x21c(%rbx)
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 %r12
pushq %rbx
pushq %rax
movl 0xa326(%rip), %esi      # 0xd224
movq 0xa0cb(%rip), %rbx      # 0xcfd0
movq %rbx, %rdi
callq 0x2330
movq %rax, %r14
leaq 0x61a2(%rip), %r15      # 0x90b9
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movl 0xa2f3(%rip), %esi      # 0xd220
movq %r14, %rdi
callq 0x2330
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movl 0xa2c6(%rip), %esi      # 0xd214
movq %r14, %rdi
callq 0x2330
cmpl $0x0, 0xa2b7(%rip)      # 0xd214
jle 0x2fa2
xorl %r12d, %r12d
movq 0xa067(%rip), %r14      # 0xcfd0
leaq 0x6149(%rip), %r15      # 0x90b9
movl $0x1, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x2220
movq 0xa291(%rip), %rax      # 0xd218
movl (%rax,%r12,4), %esi
movq %r14, %rdi
callq 0x2330
incq %r12
movslq 0xa277(%rip), %rax      # 0xd214
cmpq %rax, %r12
jl 0x2f70
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2040
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x2150
// File: /workspace/github_cpp_makefile_star2_O1/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 %rbx
movq %rdi, %rbx
addq $0x228, %rbx            # imm = 0x228
movslq 0xa23e(%rip), %rsi      # 0xd228
movq %rbx, %rdi
callq 0x3230
movslq 0xa22f(%rip), %r14      # 0xd228
testq %r14, %r14
jle 0x3028
xorl %r15d, %r15d
movl $0x18, %edi
callq 0x21d0
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x10(%rax)
movq (%rbx), %rcx
movq %rax, (%rcx,%r15,8)
incq %r15
cmpq %r15, %r14
jne 0x3001
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O1/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
movl 0xa1d2(%rip), %eax      # 0xd214
testl %eax, %eax
jle 0x3150
movq %rdi, %rbx
xorl %r15d, %r15d
leaq 0xa181(%rip), %r13      # 0xd1d8
leaq 0xa182(%rip), %rbp      # 0xd1e0
xorl %r14d, %r14d
xorl %r12d, %r12d
movq 0xa1ad(%rip), %rcx      # 0xd218
movslq (%rcx,%r15,4), %rsi
movq (%r13), %rdx
cmpq %rsi, %rdx
jne 0x3080
decl %r14d
jmp 0x313d
cmpq %rsi, (%rbp)
jne 0x3091
incl %r14d
incl %r12d
jmp 0x313d
leaq 0x1(%r15), %rdi
movslq %eax, %r8
movl %r12d, %esi
cmpq %r8, %rdi
jge 0x30d7
xorl %r8d, %r8d
movq %r15, %rdi
movl %r12d, %esi
movl %r8d, %r9d
movslq 0x4(%rcx,%rdi,4), %r8
xorl %r10d, %r10d
cmpq %r8, %rdx
setne %r10b
addl %r10d, %esi
leal -0x1(,%r10,2), %r8d
addl %r9d, %r8d
js 0x30d7
leal 0x2(%rdi), %r9d
incq %rdi
cmpl %r9d, %eax
jg 0x30a9
movl 0xa147(%rip), %eax      # 0xd224
movl %eax, 0x8(%rsp)
movl %r12d, 0xc(%rsp)
movl %esi, 0x10(%rsp)
leaq 0x18(%rsp), %rax
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x10(%rax)
movl %r14d, 0x30(%rsp)
movb $0x1, 0x34(%rsp)
movslq (%rcx,%r15,4), %rax
movq 0x228(%rbx), %rcx
movq (%rcx,%rax,8), %rdi
leaq 0x8(%rsp), %rsi
callq 0x3262
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x3137
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x21e0
incl %r12d
incl %r14d
incq %r15
movslq 0xa0cd(%rip), %rax      # 0xd214
cmpq %rax, %r15
jl 0x3064
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x3179
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x21e0
movq %rbx, %rdi
callq 0x2350
nop
// File: /workspace/github_cpp_makefile_star2_O1/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:
cmpl $0x0, 0xa09f(%rip)      # 0xd228
jle 0x3224
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
xorl %r13d, %r13d
movq 0x9e2b(%rip), %r14      # 0xcfd0
leaq 0x5eb6(%rip), %r15      # 0x9062
movl $0x5, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x2220
movq 0xa03d(%rip), %rax      # 0xd200
movl (%rax,%r13,4), %esi
movq %r14, %rdi
callq 0x2330
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %r12, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2150
movq 0x228(%rbx), %rax
movq (%rax,%r13,8), %rsi
movq %r14, %rdi
callq 0x4967
incq %r13
movslq 0xa012(%rip), %rax      # 0xd228
cmpq %rax, %r13
jl 0x31ac
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O1/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)
movslq %r8d, %rbx
movq 0x10(%rdi), %r12
movq 0x18(%rdi), %rax
subq %r12, %rax
sarq $0x4, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rax
cmpq %rbx, %rax
seta %r13b
jbe 0x37fb
movq %rsi, %r14
movq %rdi, %r15
leaq (%rbx,%rbx,2), %rbp
shlq $0x4, %rbp
addq %rbp, %r12
movq (%r14), %rdi
movq 0x8(%r14), %rdx
subq %rdi, %rdx
je 0x37af
movq 0x10(%r12), %rsi
callq 0x21f0
testl %eax, %eax
jne 0x37d2
movq 0x18(%r12), %rax
movl 0xc(%rsp), %ecx
cmpl %ecx, -0x4(%rax)
jne 0x37d2
addq $0x4, %r12
movq %r12, %rdi
movq 0x10(%rsp), %rsi
callq 0x3d8c
testl %eax, %eax
je 0x37fb
incq %rbx
movq 0x10(%r15), %r12
movq 0x18(%r15), %rax
subq %r12, %rax
sarq $0x4, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rax
cmpq %rbx, %rax
seta %r13b
ja 0x3792
andb $0x1, %r13b
movl %r13d, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 0x9bc0(%rip), %rax      # 0xd3e3
movzbl (%rax), %r15d
leaq 0x586e(%rip), %rsi      # 0x909c
movl $0x3, %edx
callq 0x2220
movl 0x8(%r14,%r15,4), %esi
movq %rbx, %rdi
callq 0x2330
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21b0
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2150
leaq 0x9b6b(%rip), %rax      # 0xd3e1
cmpb $0x1, (%rax)
jne 0x388a
addq $0x10, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4967
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/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
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
subq %rcx, %rdx
je 0x39c6
sarq $0x2, %rdx
leaq 0x983c(%rip), %rdi      # 0xd1d8
movq (%rdi), %rdi
cmpq $0x1, %rdx
adcq $0x0, %rdx
xorl %r8d, %r8d
xorl %r9d, %r9d
movslq (%rcx,%r8,4), %r10
cmpq %r10, %rdi
je 0x39be
cmpl %esi, %r9d
je 0x39c7
incl %r9d
incq %r8
cmpq %r8, %rdx
jne 0x39ad
retq
movl %r10d, %eax
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/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
je 0x3a19
sarq $0x2, %rdi
leaq 0x97f5(%rip), %rax      # 0xd1d8
movq (%rax), %r8
movl %esi, %esi
cmpq $0x1, %rdi
adcq $0x0, %rdi
xorl %r9d, %r9d
xorl %eax, %eax
movslq (%rcx,%r9,4), %r10
xorl %r11d, %r11d
cmpq %r10, %r8
setne %r11b
leal (%rax,%r11,2), %eax
decl %eax
cmpq %r9, %rsi
jne 0x3a10
movl %eax, (%rdx)
incq %r9
cmpq %r9, %rdi
jne 0x39f5
retq
xorl %eax, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O1/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, %r14
movq %rdi, %rbx
callq 0x3e1a
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
subq %rax, %rcx
je 0x3a83
movl 0x4(%r14), %edx
sarq $0x2, %rcx
leaq 0x978b(%rip), %rsi      # 0xd1d8
movq (%rsi), %rsi
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorl %edi, %edi
xorl %r12d, %r12d
movslq (%rax,%rdi,4), %r8
xorl %r9d, %r9d
cmpq %r8, %rsi
setne %r9b
leal (%r12,%r9,2), %r12d
decl %r12d
cmpq %rdi, %rdx
cmovel %r12d, %ebp
incq %rdi
cmpq %rdi, %rcx
jne 0x3a5d
jmp 0x3a86
xorl %r12d, %r12d
cmpl %ebp, %r12d
jle 0x3ac8
leaq 0x9746(%rip), %r13      # 0xd1d8
leaq 0x4(%rsp), %r15
movl (%r13), %eax
movl %eax, 0x4(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x3ab5
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x3ac0
movq %rbx, %rdi
movq %r15, %rdx
callq 0x405e
decl %r12d
cmpl %ebp, %r12d
jg 0x3a97
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x3ae1
movl (%r14), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x3aec
movq %rbx, %rdi
movq %r14, %rdx
callq 0x3ef0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/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), %rax
cmpq %rax, 0x8(%rdi)
je 0x3b72
movq %rdi, %r14
xorl %r12d, %r12d
leaq 0x96b8(%rip), %r13      # 0xd1d8
leaq 0x5592(%rip), %r15      # 0x90b9
leaq 0x96d2(%rip), %rbp      # 0xd200
movslq (%rax,%r12,4), %rax
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
cmpq %rax, (%r13)
je 0x3b44
movq (%rbp), %rcx
movl (%rcx,%rax,4), %esi
movq %rbx, %rdi
callq 0x2330
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
incq %r12
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %r12, %rcx
ja 0x3b2e
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 $0x18, %rsp
movl %esi, 0x4(%rsp)
leaq 0x18(%rdi), %rax
movq %rdi, 0x8(%rsp)
movq 0x18(%rdi), %rbp
movq %rax, 0x10(%rsp)
cmpq %rax, %rbp
je 0x3c89
movq 0x9418(%rip), %r15      # 0xcfd0
leaq 0x54fa(%rip), %r12      # 0x90b9
cmpb $0x0, 0x4(%rsp)
je 0x3bdc
movq 0x10(%rbp), %rax
movl 0xc(%rax), %eax
leaq 0x9614(%rip), %rcx      # 0xd1e8
cmpl (%rcx), %eax
jl 0x3c7a
movq 0x8(%rsp), %r14
movq %r14, %rdi
movq %r15, %rsi
callq 0x3afc
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
je 0x3c3e
movq 0x10(%rbp), %rdx
movl 0x4(%rdx), %edx
sarq $0x2, %rcx
leaq 0x95ce(%rip), %rsi      # 0xd1d8
movq (%rsi), %rsi
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorl %edi, %edi
xorl %r13d, %r13d
movslq (%rax,%rdi,4), %r8
xorl %r9d, %r9d
cmpq %r8, %rsi
setne %r9b
leal -0x1(%r13,%r9,2), %r13d
cmpq %rdi, %rdx
cmovel %r13d, %ebx
incq %rdi
cmpq %rdi, %rcx
jne 0x3c1a
jmp 0x3c41
xorl %r13d, %r13d
movl %r13d, %r14d
subl %ebx, %r14d
jle 0x3c6e
movq %r15, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x2330
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2220
decl %r14d
jne 0x3c49
movl %r13d, %ebx
movq 0x10(%rbp), %rsi
movq %r15, %rdi
callq 0x3811
movq (%rbp), %rbp
cmpq 0x10(%rsp), %rbp
jne 0x3bbf
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 $0x18, %rsp
movq %rdi, %rbx
leaq 0x18(%rsi), %rax
movq %rsi, 0x10(%rsp)
movq 0x18(%rsi), %r13
movq %rax, 0x8(%rsp)
cmpq %rax, %r13
je 0x3d7a
leaq 0x53ee(%rip), %r15      # 0x90b9
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3afc
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
je 0x3d2f
movq 0x10(%r13), %rdx
movl 0x4(%rdx), %edx
sarq $0x2, %rcx
leaq 0x94df(%rip), %rsi      # 0xd1d8
movq (%rsi), %rsi
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorl %edi, %edi
xorl %r12d, %r12d
movslq (%rax,%rdi,4), %r8
xorl %r9d, %r9d
cmpq %r8, %rsi
setne %r9b
leal (%r12,%r9,2), %r12d
decl %r12d
cmpq %rdi, %rdx
cmovel %r12d, %ebp
incq %rdi
cmpq %rdi, %rcx
jne 0x3d09
jmp 0x3d32
xorl %r12d, %r12d
movl %r12d, %r14d
subl %ebp, %r14d
jle 0x3d5f
movq %rbx, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x2330
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
decl %r14d
jne 0x3d3a
movl %r12d, %ebp
movq 0x10(%r13), %rsi
movq %rbx, %rdi
callq 0x3811
movq (%r13), %r13
cmpq 0x8(%rsp), %r13
jne 0x3ccb
movq %rbx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 0x3da0
movl 0x4(%rdi), %r8d
xorl %eax, %eax
cmpl 0x4(%rsi), %r8d
je 0x3ddb
cmpl %edx, %ecx
jge 0x3db3
movl 0x4(%rdi), %r8d
movl $0x1, %eax
cmpl 0x4(%rsi), %r8d
jge 0x3ddb
cmpl %edx, %ecx
jle 0x3dc6
movl 0x4(%rdi), %r8d
movl $0x2, %eax
cmpl 0x4(%rsi), %r8d
jle 0x3ddb
movl $0x3, %eax
cmpl %edx, 0x4(%rdi)
jl 0x3ddb
xorl %eax, %eax
cmpl %ecx, 0x4(%rsi)
setl %al
xorl $0x5, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O1/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
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x415f
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsi)
movups (%rbx), %xmm0
movups %xmm0, (%rsi)
addq $0x18, 0x8(%rdi)
jmp 0x4167
movq %rbx, %rdx
callq 0x453a
movsd 0x8(%rbx), %xmm0
addsd 0x90dc(%rip), %xmm0     # 0xd250
movsd %xmm0, 0x90d4(%rip)     # 0xd250
movl (%rbx), %eax
addl %eax, 0x90d4(%rip)      # 0xd258
movl 0x4(%rbx), %eax
addl %eax, 0x90cf(%rip)      # 0xd25c
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/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, %ebp
movl %esi, %r15d
movq %rdi, %r14
movl $0x18, %edi
callq 0x21d0
movq %rax, %rbx
movl %r15d, (%rax)
movl %ebp, 0x4(%rax)
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x8(%rax)
movsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x10(%rax)
movq 0x8(%r14), %rsi
cmpq 0x10(%r14), %rsi
je 0x41f6
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsi)
movups (%rbx), %xmm0
movups %xmm0, (%rsi)
addq $0x18, 0x8(%r14)
jmp 0x4201
movq %r14, %rdi
movq %rbx, %rdx
callq 0x453a
movsd 0x8(%rbx), %xmm0
addsd 0x9042(%rip), %xmm0     # 0xd250
movsd %xmm0, 0x903a(%rip)     # 0xd250
movl (%rbx), %eax
addl %eax, 0x903a(%rip)      # 0xd258
movl 0x4(%rbx), %eax
addl %eax, 0x9035(%rip)      # 0xd25c
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 %rdi, %rbx
movq 0x8(%rsi), %rax
cmpq (%rsi), %rax
je 0x4452
movq %rsi, %r14
xorl %r13d, %r13d
leaq 0x4d53(%rip), %r12      # 0x90b9
xorl %ebp, %ebp
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x4d29(%rip), %rsi      # 0x90a0
callq 0x2220
incq %rbp
movq %rbx, %rdi
movl %ebp, %esi
callq 0x2330
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2220
movq (%r14), %rax
movl (%rax,%r13), %esi
movq %r15, %rdi
callq 0x2330
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2220
movq (%r14), %rax
movl 0x4(%rax,%r13), %esi
movq %r15, %rdi
callq 0x2330
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2220
movq (%r14), %rax
movsd 0x8(%rax,%r13), %xmm0
movq %r15, %rdi
callq 0x22c0
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2220
movq (%r14), %rax
movsd 0x10(%rax,%r13), %xmm0
movq %r15, %rdi
callq 0x22c0
movl $0x3, %edx
movq %rax, %rdi
leaq 0x4c7c(%rip), %rsi      # 0x90a3
callq 0x2220
movq 0x8(%r14), %rax
subq (%r14), %rax
sarq $0x3, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rax
addq $0x18, %r13
cmpq %rbp, %rax
ja 0x4368
leaq 0x4c4e(%rip), %rsi      # 0x90a7
movl $0x6, %edx
movq %rbx, %rdi
callq 0x2220
movl 0x8dec(%rip), %esi      # 0xd258
movq %rbx, %rdi
callq 0x2330
movq %rax, %r14
leaq 0x4c3b(%rip), %r15      # 0x90b9
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movl 0x8dc8(%rip), %esi      # 0xd25c
movq %r14, %rdi
callq 0x2330
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movsd 0x8d99(%rip), %xmm0     # 0xd250
movq %r14, %rdi
callq 0x22c0
leaq 0x4bdd(%rip), %rsi      # 0x90a3
movl $0x3, %edx
movq %rax, %rdi
callq 0x2220
movsd 0x8d6d(%rip), %xmm0     # 0xd248
movq %rbx, %rdi
callq 0x22c0
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_O1/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 0x89fd(%rip), %rax      # 0xd410
movslq %edi, %rcx
movq (%rax), %rax
movl (%rax,%rcx,4), %ecx
movslq %esi, %rdx
cmpl (%rax,%rdx,4), %ecx
setl %cl
cmpl $0x1, 0x89bc(%rip)      # 0xd3e8
setne %al
xorb %cl, %al
retq
// File: /workspace/github_cpp_makefile_star2_O1/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), %rdi
subq %rcx, %rdi
je 0x5b44
sarq $0x2, %rdi
movq (%rsi), %rax
movq 0x8(%rsi), %rsi
subq %rax, %rsi
sarq $0x2, %rsi
cmpq $0x1, %rdi
adcq $0x0, %rdi
xorl %edx, %edx
xorl %r10d, %r10d
cmpq %r10, %rsi
je 0x5b44
movslq (%rcx,%r10,4), %r8
movslq (%rax,%r10,4), %r9
cmpl %r9d, %r8d
jg 0x5b22
cmpl %r9d, %r8d
jl 0x5b47
incq %r10
addq $-0x4, %rdx
cmpq %r10, %rdi
jne 0x5afd
jmp 0x5b44
movq 0x76af(%rip), %rcx      # 0xd1d8
cmpq %r9, %rcx
jne 0x5b44
subq %rdx, %rax
movslq (%rax), %rdx
addq $0x4, %rax
cmpq %rdx, %rcx
je 0x5b31
cmpl %edx, %r8d
setl %al
retq
xorl %eax, %eax
retq
movq 0x768a(%rip), %rsi      # 0xd1d8
movb $0x1, %al
cmpq %r8, %rsi
jne 0x5b43
subq %rdx, %rcx
movslq (%rcx), %rax
addq $0x4, %rcx
cmpq %rax, %rsi
je 0x5b58
cmpl %r9d, %eax
setle %al
retq
// File: /workspace/github_cpp_makefile_star2_O1/zakimjz[P]SLEUTH/treeminer.cpp
// Function: check_canonical(std::vector<int, std::allocator<int>>&, int)
bool check_canonical(vector<int> &cand, int tpos)
{   
   if (mine_ordered) return true;
   
   //only have to check subtrees on rightmost path, with their
   //immediate siblings to the left, and make sure code is smaller
   // or equal
   bool first;
   int i, parent=0, sibling;
   int scnt = 0;

   //base condition for stopping recursion
   if (tpos == 0){
      return true;
   }

   //find the pos of parent and immediate left sibling of tpos under parent
   first = true;
   sibling = -1; //not found!
   for(i=tpos-1; i >= 0; i--){
      if (cand[i] == BranchIt) scnt++;
      else scnt --;
      if (first && scnt ==0){
         sibling = i;
         first = false;
      }
      
      if (scnt < 0){
         parent = i;
         break;
      }
   }

//    cout << "CC " << tpos << " " << sibling << " " << parent << " -- ";
//    for (i=0; i < cand.size(); ++i)
//       if (cand[i] != -1){
//          cout << " " <<  DCB->FreqIdx[cand[i]];
//       }
//      else cout << " " << cand[i];
//    cout << endl;

   bool res = true;
   if (sibling == -1){
      res = check_canonical(cand, parent);
   }
   else{
      //comapre the two subtrees rooted at tpos and sibling
      int j;
      //int it1, it2;
      for(i=tpos, j=sibling; i < cand.size() && j < tpos; i++, j++){
         //it1 = DCB->FreqIdx[cand[i]];
         //it2 = DCB->FreqIdx[cand[j]];
         //it1=cand[i];
         //it2=cand[j];
         //cout << "XX " << i << " " << j << " " 
         //     << it1 << " " << it2 << endl;
         
         if (cand[i] > cand[j]) break;
         else if (cand[i] < cand[j]){
            res = false;
            break;
         }
      }
      if (res) res = check_canonical(cand, parent);
   }
   //cout << "RES = " << res << endl;
   return res;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movb 0x786c(%rip), %dl       # 0xd3e4
movb $0x1, %al
testl %esi, %esi
je 0x5c4a
testb %dl, %dl
jne 0x5c4a
movl %esi, %ecx
movq (%rdi), %rax
movl $0xffffffff, %r11d      # imm = 0xFFFFFFFF
movb $0x1, %bl
movq 0x763a(%rip), %r9       # 0xd1d8
xorl %r10d, %r10d
testl %esi, %esi
jle 0x5be6
decl %esi
movslq (%rax,%rsi,4), %r8
xorl %r14d, %r14d
cmpq %r8, %r9
sete %r14b
leal -0x1(,%r14,2), %ebp
movl %ebp, %r8d
addl %r10d, %r8d
sete %r15b
xorl %r14d, %r14d
movl %esi, %r8d
testb %bl, %r15b
jne 0x5bd9
movzbl %bl, %r14d
movl %r11d, %r8d
addl %ebp, %r10d
movl %r14d, %ebx
movl %r8d, %r11d
jns 0x5ba1
jmp 0x5beb
xorl %esi, %esi
movl %r11d, %r8d
cmpl $-0x1, %r8d
je 0x5b78
movq (%rdi), %rdx
movq 0x8(%rdi), %r9
subq %rdx, %r9
sarq $0x2, %r9
movslq %ecx, %r10
movb $0x1, %al
cmpq %r10, %r9
jbe 0x5c41
cmpl %ecx, %r8d
jge 0x5c41
movl %r8d, %r11d
incq %r10
incl %r8d
movl -0x4(%rdx,%r10,4), %ebx
movl (%rdx,%r11,4), %ebp
cmpl %ebp, %ebx
jg 0x5c41
jl 0x5c3f
cmpq %r10, %r9
jbe 0x5c41
incq %r11
incq %r10
leal 0x1(%r8), %ebx
cmpl %ecx, %r8d
movl %ebx, %r8d
jl 0x5c17
jmp 0x5c41
xorl %eax, %eax
testb %al, %al
je 0x5c4a
callq 0x5b6b
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/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), %r14
movb $0x0, 0x20(%r14)
movq %r14, %rdi
xorl %esi, %esi
callq 0x22d0
movb $0x1, 0x20(%r14)
movq 0x18(%rbx), %r14
leaq 0x18(%rbx), %r15
cmpq %r15, %r14
je 0x6384
movq (%rbx), %rax
movslq (%rax), %rax
movq 0x7069(%rip), %rcx      # 0xd3b0
movq 0x228(%rcx), %rcx
movq (%rcx,%rax,8), %rbx
movq 0x10(%r14), %rdx
movslq (%rdx), %rax
movq 0x7050(%rip), %rcx      # 0xd3b0
movq 0x228(%rcx), %rcx
movq (%rcx,%rax,8), %rsi
movl $0x1, (%rsp)
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x593f
movq (%r14), %r14
cmpq %r15, %r14
jne 0x6352
leaq 0x8(%rsp), %rdi
callq 0x696e
leaq 0x7023(%rip), %rdi      # 0xd3b8
movl $0x1, %esi
callq 0x42d0
addq $0x30, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 0x69bf
pushq %rbx
movq %rdi, %rbx
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22d0
cvtsi2sdq (%rbx), %xmm0
cvtsi2sdq 0x8(%rbx), %xmm1
movsd 0x2792(%rip), %xmm2     # 0x9128
divsd %xmm2, %xmm1
addsd %xmm0, %xmm1
cvtsi2sdq 0x10(%rbx), %xmm3
xorps %xmm0, %xmm0
cvtsi2sdq 0x18(%rbx), %xmm0
divsd %xmm2, %xmm0
addsd %xmm3, %xmm0
subsd %xmm1, %xmm0
movb $0x0, 0x20(%rbx)
popq %rbx
retq
movsd 0x2759(%rip), %xmm0     # 0x9120
retq
// File: /workspace/github_cpp_makefile_star2_O1/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 0x6c54
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6cea
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x6a25
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x21e0
addq $0x38, %rsp
popq %rbx
popq %r14
retq
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x6a47
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x21e0
movq %rbx, %rdi
callq 0x2350
nop