LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O1/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::is_valid() const
bool klotski_board::is_valid() const{
	if(!is_nums_linear()){
		return false;
	}
	std::vector<int> linear_situation;
	for(const auto& i: situation){
		for(int j: i){
			linear_situation.push_back(j);
		}
	}

	int rn = 0;
	int situation_size = linear_situation.size();
	for (int i = 0; i < situation_size - 1; ++i) {
		if(linear_situation[i] == 0){
			continue;
		}
		for (int j = i + 1; j < situation_size; ++j) {
			if(linear_situation[j] != 0
					&&linear_situation[i] > linear_situation[j]){
				rn ^= 1;
			}
		}
	}

	if((dx & 1) == 0){
		update_zero_pos();
		rn ^= (dy - 1 - zero_y) & 1;
	}
	return rn == 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movq (%rdi), %rax
callq *0x20(%rax)
testb %al, %al
je 0x76a3
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
movq $0x0, 0x10(%rsp)
movq 0x18(%rbx), %r12
movq %rbx, 0x20(%rsp)
movq 0x20(%rbx), %r13
cmpq %r13, %r12
je 0x75fd
movq %rsp, %r14
leaq 0x1c(%rsp), %r15
movq (%r12), %rbp
movq 0x8(%r12), %rbx
cmpq %rbx, %rbp
je 0x75f4
movl (%rbp), %eax
movl %eax, 0x1c(%rsp)
movq 0x8(%rsp), %rsi
cmpq 0x10(%rsp), %rsi
je 0x75e3
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rsp)
jmp 0x75ee
movq %r14, %rdi
movq %r15, %rdx
callq 0x60e0
addq $0x4, %rbp
jmp 0x75be
addq $0x18, %r12
cmpq %r13, %r12
jne 0x75b5
movq (%rsp), %rax
movq 0x8(%rsp), %rcx
subq %rax, %rcx
shrq $0x2, %rcx
xorl %ebp, %ebp
cmpl $0x2, %ecx
movq 0x20(%rsp), %rbx
jl 0x766b
leal -0x1(%rcx), %edx
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
xorl %esi, %esi
movq %rax, %rdi
xorl %ebp, %ebp
movl (%rax,%rsi,4), %r8d
testl %r8d, %r8d
je 0x765c
movl $0x1, %r9d
movl (%rdi,%r9,4), %r10d
testl %r10d, %r10d
setne %r11b
cmpl %r10d, %r8d
setg %r10b
andb %r11b, %r10b
movzbl %r10b, %r10d
xorl %r10d, %ebp
incq %r9
cmpq %r9, %rcx
jne 0x7638
incq %rsi
addq $0x4, %rdi
decq %rcx
cmpq %rdx, %rsi
jne 0x7629
testb $0x1, 0x8(%rbx)
jne 0x7686
movq %rbx, %rdi
callq 0x76da
movl 0x14(%rbx), %eax
notl %eax
addl 0xc(%rbx), %eax
andl $0x1, %eax
xorl %eax, %ebp
testl %ebp, %ebp
sete %bl
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x76a5
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x3260
jmp 0x76a5
xorl %ebx, %ebx
movl %ebx, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x76b8
movq %rax, %rbx
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x76d1
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x3260
movq %rbx, %rdi
callq 0x33d0
nop
// File: /workspace/github_cpp_makefile_star2_O1/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::update_zero_pos() const
void klotski_board::update_zero_pos() const{
	if(situation[zero_y][zero_x] == 0){
		return;
	}
	for (int i = 0; i < dy; ++i) {
		for (int j = 0; j < dx; ++j) {
			if(situation[i][j] == 0){
				zero_x = j;
				zero_y = i;
				return;
			}
		}
	}
	throw std::runtime_error("Can not find zero on klotski board");
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movslq 0x14(%rdi), %rcx
movq 0x18(%rdi), %rax
leaq (%rcx,%rcx,2), %rcx
movslq 0x10(%rdi), %rdx
movq (%rax,%rcx,8), %rcx
cmpl $0x0, (%rcx,%rdx,4)
je 0x77a1
movslq 0xc(%rdi), %rcx
testq %rcx, %rcx
setg %dl
jle 0x776a
movslq 0x8(%rdi), %rsi
testq %rsi, %rsi
setg %r8b
movl %esi, %r9d
decq %r9
xorl %r10d, %r10d
testl %esi, %esi
jle 0x775f
leaq (%r10,%r10,2), %r11
movq (%rax,%r11,8), %r11
cmpl $0x0, (%r11)
je 0x774e
xorl %r14d, %r14d
cmpq %r14, %r9
je 0x775f
leaq 0x1(%r14), %rbx
cmpl $0x0, 0x4(%r11,%r14,4)
movq %rbx, %r14
jne 0x7731
cmpq %rsi, %rbx
setl %r11b
jmp 0x7753
xorl %ebx, %ebx
movl %r8d, %r11d
movl %ebx, 0x10(%rdi)
movl %r10d, 0x14(%rdi)
testb %r11b, %r11b
jne 0x779c
incq %r10
cmpq %rcx, %r10
setb %dl
jne 0x771c
movl $0x10, %edi
callq 0x30f0
movq %rax, %rbx
leaq 0x2f38(%rip), %rsi      # 0xa6b6
movq %rax, %rdi
callq 0x30b0
movq 0x7863(%rip), %rsi      # 0xeff0
movq 0x7804(%rip), %rdx      # 0xef98
movq %rbx, %rdi
callq 0x33b0
testb $0x1, %dl
je 0x776a
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rax, %r14
movq %rbx, %rdi
callq 0x31a0
movq %r14, %rdi
callq 0x33d0
// File: /workspace/github_cpp_makefile_star2_O1/iTruth[P]klotski/klotski_search.cpp
// Function: klotski_search::build_route(klotski_search::record_item const&)
void klotski_search::build_route(const record_item& item){
	const record_item* cur_item = &item;
	last_route.clear();
	auto last_orientation = record_item::Undefined;
	while(cur_item != nullptr){
		if(cur_item->Orientation != last_orientation){
			last_route.push_front(cur_item->situation);
			last_orientation = cur_item->Orientation;
		}
		cur_item = cur_item->prev;
	}
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
addq $0x20, %r14
movq %r14, %rdi
callq 0x8d26
movl $0x2, %eax
cmpl %eax, 0x18(%rbx)
je 0x8cf2
movq %r14, %rdi
movq %rbx, %rsi
callq 0x8d8a
movl 0x18(%rbx), %eax
movq 0x20(%rbx), %rbx
testq %rbx, %rbx
jne 0x8cdf
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/veghead[P]vintage-wireless-keypad/cletus.cpp
// Function: Cletus::foundbit(int)
void Cletus::foundbit(int b) {
    if (debug) std::cout << "BIT:" << b << std::endl;
    // shift a bit into our store. 
    working_byte  = ((working_byte << 1) | (b & 1));
    // Once we have a 
    // byte's worth, push it into our vector
    if (++gotbits % BITS_PER_BYTE == 0) {
        bytes.push_back(working_byte);
        working_byte = 0;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %r14d
movq %rdi, %rbx
cmpb $0x1, 0x7c(%rdi)
jne 0x2432
movq 0x3be7(%rip), %r15      # 0x5fd0
leaq 0x1c30(%rip), %rsi      # 0x4020
movl $0x4, %edx
movq %r15, %rdi
callq 0x2180
movq %r15, %rdi
movl %r14d, %esi
callq 0x2230
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20e0
andl $0x1, %r14d
movl 0x5c(%rbx), %eax
movl 0x78(%rbx), %ecx
leal (%r14,%rax,2), %eax
movl %eax, 0x5c(%rbx)
incl %ecx
movl %ecx, 0x78(%rbx)
testb $0x7, %cl
jne 0x247d
leaq 0x5c(%rbx), %r14
movq 0x68(%rbx), %rsi
cmpq 0x70(%rbx), %rsi
je 0x2467
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x68(%rbx)
jmp 0x2476
addq $0x60, %rbx
movq %rbx, %rdi
movq %r14, %rdx
callq 0x3508
movl $0x0, (%r14)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/veghead[P]vintage-wireless-keypad/cletus.cpp
// Function: Cletus::dumpcode()
void Cletus::dumpcode() {
    if (bytes.size() < 1) return;

    for (int val : bytes) {
        try {
            std::string button = buttons.at(val);
            std::cout << button << " ";
        } catch (std::exception e) {
            std::cout << "Invalid (" << std::hex << val << ") ";
        }
    }
    std::cout << std::endl;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq 0x60(%rdi), %r15
movq 0x68(%rdi), %r12
cmpq %r15, %r12
je 0x25f6
movq %rdi, %r14
leaq -0x50(%rbp), %r13
movq 0x3b18(%rip), %rbx      # 0x5fd0
movq 0x3b09(%rip), %rax      # 0x5fc8
addq $0x10, %rax
movq %rax, -0x68(%rbp)
movl (%r15), %eax
movl %eax, -0x34(%rbp)
movq %r14, %rdi
leaq -0x34(%rbp), %rsi
callq 0x3640
movq %r13, -0x60(%rbp)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x60(%rbp), %rdi
callq 0x33d4
movq -0x60(%rbp), %rsi
movq -0x58(%rbp), %rdx
movq %rbx, %rdi
callq 0x2180
movl $0x1, %edx
movq %rax, %rdi
leaq 0x1b21(%rip), %rsi      # 0x4030
callq 0x2180
movq -0x60(%rbp), %rdi
cmpq %r13, %rdi
je 0x2522
callq 0x2150
addq $0x4, %r15
cmpq %r12, %r15
jne 0x24c7
jmp 0x25cf
movq %rdx, -0x40(%rbp)
movq %rax, -0x30(%rbp)
movq -0x60(%rbp), %rdi
cmpq %r13, %rdi
je 0x2550
callq 0x2150
jmp 0x2550
movq %rdx, -0x40(%rbp)
movq %rax, -0x30(%rbp)
cmpl $0x1, -0x40(%rbp)
jne 0x2617
movq -0x30(%rbp), %rdi
callq 0x2190
movq -0x68(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x30(%rbp), %rdi
callq 0x2080
movl $0x9, %edx
movq %rbx, %rdi
leaq 0x1aa2(%rip), %rsi      # 0x4025
callq 0x2180
movq (%rbx), %rax
movq -0x18(%rax), %rax
movl 0x18(%rbx,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%rbx,%rax)
movl -0x34(%rbp), %esi
movq %rbx, %rdi
callq 0x2230
movl $0x2, %edx
movq %rax, %rdi
leaq 0x1a78(%rip), %rsi      # 0x402f
callq 0x2180
leaq -0x60(%rbp), %rdi
callq 0x2260
callq 0x2220
jmp 0x2522
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20e0
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, -0x30(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x2260
callq 0x2220
movq -0x30(%rbp), %rdi
callq 0x2240
movq %rax, %rdi
callq 0x2ae9
// File: /workspace/github_cpp_makefile_star2_O1/veghead[P]vintage-wireless-keypad/cletus.cpp
// Function: Cletus::reset()
void Cletus::reset() {
    if (debug) std::cout << "RESET" << std::endl;
    dumpcode();
    bytes.clear();
    gotbits = 0;
    working_byte = 0;
    sample_num = 0;
    lastlevel = 0;
    lastchange = 0;
    state = CletusState::QUIET;
    ticklength = 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
cmpb $0x1, 0x7c(%rdi)
jne 0x267a
movq 0x3991(%rip), %r14      # 0x5fd0
leaq 0x19ec(%rip), %rsi      # 0x4032
movl $0x5, %edx
movq %r14, %rdi
callq 0x2180
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20e0
movq %rbx, %rdi
callq 0x2488
movq 0x60(%rbx), %rax
cmpq %rax, 0x68(%rbx)
je 0x2690
movq %rax, 0x68(%rbx)
xorl %eax, %eax
movl %eax, 0x78(%rbx)
movl %eax, 0x38(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x40(%rbx)
movups %xmm0, 0x50(%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/veghead[P]vintage-wireless-keypad/cletus.cpp
// Function: main
int main(int argc, char* argv[]) {
    std::string filename = "/dev/stdin";
    if (argc > 1) {
        filename = argv[1];
    }
    usage();
    std::ifstream data(filename, std::ios::binary|std::ios::in);
    uint8_t buf[2];
    int level = 0;
    int lowcount = 0;
    int lowlen = LOW_AFTER_SAMPLES;
    Cletus cletus;
    
    while(!data.eof()) {
        data.read((char *)buf,2);
        
        // convert the I/Q data to a nice real plot
        int i = buf[0] - 127;
        int q = buf[1] - 127;
        int sig = sqrt(i * i + q * q);

        // filter out everything but an on or off signal.
        if (sig > SIGNAL_THRESHOLD) {
            level = 1;
            lowcount = 0;
        } else if (level == 1) {
            if (lowcount++ > lowlen) {
                level = 0;
                lowcount = 0;
            }
        }
        cletus.processSample(level);
    }
    
    data.close();
    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2b8, %rsp            # imm = 0x2B8
movq %rsi, %rbx
movl %edi, %r14d
leaq -0x40(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x176f(%rip), %rsi      # 0x40aa
leaq 0x1772(%rip), %rdx      # 0x40b4
leaq -0x50(%rbp), %rdi
callq 0x346e
cmpl $0x2, %r14d
jl 0x2978
movq 0x8(%rbx), %rbx
leaq -0x50(%rbp), %r14
movq 0x8(%r14), %r15
movq %rbx, %rdi
callq 0x2090
movq %r14, %rdi
xorl %esi, %esi
movq %r15, %rdx
movq %rbx, %rcx
movq %rax, %r8
callq 0x21f0
callq 0x2889
leaq -0x2d8(%rbp), %rdi
leaq -0x50(%rbp), %rsi
movl $0xc, %edx
callq 0x2200
leaq -0xd0(%rbp), %rdi
callq 0x2af8
leaq -0x2d8(%rbp), %rbx
leaq -0x2a(%rbp), %r14
leaq -0xd0(%rbp), %r15
xorl %r13d, %r13d
xorl %r12d, %r12d
movq -0x2d8(%rbp), %rax
movq -0x18(%rax), %rax
testb $0x2, -0x2b8(%rbp,%rax)
jne 0x2a5a
movl $0x2, %edx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x21a0
movzbl -0x2a(%rbp), %eax
addl $-0x7f, %eax
movzbl -0x29(%rbp), %ecx
addl $-0x7f, %ecx
imull %eax, %eax
imull %ecx, %ecx
addl %eax, %ecx
xorps %xmm0, %xmm0
cvtsi2sd %ecx, %xmm0
ucomisd 0x1614(%rip), %xmm0     # 0x4018
jb 0x2a0c
sqrtsd %xmm0, %xmm0
jmp 0x2a11
callq 0x2120
cvttsd2si %xmm0, %eax
cmpl $0xa, %eax
jle 0x2a25
movl $0x1, %r12d
xorl %r13d, %r13d
jmp 0x2a4a
cmpl $0x1, %r12d
jne 0x2a47
xorl %r12d, %r12d
cmpl $0xb, %r13d
leal 0x1(%r13), %eax
setl %r12b
movl $0x0, %ecx
cmovgel %ecx, %eax
movl %eax, %r13d
jmp 0x2a4a
xorl %r12d, %r12d
movq %r15, %rdi
movl %r12d, %esi
callq 0x26a8
jmp 0x29b6
leaq -0x2d8(%rbp), %rdi
callq 0x2040
leaq -0xd0(%rbp), %rdi
callq 0x2e58
leaq -0x2d8(%rbp), %rdi
callq 0x2050
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2a90
callq 0x2150
xorl %eax, %eax
addq $0x2b8, %rsp            # imm = 0x2B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2ab4
movq %rax, %rbx
jmp 0x2ac3
jmp 0x2aad
movq %rax, %rbx
jmp 0x2acf
jmp 0x2ab4
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x2e58
leaq -0x2d8(%rbp), %rdi
callq 0x2050
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2ae1
callq 0x2150
movq %rbx, %rdi
callq 0x2240
// File: /workspace/github_cpp_makefile_star2_O1/sykeben[P]overos/boot.cpp
// Function: main
int main(int argc, char** argv) {
	// This is a simple system loader, it boots the kernel.
	
	clear_screen();
	cout << "[ OverOS Boot ]" << _TERM;
	cout << "Starting the kernel..." << _TERM;
	
	#ifdef _WIN32
		system(".\\os\\kernel"); // Begin kernel execution (win32).
	#else
		system("./os/kernel"); // Begin kernel execution (posix).
	#endif
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
leaq 0xe35(%rip), %rdi       # 0x2004
callq 0x1030
movq 0x2dfd(%rip), %rbx      # 0x3fd8
leaq 0xe28(%rip), %rsi       # 0x200a
movl $0xf, %edx
movq %rbx, %rdi
callq 0x1050
movb $0xa, %r14b
leaq -0x11(%rbp), %rsi
movb %r14b, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x1050
leaq 0xe0d(%rip), %rsi       # 0x201a
movl $0x16, %edx
movq %rbx, %rdi
callq 0x1050
leaq -0x12(%rbp), %rsi
movb %r14b, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x1050
leaq 0xdfc(%rip), %rdi       # 0x2031
callq 0x1030
xorl %eax, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/ArashPartow[P]exprtk-extras/exprtk_exprgen.cpp
// Function: gen_perm(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, unsigned long, std::deque<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
inline void gen_perm(const std::string& s,
                     const std::size_t n,
                     std::deque<std::string>& perm_list,
                     const std::string prefix = "")
{
   if (n == 0)
   {
      perm_list.push_back(prefix);
      return;
   }

   for (std::size_t i = 0; i < s.size(); ++i)
   {
      gen_perm(s, n - 1, perm_list,prefix + s[i]);
   }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %rbx
movq %rdx, %rbp
movq %rsi, (%rsp)
testq %rsi, %rsi
je 0x56be
movq %rdi, %r12
cmpq $0x0, 0x8(%rdi)
je 0x56af
decq (%rsp)
xorl %r14d, %r14d
leaq 0x8(%rsp), %r13
movq (%r12), %rax
movsbl (%rax,%r14), %r15d
leaq 0x18(%rsp), %rax
movq %rax, 0x8(%rsp)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
movq %r13, %rdi
callq 0x5992
movq 0x10(%rsp), %rsi
movl $0x1, %ecx
movq %r13, %rdi
xorl %edx, %edx
movl %r15d, %r8d
callq 0x2190
movq %r12, %rdi
movq (%rsp), %rsi
movq %rbp, %rdx
movq %r13, %rcx
callq 0x5600
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x56a5
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x20f0
incq %r14
cmpq 0x8(%r12), %r14
jb 0x563b
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rbp, %rdi
movq %rbx, %rsi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x5700
jmp 0x56d9
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x56f8
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x20f0
movq %rbx, %rdi
callq 0x2170
// File: /workspace/github_cpp_makefile_star2_O1/ctSkennerton[P]fxtract/util/sheap.c
// Function: sheap_pull
SCORE*
sheap_pull(SHEAP *shp)
{
    if (shp->hole < shp->count)
        shp->vec[shp->hole] = shp->vec[--shp->count];
    assert(shp->count > 0);
    SCORE *head = shp->vec[shp->hole = 0];
    int i;
    for (; (i = 2*shp->hole + 1) < shp->count; shp->hole = i) {
        i += i + 1 < shp->count && *shp->vec[i] >= *shp->vec[i+1];
        shp->vec[shp->hole] = shp->vec[i];
    }

    shp->count -= shp->count == shp->hole + 1;
    return head;
}

// Assembly:
pushq %rax
movslq 0x8(%rdi), %rax
movslq 0x4(%rdi), %rcx
cmpl %ecx, %eax
jge 0x169d
movq 0x10(%rdi), %rdx
leaq -0x1(%rcx), %rsi
movl %esi, 0x4(%rdi)
movq -0x8(%rdx,%rcx,8), %rcx
movq %rcx, (%rdx,%rax,8)
movl 0x4(%rdi), %ecx
testl %ecx, %ecx
jle 0x1731
movq 0x10(%rdi), %rax
movl $0x0, 0x8(%rdi)
movq (%rax), %rax
movl $0x1, %edx
cmpl $0x1, %ecx
je 0x1722
xorl %r9d, %r9d
movl $0x1, %esi
xorl %r8d, %r8d
addl $0x2, %r9d
movl $0x0, %edx
cmpl %ecx, %r9d
jge 0x16f6
movq 0x10(%rdi), %rdx
movslq %esi, %r10
movq (%rdx,%r10,8), %r10
movl (%r10), %r10d
movslq %r9d, %r9
movq (%rdx,%r9,8), %r9
xorl %edx, %edx
cmpl (%r9), %r10d
setge %dl
addl %esi, %edx
movq 0x10(%rdi), %rsi
movslq %edx, %r9
movq (%rsi,%r9,8), %r10
movslq %r8d, %r8
movq %r10, (%rsi,%r8,8)
movl %r9d, 0x8(%rdi)
leal 0x1(,%r9,2), %esi
addl %r9d, %r9d
movl %edx, %r8d
cmpl %ecx, %esi
jl 0x16cb
incl %edx
xorl %esi, %esi
cmpl %edx, %ecx
sete %sil
subl %esi, %ecx
movl %ecx, 0x4(%rdi)
popq %rcx
retq
leaq 0x19c2(%rip), %rdi      # 0x30fa
leaq 0x19ca(%rip), %rsi      # 0x3109
leaq 0x19eb(%rip), %rcx      # 0x3131
movl $0x3a, %edx
callq 0x10a0
// File: /workspace/github_cpp_makefile_star2_O1/ctSkennerton[P]fxtract/util/sheap.c
// Function: sheap_push
void
sheap_push(SHEAP *shp, SCORE *scp)
{
    assert(sheap_count(shp) < shp->size);
    shp->count += shp->count == shp->hole;
    int i;
    while ((i = shp->hole - 1) >= 0 && *shp->vec[i /= 2] > *scp) {
        shp->vec[shp->hole] = shp->vec[i];
        shp->hole = i;
    }

    shp->vec[shp->hole] = scp;
    shp->hole = shp->count;
}

// Assembly:
pushq %rax
movl 0x4(%rdi), %ecx
movl 0x8(%rdi), %edx
xorl %eax, %eax
cmpl %ecx, %edx
setl %al
movl %ecx, %r8d
subl %eax, %r8d
cmpl (%rdi), %r8d
jge 0x17ba
xorl %eax, %eax
cmpl %edx, %ecx
sete %al
addl %ecx, %eax
movl %eax, 0x4(%rdi)
movl 0x8(%rdi), %ecx
testl %ecx, %ecx
jle 0x17a8
leal -0x1(%rcx), %r8d
movq 0x10(%rdi), %r9
movl %r8d, %edx
shrl %edx
movq (%r9,%rdx,8), %r10
movl (%r10), %r11d
cmpl (%rsi), %r11d
jle 0x17a8
movl %ecx, %ecx
movq %r10, (%r9,%rcx,8)
movl %edx, 0x8(%rdi)
movl %edx, %ecx
cmpl $0x1, %r8d
ja 0x177c
jmp 0x17aa
movl %ecx, %edx
movq 0x10(%rdi), %rcx
movslq %edx, %rdx
movq %rsi, (%rcx,%rdx,8)
movl %eax, 0x8(%rdi)
popq %rax
retq
leaq 0x198b(%rip), %rdi      # 0x314c
leaq 0x1941(%rip), %rsi      # 0x3109
leaq 0x199a(%rip), %rcx      # 0x3169
movl $0x49, %edx
callq 0x10a0
// File: /workspace/github_cpp_makefile_star2_O1/ctSkennerton[P]fxtract/util/sheap.c
// Function: sheap_dump
void
sheap_dump(SHEAP const*shp, FILE *fp)
{
    SCORE *base = shp->count ? (SCORE*)(void*)-1 : NULL;
    int i;
    for (i = 0; i < shp->count; ++i)
        if (base > shp->vec[i]) base = shp->vec[i];
    fprintf(fp, "size=%d count=%d hole=%d\n",
            shp->size, shp->count, shp->hole);
    for (i = 0; i < shp->count; ++i)
        if (i != shp->hole)
            fprintf(fp, "%d: @%04lx %d\n", i, shp->vec[i] - base, *shp->vec[i]);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movslq 0x4(%rdi), %rcx
xorl %r13d, %r13d
testq %rcx, %rcx
setne %r13b
negq %r13
testq %rcx, %rcx
jle 0x1817
movq 0x10(%r14), %rax
xorl %edx, %edx
movq (%rax,%rdx,8), %rsi
cmpq %rsi, %r13
cmovaq %rsi, %r13
incq %rdx
cmpq %rdx, %rcx
jne 0x1804
movl (%r14), %edx
movl 0x8(%r14), %r8d
leaq 0x1966(%rip), %rsi      # 0x318b
movq %rbx, %rdi
xorl %eax, %eax
callq 0x1190
cmpl $0x0, 0x4(%r14)
jle 0x1877
leaq 0x1968(%rip), %r15      # 0x31a5
xorl %r12d, %r12d
movl 0x8(%r14), %eax
cmpq %rax, %r12
je 0x186b
movq 0x10(%r14), %rax
movq (%rax,%r12,8), %rcx
movl (%rcx), %r8d
subq %r13, %rcx
sarq $0x2, %rcx
movq %rbx, %rdi
movq %r15, %rsi
movl %r12d, %edx
xorl %eax, %eax
callq 0x1190
incq %r12
movslq 0x4(%r14), %rax
cmpq %rax, %r12
jl 0x1840
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
nopl (%rax)
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ptd2ns2.cc
// Function: Friis(double, double, double, double, double, double)
double Friis(double Pt, double Gt, double Gr, double lambda, double L, double d) {
	/*
	 * Friis free space equation:
	 *
	 *       Pt * Gt * Gr * (lambda^2)
	 *   P = --------------------------
	 *       (4 * pi * d)^2 * L
	 */
	if (d == 0.0) //XXX probably better check < MIN_DISTANCE or some such
		return Pt;
	double M = lambda / (4 * PI * d);

	return (Pt * Gt * Gr * (M * M)) / L;
}

// Assembly:
xorpd %xmm6, %xmm6
ucomisd %xmm6, %xmm5
jne 0x26c9
jp 0x26c9
retq
pushq %rbp
movq %rsp, %rbp
mulsd 0x3933(%rip), %xmm5     # 0x6008
divsd %xmm5, %xmm3
mulsd %xmm1, %xmm0
mulsd %xmm2, %xmm0
mulsd %xmm3, %xmm3
mulsd %xmm0, %xmm3
divsd %xmm4, %xmm3
movapd %xmm3, %xmm0
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: ErlangRandomVariable::value()
double ErlangRandomVariable::value() {
	double result = 0;
	for (int i = 0; i < k_; i++) {
		result += rng_->exponential(lambda_);
	}
	return result;

}

// Assembly:
cmpl $0x0, 0x18(%rdi)
jle 0x337d
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
xorps %xmm0, %xmm0
xorl %r14d, %r14d
movsd %xmm0, -0x18(%rbp)
movq 0x8(%rbx), %rdi
movsd 0x10(%rbx), %xmm0
movsd %xmm0, -0x20(%rbp)
callq 0x47b2
callq 0x2130
mulsd -0x20(%rbp), %xmm0
movsd -0x18(%rbp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, -0x18(%rbp)
movsd -0x18(%rbp), %xmm0
incl %r14d
cmpl 0x18(%rbx), %r14d
jl 0x3336
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
xorps %xmm0, %xmm0
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: GammaRandomVariable::value()
double GammaRandomVariable::value() {
	// Proposed by Marsaglia in 2000:
	// G. Marsaglia, W. W. Tsang: A simple method for gereating Gamma variables
	// ACM Transactions on mathematical software, Vol. 26, No. 3, Sept. 2000
	if (alpha_ < 1) {
		double u = rng_->uniform(1.0);
		return GammaRandomVariable(1.0 + alpha_, beta_).value() * pow(u,
				1.0 / alpha_);
	}

	double x, v, u;
	double d = alpha_ - 1.0 / 3.0;
	double c = (1.0 / 3.0) / sqrt(d);

	while (1) {
		do {
			x = rng_->normal(0.0, 1.0);
			v = 1.0 + c * x;
		} while (v <= 0);

		v = v * v * v;
		u = rng_->uniform(1.0);
		if (u < 1 - 0.0331 * x * x * x * x)
			break;
		if (log(u) < 0.5 * x * x + d * (1 - v + log(v)))
			break;
	}
	return beta_ * d * v;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x58, %rsp
movq %rdi, %rbx
movsd 0x10(%rdi), %xmm0
movsd 0x2c43(%rip), %xmm1     # 0x6038
ucomisd %xmm0, %xmm1
jbe 0x3471
movq 0x8(%rbx), %rdi
callq 0x47b2
movsd %xmm0, -0x18(%rbp)
movsd 0x10(%rbx), %xmm0
addsd 0x2c22(%rip), %xmm0     # 0x6038
movsd 0x18(%rbx), %xmm1
leaq 0x6e86(%rip), %rax      # 0xa2a8
movq (%rax), %rax
leaq -0x60(%rbp), %rdi
movq %rax, 0x8(%rdi)
leaq 0x6734(%rip), %rax      # 0x9b68
movq %rax, (%rdi)
movsd %xmm0, 0x10(%rdi)
movsd %xmm1, 0x18(%rdi)
callq 0x33dc
movsd %xmm0, -0x10(%rbp)
movsd 0x2be5(%rip), %xmm1     # 0x6038
divsd 0x10(%rbx), %xmm1
movsd -0x18(%rbp), %xmm0
callq 0x22e0
mulsd -0x10(%rbp), %xmm0
movsd %xmm0, -0x10(%rbp)
jmp 0x3590
addsd 0x2dc7(%rip), %xmm0     # 0x6240
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
movsd %xmm0, -0x20(%rbp)
jb 0x348e
sqrtsd %xmm0, %xmm0
jmp 0x3493
callq 0x2120
movsd 0x2dad(%rip), %xmm1     # 0x6248
divsd %xmm0, %xmm1
movsd %xmm1, -0x40(%rbp)
movq 0x8(%rbx), %rdi
xorpd %xmm0, %xmm0
movsd 0x2b84(%rip), %xmm1     # 0x6038
callq 0x3dc4
movsd -0x40(%rbp), %xmm2
mulsd %xmm0, %xmm2
addsd 0x2b6e(%rip), %xmm2     # 0x6038
xorpd %xmm1, %xmm1
ucomisd %xmm2, %xmm1
jae 0x34a4
movapd %xmm2, %xmm1
mulsd %xmm2, %xmm1
mulsd %xmm2, %xmm1
movsd %xmm1, -0x10(%rbp)
movq 0x8(%rbx), %rdi
movsd %xmm0, -0x18(%rbp)
callq 0x47b2
movsd -0x18(%rbp), %xmm2
movapd %xmm2, %xmm1
mulsd 0x2d4c(%rip), %xmm1     # 0x6250
mulsd %xmm2, %xmm1
mulsd %xmm2, %xmm1
mulsd %xmm2, %xmm1
addsd 0x2b20(%rip), %xmm1     # 0x6038
ucomisd %xmm0, %xmm1
ja 0x3578
callq 0x2130
movsd %xmm0, -0x38(%rbp)
movsd -0x18(%rbp), %xmm0
mulsd 0x2d23(%rip), %xmm0     # 0x6258
movsd %xmm0, -0x30(%rbp)
movsd 0x2af6(%rip), %xmm1     # 0x6038
movsd -0x10(%rbp), %xmm0
subsd %xmm0, %xmm1
movsd %xmm1, -0x28(%rbp)
callq 0x2130
addsd -0x28(%rbp), %xmm0
mulsd -0x20(%rbp), %xmm0
movsd -0x30(%rbp), %xmm1
mulsd -0x18(%rbp), %xmm1
addsd %xmm0, %xmm1
ucomisd -0x38(%rbp), %xmm1
jbe 0x34a4
movsd -0x20(%rbp), %xmm0
mulsd 0x18(%rbx), %xmm0
movsd -0x10(%rbp), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, -0x10(%rbp)
movsd -0x10(%rbp), %xmm0
addq $0x58, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: ParetoRandomVariable::value()
double ParetoRandomVariable::value() {
	/* yuck, user wants to specify shape and avg, but the
	 * computation here is simpler if we know the 'scale'
	 * parameter.  right thing is to probably do away with
	 * the use of 'bind' and provide an API such that we
	 * can update the scale everytime the user updates shape
	 * or avg.
	 */
	return (rng_->pareto(avg_ * (shape_ - 1) / shape_, shape_));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movq 0x8(%rdi), %rax
movsd 0x18(%rdi), %xmm1
movsd %xmm1, -0x8(%rbp)
movsd 0x2c54(%rip), %xmm0     # 0x6268
addsd %xmm1, %xmm0
mulsd 0x10(%rdi), %xmm0
divsd %xmm1, %xmm0
movsd %xmm0, -0x10(%rbp)
movq %rax, %rdi
callq 0x47b2
movsd 0x2a02(%rip), %xmm1     # 0x6038
divsd -0x8(%rbp), %xmm1
callq 0x22e0
movsd 0x29f0(%rip), %xmm1     # 0x6038
divsd %xmm0, %xmm1
mulsd -0x10(%rbp), %xmm1
movapd %xmm1, %xmm0
addq $0x10, %rsp
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: HyperExponentialRandomVariable::value()
double HyperExponentialRandomVariable::value() {
	double temp, res;
	double u = Random::uniform();

	temp = sqrt((cov_ * cov_ - 1.0) / (2.0 * alpha_ * (1.0 - alpha_)));
	if (u < alpha_)
		res = Random::exponential(avg_ - temp * (1.0 - alpha_) * avg_);
	else
		res = Random::exponential(avg_ + temp * (alpha_) * avg_);
	return (res);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
leaq 0x6a13(%rip), %r14      # 0xa2a8
movq (%r14), %rdi
callq 0x47b2
movaps %xmm0, -0x20(%rbp)
movsd 0x18(%rbx), %xmm0
movsd 0x20(%rbx), %xmm1
mulsd %xmm0, %xmm0
addsd 0x29b1(%rip), %xmm0     # 0x6268
movsd 0x2779(%rip), %xmm4     # 0x6038
movapd %xmm4, %xmm2
subsd %xmm1, %xmm2
addsd %xmm1, %xmm1
mulsd %xmm2, %xmm1
divsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x38e3
sqrtsd %xmm0, %xmm0
jmp 0x38f0
callq 0x2120
movsd 0x2748(%rip), %xmm4     # 0x6038
movsd 0x10(%rbx), %xmm1
movsd 0x20(%rbx), %xmm2
movapd %xmm0, %xmm3
mulsd %xmm2, %xmm3
subsd %xmm2, %xmm4
xorpd 0x2922(%rip), %xmm0     # 0x6230
mulsd %xmm4, %xmm0
movapd -0x20(%rbp), %xmm4
cmpltsd %xmm2, %xmm4
movapd %xmm4, %xmm2
andnpd %xmm3, %xmm2
andpd %xmm0, %xmm4
orpd %xmm2, %xmm4
mulsd %xmm1, %xmm4
addsd %xmm1, %xmm4
movapd %xmm4, -0x20(%rbp)
movq (%r14), %rdi
callq 0x47b2
callq 0x2130
xorpd 0x28e2(%rip), %xmm0     # 0x6230
mulsd -0x20(%rbp), %xmm0
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: EmpiricalRandomVariable::EmpiricalRandomVariable()
EmpiricalRandomVariable::EmpiricalRandomVariable() :
	minCDF_(0), maxCDF_(1), maxEntry_(32), table_(0) {
	/*
	 bind("minCDF_", &minCDF_);
	 bind("maxCDF_", &maxCDF_);
	 bind("interpolation_", &interpolation_);
	 bind("maxEntry_", &maxEntry_);
	 */
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
leaq 0x60ad(%rip), %rax      # 0x9ae8
movq %rax, (%rdi)
leaq 0x6863(%rip), %rax      # 0xa2a8
movq (%rax), %rax
movq %rax, 0x8(%rdi)
leaq 0x6215(%rip), %rax      # 0x9c68
movq %rax, (%rdi)
xorl %eax, %eax
movq %rax, 0x10(%rdi)
movabsq $0x3ff0000000000000, %rcx # imm = 0x3FF0000000000000
movq %rcx, 0x18(%rdi)
movl $0x20, 0x28(%rdi)
movq %rax, 0x30(%rdi)
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: EmpiricalRandomVariable::loadCDF(char const*)
int EmpiricalRandomVariable::loadCDF(const char* filename) {
	FILE* fp;
	char line[256];
	CDFentry* e;

	fp = fopen(filename, "r");
	if (fp == 0)
		return 0;

	if (table_ == 0)
		table_ = new CDFentry[maxEntry_];
	for (numEntry_ = 0; fgets(line, 256, fp); numEntry_++) {
		if (numEntry_ >= maxEntry_) { // resize the CDF table
			maxEntry_ *= 2;
			e = new CDFentry[maxEntry_];
			for (int i = numEntry_ - 1; i >= 0; i--)
				e[i] = table_[i];
			delete table_;
			table_ = e;
		}
		e = &table_[numEntry_];
		// Use * and l together raises a warning
		sscanf(line, "%lf %*f %lf", &e->val_, &e->cdf_);
	}
	fclose(fp);
	return numEntry_;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq %rsi, %rax
movq %rdi, %rbx
leaq 0x25c9(%rip), %rsi      # 0x6062
movq %rax, %rdi
callq 0x21f0
testq %rax, %rax
je 0x3bdb
movq %rax, %r14
cmpq $0x0, 0x30(%rbx)
jne 0x3ad6
movslq 0x28(%rbx), %rax
movq %rax, %rcx
shlq $0x4, %rcx
testq %rax, %rax
movq $-0x1, %rdi
cmovnsq %rcx, %rdi
callq 0x2030
movq %rax, 0x30(%rbx)
movl $0x0, 0x24(%rbx)
leaq -0x130(%rbp), %rdi
movl $0x100, %esi            # imm = 0x100
movq %r14, %rdx
callq 0x2280
testq %rax, %rax
je 0x3bce
leaq 0x276f(%rip), %r13      # 0x6270
leaq -0x130(%rbp), %r12
movl 0x24(%rbx), %r15d
movslq 0x28(%rbx), %rax
cmpl %eax, %r15d
jl 0x3b8e
movq %r14, %r12
movq %r13, %r14
leal (%rax,%rax), %ecx
movl %ecx, 0x28(%rbx)
movq %rax, %rdi
shlq $0x5, %rdi
testl %eax, %eax
movq $-0x1, %rax
cmovsq %rax, %rdi
callq 0x2030
movq %rax, %r13
testl %r15d, %r15d
jle 0x3b6a
movq 0x30(%rbx), %rax
leaq 0x1(%r15), %rcx
shlq $0x4, %r15
addq $-0x10, %r15
movups (%rax,%r15), %xmm0
movups %xmm0, (%r13,%r15)
decq %rcx
addq $-0x10, %r15
cmpq $0x1, %rcx
jg 0x3b52
movq 0x30(%rbx), %rdi
testq %rdi, %rdi
je 0x3b7d
movl $0x10, %esi
callq 0x21b0
movq %r13, 0x30(%rbx)
movq %r14, %r13
movq %r12, %r14
leaq -0x130(%rbp), %r12
movq 0x30(%rbx), %rax
movslq 0x24(%rbx), %rdx
shlq $0x4, %rdx
leaq (%rax,%rdx), %rcx
addq %rax, %rdx
addq $0x8, %rdx
movq %r12, %rdi
movq %r13, %rsi
xorl %eax, %eax
callq 0x2180
incl 0x24(%rbx)
movq %r12, %rdi
movl $0x100, %esi            # imm = 0x100
movq %r14, %rdx
callq 0x2280
testq %rax, %rax
jne 0x3b08
movq %r14, %rdi
callq 0x2190
movl 0x24(%rbx), %eax
jmp 0x3bdd
xorl %eax, %eax
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: EmpiricalRandomVariable::value()
double EmpiricalRandomVariable::value() {
	if (numEntry_ <= 0)
		return 0;
	double u = rng_->uniform(minCDF_, maxCDF_);
	int mid = lookup(u);
	if (mid && interpolation_ && u < table_[mid].cdf_)
		return interpolate(u, table_[mid - 1].cdf_, table_[mid - 1].val_,
				table_[mid].cdf_, table_[mid].val_);
	return table_[mid].val_;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x18, %rsp
cmpl $0x0, 0x24(%rdi)
jle 0x3c9a
movq %rdi, %rbx
movq 0x8(%rdi), %rdi
movsd 0x10(%rbx), %xmm0
movsd %xmm0, -0x10(%rbp)
movsd 0x18(%rbx), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, -0x18(%rbp)
callq 0x47b2
mulsd -0x18(%rbp), %xmm0
addsd -0x10(%rbp), %xmm0
movq %rbx, %rdi
movsd %xmm0, -0x10(%rbp)
callq 0x3ca4
movl %eax, %ecx
testl %eax, %eax
je 0x3c8a
cmpl $0x0, 0x20(%rbx)
je 0x3c8a
movq 0x30(%rbx), %rax
movq %rcx, %rdx
shlq $0x4, %rdx
movsd (%rax,%rdx), %xmm3
ucomisd -0x10(%rbp), %xmm3
jbe 0x3c8a
addq %rdx, %rax
movsd -0x10(%rax), %xmm1
movsd -0x8(%rax), %xmm2
movsd 0x8(%rax), %xmm4
movq (%rbx), %rax
movq 0x10(%rax), %rax
movq %rbx, %rdi
movsd -0x10(%rbp), %xmm0
addq $0x18, %rsp
popq %rbx
popq %rbp
jmpq *%rax
movq 0x30(%rbx), %rax
shlq $0x4, %rcx
movsd 0x8(%rax,%rcx), %xmm0
jmp 0x3c9d
xorps %xmm0, %xmm0
addq $0x18, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/ranvar.cc
// Function: EmpiricalRandomVariable::lookup(double)
int EmpiricalRandomVariable::lookup(double u) {
	// always return an index whose value is >= u
	int lo, hi, mid;
	if (u <= table_[0].cdf_)
		return 0;
	for (lo = 1, hi = numEntry_ - 1; lo < hi;) {
		mid = (lo + hi) / 2;
		if (u > table_[mid].cdf_)
			lo = mid + 1;
		else
			hi = mid;
	}
	return lo;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq 0x30(%rdi), %rcx
movsd (%rcx), %xmm1
xorl %eax, %eax
ucomisd %xmm0, %xmm1
jae 0x3ceb
movl 0x24(%rdi), %edx
movl $0x1, %eax
cmpl $0x3, %edx
jl 0x3ceb
decl %edx
movl $0x1, %eax
leal (%rdx,%rax), %esi
shrl %esi
movq %rsi, %rdi
shlq $0x4, %rdi
ucomisd (%rcx,%rdi), %xmm0
ja 0x3ce3
movl %esi, %edx
jmp 0x3ce7
incl %esi
movl %esi, %eax
cmpl %edx, %eax
jl 0x3ccc
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::normal(double, double)
double RNG::normal(double avg, double std) {
	static int parity = 0;
	static double nextresult;
	double sam1, sam2, rad;

	if (std == 0)
		return avg;
	if (parity == 0) {
		sam1 = 2 * uniform() - 1;
		sam2 = 2 * uniform() - 1;
		while ((rad = sam1 * sam1 + sam2 * sam2) >= 1) {
			sam1 = 2 * uniform() - 1;
			sam2 = 2 * uniform() - 1;
		}
		rad = sqrt((-2 * log(rad)) / rad);
		nextresult = sam2 * rad;
		parity = 1;
		return (sam1 * rad * std + avg);
	} else {
		parity = 0;
		return (nextresult * std + avg);
	}
}

// Assembly:
xorpd %xmm2, %xmm2
ucomisd %xmm2, %xmm1
jne 0x3dd1
jp 0x3dd1
retq
cmpb $0x0, 0x64d8(%rip)      # 0xa2b0
je 0x3df2
movb $0x0, 0x64cf(%rip)      # 0xa2b0
mulsd 0x64cf(%rip), %xmm1     # 0xa2b8
addsd %xmm0, %xmm1
movapd %xmm1, %xmm0
retq
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movsd %xmm1, -0x18(%rbp)
movsd %xmm0, -0x20(%rbp)
cmpb $0x1, 0x91(%rbx)
jne 0x3e1b
movq %rbx, %rdi
callq 0x4436
jmp 0x3e23
movq %rbx, %rdi
callq 0x4304
addsd %xmm0, %xmm0
addsd 0x2439(%rip), %xmm0     # 0x6268
movsd %xmm0, -0x10(%rbp)
cmpb $0x1, 0x91(%rbx)
jne 0x3e47
movq %rbx, %rdi
callq 0x4436
jmp 0x3e4f
movq %rbx, %rdi
callq 0x4304
addsd %xmm0, %xmm0
addsd 0x240d(%rip), %xmm0     # 0x6268
movapd %xmm0, %xmm2
mulsd %xmm0, %xmm2
movsd -0x10(%rbp), %xmm1
movapd %xmm1, %xmm3
mulsd %xmm1, %xmm3
addsd %xmm2, %xmm3
ucomisd 0x21bc(%rip), %xmm3     # 0x6038
jae 0x3e08
movsd %xmm3, -0x28(%rbp)
movsd %xmm0, -0x30(%rbp)
movsd %xmm1, -0x10(%rbp)
movapd %xmm3, %xmm0
callq 0x2130
mulsd 0x2522(%rip), %xmm0     # 0x63c0
divsd -0x28(%rbp), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x3eb3
sqrtsd %xmm0, %xmm0
jmp 0x3eb8
callq 0x2120
movsd -0x20(%rbp), %xmm1
movsd -0x18(%rbp), %xmm2
movsd -0x30(%rbp), %xmm3
mulsd %xmm0, %xmm3
movsd %xmm3, 0x63e5(%rip)     # 0xa2b8
movb $0x1, 0x63d6(%rip)      # 0xa2b0
movsd -0x10(%rbp), %xmm3
mulsd %xmm0, %xmm3
mulsd %xmm2, %xmm3
addsd %xmm1, %xmm3
movapd %xmm3, %xmm0
addq $0x28, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::set_seed(long)
void RNG::set_seed(long seed) {
	if (seed == 0) {
		set_seed(HEURISTIC_SEED_SOURCE, seed);
	} else {
		unsigned long seed_vec[6] = { 0, 0, 0, 0, 0, 0 };
		for (int i = 0; i < 6; i++) {
			seed_vec[i] = (unsigned long) seed;
		}
		set_package_seed(seed_vec);
		init();
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
testq %rsi, %rsi
je 0x3fe9
xorps %xmm0, %xmm0
movaps %xmm0, -0x20(%rbp)
movaps %xmm0, -0x30(%rbp)
movaps %xmm0, -0x40(%rbp)
xorl %eax, %eax
movq %rsi, -0x40(%rbp,%rax,8)
incq %rax
cmpq $0x6, %rax
jne 0x3fc4
leaq -0x40(%rbp), %rdi
callq 0x4660
movq %rbx, %rdi
addq $0x38, %rsp
popq %rbx
popq %rbp
jmp 0x44fa
movq %rbx, %rdi
movl $0x2, %esi
xorl %edx, %edx
addq $0x38, %rsp
popq %rbx
popq %rbp
jmp 0x3ef6
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNGTest::RNGTest()
RNGTest::RNGTest()
{
	RNG rng(RNG::RAW_SEED_SOURCE, 1L);

	int i;
	long r;
	for (i = 0; i < 10000; i++)
	r = rng.uniform_positive_int();

#ifdef OLD_RNG
	if (r != 1043618065L) {
		fprintf (stderr, "r (%lu) != 1043618065L\n", r);
		exit(-1);
	}
#else
	if (r != 1179983147L) {
		fprintf (stderr, "r (%lu) != 1179983147L\n", r);
		exit(-1);
	}
#endif /* OLD_RNG */

	for (i = 10000; i < 551246; i++)
	r = rng.uniform_positive_int();

#ifdef OLD_RNG
	if (r != 1003L) {
		fprintf (stderr, "r (%lu) != 1003L\n", r);
		exit(-1);
	}
#else
	if (r != 817829295L) {
		fprintf (stderr, "r (%lu) != 817829295L\n", r);
		exit(-1);
	}
#endif /* OLD_RNG */

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x100, %rsp            # imm = 0x100
leaq -0x108(%rbp), %rbx
movl $0x1, %esi
movq %rbx, %rdi
callq 0x3fa2
movl $0x2710, %r14d          # imm = 0x2710
movq %rbx, %rdi
callq 0x3ffe
decl %r14d
jne 0x4068
shlq $0x20, %rax
movabsq $0x46551d2b00000000, %rcx # imm = 0x46551D2B00000000
cmpq %rcx, %rax
jne 0x40c1
movl $0x8423e, %r14d         # imm = 0x8423E
leaq -0x108(%rbp), %rbx
movq %rbx, %rdi
callq 0x3ffe
decl %r14d
jne 0x4095
shlq $0x20, %rax
movabsq $0x30bf15af00000000, %rcx # imm = 0x30BF15AF00000000
cmpq %rcx, %rax
jne 0x40c9
addq $0x100, %rsp            # imm = 0x100
popq %rbx
popq %r14
popq %rbp
retq
movq %rax, %rdi
callq 0x2340
movq %rax, %rdi
callq 0x236b
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNGTest::first_n(RNG::RNGSources, long, int)
void
RNGTest::first_n(RNG::RNGSources source, long seed, int n)
{
	RNG rng(source, seed);

	for (int i = 0; i < n; i++) {
		long r = rng.uniform_positive_int();
		printf("%10lu ", r);
	};
	printf("\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0xf8, %rsp
movl %ecx, %ebx
leaq -0x110(%rbp), %rdi
callq 0x3ef6
testl %ebx, %ebx
jle 0x411b
leaq -0x110(%rbp), %r14
leaq 0x2805(%rip), %r15      # 0x6907
movq %r14, %rdi
callq 0x3ffe
movslq %eax, %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x2050
decl %ebx
jne 0x4102
movl $0xa, %edi
addq $0xf8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x2230
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNGTest::first_n_mil(RNG::RNGSources, long, int, _IO_FILE*)
void
RNGTest::first_n_mil(RNG::RNGSources source, long seed, int n, FILE *outfile)
{
	RNG rng(source, seed);
	// print the first 1000 no, then every millionth upto n millions
	long m = n * 1000000;
	for (int i = 0; i < m; i++) {
		long r = rng.uniform_positive_int();
		if (i < 100 || (i % 1000000 == 0))
		fprintf(outfile, "%10lu ", r);
	};
	fprintf(outfile, "\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movq %r8, %rbx
movl %ecx, %r14d
leaq -0x120(%rbp), %rdi
callq 0x3ef6
testl %r14d, %r14d
jle 0x41c1
imull $0xf4240, %r14d, %eax   # imm = 0xF4240
cmpl $0x2, %eax
movl $0x1, %r12d
cmovgel %eax, %r12d
leaq -0x120(%rbp), %r14
leaq 0x2788(%rip), %r15      # 0x6907
xorl %r13d, %r13d
movq %r14, %rdi
callq 0x3ffe
cmpl $0x64, %r13d
jb 0x41a9
movl %r13d, %ecx
imulq $0x431bde83, %rcx, %rcx # imm = 0x431BDE83
shrq $0x32, %rcx
imull $0xf4240, %ecx, %ecx    # imm = 0xF4240
cmpl %r13d, %ecx
jne 0x41b9
movslq %eax, %rdx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x2240
incl %r13d
cmpl %r13d, %r12d
jne 0x4182
movl $0xa, %edi
movq %rbx, %rsi
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2220
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNGTest::verbose_mil()
void
RNGTest::verbose_mil()
{
	FILE *outfile = NULL;
	outfile = fopen("temp.rands", "w");

	if (outfile == NULL)
	fprintf(stderr, "Cannot create temp.rands\n");

	fprintf (outfile, "default: ");
	first_n_mil(RNG::RAW_SEED_SOURCE, 188312339, 5, outfile);
	int i = 1;
	fprintf (outfile, "predef source %2u: ", i);
	first_n_mil(RNG::PREDEF_SEED_SOURCE, i, 5, outfile);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
leaq 0x2721(%rip), %rdi      # 0x690e
leaq 0x2725(%rip), %rsi      # 0x6919
callq 0x21f0
movq %rax, %rbx
testq %rax, %rax
je 0x4261
leaq 0x272d(%rip), %rdi      # 0x6935
movl $0x9, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2320
movl $0xb396b13, %edx        # imm = 0xB396B13
xorl %esi, %esi
movl $0x5, %ecx
movq %rbx, %r8
callq 0x4132
leaq 0x270a(%rip), %rsi      # 0x693f
movq %rbx, %rdi
movl $0x1, %edx
xorl %eax, %eax
callq 0x2240
movl $0x1, %edx
movl $0x1, %esi
movl $0x5, %ecx
movq %rbx, %r8
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x4132
callq 0x2396
jmp 0x4201
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNGTest::verbose()
void
RNGTest::verbose()
{
	printf ("default: ");
	first_n(RNG::RAW_SEED_SOURCE, 1L, 5);

	int i;
	for (i = 0; i < 64; i++) {
		printf ("predef source %2u: ", i);
		first_n(RNG::PREDEF_SEED_SOURCE, i, 5);
	};

	printf("heuristic seeds should be different from each other and on each run.\n");
	for (i = 0; i < 64; i++) {
		printf ("heuristic source %2u: ", i);
		first_n(RNG::HEURISTIC_SEED_SOURCE, i, 5);
	};
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
leaq 0x26bf(%rip), %rdi      # 0x6935
xorl %eax, %eax
callq 0x2050
movl $0x1, %edx
xorl %esi, %esi
movl $0x5, %ecx
callq 0x40d2
leaq 0x26aa(%rip), %rbx      # 0x693f
xorl %r14d, %r14d
movq %rbx, %rdi
movl %r14d, %esi
xorl %eax, %eax
callq 0x2050
movl $0x1, %esi
movq %r14, %rdx
movl $0x5, %ecx
callq 0x40d2
incq %r14
cmpq $0x40, %r14
jne 0x4298
leaq 0x27f6(%rip), %rdi      # 0x6abd
callq 0x2270
leaq 0x2680(%rip), %rbx      # 0x6953
xorl %r14d, %r14d
movq %rbx, %rdi
movl %r14d, %esi
xorl %eax, %eax
callq 0x2050
movl $0x2, %esi
movq %r14, %rdx
movl $0x5, %ecx
callq 0x40d2
incq %r14
cmpq $0x40, %r14
jne 0x42d6
popq %rbx
popq %r14
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::U01()
double RNG::U01() {
	long k;
	double p1, p2, u;
	/* Component 1 */
	p1 = a12 * Cg_[1] - a13n * Cg_[0];
	k = static_cast<long> (p1 / m1);
	p1 -= k * m1;
	if (p1 < 0.0)
		p1 += m1;
	Cg_[0] = Cg_[1];
	Cg_[1] = Cg_[2];
	Cg_[2] = p1;
	/* Component 2 */
	p2 = a21 * Cg_[5] - a23n * Cg_[3];
	k = static_cast<long> (p2 / m2);
	p2 -= k * m2;
	if (p2 < 0.0)
		p2 += m2;
	Cg_[3] = Cg_[4];
	Cg_[4] = Cg_[5];
	Cg_[5] = p2;
	/* Combination */
	u = ((p1 > p2) ? (p1 - p2) * norm : (p1 - p2 + m1) * norm);
	return (anti_ == false) ? u : (1 - u);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movsd (%rdi), %xmm0
movsd 0x8(%rdi), %xmm4
mulsd 0x20bf(%rip), %xmm0     # 0x63d8
movsd 0x20bf(%rip), %xmm5     # 0x63e0
mulsd %xmm4, %xmm5
addsd %xmm0, %xmm5
movsd 0x20b7(%rip), %xmm1     # 0x63e8
movapd %xmm5, %xmm0
divsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
mulsd %xmm1, %xmm0
subsd %xmm0, %xmm5
movapd %xmm5, %xmm0
addsd %xmm1, %xmm0
xorpd %xmm3, %xmm3
movapd %xmm5, %xmm2
cmpltsd %xmm3, %xmm2
andpd %xmm2, %xmm0
andnpd %xmm5, %xmm2
orpd %xmm0, %xmm2
movsd %xmm4, (%rdi)
movsd 0x10(%rdi), %xmm0
movsd %xmm0, 0x8(%rdi)
movlpd %xmm2, 0x10(%rdi)
movsd 0x28(%rdi), %xmm4
movsd 0x18(%rdi), %xmm0
mulsd 0x205c(%rip), %xmm0     # 0x63f0
movsd 0x205c(%rip), %xmm5     # 0x63f8
mulsd %xmm4, %xmm5
addsd %xmm0, %xmm5
movsd 0x2054(%rip), %xmm6     # 0x6400
movapd %xmm5, %xmm0
divsd %xmm6, %xmm0
cvttsd2si %xmm0, %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
mulsd %xmm6, %xmm0
subsd %xmm0, %xmm5
addsd %xmm5, %xmm6
movapd %xmm5, %xmm0
cmpltsd %xmm3, %xmm0
andpd %xmm0, %xmm6
andnpd %xmm5, %xmm0
orpd %xmm6, %xmm0
movsd 0x20(%rdi), %xmm3
movsd %xmm3, 0x18(%rdi)
movsd %xmm4, 0x20(%rdi)
movlpd %xmm0, 0x28(%rdi)
movapd %xmm2, %xmm3
subsd %xmm0, %xmm3
addsd %xmm3, %xmm1
cmpltsd %xmm2, %xmm0
andpd %xmm0, %xmm3
andnpd %xmm1, %xmm0
orpd %xmm3, %xmm0
mulsd 0x1fed(%rip), %xmm0     # 0x6408
cmpb $0x0, 0x90(%rdi)
je 0x4434
movsd 0x1c0c(%rip), %xmm1     # 0x6038
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::U01d()
double RNG::U01d() {
	double u;
	u = U01();
	if (anti_) {
		// Don't forget that U01() returns 1 - u in 
		// the antithetic case 
		u += (U01() - 1.0) * fact;
		return (u < 0.0) ? u + 1.0 : u;
	} else {
		u += U01() * fact;
		return (u < 1.0) ? u : (u - 1.0);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
callq 0x4304
movsd %xmm0, -0x18(%rbp)
movb 0x90(%rbx), %r14b
movq %rbx, %rdi
callq 0x4304
cmpb $0x1, %r14b
jne 0x449f
addsd 0x1dfd(%rip), %xmm0     # 0x6268
mulsd 0x1f9d(%rip), %xmm0     # 0x6410
addsd -0x18(%rbp), %xmm0
movsd 0x1bb8(%rip), %xmm2     # 0x6038
addsd %xmm0, %xmm2
xorpd %xmm3, %xmm3
movapd %xmm0, %xmm1
cmpltsd %xmm3, %xmm1
andpd %xmm1, %xmm2
andnpd %xmm0, %xmm1
orpd %xmm2, %xmm1
jmp 0x44d1
mulsd 0x1f69(%rip), %xmm0     # 0x6410
addsd -0x18(%rbp), %xmm0
movsd 0x1db4(%rip), %xmm2     # 0x6268
movapd %xmm0, %xmm1
cmpltsd 0x1b77(%rip), %xmm1     # 0x6038
addsd %xmm0, %xmm2
andpd %xmm1, %xmm0
andnpd %xmm2, %xmm1
orpd %xmm0, %xmm1
movapd %xmm1, %xmm0
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::init()
void RNG::init() {
	anti_ = false;
	inc_prec_ = false;

	/* Information on a stream. The arrays {Cg_, Bg_, Ig_} contain the
	 current state of the stream, the starting state of the current
	 SubStream, and the starting state of the stream. This stream
	 generates antithetic variates if anti_ = true. It also generates
	 numbers with extended precision (53 bits if machine follows IEEE
	 754 standard) if inc_prec_ = true. next_seed_ will be the seed of
	 the next declared RngStream. */

	for (int i = 0; i < 6; ++i) {
		Bg_[i] = Cg_[i] = Ig_[i] = next_seed_[i];
	}
	MatVecModM(A1p127, next_seed_, next_seed_, m1);
	MatVecModM(A2p127, &next_seed_[3], &next_seed_[3], m2);
#ifdef MEASURE_MODULE
	for ( unsigned int i = 0; i < Simulator::run(); i++ )
	reset_next_substream ();
#endif // MEASURE_MODULE
}

// Assembly:
movw $0x0, 0x90(%rdi)
movaps 0x5d56(%rip), %xmm0     # 0xa260
movups %xmm0, (%rdi)
movaps 0x5d5c(%rip), %xmm0     # 0xa270
movups %xmm0, 0x10(%rdi)
movaps 0x5d61(%rip), %xmm0     # 0xa280
movups %xmm0, 0x20(%rdi)
movaps 0x5d36(%rip), %xmm0     # 0xa260
movups %xmm0, 0x30(%rdi)
movaps 0x5d3b(%rip), %xmm0     # 0xa270
movups %xmm0, 0x40(%rdi)
movaps 0x5d40(%rip), %xmm0     # 0xa280
movups %xmm0, 0x50(%rdi)
xorl %eax, %eax
leaq 0x5d13(%rip), %rcx      # 0xa260
movsd (%rax,%rcx), %xmm0
movsd %xmm0, 0x60(%rdi,%rax)
addq $0x8, %rax
cmpq $0x30, %rax
jne 0x454d
pushq %rbp
movq %rsp, %rbp
leaq 0x20f3(%rip), %rdi      # 0x6660
leaq 0x5cec(%rip), %rdx      # 0xa260
movsd 0x1e6c(%rip), %xmm0     # 0x63e8
movq %rdx, %rsi
callq 0x45a0
leaq 0x2125(%rip), %rdi      # 0x66b0
leaq 0x5ce6(%rip), %rdx      # 0xa278
movsd 0x1e66(%rip), %xmm0     # 0x6400
movq %rdx, %rsi
popq %rbp
jmp 0x45a0
// File: /workspace/github_cpp_makefile_star2_O1/sergiosvieira[P]ptd2ns2/rng.cc
// Function: (anonymous namespace)::MatVecModM(double const (*) [3], double const*, double*, double)
void MatVecModM(const double A[3][3], const double s[3], double v[3], double m) {
	int i;
	double x[3]; // Necessary if v = s
	for (i = 0; i < 3; ++i) {
		x[i] = MultModM(A[i][0], s[0], 0.0, m);
		x[i] = MultModM(A[i][1], s[1], x[i], m);
		x[i] = MultModM(A[i][2], s[2], x[i], m);
	}
	for (i = 0; i < 3; ++i)
		v[i] = x[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x38, %rsp
movsd %xmm0, -0x20(%rbp)
movq %rdx, %rbx
movq %rdi, %r14
movsd (%rsi), %xmm0
movsd %xmm0, -0x38(%rbp)
movsd 0x8(%rsi), %xmm0
movsd %xmm0, -0x30(%rbp)
movsd 0x10(%rsi), %xmm0
movsd %xmm0, -0x28(%rbp)
addq $0x10, %r14
xorl %r15d, %r15d
movsd -0x10(%r14), %xmm0
xorps %xmm2, %xmm2
movsd -0x38(%rbp), %xmm1
movsd -0x20(%rbp), %xmm3
callq 0x5005
movaps %xmm0, %xmm2
movsd %xmm0, -0x50(%rbp,%r15,8)
movsd -0x8(%r14), %xmm0
movsd -0x30(%rbp), %xmm1
movsd -0x20(%rbp), %xmm3
callq 0x5005
movaps %xmm0, %xmm2
movsd %xmm0, -0x50(%rbp,%r15,8)
movsd (%r14), %xmm0
movsd -0x28(%rbp), %xmm1
movsd -0x20(%rbp), %xmm3
callq 0x5005
movsd %xmm0, -0x50(%rbp,%r15,8)
incq %r15
addq $0x18, %r14
cmpq $0x3, %r15
jne 0x45dc
movq -0x40(%rbp), %rax
movq %rax, 0x10(%rbx)
movaps -0x50(%rbp), %xmm0
movups %xmm0, (%rbx)
addq $0x38, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nop