LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::construct_sat(int, int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&)
void Graph::construct_sat(int source, int dest,
                          const std::vector< std::pair<int,int> >& map,
                          const std::vector< std::pair<int,int> >& diamonds)
{
    std::vector<int> clause;
    std::vector< std::vector<int> > clauses;

    condition1(clauses);
    condition2(clauses);
    condition3(clauses);
    condition4(clauses); // useful
    condition5(clauses);
    condition6(clauses, map);
    condition7(clauses, diamonds);
    condition13(clauses, source); // not useful
    condition14(clauses, dest); // not useful
    // order relation 
    
    condition8(clauses);
    condition9(clauses);
    condition10(clauses);
    condition11(clauses, source);
    condition12(clauses, dest);
    
    

    write_sat(clauses);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movq %rcx, -0x18(%rbp)
movq %r8, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x70(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x4300
leaq -0x50(%rbp), %rdi
movq %rdi, -0x68(%rbp)
callq 0xb110
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x6dc0
jmp 0x7cc7
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x6e90
jmp 0x7cd6
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x6fc0
jmp 0x7ce5
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x7090
jmp 0x7cf4
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x71c0
jmp 0x7d03
movq -0x70(%rbp), %rdi
movq -0x18(%rbp), %rdx
leaq -0x50(%rbp), %rsi
callq 0x7330
jmp 0x7d16
movq -0x70(%rbp), %rdi
movq -0x20(%rbp), %rdx
leaq -0x50(%rbp), %rsi
callq 0x7410
jmp 0x7d29
movq -0x70(%rbp), %rdi
movl -0xc(%rbp), %edx
leaq -0x50(%rbp), %rsi
callq 0x7b50
jmp 0x7d3b
movq -0x70(%rbp), %rdi
movl -0x10(%rbp), %edx
leaq -0x50(%rbp), %rsi
callq 0x7be0
jmp 0x7d4d
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x75a0
jmp 0x7d5c
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x7710
jmp 0x7d6b
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x7870
jmp 0x7d7a
movq -0x70(%rbp), %rdi
movl -0xc(%rbp), %edx
leaq -0x50(%rbp), %rsi
callq 0x79d0
jmp 0x7d8c
movq -0x70(%rbp), %rdi
movl -0x10(%rbp), %edx
leaq -0x50(%rbp), %rsi
callq 0x7a90
jmp 0x7d9e
movq -0x70(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x7df0
jmp 0x7dad
leaq -0x50(%rbp), %rdi
callq 0x4630
leaq -0x38(%rbp), %rdi
callq 0x43e0
addq $0x70, %rsp
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x4630
leaq -0x38(%rbp), %rdi
callq 0x43e0
movq -0x58(%rbp), %rdi
callq 0x3400
nopl (%rax)
// File: cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: get_path(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
std::string get_path(std::string file_name){
    char buffer[1024];  
    int buffer_size = 1024;
    
    readlink("/proc/self/exe", buffer, buffer_size);
    std::string path(dirname(buffer));
    path = path + "/" + file_name;
    return path;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x4a0, %rsp            # imm = 0x4A0
movq %rsi, -0x498(%rbp)
movq %rdi, -0x480(%rbp)
movq %rdi, %rax
movq %rax, -0x490(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x400, -0x414(%rbp)    # imm = 0x400
movslq -0x414(%rbp), %rdx
leaq 0xafbf(%rip), %rdi      # 0x13172
leaq -0x410(%rbp), %rsi
movq %rsi, -0x488(%rbp)
callq 0x3260
movq -0x488(%rbp), %rdi
movb $0x0, -0x415(%rbp)
callq 0x30d0
movq %rax, -0x478(%rbp)
leaq -0x416(%rbp), %rdi
movq %rdi, -0x470(%rbp)
callq 0x3410
movq -0x480(%rbp), %rdi
movq -0x478(%rbp), %rsi
movq -0x470(%rbp), %rdx
callq 0x3300
jmp 0x820f
leaq -0x416(%rbp), %rdi
callq 0x3270
movq -0x480(%rbp), %rsi
leaq 0xaf5c(%rip), %rdx      # 0x13185
leaq -0x468(%rbp), %rdi
callq 0xb970
jmp 0x8237
movq -0x498(%rbp), %rdx
leaq -0x448(%rbp), %rdi
leaq -0x468(%rbp), %rsi
callq 0xb9f0
jmp 0x8253
movq -0x480(%rbp), %rdi
leaq -0x448(%rbp), %rsi
callq 0x32b0
leaq -0x448(%rbp), %rdi
callq 0x3170
leaq -0x468(%rbp), %rdi
callq 0x3170
movb $0x1, -0x415(%rbp)
testb $0x1, -0x415(%rbp)
jne 0x82f0
jmp 0x82e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x420(%rbp)
movl %eax, -0x424(%rbp)
leaq -0x416(%rbp), %rdi
callq 0x3270
jmp 0x830c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x420(%rbp)
movl %eax, -0x424(%rbp)
jmp 0x8300
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x420(%rbp)
movl %eax, -0x424(%rbp)
leaq -0x468(%rbp), %rdi
callq 0x3170
jmp 0x8300
movq -0x480(%rbp), %rdi
callq 0x3170
movq -0x490(%rbp), %rax
addq $0x4a0, %rsp            # imm = 0x4A0
popq %rbp
retq
movq -0x480(%rbp), %rdi
callq 0x3170
movq -0x420(%rbp), %rdi
callq 0x3400
nopl (%rax,%rax)
// File: cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::ham_path_sat(int, int, bool, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&)
std::vector< std::vector<int> >&
Graph::ham_path_sat(int first,
                    int last,
                    bool count,
                    const std::vector< std::pair<int,int> >& map,
                    const std::vector< std::pair<int,int> >& diamonds)
{
    paths.clear();
    construct_sat(first, last, map, diamonds);
    solve_sat();
    path = read_sol();

    while(!path.empty()){
        paths.push_back(path);
        
        if(!count)  break;

        int nvars, nclauses;
        auto ban = create_ban(path);
        extend_sat(ban, nvars, nclauses);
        recopy(nvars, nclauses);
        solve_sat();
        path = read_sol();
    }
    
    return paths;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movb %cl, %al
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
andb $0x1, %al
movb %al, -0x11(%rbp)
movq %r8, -0x20(%rbp)
movq %r9, -0x28(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x88(%rbp)
addq $0x78, %rdi
callq 0xb5a0
movq -0x88(%rbp), %rdi
movl -0xc(%rbp), %esi
movl -0x10(%rbp), %edx
movq -0x20(%rbp), %rcx
movq -0x28(%rbp), %r8
callq 0x7c80
movq -0x88(%rbp), %rdi
callq 0x8910
movq -0x88(%rbp), %rdi
callq 0x8320
movq -0x88(%rbp), %rdi
movq %rax, %rsi
addq $0x90, %rdi
callq 0xb5c0
movq -0x88(%rbp), %rdi
addq $0x90, %rdi
callq 0xb810
xorb $-0x1, %al
testb $0x1, %al
jne 0x87de
jmp 0x88e8
movq -0x88(%rbp), %rsi
movq %rsi, %rdi
addq $0x78, %rdi
addq $0x90, %rsi
callq 0xaf70
testb $0x1, -0x11(%rbp)
jne 0x8803
jmp 0x88e8
movq -0x88(%rbp), %rsi
movq %rsi, %rdx
addq $0x90, %rdx
leaq -0x50(%rbp), %rdi
movq %rdi, -0x90(%rbp)
callq 0x8ee0
movq -0x90(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x30e0
jmp 0x8836
movq -0x88(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x2c(%rbp), %rdx
leaq -0x30(%rbp), %rcx
callq 0x90a0
jmp 0x8850
leaq -0x70(%rbp), %rdi
callq 0x3170
movq -0x88(%rbp), %rdi
movl -0x2c(%rbp), %esi
movl -0x30(%rbp), %edx
callq 0x94b0
jmp 0x886d
movq -0x88(%rbp), %rdi
callq 0x8910
jmp 0x887b
movq -0x88(%rbp), %rdi
callq 0x8320
movq %rax, -0x98(%rbp)
jmp 0x8890
movq -0x98(%rbp), %rsi
movq -0x88(%rbp), %rdi
addq $0x90, %rdi
callq 0xb5c0
jmp 0x88ac
leaq -0x50(%rbp), %rdi
callq 0x3170
jmp 0x87c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x88dd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x3170
leaq -0x50(%rbp), %rdi
callq 0x3170
jmp 0x88fc
movq -0x88(%rbp), %rax
addq $0x78, %rax
addq $0xa0, %rsp
popq %rbp
retq
movq -0x78(%rbp), %rdi
callq 0x3400
nopw %cs:(%rax,%rax)
// File: cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::create_ban[abi:cxx11](std::vector<int, std::allocator<int>>&)
std::string Graph::create_ban(std::vector<int> &orig_path){
    int n_vertices = orig_path.size();
    std::string ban = "";
    for(int i = 1; i < n_vertices - 1; i++){
        int var = -encode(i, orig_path[i]);
        ban += std::to_string(var) + " ";
    }
    ban += "0\n";

    return ban;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x88(%rbp)
movq %rdi, %rax
movq %rax, -0x98(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x18(%rbp), %rdi
callq 0x5460
movl %eax, -0x1c(%rbp)
movb $0x0, -0x1d(%rbp)
leaq -0x1e(%rbp), %rdi
movq %rdi, -0x80(%rbp)
callq 0x3410
movq -0x88(%rbp), %rdi
movq -0x80(%rbp), %rdx
leaq 0xa1fa(%rip), %rsi      # 0x1313c
callq 0x3300
jmp 0x8f49
leaq -0x1e(%rbp), %rdi
callq 0x3270
movl $0x1, -0x30(%rbp)
movl -0x30(%rbp), %eax
movl -0x1c(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x9046
movl -0x30(%rbp), %eax
movl %eax, -0x9c(%rbp)
movq -0x18(%rbp), %rdi
movslq %eax, %rsi
callq 0xaf50
movq -0x90(%rbp), %rdi
movl -0x9c(%rbp), %esi
movl (%rax), %edx
xorl %ecx, %ecx
callq 0x65f0
negl %eax
movl %eax, -0x34(%rbp)
movl -0x34(%rbp), %esi
leaq -0x78(%rbp), %rdi
callq 0xbc40
jmp 0x8fa8
leaq 0xa1ee(%rip), %rdx      # 0x1319d
leaq -0x58(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0xb850
jmp 0x8fbe
movq -0x88(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x32e0
jmp 0x8fd0
leaq -0x58(%rbp), %rdi
callq 0x3170
leaq -0x78(%rbp), %rdi
callq 0x3170
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x8f59
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x1e(%rbp), %rdi
callq 0x3270
jmp 0x908d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x9081
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x903b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x3170
leaq -0x78(%rbp), %rdi
callq 0x3170
jmp 0x9081
movq -0x88(%rbp), %rdi
leaq 0xa0e6(%rip), %rsi      # 0x1313a
callq 0x3220
jmp 0x905b
movb $0x1, -0x1d(%rbp)
testb $0x1, -0x1d(%rbp)
jne 0x9071
movq -0x88(%rbp), %rdi
callq 0x3170
movq -0x98(%rbp), %rax
addq $0xa0, %rsp
popq %rbp
retq
movq -0x88(%rbp), %rdi
callq 0x3170
movq -0x28(%rbp), %rdi
callq 0x3400
nopw %cs:(%rax,%rax)
// File: cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::ham_path_bt(int, int, bool, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&)
std::vector< std::vector<int> >& Graph::ham_path_bt(int source,
                                                     int last,
                                                     bool count,
                                                     const std::vector< std::pair<int,int> >& map,
                                                     const std::vector< std::pair<int,int> >& diamonds)
{
    paths.clear();
    visited.assign(n_vertices, false);
    path.resize(n_vertices);

    backtracking(source, 0, last, count);
    
    std::vector< std::vector<int> > valid_paths;
    for(auto candidate : paths)
        if(valid(candidate, map, diamonds)) valid_paths.push_back(candidate);
    
    paths = valid_paths;

    return paths;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movb %cl, %al
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
andb $0x1, %al
movb %al, -0x11(%rbp)
movq %r8, -0x20(%rbp)
movq %r9, -0x28(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x90(%rbp)
addq $0x78, %rdi
callq 0xb5a0
movq -0x90(%rbp), %rax
movq %rax, %rdi
addq $0x50, %rdi
movslq (%rax), %rsi
movb $0x0, -0x29(%rbp)
leaq -0x29(%rbp), %rdx
callq 0xbb70
movq -0x90(%rbp), %rax
movq %rax, %rdi
addq $0x90, %rdi
movslq (%rax), %rsi
callq 0xbbb0
movq -0x90(%rbp), %rdi
movl -0xc(%rbp), %esi
movl -0x10(%rbp), %ecx
movb -0x11(%rbp), %al
xorl %edx, %edx
andb $0x1, %al
movzbl %al, %r8d
callq 0x6680
leaq -0x48(%rbp), %rdi
callq 0xb110
movq -0x90(%rbp), %rax
addq $0x78, %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
callq 0xb460
movq %rax, -0x58(%rbp)
movq -0x50(%rbp), %rdi
callq 0xb490
movq %rax, -0x60(%rbp)
leaq -0x58(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0xb4c0
testb $0x1, %al
jne 0x9b94
jmp 0x9c1c
leaq -0x58(%rbp), %rdi
callq 0xb500
movq %rax, %rsi
leaq -0x78(%rbp), %rdi
callq 0x5370
jmp 0x9bab
movq -0x90(%rbp), %rdi
movq -0x20(%rbp), %rdx
movq -0x28(%rbp), %rcx
leaq -0x78(%rbp), %rsi
callq 0x6890
testb $0x1, %al
jne 0x9bc9
jmp 0x9c05
leaq -0x48(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0xaf70
jmp 0x9bd8
jmp 0x9c05
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9c5d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x43e0
jmp 0x9c5d
leaq -0x78(%rbp), %rdi
callq 0x43e0
leaq -0x58(%rbp), %rdi
callq 0xb520
jmp 0x9b7e
movq -0x90(%rbp), %rdi
addq $0x78, %rdi
leaq -0x48(%rbp), %rsi
callq 0xb1f0
jmp 0x9c32
movq -0x90(%rbp), %rax
addq $0x78, %rax
movq %rax, -0x98(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x4630
movq -0x98(%rbp), %rax
addq $0xa0, %rsp
popq %rbp
retq
leaq -0x48(%rbp), %rdi
callq 0x4630
movq -0x80(%rbp), %rdi
callq 0x3400
nop
// File: cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::k_paths(int, int, int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int>>> const&)
std::vector<int>&
Graph::k_paths(int k,
               int source,
               int last,
               const std::vector< std::pair<int, int> >& map,
               const std::vector< std::pair<int, int> >& diamonds)
{
    paths = ham_path_sat(source, last, false, map, diamonds);
    if(paths.size() > k){
        path.clear();
        return path;
    }

    return paths[0]; 
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movl %edx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0x38(%rbp)
movl -0x18(%rbp), %esi
movl -0x1c(%rbp), %edx
movq -0x28(%rbp), %r8
movq -0x30(%rbp), %r9
xorl %ecx, %ecx
callq 0x8740
movq -0x38(%rbp), %rdi
movq %rax, %rsi
addq $0x78, %rdi
callq 0xb1f0
movq -0x38(%rbp), %rdi
addq $0x78, %rdi
callq 0x4600
movslq -0x14(%rbp), %rcx
cmpq %rcx, %rax
jbe 0xa100
movq -0x38(%rbp), %rdi
addq $0x90, %rdi
callq 0xb440
movq -0x38(%rbp), %rax
addq $0x90, %rax
movq %rax, -0x8(%rbp)
jmp 0xa115
movq -0x38(%rbp), %rdi
addq $0x78, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x4440
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nop
// File: cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::create_cons(int)
std::vector<int> Graph::create_cons(int n_vertices){
    std::vector<int> cons;
    // add diamonds 
    for(int i = 0; i < n_vertices - 1; i++)
        cons.push_back(i);

    // add map
    for(int i = 1; i < n_vertices - 1; i++)
        cons.push_back(-i);
    
    std::random_device rd;
    std::mt19937 g(rd());
 
    std::shuffle(cons.begin(), cons.end(), g);

    return cons;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x2770, %rsp           # imm = 0x2770
movq %rdi, -0x2768(%rbp)
movq %rdi, %rax
movq %rax, -0x2760(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movb $0x0, -0x15(%rbp)
callq 0x4300
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movl -0x14(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0xa7c4
movq -0x2768(%rbp), %rdi
leaq -0x1c(%rbp), %rsi
callq 0xb180
jmp 0xa7a6
jmp 0xa7a8
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0xa787
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xa8c9
movl $0x1, -0x30(%rbp)
movl -0x30(%rbp), %eax
movl -0x14(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0xa7ff
movq -0x2768(%rbp), %rdi
movl -0x30(%rbp), %eax
negl %eax
movl %eax, -0x34(%rbp)
leaq -0x34(%rbp), %rsi
callq 0x4460
jmp 0xa7f2
jmp 0xa7f4
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0xa7cb
leaq -0x13c0(%rbp), %rdi
callq 0xbd60
jmp 0xa80d
leaq -0x13c0(%rbp), %rdi
callq 0xbe00
movl %eax, -0x276c(%rbp)
jmp 0xa821
movl -0x276c(%rbp), %eax
movl %eax, %eax
movl %eax, %esi
leaq -0x2748(%rbp), %rdi
callq 0xbe20
jmp 0xa839
movq -0x2768(%rbp), %rdi
callq 0x4700
movq -0x2768(%rbp), %rdi
movq %rax, -0x2750(%rbp)
callq 0x4730
movq %rax, -0x2758(%rbp)
movq -0x2750(%rbp), %rdi
movq -0x2758(%rbp), %rsi
leaq -0x2748(%rbp), %rdx
callq 0xbe50
jmp 0xa87b
movb $0x1, -0x15(%rbp)
leaq -0x13c0(%rbp), %rdi
callq 0xc0c0
testb $0x1, -0x15(%rbp)
jne 0xa8b9
jmp 0xa8ad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x13c0(%rbp), %rdi
callq 0xc0c0
jmp 0xa8c9
movq -0x2768(%rbp), %rdi
callq 0x43e0
movq -0x2760(%rbp), %rax
addq $0x2770, %rsp           # imm = 0x2770
popq %rbp
retq
movq -0x2768(%rbp), %rdi
callq 0x43e0
movq -0x28(%rbp), %rdi
callq 0x3400
nop
// File: Luthaf[P]zeopp/voro++/src/./c_loops.hh
// Function: voro::c_loop_order::start()
inline bool start() {
			cp=vo.o;op=vo.op;
			if(cp!=op) {
				ijk=*(cp++);decode();
				q=*(cp++);
				return true;
			} else return false;
		}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movq 0x48(%rcx), %rax
movq (%rax), %rax
movq %rax, 0x50(%rcx)
movq 0x48(%rcx), %rax
movq 0x8(%rax), %rax
movq %rax, 0x58(%rcx)
movq 0x50(%rcx), %rax
cmpq 0x58(%rcx), %rax
je 0x6590
movq -0x18(%rbp), %rdi
movq 0x50(%rdi), %rax
movq %rax, %rcx
addq $0x4, %rcx
movq %rcx, 0x50(%rdi)
movl (%rax), %eax
movl %eax, 0x3c(%rdi)
callq 0x68a0
movq -0x18(%rbp), %rax
movq 0x50(%rax), %rcx
movq %rcx, %rdx
addq $0x4, %rdx
movq %rdx, 0x50(%rax)
movl (%rcx), %ecx
movl %ecx, 0x40(%rax)
movb $0x1, -0x1(%rbp)
jmp 0x6594
movb $0x0, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x20, %rsp
popq %rbp
retq
nop
// File: Luthaf[P]zeopp/voro++/src/./c_loops.hh
// Function: voro::c_loop_base::pos(int&, double&, double&, double&, double&)
inline void pos(int &pid,double &x,double &y,double &z,double &r) {
			pid=id[ijk][q];
			double *pp=p[ijk]+ps*q;
			x=*(pp++);y=*(pp++);z=*pp;
			r=ps==3?default_radius:*(++pp);
		}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x40(%rbp)
movq 0x20(%rax), %rcx
movslq 0x3c(%rax), %rdx
movq (%rcx,%rdx,8), %rcx
movslq 0x40(%rax), %rdx
movl (%rcx,%rdx,4), %edx
movq -0x10(%rbp), %rcx
movl %edx, (%rcx)
movq 0x18(%rax), %rcx
movslq 0x3c(%rax), %rdx
movq (%rcx,%rdx,8), %rcx
movl 0x14(%rax), %edx
imull 0x40(%rax), %edx
movslq %edx, %rdx
shlq $0x3, %rdx
addq %rdx, %rcx
movq %rcx, -0x38(%rbp)
movq -0x38(%rbp), %rcx
movq %rcx, %rdx
addq $0x8, %rdx
movq %rdx, -0x38(%rbp)
movsd (%rcx), %xmm0
movq -0x18(%rbp), %rcx
movsd %xmm0, (%rcx)
movq -0x38(%rbp), %rcx
movq %rcx, %rdx
addq $0x8, %rdx
movq %rdx, -0x38(%rbp)
movsd (%rcx), %xmm0
movq -0x20(%rbp), %rcx
movsd %xmm0, (%rcx)
movq -0x38(%rbp), %rcx
movsd (%rcx), %xmm0
movq -0x28(%rbp), %rcx
movsd %xmm0, (%rcx)
cmpl $0x3, 0x14(%rax)
jne 0x66b9
movsd 0x4f97e(%rip), %xmm0    # 0x56030
movsd %xmm0, -0x48(%rbp)
jmp 0x66d2
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x38(%rbp)
movsd 0x8(%rax), %xmm0
movsd %xmm0, -0x48(%rbp)
movsd -0x48(%rbp), %xmm0
movq -0x30(%rbp), %rax
movsd %xmm0, (%rax)
popq %rbp
retq
nopw %cs:(%rax,%rax)
nopl (%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/./c_loops.hh
// Function: voro::c_loop_order::inc()
inline bool inc() {
			if(cp==op) return false;
			ijk=*(cp++);decode();
			q=*(cp++);
			return true;
		}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movq 0x50(%rcx), %rax
cmpq 0x58(%rcx), %rax
jne 0x6714
movb $0x0, -0x1(%rbp)
jmp 0x674d
movq -0x18(%rbp), %rdi
movq 0x50(%rdi), %rax
movq %rax, %rcx
addq $0x4, %rcx
movq %rcx, 0x50(%rdi)
movl (%rax), %eax
movl %eax, 0x3c(%rdi)
callq 0x68a0
movq -0x18(%rbp), %rax
movq 0x50(%rax), %rcx
movq %rcx, %rdx
addq $0x4, %rdx
movq %rdx, 0x50(%rax)
movl (%rcx), %ecx
movl %ecx, 0x40(%rax)
movb $0x1, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x20, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/./c_loops.hh
// Function: voro::c_loop_order::decode()
inline void decode() {
			k=ijk/nxy;
			int ijkt=ijk-nxy*k;
			j=ijkt/nx;
			i=ijkt-j*nx;
		}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movl 0x3c(%rcx), %eax
cltd
idivl 0x64(%rcx)
movl %eax, 0x38(%rcx)
movl 0x3c(%rcx), %eax
movl 0x64(%rcx), %edx
imull 0x38(%rcx), %edx
subl %edx, %eax
movl %eax, -0xc(%rbp)
movl -0xc(%rbp), %eax
cltd
idivl 0x60(%rcx)
movl %eax, %ecx
movq -0x18(%rbp), %rax
movl %ecx, 0x34(%rax)
movl -0xc(%rbp), %ecx
movl 0x34(%rax), %edx
imull 0x60(%rax), %edx
subl %edx, %ecx
movl %ecx, 0x30(%rax)
popq %rbp
retq
nopw (%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/./c_loops.hh
// Function: voro::c_loop_all::inc()
inline bool inc() {
			q++;
			if(q>=co[ijk]) {
				q=0;
				do {
					if(!next_block()) return false;
				} while(co[ijk]==0);
			}
			return true;
		}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rdx
movq %rdx, -0x18(%rbp)
movl 0x40(%rdx), %eax
addl $0x1, %eax
movl %eax, 0x40(%rdx)
movl 0x40(%rdx), %eax
movq 0x28(%rdx), %rcx
movslq 0x3c(%rdx), %rdx
cmpl (%rcx,%rdx,4), %eax
jl 0x6b91
movq -0x18(%rbp), %rax
movl $0x0, 0x40(%rax)
movq -0x18(%rbp), %rdi
callq 0x6c00
testb $0x1, %al
jne 0x6b7b
movb $0x0, -0x1(%rbp)
jmp 0x6b95
jmp 0x6b7d
movq -0x18(%rbp), %rcx
movq 0x28(%rcx), %rax
movslq 0x3c(%rcx), %rcx
cmpl $0x0, (%rax,%rcx,4)
je 0x6b68
jmp 0x6b91
movb $0x1, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x20, %rsp
popq %rbp
retq
// File: Luthaf[P]zeopp/voro++/src/./c_loops.hh
// Function: voro::c_loop_all::next_block()
inline bool next_block() {
			ijk++;
			i++;
			if(i==nx) {
				i=0;j++;
				if(j==ny) {
					j=0;k++;
					if(ijk==nxyz) return false;
				}
			}
			return true;
		}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movl 0x3c(%rcx), %eax
addl $0x1, %eax
movl %eax, 0x3c(%rcx)
movl 0x30(%rcx), %eax
addl $0x1, %eax
movl %eax, 0x30(%rcx)
movl 0x30(%rcx), %eax
cmpl (%rcx), %eax
jne 0x6c6b
movq -0x18(%rbp), %rcx
movl $0x0, 0x30(%rcx)
movl 0x34(%rcx), %eax
addl $0x1, %eax
movl %eax, 0x34(%rcx)
movl 0x34(%rcx), %eax
cmpl 0x4(%rcx), %eax
jne 0x6c69
movq -0x18(%rbp), %rcx
movl $0x0, 0x34(%rcx)
movl 0x38(%rcx), %eax
addl $0x1, %eax
movl %eax, 0x38(%rcx)
movl 0x3c(%rcx), %eax
cmpl 0x10(%rcx), %eax
jne 0x6c67
movb $0x0, -0x1(%rbp)
jmp 0x6c6f
jmp 0x6c69
jmp 0x6c6b
movb $0x1, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::add_memory_xse()
void voronoicell_base::add_memory_xse() {
	current_xsearch_size<<=1;
	if(current_xsearch_size>max_xsearch_size) voro_fatal_error("Extra search stack memory allocation exceeded absolute maximum",VOROPP_MEMORY_ERROR);
#if VOROPP_VERBOSE >=2
	fprintf(stderr,"Extra search stack memory scaled up to %d\n",current_xsearch_size);
#endif
	int *dsn=new int[current_xsearch_size],*dsnp=dsn,*dsp=xse;
	while(dsp<stackp3) *(dsnp++)=*(dsp++);
	delete [] xse;xse=dsn;stackp3=dsnp;
	stacke3=xse+current_xsearch_size;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
movl 0x18(%rax), %ecx
shll %ecx
movl %ecx, 0x18(%rax)
cmpl $0x1000000, 0x18(%rax)  # imm = 0x1000000
jle 0x6ef6
leaq 0x50a7b(%rip), %rdi     # 0x57967
movl $0x2, %esi
callq 0x1b690
movq -0x28(%rbp), %rax
movq 0x5f0df(%rip), %rcx     # 0x65fe0
movq (%rcx), %rdi
movl 0x18(%rax), %edx
leaq 0x50a98(%rip), %rsi     # 0x579a6
movb $0x0, %al
callq 0x21a0
movq -0x28(%rbp), %rax
movslq 0x18(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, -0x10(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movq 0xa8(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rcx
movq -0x20(%rbp), %rax
cmpq 0xb0(%rcx), %rax
jae 0x6f91
movq -0x20(%rbp), %rax
movq %rax, %rcx
addq $0x4, %rcx
movq %rcx, -0x20(%rbp)
movl (%rax), %ecx
movq -0x18(%rbp), %rax
movq %rax, %rdx
addq $0x4, %rdx
movq %rdx, -0x18(%rbp)
movl %ecx, (%rax)
jmp 0x6f5c
movq -0x28(%rbp), %rax
movq 0xa8(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x6faf
movq -0x30(%rbp), %rdi
callq 0x2180
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, 0xa8(%rax)
movq -0x18(%rbp), %rcx
movq %rcx, 0xb0(%rax)
movq 0xa8(%rax), %rcx
movslq 0x18(%rax), %rdx
shlq $0x2, %rdx
addq %rdx, %rcx
movq %rcx, 0xb8(%rax)
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::add_memory_ds()
void voronoicell_base::add_memory_ds() {
	current_delete_size<<=1;
	if(current_delete_size>max_delete_size) voro_fatal_error("Delete stack 1 memory allocation exceeded absolute maximum",VOROPP_MEMORY_ERROR);
#if VOROPP_VERBOSE >=2
	fprintf(stderr,"Delete stack 1 memory scaled up to %d\n",current_delete_size);
#endif
	int *dsn=new int[current_delete_size],*dsnp=dsn,*dsp=ds;
	while(dsp<stackp) *(dsnp++)=*(dsp++);
	delete [] ds;ds=dsn;stackp=dsnp;
	stacke=ds+current_delete_size;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
movl 0x10(%rax), %ecx
shll %ecx
movl %ecx, 0x10(%rax)
cmpl $0x1000000, 0x10(%rax)  # imm = 0x1000000
jle 0x7026
leaq 0x50887(%rip), %rdi     # 0x578a3
movl $0x2, %esi
callq 0x1b690
movq -0x28(%rbp), %rax
movq 0x5efaf(%rip), %rcx     # 0x65fe0
movq (%rcx), %rdi
movl 0x10(%rax), %edx
leaq 0x508a0(%rip), %rsi     # 0x578de
movb $0x0, %al
callq 0x21a0
movq -0x28(%rbp), %rax
movslq 0x10(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, -0x10(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movq 0x78(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rcx
movq -0x20(%rbp), %rax
cmpq 0x80(%rcx), %rax
jae 0x70be
movq -0x20(%rbp), %rax
movq %rax, %rcx
addq $0x4, %rcx
movq %rcx, -0x20(%rbp)
movl (%rax), %ecx
movq -0x18(%rbp), %rax
movq %rax, %rdx
addq $0x4, %rdx
movq %rdx, -0x18(%rbp)
movl %ecx, (%rax)
jmp 0x7089
movq -0x28(%rbp), %rax
movq 0x78(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x70d9
movq -0x30(%rbp), %rdi
callq 0x2180
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, 0x78(%rax)
movq -0x18(%rbp), %rcx
movq %rcx, 0x80(%rax)
movq 0x78(%rax), %rcx
movslq 0x10(%rax), %rdx
shlq $0x2, %rdx
addq %rdx, %rcx
movq %rcx, 0x88(%rax)
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::~voronoicell_base()
voronoicell_base::~voronoicell_base() {
	for(int i=current_vertex_order-1;i>=0;i--) if(mem[i]>0) delete [] mep[i];
	delete [] xse;
	delete [] ds2;delete [] ds;
	delete [] mep;delete [] mec;
	delete [] mem;delete [] pts;
	delete [] mask;
	delete [] nu;delete [] ed;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
leaq 0x5e6ad(%rip), %rcx     # 0x65c18
addq $0x10, %rcx
movq %rcx, (%rax)
movl 0xc(%rax), %eax
subl $0x1, %eax
movl %eax, -0xc(%rbp)
cmpl $0x0, -0xc(%rbp)
jl 0x75c5
movq -0x18(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0xc(%rbp), %rcx
cmpl $0x0, (%rax,%rcx,4)
jle 0x75b8
movq -0x18(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0xc(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, %rax
je 0x75b6
movq -0x20(%rbp), %rdi
callq 0x2180
jmp 0x75b8
jmp 0x75ba
movl -0xc(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x757b
movq -0x18(%rbp), %rax
movq 0xa8(%rax), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, %rax
je 0x75e3
movq -0x28(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x90(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x7601
movq -0x30(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x78(%rax), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, %rax
je 0x761c
movq -0x38(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x70(%rax), %rax
movq %rax, -0x40(%rbp)
cmpq $0x0, %rax
je 0x7637
movq -0x40(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x68(%rax), %rax
movq %rax, -0x48(%rbp)
cmpq $0x0, %rax
je 0x7652
movq -0x48(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x60(%rax), %rax
movq %rax, -0x50(%rbp)
cmpq $0x0, %rax
je 0x766d
movq -0x50(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x40(%rax), %rax
movq %rax, -0x58(%rbp)
cmpq $0x0, %rax
je 0x7688
movq -0x58(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x60(%rbp)
cmpq $0x0, %rax
je 0x76a3
movq -0x60(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0x68(%rbp)
cmpq $0x0, %rax
je 0x76be
movq -0x68(%rbp), %rdi
callq 0x2180
movq -0x18(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x70(%rbp)
cmpq $0x0, %rax
je 0x76d9
movq -0x70(%rbp), %rdi
callq 0x2180
addq $0x70, %rsp
popq %rbp
retq
nop
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::copy(voro::voronoicell_base*)
void voronoicell_base::copy(voronoicell_base* vb) {
	int i,j;
	p=vb->p;up=0;
	for(i=0;i<current_vertex_order;i++) {
		mec[i]=vb->mec[i];
		for(j=0;j<mec[i]*(2*i+1);j++) mep[i][j]=vb->mep[i][j];
		for(j=0;j<mec[i]*(2*i+1);j+=2*i+1) ed[mep[i][j+2*i]]=mep[i]+j;
	}
	for(i=0;i<p;i++) nu[i]=vb->nu[i];
	for(i=0;i<(p<<2);i++) pts[i]=vb->pts[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rcx
movl 0x1c(%rcx), %ecx
movl %ecx, 0x1c(%rax)
movl $0x0, 0x20(%rax)
movl $0x0, -0x14(%rbp)
movq -0x20(%rbp), %rcx
movl -0x14(%rbp), %eax
cmpl 0xc(%rcx), %eax
jge 0x7823
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x68(%rcx), %rcx
movslq -0x14(%rbp), %rdx
movl (%rcx,%rdx,4), %edx
movq 0x68(%rax), %rax
movslq -0x14(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl $0x0, -0x18(%rbp)
movq -0x20(%rbp), %rcx
movl -0x18(%rbp), %eax
movq 0x68(%rcx), %rcx
movslq -0x14(%rbp), %rdx
movl (%rcx,%rdx,4), %ecx
movl -0x14(%rbp), %edx
shll %edx
addl $0x1, %edx
imull %edx, %ecx
cmpl %ecx, %eax
jge 0x779b
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x70(%rcx), %rcx
movslq -0x14(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movslq -0x18(%rbp), %rdx
movl (%rcx,%rdx,4), %edx
movq 0x70(%rax), %rax
movslq -0x14(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movslq -0x18(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x18(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x18(%rbp)
jmp 0x7741
movl $0x0, -0x18(%rbp)
movq -0x20(%rbp), %rcx
movl -0x18(%rbp), %eax
movq 0x68(%rcx), %rcx
movslq -0x14(%rbp), %rdx
movl (%rcx,%rdx,4), %ecx
movl -0x14(%rbp), %edx
shll %edx
addl $0x1, %edx
imull %edx, %ecx
cmpl %ecx, %eax
jge 0x7813
movq -0x20(%rbp), %rcx
movq 0x70(%rcx), %rax
movslq -0x14(%rbp), %rdx
movq (%rax,%rdx,8), %rdx
movslq -0x18(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rdx
movq 0x28(%rcx), %rax
movq 0x70(%rcx), %rcx
movslq -0x14(%rbp), %rsi
movq (%rcx,%rsi,8), %rcx
movl -0x18(%rbp), %esi
movl -0x14(%rbp), %edi
shll %edi
addl %edi, %esi
movslq %esi, %rsi
movslq (%rcx,%rsi,4), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x14(%rbp), %eax
shll %eax
addl $0x1, %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
jmp 0x77a2
jmp 0x7815
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x770c
movl $0x0, -0x14(%rbp)
movq -0x20(%rbp), %rcx
movl -0x14(%rbp), %eax
cmpl 0x1c(%rcx), %eax
jge 0x785f
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x30(%rcx), %rcx
movslq -0x14(%rbp), %rdx
movl (%rcx,%rdx,4), %edx
movq 0x30(%rax), %rax
movslq -0x14(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x782a
movl $0x0, -0x14(%rbp)
movq -0x20(%rbp), %rcx
movl -0x14(%rbp), %eax
movl 0x1c(%rcx), %ecx
shll $0x2, %ecx
cmpl %ecx, %eax
jge 0x78a4
movq -0x20(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x40(%rcx), %rcx
movslq -0x14(%rbp), %rdx
movsd (%rcx,%rdx,8), %xmm0
movq 0x40(%rax), %rax
movslq -0x14(%rbp), %rcx
movsd %xmm0, (%rax,%rcx,8)
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x7866
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_neighbor::operator=(voro::voronoicell&)
void voronoicell_neighbor::operator=(voronoicell &c) {
	voronoicell_base *vb=((voronoicell_base*) &c);
	check_memory_for_copy(*this,vb);copy(vb);
	int i,j;
	for(i=0;i<c.current_vertex_order;i++) {
		for(j=0;j<c.mec[i]*i;j++) mne[i][j]=0;
		for(j=0;j<c.mec[i];j++) ne[c.mep[i][(2*i+1)*j+2*i]]=mne[i]+(j*i);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdx
movq %rsi, %rdi
callq 0x154a0
movq -0x28(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x76e0
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0xc(%rcx), %eax
jge 0x79d9
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movq -0x10(%rbp), %rcx
movq 0x68(%rcx), %rcx
movslq -0x1c(%rbp), %rdx
movl (%rcx,%rdx,4), %ecx
imull -0x1c(%rbp), %ecx
cmpl %ecx, %eax
jge 0x794a
movq -0x28(%rbp), %rax
movq 0xe8(%rax), %rax
movslq -0x1c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movslq -0x20(%rbp), %rcx
movl $0x0, (%rax,%rcx,4)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x7907
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movq -0x10(%rbp), %rcx
movq 0x68(%rcx), %rcx
movslq -0x1c(%rbp), %rdx
cmpl (%rcx,%rdx,4), %eax
jge 0x79c9
movq -0x28(%rbp), %rax
movq 0xe8(%rax), %rcx
movslq -0x1c(%rbp), %rdx
movq (%rcx,%rdx,8), %rdx
movl -0x20(%rbp), %ecx
imull -0x1c(%rbp), %ecx
movslq %ecx, %rcx
shlq $0x2, %rcx
addq %rcx, %rdx
movq 0xf0(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x70(%rcx), %rcx
movslq -0x1c(%rbp), %rsi
movq (%rcx,%rsi,8), %rcx
movl -0x1c(%rbp), %esi
shll %esi
addl $0x1, %esi
imull -0x20(%rbp), %esi
movl -0x1c(%rbp), %edi
shll %edi
addl %edi, %esi
movslq %esi, %rsi
movslq (%rcx,%rsi,4), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x7951
jmp 0x79cb
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x78f0
addq $0x30, %rsp
popq %rbp
retq
nop
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_neighbor::operator=(voro::voronoicell_neighbor&)
void voronoicell_neighbor::operator=(voronoicell_neighbor &c) {
	voronoicell_base *vb=((voronoicell_base*) &c);
	check_memory_for_copy(*this,vb);copy(vb);
	int i,j;
	for(i=0;i<c.current_vertex_order;i++) {
		for(j=0;j<c.mec[i]*i;j++) mne[i][j]=c.mne[i][j];
		for(j=0;j<c.mec[i];j++) ne[c.mep[i][(2*i+1)*j+2*i]]=mne[i]+(j*i);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdx
movq %rsi, %rdi
callq 0x154a0
movq -0x28(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x76e0
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0xc(%rcx), %eax
jge 0x7b1f
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movq -0x10(%rbp), %rcx
movq 0x68(%rcx), %rcx
movslq -0x1c(%rbp), %rdx
movl (%rcx,%rdx,4), %ecx
imull -0x1c(%rbp), %ecx
cmpl %ecx, %eax
jge 0x7a90
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0xe8(%rcx), %rcx
movslq -0x1c(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movslq -0x20(%rbp), %rdx
movl (%rcx,%rdx,4), %edx
movq 0xe8(%rax), %rax
movslq -0x1c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movslq -0x20(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x7a37
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movq -0x10(%rbp), %rcx
movq 0x68(%rcx), %rcx
movslq -0x1c(%rbp), %rdx
cmpl (%rcx,%rdx,4), %eax
jge 0x7b0f
movq -0x28(%rbp), %rax
movq 0xe8(%rax), %rcx
movslq -0x1c(%rbp), %rdx
movq (%rcx,%rdx,8), %rdx
movl -0x20(%rbp), %ecx
imull -0x1c(%rbp), %ecx
movslq %ecx, %rcx
shlq $0x2, %rcx
addq %rcx, %rdx
movq 0xf0(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x70(%rcx), %rcx
movslq -0x1c(%rbp), %rsi
movq (%rcx,%rsi,8), %rcx
movl -0x1c(%rbp), %esi
shll %esi
addl $0x1, %esi
imull -0x20(%rbp), %esi
movl -0x1c(%rbp), %edi
shll %edi
addl %edi, %esi
movslq %esi, %rsi
movslq (%rcx,%rsi,4), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x7a97
jmp 0x7b11
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x7a20
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::translate(double, double, double)
void voronoicell_base::translate(double x,double y,double z) {
	x*=2;y*=2;z*=2;
	double *ptsp=pts;
	while(ptsp<pts+(p<<2)) {
		*(ptsp++)+=x;*(ptsp++)+=y;*ptsp+=z;ptsp+=2;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movsd %xmm0, -0x10(%rbp)
movsd %xmm1, -0x18(%rbp)
movsd %xmm2, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x30(%rbp)
movsd 0x4fab1(%rip), %xmm0    # 0x57608
mulsd -0x10(%rbp), %xmm0
movsd %xmm0, -0x10(%rbp)
movsd 0x4fa9f(%rip), %xmm0    # 0x57608
mulsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x18(%rbp)
movsd 0x4fa8d(%rip), %xmm0    # 0x57608
mulsd -0x20(%rbp), %xmm0
movsd %xmm0, -0x20(%rbp)
movq 0x40(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x30(%rbp), %rdx
movq -0x28(%rbp), %rax
movq 0x40(%rdx), %rcx
movl 0x1c(%rdx), %edx
shll $0x2, %edx
movslq %edx, %rdx
shlq $0x3, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
jae 0x7c05
movsd -0x10(%rbp), %xmm0
movq -0x28(%rbp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x28(%rbp)
addsd (%rax), %xmm0
movsd %xmm0, (%rax)
movsd -0x18(%rbp), %xmm0
movq -0x28(%rbp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x28(%rbp)
addsd (%rax), %xmm0
movsd %xmm0, (%rax)
movsd -0x20(%rbp), %xmm0
movq -0x28(%rbp), %rax
addsd (%rax), %xmm0
movsd %xmm0, (%rax)
movq -0x28(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x28(%rbp)
jmp 0x7b8d
popq %rbp
retq
nopw (%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::add_memory_ds2()
void voronoicell_base::add_memory_ds2() {
	current_delete2_size<<=1;
	if(current_delete2_size>max_delete2_size) voro_fatal_error("Delete stack 2 memory allocation exceeded absolute maximum",VOROPP_MEMORY_ERROR);
#if VOROPP_VERBOSE >=2
	fprintf(stderr,"Delete stack 2 memory scaled up to %d\n",current_delete2_size);
#endif
	int *dsn=new int[current_delete2_size],*dsnp=dsn,*dsp=ds2;
	while(dsp<stackp2) *(dsnp++)=*(dsp++);
	delete [] ds2;ds2=dsn;stackp2=dsnp;
	stacke2=ds2+current_delete2_size;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
movl 0x14(%rax), %ecx
shll %ecx
movl %ecx, 0x14(%rax)
cmpl $0x1000000, 0x14(%rax)  # imm = 0x1000000
jle 0x7c46
leaq 0x4fcc9(%rip), %rdi     # 0x57905
movl $0x2, %esi
callq 0x1b690
movq -0x28(%rbp), %rax
movq 0x5e38f(%rip), %rcx     # 0x65fe0
movq (%rcx), %rdi
movl 0x14(%rax), %edx
leaq 0x4fce2(%rip), %rsi     # 0x57940
movb $0x0, %al
callq 0x21a0
movq -0x28(%rbp), %rax
movslq 0x14(%rax), %rax
movl $0x4, %ecx
mulq %rcx
movq %rax, %rdi
seto %cl
movq $-0x1, %rax
testb $0x1, %cl
cmovneq %rax, %rdi
callq 0x2030
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, -0x10(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movq 0x90(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rcx
movq -0x20(%rbp), %rax
cmpq 0x98(%rcx), %rax
jae 0x7ce1
movq -0x20(%rbp), %rax
movq %rax, %rcx
addq $0x4, %rcx
movq %rcx, -0x20(%rbp)
movl (%rax), %ecx
movq -0x18(%rbp), %rax
movq %rax, %rdx
addq $0x4, %rdx
movq %rdx, -0x18(%rbp)
movl %ecx, (%rax)
jmp 0x7cac
movq -0x28(%rbp), %rax
movq 0x90(%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, %rax
je 0x7cff
movq -0x30(%rbp), %rdi
callq 0x2180
movq -0x28(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, 0x90(%rax)
movq -0x18(%rbp), %rcx
movq %rcx, 0x98(%rax)
movq 0x90(%rax), %rcx
movslq 0x14(%rax), %rdx
shlq $0x2, %rdx
addq %rdx, %rcx
movq %rcx, 0xa0(%rax)
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::construct_relations()
void voronoicell_base::construct_relations() {
	int i,j,k,l;
	for(i=0;i<p;i++) for(j=0;j<nu[i];j++) {
		k=ed[i][j];
		l=0;
		while(ed[k][l]!=i) {
			l++;
			if(l==nu[k]) voro_fatal_error("Relation table construction failed",VOROPP_INTERNAL_ERROR);
		}
		ed[i][nu[i]+j]=l;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
movl $0x0, -0xc(%rbp)
movq -0x20(%rbp), %rcx
movl -0xc(%rbp), %eax
cmpl 0x1c(%rcx), %eax
jge 0x8abc
movl $0x0, -0x10(%rbp)
movq -0x20(%rbp), %rcx
movl -0x10(%rbp), %eax
movq 0x30(%rcx), %rcx
movslq -0xc(%rbp), %rdx
cmpl (%rcx,%rdx,4), %eax
jge 0x8aac
movq -0x20(%rbp), %rax
movq 0x28(%rax), %rax
movslq -0xc(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movslq -0x10(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x14(%rbp)
movl $0x0, -0x18(%rbp)
movq -0x20(%rbp), %rax
movq 0x28(%rax), %rax
movslq -0x14(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movslq -0x18(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl -0xc(%rbp), %eax
je 0x8a77
movq -0x20(%rbp), %rcx
movl -0x18(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x18(%rbp)
movl -0x18(%rbp), %eax
movq 0x30(%rcx), %rcx
movslq -0x14(%rbp), %rdx
cmpl (%rcx,%rdx,4), %eax
jne 0x8a75
leaq 0x4efb9(%rip), %rdi     # 0x57a24
movl $0x3, %esi
callq 0x1b690
jmp 0x8a2b
movq -0x20(%rbp), %rcx
movl -0x18(%rbp), %edx
movq 0x28(%rcx), %rax
movslq -0xc(%rbp), %rsi
movq (%rax,%rsi,8), %rax
movq 0x30(%rcx), %rcx
movslq -0xc(%rbp), %rsi
movl (%rcx,%rsi,4), %ecx
addl -0x10(%rbp), %ecx
movslq %ecx, %rcx
movl %edx, (%rax,%rcx,4)
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x89f2
jmp 0x8aae
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x89db
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::minkowski_edge(double, double, double, double, double, double, double&, double&)
void voronoicell_base::minkowski_edge(double x0,double r1,double s1,double r2,double s2,double r,double &ar,double &vo) {
	double r12=r2-r1,s12=s2-s1,l12=r12*r12+s12*s12;
	if(l12<tol*tol) return;
	l12=1/sqrt(l12);r12*=l12;s12*=l12;
	double y0=s12*r1-r12*s1;
	if(fabs(y0)<tol) return;
	minkowski_formula(x0,y0,-r12*r1-s12*s1,r,ar,vo);
	minkowski_formula(x0,y0,r12*r2+s12*s2,r,ar,vo);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movsd %xmm0, -0x10(%rbp)
movsd %xmm1, -0x18(%rbp)
movsd %xmm2, -0x20(%rbp)
movsd %xmm3, -0x28(%rbp)
movsd %xmm4, -0x30(%rbp)
movsd %xmm5, -0x38(%rbp)
movq %rsi, -0x40(%rbp)
movq %rdx, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x70(%rbp)
movsd -0x28(%rbp), %xmm0
subsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x50(%rbp)
movsd -0x30(%rbp), %xmm0
subsd -0x20(%rbp), %xmm0
movsd %xmm0, -0x58(%rbp)
movsd -0x50(%rbp), %xmm0
movsd -0x50(%rbp), %xmm2
movsd -0x58(%rbp), %xmm1
mulsd -0x58(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x60(%rbp)
movsd -0x60(%rbp), %xmm1
movsd 0x48(%rax), %xmm0
mulsd 0x48(%rax), %xmm0
ucomisd %xmm1, %xmm0
jbe 0xa333
jmp 0xa471
movsd -0x60(%rbp), %xmm0
callq 0x20f0
movq -0x70(%rbp), %rax
movaps %xmm0, %xmm1
movsd 0x4bcc4(%rip), %xmm0    # 0x56010
divsd %xmm1, %xmm0
movsd %xmm0, -0x60(%rbp)
movsd -0x60(%rbp), %xmm0
mulsd -0x50(%rbp), %xmm0
movsd %xmm0, -0x50(%rbp)
movsd -0x60(%rbp), %xmm0
mulsd -0x58(%rbp), %xmm0
movsd %xmm0, -0x58(%rbp)
movsd -0x58(%rbp), %xmm0
movsd -0x18(%rbp), %xmm2
movsd -0x50(%rbp), %xmm1
mulsd -0x20(%rbp), %xmm1
movq %xmm1, %rcx
movabsq $-0x8000000000000000, %rdx # imm = 0x8000000000000000
xorq %rdx, %rcx
movq %rcx, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x68(%rbp)
movsd -0x68(%rbp), %xmm1
movaps 0x4d2b9(%rip), %xmm0    # 0x57670
pand %xmm0, %xmm1
movsd 0x48(%rax), %xmm0
ucomisd %xmm1, %xmm0
jbe 0xa3cb
jmp 0xa471
movq -0x70(%rbp), %rdi
movsd -0x10(%rbp), %xmm0
movsd -0x68(%rbp), %xmm1
movsd -0x50(%rbp), %xmm2
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
movsd -0x18(%rbp), %xmm4
movsd -0x58(%rbp), %xmm3
mulsd -0x20(%rbp), %xmm3
movq %xmm3, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm3
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
movsd -0x38(%rbp), %xmm3
movq -0x40(%rbp), %rsi
movq -0x48(%rbp), %rdx
callq 0xa480
movq -0x70(%rbp), %rdi
movsd -0x10(%rbp), %xmm0
movsd -0x68(%rbp), %xmm1
movsd -0x50(%rbp), %xmm2
movsd -0x28(%rbp), %xmm4
movsd -0x58(%rbp), %xmm3
mulsd -0x30(%rbp), %xmm3
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
movsd -0x38(%rbp), %xmm3
movq -0x40(%rbp), %rsi
movq -0x48(%rbp), %rdx
callq 0xa480
addq $0x70, %rsp
popq %rbp
retq
nopw (%rax,%rax)
// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::max_radius_squared()
double voronoicell_base::max_radius_squared() {
	double r,s,*ptsp=pts+4,*ptse=pts+(p<<2);
	r=*pts*(*pts)+pts[1]*pts[1]+pts[2]*pts[2];
	while(ptsp<ptse) {
		s=*ptsp*(*ptsp);ptsp++;
		s+=*ptsp*(*ptsp);ptsp++;
		s+=*ptsp*(*ptsp);ptsp+=2;
		if(s>r) r=s;
	}
	return r;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x30(%rbp)
movq 0x40(%rax), %rcx
addq $0x20, %rcx
movq %rcx, -0x20(%rbp)
movq 0x40(%rax), %rcx
movl 0x1c(%rax), %edx
shll $0x2, %edx
movslq %edx, %rdx
shlq $0x3, %rdx
addq %rdx, %rcx
movq %rcx, -0x28(%rbp)
movq 0x40(%rax), %rcx
movsd (%rcx), %xmm1
movq 0x40(%rax), %rcx
movsd (%rcx), %xmm2
movq 0x40(%rax), %rcx
movsd 0x8(%rcx), %xmm0
movq 0x40(%rax), %rcx
mulsd 0x8(%rcx), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movq 0x40(%rax), %rcx
movsd 0x10(%rcx), %xmm0
movq 0x40(%rax), %rax
movsd 0x10(%rax), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x10(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x28(%rbp), %rax
jae 0xbae3
movq -0x20(%rbp), %rax
movsd (%rax), %xmm0
movq -0x20(%rbp), %rax
mulsd (%rax), %xmm0
movsd %xmm0, -0x18(%rbp)
movq -0x20(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movsd (%rax), %xmm0
movq -0x20(%rbp), %rax
movsd (%rax), %xmm2
movsd -0x18(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x18(%rbp)
movq -0x20(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movsd (%rax), %xmm0
movq -0x20(%rbp), %rax
movsd (%rax), %xmm2
movsd -0x18(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x18(%rbp)
movq -0x20(%rbp), %rax
addq $0x10, %rax
movq %rax, -0x20(%rbp)
movsd -0x18(%rbp), %xmm0
ucomisd -0x10(%rbp), %xmm0
jbe 0xbade
movsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x10(%rbp)
jmp 0xba3d
movsd -0x10(%rbp), %xmm0
popq %rbp
retq
nopw (%rax,%rax)