LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::~LockFreeHashTable()
~LockFreeHashTable() {
    Node* p = head_;
    while (p != nullptr) {
      Node* tmp = p;
      p = p->next.load(std::memory_order_acquire);
      tmp->Release();
    }
  }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x418(%rdi), %rdi
testq %rdi, %rdi
je 0x36b1
movq 0x18(%rdi), %r14
movq (%rdi), %rax
callq *(%rax)
movq %r14, %rdi
jmp 0x369e
movl $0x408, %r14d           # imm = 0x408
leaq (%rbx,%r14), %rdi
callq 0x407a
addq $-0x10, %r14
cmpq $0x8, %r14
jne 0x36b7
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rax, %rdi
callq 0x3504
// File: /workspace/github_cpp_makefile_star2_O3/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::Find(int const&, int&)
bool Find(const K& key, V& value) {
    HashKey hash = hash_func_(key);
    DummyNode* head = GetBucketHeadByHash(hash);
    RegularNode find_node(key, hash_func_);
    return FindNode(head, &find_node, value);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
movslq (%rsi), %rsi
callq 0x4260
movq %rax, %r12
movslq (%r15), %rsi
leaq 0x651e(%rip), %rax      # 0x9c98
leaq 0x8(%rsp), %r13
movq %rax, (%r13)
movq %rsi, 0x8(%r13)
btsq $0x3f, %rsi
movq %r13, %rdi
callq 0x416c
movq %rax, 0x10(%r13)
xorl %eax, %eax
movq %rax, 0x18(%r13)
leaq 0x6523(%rip), %rbp      # 0x9cc8
movq %rbp, (%r13)
movl (%r15), %ecx
movl %ecx, 0x20(%r13)
movq %rax, 0x28(%r13)
movq %r14, %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbx, %rcx
callq 0x50a6
movl %eax, %ebx
movq %rbp, 0x8(%rsp)
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x37e0
movl $0x4, %esi
callq 0x2140
movl %ebx, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq %rbp, 0x8(%rsp)
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x380d
movl $0x4, %esi
callq 0x2140
movq %rbx, %rdi
callq 0x2230
nop
// File: /workspace/github_cpp_makefile_star2_O3/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::Delete(int const&)
bool Delete(const K& key) {
    HashKey hash = hash_func_(key);
    DummyNode* head = GetBucketHeadByHash(hash);
    RegularNode delete_node(key, hash_func_);
    return DeleteNode(head, &delete_node);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movslq (%rsi), %rsi
callq 0x4260
movq %rax, %r15
movslq (%r14), %rsi
leaq 0x645a(%rip), %rax      # 0x9c98
movq %rsp, %r12
movq %rax, (%r12)
movq %rsi, 0x8(%r12)
btsq $0x3f, %rsi
movq %r12, %rdi
callq 0x416c
movq %rax, 0x10(%r12)
xorl %eax, %eax
movq %rax, 0x18(%r12)
leaq 0x645e(%rip), %r13      # 0x9cc8
movq %r13, (%r12)
movl (%r14), %ecx
movl %ecx, 0x20(%r12)
movq %rax, 0x28(%r12)
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x5166
movl %eax, %ebx
movq %r13, (%rsp)
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x38a3
movl $0x4, %esi
callq 0x2140
movl %ebx, %eax
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %rbx
movq %r13, (%rsp)
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x38ce
movl $0x4, %esi
callq 0x2140
movq %rbx, %rdi
callq 0x2230
// File: /workspace/github_cpp_makefile_star2_O3/bhhbazinga[P]LockFreeHashTable/./lockfree_hashtable.h
// Function: LockFreeHashTable<int, int, std::hash<int>>::NewSegments(int)
Segment* NewSegments(int level) {
    Segment* segments = new Segment[kSegmentSize];
    for (int i = 0; i < kSegmentSize; ++i) {
      segments[i].level = level;
      segments[i].data.store(nullptr, std::memory_order_release);
    }
    return segments;
  }

// Assembly:
pushq %rbx
movl %esi, %ebx
movl $0x408, %edi            # imm = 0x408
callq 0x2030
movq %rax, %rcx
movq $0x40, (%rax)
xorl %edx, %edx
movl $0x1, 0x8(%rcx,%rdx)
movq $0x0, 0x10(%rcx,%rdx)
addq $0x10, %rdx
cmpq $0x400, %rdx            # imm = 0x400
jne 0x410d
addq $0x8, %rax
xorl %edx, %edx
movl %ebx, 0x8(%rcx,%rdx)
movq $0x0, 0x10(%rcx,%rdx)
addq $0x10, %rdx
cmpq $0x400, %rdx            # imm = 0x400
jne 0x4131
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x44f6
testq %rax, %rax
je 0x4291
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rbx, %rdi
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x458e
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x4560
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
callq 0x20f0
cvttsd2si %xmm0, %rax
movq %rax, %rcx
subsd 0x1adb(%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 0x4514
jmp 0x4580
movl %ebx, %eax
shrl $0x2, %eax
andl $0x3f0, %eax            # imm = 0x3F0
movq 0x8(%r14,%rax), %rax
testq %rax, %rax
je 0x457d
andl $0x3f, %ebx
movq (%rax,%rbx,8), %r15
jmp 0x4580
xorl %r15d, %r15d
movq %r15, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x10(%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 0x20(%rsp), %rbx
movq %r13, (%rsp)
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
leaq 0x40(%rsp), %rcx
movq %rbx, %r8
leaq 0x10(%rsp), %r9
callq 0x488c
movl %eax, %ebp
movq 0x20(%rsp), %rax
testb %bpl, %bpl
jne 0x482b
movq %rax, 0x18(%r14)
movq 0x40(%rsp), %rcx
lock
cmpxchgq %r14, 0x18(%rcx)
je 0x4833
movq %rax, 0x20(%rsp)
jmp 0x47e8
movq 0x38(%rsp), %rcx
movq %rax, (%rcx)
xorb $0x1, %bpl
movq 0x28(%rsp), %rdi
movl 0x30(%rsp), %esi
callq 0x4cf0
movq 0x10(%rsp), %rdi
movl 0x18(%rsp), %esi
callq 0x4cf0
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 0x4cf0
movq 0x10(%rsp), %rdi
movl 0x18(%rsp), %esi
callq 0x4cf0
movq %rbx, %rdi
callq 0x2230
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x4b0b
movq %rax, 0x58(%rbx)
movq $0x0, 0x8(%r12)
jmp 0x4b26
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 0x4d3c
addq $0x20, %rbx
leaq 0x8(%rsp), %rsi
movq %r14, (%rsi)
movq %r12, 0x8(%rsi)
movq %rbx, %rdi
callq 0x4dc0
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x4b9a
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 0x4b96
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x18(%rax)
testb %al, %al
je 0x4b9f
xorl %eax, %eax
jmp 0x4ba9
setb %al
jmp 0x4bb0
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_O3/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 0x488c
movl %eax, %ebp
callq 0x4ab4
testb %bpl, %bpl
je 0x5113
movq 0x10(%rsp), %rcx
movq 0x28(%rcx), %r14
movq 0x10(%rsp), %rcx
movq 0x28(%rcx), %rcx
cmpq %rcx, %r14
jne 0x50ef
movq %rax, %rdi
callq 0x2620
movl (%r14), %eax
movl %eax, (%rbx)
movq 0x18(%rsp), %rdi
movl 0x20(%rsp), %esi
callq 0x4cf0
movq 0x28(%rsp), %rdi
movl 0x30(%rsp), %esi
callq 0x4cf0
movl %ebp, %eax
addq $0x40, %rsp
popq %rbx
popq %r14
popq %rbp
retq
jmp 0x513e
jmp 0x513e
movq %rax, %rbx
movq 0x18(%rsp), %rdi
movl 0x20(%rsp), %esi
callq 0x4cf0
movq 0x28(%rsp), %rdi
movl 0x30(%rsp), %esi
callq 0x4cf0
movq %rbx, %rdi
callq 0x2230
nop
// File: /workspace/github_cpp_makefile_star2_O3/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, 0xaa5f(%rip)      # 0xd238
jne 0x282d
movq %rbx, %rdi
movq %r14, %rsi
movl $0xc, %edx
callq 0x2130
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x20(%rbx,%rax)
je 0x284b
movq 0xa7f0(%rip), %rdi      # 0xcff0
leaq 0x6819(%rip), %rsi      # 0x9020
movl $0x12, %edx
callq 0x2220
movq 0xa7d8(%rip), %rdi      # 0xcff0
movq %r14, %rsi
callq 0x21c0
movq %rax, %rdi
callq 0x20e0
jmp 0x28df
movq %rbx, %rdi
movq %r14, %rsi
movl $0x8, %edx
callq 0x2130
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x20(%rbx,%rax)
jne 0x28b0
movl %ebp, 0x208(%rbx)
movl %ebp, %eax
shlq $0x2, %rax
testl %ebp, %ebp
movq $-0x1, %rdi
cmovnsq %rax, %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 0xa739(%rip), %rdi      # 0xcff0
leaq 0x6762(%rip), %rsi      # 0x9020
movl $0x12, %edx
callq 0x2220
movq 0xa721(%rip), %rdi      # 0xcff0
movq %r14, %rsi
callq 0x21c0
movq %rax, %rdi
callq 0x20e0
movl $0x1, %edi
callq 0x2230
jmp 0x28eb
movq %rax, %r14
leaq 0x228(%rbx), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x290c
movq 0x238(%rbx), %rsi
subq %rdi, %rsi
callq 0x21e0
movq %rbx, %rdi
callq 0x2080
movq %r14, %rdi
callq 0x2350
// File: /workspace/github_cpp_makefile_star2_O3/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, 0xa8a0(%rip)      # 0xd238
jne 0x2a4b
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 0x2a23
movq 0xa61f(%rip), %r14      # 0xcff0
leaq 0x665b(%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 0x2a4b
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_O3/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
movq 0x210(%rdi), %rcx
subl 0x21c(%rdi), %eax
jle 0x2c34
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 0x2c19
jmp 0x2c36
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 0x2250
movq 0x8(%rbx), %r14
testl %r14d, %r14d
jns 0x2cb3
movq 0xa386(%rip), %r15      # 0xcff0
leaq 0x63db(%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), %ecx
movl 0x218(%rbx), %eax
subl %eax, %ecx
cmpl %r14d, %ecx
jle 0x2cec
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 0x218(%rbx), %eax
movslq %r14d, %rcx
shrq $0x2, %rcx
addl %eax, %ecx
movl %ecx, 0x218(%rbx)
movl $0x0, 0x21c(%rbx)
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0xa358(%rip), %esi      # 0xd224
movq 0xa0fd(%rip), %rbx      # 0xcfd0
movq %rbx, %rdi
callq 0x2330
movq %rax, %r14
leaq 0x61d4(%rip), %r15      # 0x90b9
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movl 0xa325(%rip), %esi      # 0xd220
movq %r14, %rdi
callq 0x2330
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movl 0xa2f8(%rip), %esi      # 0xd214
movq %r14, %rdi
callq 0x2330
cmpl $0x0, 0xa2e9(%rip)      # 0xd214
jle 0x2f70
xorl %r12d, %r12d
movq 0xa099(%rip), %r14      # 0xcfd0
leaq 0x617b(%rip), %r15      # 0x90b9
movl $0x1, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x2220
movq 0xa2c3(%rip), %rax      # 0xd218
movl (%rax,%r12,4), %esi
movq %r14, %rdi
callq 0x2330
incq %r12
movslq 0xa2a9(%rip), %rax      # 0xd214
cmpq %rax, %r12
jl 0x2f3e
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_O3/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 0xa270(%rip), %rsi      # 0xd228
movq %rbx, %rdi
callq 0x3200
movslq 0xa261(%rip), %r14      # 0xd228
testq %r14, %r14
jle 0x2ff6
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 0x2fcf
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0xa204(%rip), %eax      # 0xd214
testl %eax, %eax
jle 0x3120
movq %rdi, %rbx
xorl %r15d, %r15d
leaq 0xa1b3(%rip), %r13      # 0xd1d8
leaq 0xa1b4(%rip), %rbp      # 0xd1e0
xorl %r14d, %r14d
xorl %r12d, %r12d
movq 0xa1df(%rip), %rcx      # 0xd218
movslq (%rcx,%r15,4), %rsi
movq (%r13), %rdx
cmpq %rsi, %rdx
jne 0x304e
decl %r14d
jmp 0x3111
cmpq %rsi, (%rbp)
jne 0x305f
incl %r14d
incl %r12d
jmp 0x3111
leaq 0x1(%r15), %rdi
movslq %eax, %r8
movl %r12d, %esi
cmpq %r8, %rdi
jge 0x30a5
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 0x30a5
leal 0x2(%rdi), %r9d
incq %rdi
cmpl %r9d, %eax
jg 0x3077
movl 0xa179(%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 0x3232
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x3105
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x21e0
incl %r12d
incl %r14d
movl 0xa103(%rip), %eax      # 0xd214
incq %r15
movslq %eax, %rcx
cmpq %rcx, %r15
jl 0x3032
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 0x3149
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x21e0
movq %rbx, %rdi
callq 0x2350
nop
// File: /workspace/github_cpp_makefile_star2_O3/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, 0xa0cf(%rip)      # 0xd228
jle 0x31f4
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
xorl %r13d, %r13d
movq 0x9e5b(%rip), %r14      # 0xcfd0
leaq 0x5ee6(%rip), %r15      # 0x9062
movl $0x5, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x2220
movq 0xa06d(%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 0x491b
incq %r13
movslq 0xa042(%rip), %rax      # 0xd228
cmpq %rax, %r13
jl 0x317c
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/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, 0x4(%rsp)
movslq %r8d, %r13
movq 0x10(%rdi), %rbp
movq %rdi, 0x8(%rsp)
movq 0x18(%rdi), %r15
movq %r15, %rax
subq %rbp, %rax
sarq $0x4, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rax
cmpq %r13, %rax
jbe 0x379c
movq %rsi, %r14
leaq (,%r13,2), %rbx
addq %r13, %rbx
shlq $0x4, %rbx
leaq (%rbx,%rbp), %r12
movq (%r14), %rdi
movq 0x8(%r14), %rdx
subq %rdi, %rdx
je 0x374c
movq 0x10(%r12), %rsi
callq 0x21f0
testl %eax, %eax
jne 0x377c
movq 0x18(%r12), %rax
movl 0x4(%rsp), %ecx
cmpl %ecx, -0x4(%rax)
jne 0x377c
addq $0x4, %r12
movq %r12, %rdi
movq 0x10(%rsp), %rsi
callq 0x3d2a
testl %eax, %eax
je 0x37ad
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rbp
movq 0x18(%rax), %r15
incq %r13
movq %r15, %rax
subq %rbp, %rax
sarq $0x4, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rax
cmpq %r13, %rax
ja 0x372e
xorl %eax, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movb $0x1, %al
jmp 0x379e
// File: /workspace/github_cpp_makefile_star2_O3/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 0x9c20(%rip), %rax      # 0xd3e3
movzbl (%rax), %r15d
leaq 0x58ce(%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 0x9bcb(%rip), %rax      # 0xd3e1
cmpb $0x1, (%rax)
jne 0x382a
addq $0x10, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x491b
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x3966
sarq $0x2, %rdx
leaq 0x989c(%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 0x395e
cmpl %esi, %r9d
je 0x3967
incl %r9d
incq %r8
cmpq %r8, %rdx
jne 0x394d
retq
movl %r10d, %eax
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x39b9
sarq $0x2, %rdi
leaq 0x9855(%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 0x39b0
movl %eax, (%rdx)
incq %r9
cmpq %r9, %rdi
jne 0x3995
retq
xorl %eax, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x3db6
movq (%rbx), %rax
movq 0x8(%rbx), %rsi
movq %rsi, %rcx
subq %rax, %rcx
je 0x3a6b
movl 0x4(%r14), %edx
sarq $0x2, %rcx
leaq 0x97e4(%rip), %r12      # 0xd1d8
movq (%r12), %rdi
cmpq $0x1, %rcx
adcq $0x0, %rcx
xorl %r8d, %r8d
xorl %r13d, %r13d
movslq (%rax,%r8,4), %r9
xorl %r10d, %r10d
cmpq %r9, %rdi
setne %r10b
leal -0x1(%r13,%r10,2), %r13d
cmpq %r8, %rdx
cmovel %r13d, %ebp
incq %r8
cmpq %r8, %rcx
jne 0x3a06
cmpl %ebp, %r13d
jle 0x3a6b
movq (%r12), %rax
leaq 0x4(%rsp), %r15
movl %eax, 0x4(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x3a50
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x3a5f
movq %rbx, %rdi
movq %r15, %rdx
callq 0x400e
movq (%r12), %rax
decl %r13d
cmpl %ebp, %r13d
jg 0x3a36
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x3a80
movl (%r14), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x3a8b
movq %rbx, %rdi
movq %r14, %rdx
callq 0x3e9a
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x3b10
movq %rdi, %r14
xorl %r12d, %r12d
leaq 0x971a(%rip), %r13      # 0xd1d8
leaq 0x55f4(%rip), %r15      # 0x90b9
leaq 0x9734(%rip), %rbp      # 0xd200
movslq (%rax,%r12,4), %rax
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
cmpq %rax, (%r13)
je 0x3ae2
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 0x3acc
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_O3/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 0x3c27
movq 0x947a(%rip), %r15      # 0xcfd0
leaq 0x555c(%rip), %r12      # 0x90b9
cmpb $0x0, 0x4(%rsp)
je 0x3b7a
movq 0x10(%rbp), %rax
movl 0xc(%rax), %eax
leaq 0x9676(%rip), %rcx      # 0xd1e8
cmpl (%rcx), %eax
jl 0x3c18
movq 0x8(%rsp), %r14
movq %r14, %rdi
movq %r15, %rsi
callq 0x3a9a
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
je 0x3bdc
movq 0x10(%rbp), %rdx
movl 0x4(%rdx), %edx
sarq $0x2, %rcx
leaq 0x9630(%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 0x3bb8
jmp 0x3bdf
xorl %r13d, %r13d
movl %r13d, %r14d
subl %ebx, %r14d
jle 0x3c0c
movq %r15, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x2330
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2220
decl %r14d
jne 0x3be7
movl %r13d, %ebx
movq 0x10(%rbp), %rsi
movq %r15, %rdi
callq 0x37b1
movq (%rbp), %rbp
cmpq 0x10(%rsp), %rbp
jne 0x3b5d
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x3d18
leaq 0x5450(%rip), %r15      # 0x90b9
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3a9a
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
je 0x3ccd
movq 0x10(%r13), %rdx
movl 0x4(%rdx), %edx
sarq $0x2, %rcx
leaq 0x9541(%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 0x3ca7
jmp 0x3cd0
xorl %r12d, %r12d
movl %r12d, %r14d
subl %ebp, %r14d
jle 0x3cfd
movq %rbx, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x2330
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
decl %r14d
jne 0x3cd8
movl %r12d, %ebp
movq 0x10(%r13), %rsi
movq %rbx, %rdi
callq 0x37b1
movq (%r13), %r13
cmpq 0x8(%rsp), %r13
jne 0x3c69
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_O3/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 0x3d3e
movl 0x4(%rdi), %r8d
xorl %eax, %eax
cmpl 0x4(%rsi), %r8d
je 0x3d62
cmpl %edx, %ecx
jge 0x3d51
movl 0x4(%rdi), %r8d
movl $0x1, %eax
cmpl 0x4(%rsi), %r8d
jge 0x3d62
movl 0x4(%rdi), %edi
cmpl %edx, %ecx
jle 0x3d63
movl $0x2, %eax
cmpl 0x4(%rsi), %edi
jg 0x3d63
retq
movl $0x3, %eax
cmpl %edx, %edi
jl 0x3d62
xorl %eax, %eax
cmpl %ecx, 0x4(%rsi)
setl %al
xorl $0x5, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x410f
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsi)
movups (%rbx), %xmm0
movups %xmm0, (%rsi)
addq $0x18, 0x8(%rdi)
jmp 0x4117
movq %rbx, %rdx
callq 0x44ec
movsd 0x8(%rbx), %xmm0
addsd 0x912c(%rip), %xmm0     # 0xd250
movsd %xmm0, 0x9124(%rip)     # 0xd250
movl (%rbx), %eax
addl %eax, 0x9124(%rip)      # 0xd258
movl 0x4(%rbx), %eax
addl %eax, 0x911f(%rip)      # 0xd25c
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/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, %r15
movl $0x18, %edi
callq 0x21d0
movsd 0x8(%rsp), %xmm1
movq %rax, %r14
movl %ebp, (%rax)
movl %ebx, 0x4(%rax)
movsd %xmm1, 0x8(%rax)
movsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x10(%rax)
movq 0x8(%r15), %rsi
cmpq 0x10(%r15), %rsi
je 0x41a5
movq 0x10(%r14), %rax
movq %rax, 0x10(%rsi)
movups (%r14), %xmm0
movups %xmm0, (%rsi)
addq $0x18, 0x8(%r15)
jmp 0x41bd
movq %r15, %rdi
movq %r14, %rdx
callq 0x44ec
movsd 0x8(%r14), %xmm1
movl (%r14), %ebp
movl 0x4(%r14), %ebx
addsd 0x908b(%rip), %xmm1     # 0xd250
addl %ebp, 0x908d(%rip)      # 0xd258
movsd %xmm1, 0x907d(%rip)     # 0xd250
addl %ebx, 0x9083(%rip)      # 0xd25c
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x4404
movq %rsi, %r14
xorl %r13d, %r13d
leaq 0x4da1(%rip), %r12      # 0x90b9
xorl %ebp, %ebp
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x4d77(%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 0x4cca(%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 0x431a
leaq 0x4c9c(%rip), %rsi      # 0x90a7
movl $0x6, %edx
movq %rbx, %rdi
callq 0x2220
movl 0x8e3a(%rip), %esi      # 0xd258
movq %rbx, %rdi
callq 0x2330
movq %rax, %r14
leaq 0x4c89(%rip), %r15      # 0x90b9
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movl 0x8e16(%rip), %esi      # 0xd25c
movq %r14, %rdi
callq 0x2330
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x2220
movsd 0x8de7(%rip), %xmm0     # 0xd250
movq %r14, %rdi
callq 0x22c0
leaq 0x4c2b(%rip), %rsi      # 0x90a3
movl $0x3, %edx
movq %rax, %rdi
callq 0x2220
movsd 0x8dbb(%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_O3/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 0x8a49(%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, 0x8a08(%rip)      # 0xd3e8
setne %al
xorb %cl, %al
retq
// File: /workspace/github_cpp_makefile_star2_O3/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, 0x10(%rsp)
movq (%rdi), %rax
movq 0x8(%rdi), %rcx
subq %rax, %rcx
je 0x5aaa
movq %rsi, %r15
movq %rdi, %r12
sarq $0x4, %rcx
movabsq $-0x5555555555555555, %r10 # imm = 0xAAAAAAAAAAAAAAAB
imulq %r10, %rcx
xorl %esi, %esi
xorl %ebp, %ebp
xorl %r13d, %r13d
movq %rdx, 0x8(%rsp)
movslq %ebp, %r14
movq (%r15), %rdi
movq 0x8(%r15), %r11
subq %rdi, %r11
sarq $0x4, %r11
imulq %r10, %r11
cmpq %r14, %r11
jbe 0x5aaa
leaq (%rsi,%rsi,2), %r8
shlq $0x4, %r8
leaq (%rax,%r8), %rsi
movq %rsi, 0x7a83(%rip)      # 0xd438
leaq (%r14,%r14,2), %r9
shlq $0x4, %r9
leaq (%rdi,%r9), %rsi
movq %rsi, 0x7a78(%rip)      # 0xd440
movl (%rax,%r8), %r8d
movl (%rdi,%r9), %edi
cmpl %edi, %r8d
jge 0x59dd
incl %r13d
jmp 0x5a8a
jle 0x59e6
incl %ebp
jmp 0x5a8a
movslq %r13d, %r9
movl %r13d, %ebx
cmpq %r9, %rcx
jbe 0x5a10
leaq (%r9,%r9,2), %r10
shlq $0x4, %r10
addq %r10, %rax
cmpl %r8d, (%rax)
jne 0x5a0d
incq %r9
addq $0x30, %rax
cmpq %r9, %rcx
ja 0x59fc
movl %r9d, %ebx
cmpl %edi, (%rsi)
jne 0x5a20
incq %r14
addq $0x30, %rsi
cmpq %r14, %r11
ja 0x5a10
testq %rdx, %rdx
je 0x5a4a
movzbl 0x50(%rsp), %eax
movq %r12, %rdi
movq %r15, %rsi
movl %r13d, %ecx
movl %ebp, %r8d
movl %ebx, %r9d
pushq %rax
pushq %r14
callq 0x555f
movq 0x18(%rsp), %rdx
addq $0x10, %rsp
movq 0x10(%rsp), %rax
testq %rax, %rax
je 0x5a7a
subq $0x18, %rsp
movq %r12, %rdi
movq %r15, %rsi
movq %rax, %rdx
movl %r13d, %ecx
movl %ebp, %r8d
movl %ebx, %r9d
pushq %r14
callq 0x5755
movq 0x28(%rsp), %rdx
addq $0x20, %rsp
movl %ebx, %r13d
movl %r14d, %ebp
movabsq $-0x5555555555555555, %r10 # imm = 0xAAAAAAAAAAAAAAAB
movslq %r13d, %rsi
movq (%r12), %rax
movq 0x8(%r12), %rcx
subq %rax, %rcx
sarq $0x4, %rcx
imulq %r10, %rcx
cmpq %rsi, %rcx
ja 0x5984
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x5b24
sarq $0x2, %rdi
movq (%rsi), %rax
movq 0x8(%rsi), %r9
subq %rax, %r9
sarq $0x2, %r9
cmpq $0x1, %rdi
adcq $0x0, %rdi
xorl %r8d, %r8d
xorl %r10d, %r10d
cmpq %r10, %r9
je 0x5b24
movslq (%rcx,%r10,4), %rdx
movslq (%rax,%r10,4), %rsi
cmpl %esi, %edx
jg 0x5b08
cmpl %esi, %edx
jl 0x5b27
incq %r10
addq $-0x4, %r8
cmpq %r10, %rdi
jne 0x5ae5
jmp 0x5b24
cmpq %rsi, 0x76c9(%rip)      # 0xd1d8
jne 0x5b24
subq %r8, %rax
movl (%rax), %ecx
addq $0x4, %rax
cmpl %ecx, %esi
je 0x5b14
cmpl %ecx, %edx
setl %al
retq
xorl %eax, %eax
retq
movb $0x1, %al
cmpq %rdx, 0x76a8(%rip)      # 0xd1d8
jne 0x5b23
subq %r8, %rcx
movl (%rcx), %eax
addq $0x4, %rcx
cmpl %eax, %edx
je 0x5b35
cmpl %esi, %eax
setle %al
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x63a9
movq (%rbx), %rax
movslq (%rax), %rax
movq 0x7044(%rip), %rcx      # 0xd3b0
movq 0x228(%rcx), %rcx
movq (%rcx,%rax,8), %rbx
movq 0x10(%r14), %rdx
movslq (%rdx), %rax
movq 0x702b(%rip), %rcx      # 0xd3b0
movq 0x228(%rcx), %rcx
movq (%rcx,%rax,8), %rsi
movl $0x1, (%rsp)
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x593d
movq (%r14), %r14
cmpq %r15, %r14
jne 0x6377
leaq 0x8(%rsp), %rdi
callq 0x6994
leaq 0x6ffe(%rip), %rdi      # 0xd3b8
movl $0x1, %esi
callq 0x4282
addq $0x30, %rsp
popq %rbx
popq %r14
popq %r15
retq