LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/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 %r14
pushq %rbx
movl %esi, %r14d
movq %rdi, %rbx
cmpb $0x1, 0x7c(%rdi)
jne 0x23a5
movq 0x3c4a(%rip), %rdi      # 0x5fd0
leaq 0x1c8b(%rip), %rsi      # 0x4018
callq 0x2130
movq %rax, %rdi
movl %r14d, %esi
callq 0x21f0
movq %rax, %rdi
callq 0x20a0
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 0x23d1
leaq 0x5c(%rbx), %rsi
leaq 0x60(%rbx), %rdi
callq 0x28fa
andl $0x0, 0x5c(%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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), %r14
movq 0x68(%rdi), %r12
cmpq %r14, %r12
je 0x2501
movq %rdi, %rbx
leaq -0x68(%rbp), %r15
leaq 0x1c22(%rip), %r13      # 0x4028
movq 0x3bbb(%rip), %rax      # 0x5fc8
addq $0x10, %rax
movq %rax, -0x48(%rbp)
cmpq %r12, %r14
je 0x24f5
movl (%r14), %eax
movl %eax, -0x34(%rbp)
movq %rbx, %rdi
leaq -0x34(%rbp), %rsi
callq 0x3328
movq %r15, %rdi
movq %rax, %rsi
callq 0x2180
movq 0x3b8e(%rip), %rdi      # 0x5fd0
movq %r15, %rsi
callq 0x2110
movq %rax, %rdi
movq %r13, %rsi
callq 0x2130
movq %r15, %rdi
callq 0x2090
addq $0x4, %r14
jmp 0x2415
movq %rdx, -0x40(%rbp)
movq %rax, -0x30(%rbp)
movq %r15, %rdi
callq 0x2090
jmp 0x247d
movq %rdx, -0x40(%rbp)
movq %rax, -0x30(%rbp)
cmpl $0x1, -0x40(%rbp)
jne 0x2522
movq -0x30(%rbp), %rdi
callq 0x2150
movq -0x48(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x30(%rbp), %rdi
callq 0x2080
movq 0x3b28(%rip), %rdi      # 0x5fd0
leaq 0x1b6e(%rip), %rsi      # 0x401d
callq 0x2130
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movl -0x34(%rbp), %esi
movq %rax, %rdi
callq 0x21f0
movq %rax, %rdi
leaq 0x1b49(%rip), %rsi      # 0x4027
callq 0x2130
movq %r15, %rdi
callq 0x2220
callq 0x21e0
jmp 0x245d
movq 0x3ad4(%rip), %rdi      # 0x5fd0
callq 0x20a0
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, -0x30(%rbp)
leaq -0x68(%rbp), %rdi
callq 0x2220
callq 0x21e0
movq -0x30(%rbp), %rdi
callq 0x2200
movq %rax, %rdi
callq 0x291f
nop
// File: /workspace/github_cpp_makefile_star2_O2/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 %rbx
pushq %rax
movq %rdi, %rbx
cmpb $0x1, 0x7c(%rdi)
jne 0x255e
movq 0x3a86(%rip), %rdi      # 0x5fd0
leaq 0x1ad9(%rip), %rsi      # 0x402a
callq 0x2130
movq %rax, %rdi
callq 0x20a0
movq %rbx, %rdi
callq 0x23d6
movq 0x60(%rbx), %rax
cmpq %rax, 0x68(%rbx)
je 0x2574
movq %rax, 0x68(%rbx)
andl $0x0, 0x78(%rbx)
andl $0x0, 0x38(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x40(%rbx)
movups %xmm0, 0x50(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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 0x1908(%rip), %rsi      # 0x40a2
leaq -0x50(%rbp), %rdi
leaq -0x2d8(%rbp), %rdx
callq 0x2070
cmpl $0x2, %r14d
jl 0x27bd
movq 0x8(%rbx), %rsi
leaq -0x50(%rbp), %rdi
callq 0x2210
callq 0x2738
leaq -0x2d8(%rbp), %rdi
leaq -0x50(%rbp), %rsi
pushq $0xc
popq %rdx
callq 0x21c0
leaq -0xd0(%rbp), %rdi
callq 0x292e
leaq -0x2a(%rbp), %r14
pushq $0x2
popq %r15
leaq -0xd0(%rbp), %r12
xorl %ebx, %ebx
xorl %r13d, %r13d
movq -0x2d8(%rbp), %rax
movq -0x18(%rax), %rax
testb $0x2, -0x2b8(%rbp,%rax)
jne 0x287d
leaq -0x2d8(%rbp), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x2160
movzbl -0x2a(%rbp), %eax
addl $-0x7f, %eax
movzbl -0x29(%rbp), %ecx
addl $-0x7f, %ecx
imull %eax, %eax
imull %ecx, %ecx
addl %eax, %ecx
cvtsi2sd %ecx, %xmm0
sqrtsd %xmm0, %xmm0
cvttsd2si %xmm0, %eax
cmpl $0xa, %eax
jle 0x284b
xorl %ebx, %ebx
pushq $0x1
popq %r13
jmp 0x286d
cmpl $0x1, %r13d
jne 0x286a
xorl %r13d, %r13d
cmpl $0xb, %ebx
leal 0x1(%rbx), %eax
setl %r13b
movl $0x0, %ecx
cmovgel %ecx, %eax
movl %eax, %ebx
jmp 0x286d
xorl %r13d, %r13d
movq %r12, %rdi
movl %r13d, %esi
callq 0x258e
jmp 0x27f5
leaq -0x2d8(%rbp), %rdi
callq 0x2030
leaq -0xd0(%rbp), %rdi
callq 0x2b9e
leaq -0x2d8(%rbp), %rdi
callq 0x2040
leaq -0x50(%rbp), %rdi
callq 0x2090
xorl %eax, %eax
addq $0x2b8, %rsp            # imm = 0x2B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x28ce
movq %rax, %rbx
jmp 0x28dd
jmp 0x28c7
movq %rax, %rbx
jmp 0x28e9
jmp 0x28ce
movq %rax, %rbx
leaq -0xd0(%rbp), %rdi
callq 0x2b9e
leaq -0x2d8(%rbp), %rdi
callq 0x2040
leaq -0x50(%rbp), %rdi
callq 0x2090
movq %rbx, %rdi
callq 0x2200
// File: /workspace/github_cpp_makefile_star2_O2/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
callq 0x11bc
movq 0x2df8(%rip), %rbx      # 0x3fd8
leaq 0xe23(%rip), %rsi       # 0x200a
movq %rbx, %rdi
callq 0x1050
pushq $0xa
popq %r14
movq %rax, %rdi
movl %r14d, %esi
callq 0x1060
leaq 0xe15(%rip), %rsi       # 0x201a
movq %rbx, %rdi
callq 0x1050
movq %rax, %rdi
movl %r14d, %esi
callq 0x1060
leaq 0xe12(%rip), %rdi       # 0x2031
callq 0x1030
xorl %eax, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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, %r14
testq %rsi, %rsi
je 0x3e73
movq %rsi, %r15
movq %rdi, %r12
decq %r15
xorl %ebp, %ebp
leaq 0x8(%rsp), %r13
cmpq 0x8(%r12), %rbp
jae 0x3e64
movq (%r12), %rax
movsbl (%rax,%rbp), %edx
movq %r13, %rdi
movq %rbx, %rsi
callq 0x429d
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %r13, %rcx
callq 0x3e03
movq %r13, %rdi
callq 0x2080
incq %rbp
jmp 0x3e2c
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r14, %rdi
movq %rbx, %rsi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x3eee
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x2080
movq %rbx, %rdi
callq 0x21a0
nop
// File: /workspace/github_cpp_makefile_star2_O2/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
movl 0x4(%rdi), %ecx
cmpl %ecx, %eax
jge 0x15fe
movslq %ecx, %rdx
movq 0x10(%rdi), %rsi
leaq -0x1(%rdx), %rcx
movl %ecx, 0x4(%rdi)
movq -0x8(%rsi,%rdx,8), %rdx
movq %rdx, (%rsi,%rax,8)
testl %ecx, %ecx
jle 0x1673
movq 0x10(%rdi), %rax
andl $0x0, 0x8(%rdi)
movq (%rax), %rax
xorl %edx, %edx
leal 0x1(,%rdx,2), %esi
cmpl %ecx, %esi
jge 0x1662
leal (%rdx,%rdx), %r10d
addl $0x2, %r10d
xorl %r9d, %r9d
movq 0x10(%rdi), %r8
cmpl %ecx, %r10d
jge 0x1649
movslq %esi, %r9
movq (%r8,%r9,8), %r9
movl (%r9), %r11d
movslq %r10d, %r9
movq (%r8,%r9,8), %r10
xorl %r9d, %r9d
cmpl (%r10), %r11d
setge %r9b
addl %esi, %r9d
movslq %r9d, %rsi
movq (%r8,%rsi,8), %r10
movslq %edx, %rdx
movq %r10, (%r8,%rdx,8)
movl %esi, 0x8(%rdi)
movl %r9d, %edx
jmp 0x160f
incl %edx
xorl %esi, %esi
cmpl %edx, %ecx
sete %sil
subl %esi, %ecx
movl %ecx, 0x4(%rdi)
popq %rcx
retq
leaq 0x1a80(%rip), %rdi      # 0x30fa
leaq 0x1a88(%rip), %rsi      # 0x3109
leaq 0x1aa9(%rip), %rcx      # 0x3131
pushq $0x3a
popq %rdx
callq 0x10a0
// File: /workspace/github_cpp_makefile_star2_O2/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), %edx
movl 0x8(%rdi), %eax
xorl %ecx, %ecx
cmpl %edx, %eax
setl %cl
movl %edx, %r8d
subl %ecx, %r8d
cmpl (%rdi), %r8d
jge 0x16ea
xorl %ecx, %ecx
cmpl %eax, %edx
sete %cl
addl %edx, %ecx
movl %ecx, 0x4(%rdi)
movq 0x10(%rdi), %rdx
testl %eax, %eax
jle 0x16df
leal -0x1(%rax), %r8d
shrl %r8d
movq (%rdx,%r8,8), %r9
movl (%r9), %r10d
cmpl (%rsi), %r10d
jle 0x16df
movl %eax, %eax
movq %r9, (%rdx,%rax,8)
movl %r8d, 0x8(%rdi)
movl %r8d, %eax
jmp 0x16b5
cltq
movq %rsi, (%rdx,%rax,8)
movl %ecx, 0x8(%rdi)
popq %rax
retq
leaq 0x1a5b(%rip), %rdi      # 0x314c
leaq 0x1a11(%rip), %rsi      # 0x3109
leaq 0x1a6a(%rip), %rcx      # 0x3169
pushq $0x49
popq %rdx
callq 0x10a0
// File: /workspace/github_cpp_makefile_star2_O2/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
movl 0x4(%rdi), %ecx
xorl %eax, %eax
xorl %r13d, %r13d
testl %ecx, %ecx
setne %r13b
movl $0x0, %edx
cmovgl %ecx, %edx
negq %r13
cmpq %rax, %rdx
je 0x1748
movq 0x10(%r14), %rsi
movq (%rsi,%rax,8), %rsi
cmpq %rsi, %r13
cmovaq %rsi, %r13
incq %rax
jmp 0x172f
movl (%r14), %edx
movl 0x8(%r14), %r8d
leaq 0x1a35(%rip), %rsi      # 0x318b
movq %rbx, %rdi
xorl %eax, %eax
callq 0x1190
leaq 0x1a3e(%rip), %r15      # 0x31a5
xorl %r12d, %r12d
movslq 0x4(%r14), %rax
cmpq %rax, %r12
jge 0x17a3
movl 0x8(%r14), %eax
cmpq %rax, %r12
je 0x179e
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
jmp 0x176a
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
nopl (%rax)
// File: /workspace/github_cpp_makefile_star2_O2/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 0x24a9
jp 0x24a9
retq
pushq %rbp
movq %rsp, %rbp
mulsd 0x2b53(%rip), %xmm5     # 0x5008
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_O2/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:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
xorl %r14d, %r14d
xorpd %xmm0, %xmm0
cmpl 0x18(%rbx), %r14d
jge 0x30cc
movq 0x8(%rbx), %rdi
movsd 0x10(%rbx), %xmm1
movsd %xmm1, -0x20(%rbp)
movsd %xmm0, -0x18(%rbp)
callq 0x3a86
mulsd -0x20(%rbp), %xmm0
movsd -0x18(%rbp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, -0x18(%rbp)
movsd -0x18(%rbp), %xmm0
incl %r14d
jmp 0x3091
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/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 0x1f13(%rip), %xmm1     # 0x5048
ucomisd %xmm0, %xmm1
jbe 0x31b1
movq 0x8(%rbx), %rdi
callq 0x4432
movsd %xmm0, -0x18(%rbp)
movsd 0x10(%rbx), %xmm0
addsd 0x1ef2(%rip), %xmm0     # 0x5048
movsd 0x18(%rbx), %xmm1
leaq 0x6146(%rip), %rax      # 0x92a8
movq (%rax), %rax
leaq -0x60(%rbp), %rdi
movq %rax, 0x8(%rdi)
leaq 0x59f4(%rip), %rax      # 0x8b68
movq %rax, (%rdi)
movsd %xmm0, 0x10(%rdi)
movsd %xmm1, 0x18(%rdi)
callq 0x311c
movsd %xmm0, -0x10(%rbp)
movsd 0x1eb5(%rip), %xmm1     # 0x5048
divsd 0x10(%rbx), %xmm1
movsd -0x18(%rbp), %xmm0
callq 0x22e0
mulsd -0x10(%rbp), %xmm0
movsd %xmm0, -0x10(%rbp)
jmp 0x32d0
addsd 0x2077(%rip), %xmm0     # 0x5230
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
movsd %xmm0, -0x20(%rbp)
jb 0x31ce
sqrtsd %xmm0, %xmm0
jmp 0x31d3
callq 0x2140
movsd 0x205d(%rip), %xmm1     # 0x5238
divsd %xmm0, %xmm1
movsd %xmm1, -0x40(%rbp)
movq 0x8(%rbx), %rdi
xorpd %xmm0, %xmm0
movsd 0x1e54(%rip), %xmm1     # 0x5048
callq 0x3aa0
movsd -0x40(%rbp), %xmm2
mulsd %xmm0, %xmm2
addsd 0x1e3e(%rip), %xmm2     # 0x5048
xorpd %xmm1, %xmm1
ucomisd %xmm2, %xmm1
jae 0x31e4
movapd %xmm2, %xmm1
mulsd %xmm2, %xmm1
mulsd %xmm2, %xmm1
movsd %xmm1, -0x10(%rbp)
movq 0x8(%rbx), %rdi
movsd %xmm0, -0x18(%rbp)
callq 0x4432
movsd -0x18(%rbp), %xmm2
movapd %xmm2, %xmm1
mulsd 0x1ffc(%rip), %xmm1     # 0x5240
mulsd %xmm2, %xmm1
mulsd %xmm2, %xmm1
mulsd %xmm2, %xmm1
addsd 0x1df0(%rip), %xmm1     # 0x5048
ucomisd %xmm0, %xmm1
ja 0x32b8
callq 0x2150
movsd %xmm0, -0x38(%rbp)
movsd -0x18(%rbp), %xmm0
mulsd 0x1fd3(%rip), %xmm0     # 0x5248
movsd %xmm0, -0x30(%rbp)
movsd 0x1dc6(%rip), %xmm1     # 0x5048
movsd -0x10(%rbp), %xmm0
subsd %xmm0, %xmm1
movsd %xmm1, -0x28(%rbp)
callq 0x2150
addsd -0x28(%rbp), %xmm0
mulsd -0x20(%rbp), %xmm0
movsd -0x30(%rbp), %xmm1
mulsd -0x18(%rbp), %xmm1
addsd %xmm0, %xmm1
ucomisd -0x38(%rbp), %xmm1
jbe 0x31e4
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_O2/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 %rbx
subq $0x18, %rsp
movq %rdi, %rbx
callq 0x3972
movapd %xmm0, %xmm4
movsd 0x18(%rbx), %xmm0
movsd 0x20(%rbx), %xmm1
mulsd %xmm0, %xmm0
addsd 0x1d51(%rip), %xmm0     # 0x5258
movsd 0x1b39(%rip), %xmm5     # 0x5048
movapd %xmm5, %xmm2
subsd %xmm1, %xmm2
addsd %xmm1, %xmm1
mulsd %xmm2, %xmm1
divsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x3533
sqrtsd %xmm0, %xmm0
jmp 0x354a
movapd %xmm4, -0x20(%rbp)
callq 0x2140
movsd 0x1b03(%rip), %xmm5     # 0x5048
movapd -0x20(%rbp), %xmm4
movsd 0x10(%rbx), %xmm1
movsd 0x20(%rbx), %xmm2
movapd %xmm0, %xmm3
mulsd %xmm2, %xmm3
subsd %xmm2, %xmm5
xorpd 0x1cf8(%rip), %xmm0     # 0x5260
mulsd %xmm5, %xmm0
cmpltsd %xmm2, %xmm4
movapd %xmm4, %xmm2
andnpd %xmm3, %xmm2
andpd %xmm0, %xmm4
orpd %xmm2, %xmm4
mulsd %xmm1, %xmm4
addsd %xmm1, %xmm4
movapd %xmm4, %xmm0
addq $0x18, %rsp
popq %rbx
popq %rbp
jmp 0x3986
// File: /workspace/github_cpp_makefile_star2_O2/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 0x5c7b(%rip), %rax      # 0x92a8
movq (%rax), %rax
movq %rax, 0x8(%rdi)
leaq 0x562d(%rip), %rax      # 0x8c68
movq %rax, (%rdi)
andq $0x0, 0x10(%rdi)
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, 0x18(%rdi)
movl $0x20, 0x28(%rdi)
andq $0x0, 0x30(%rdi)
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/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 0x19e1(%rip), %rsi      # 0x5062
movq %rax, %rdi
callq 0x2200
testq %rax, %rax
je 0x377e
movq %rax, %r14
cmpq $0x0, 0x30(%rbx)
jne 0x36ba
movslq 0x28(%rbx), %rax
movq %rax, %rdi
shlq $0x4, %rdi
testq %rax, %rax
pushq $-0x1
popq %rax
cmovsq %rax, %rdi
callq 0x2030
movq %rax, 0x30(%rbx)
leaq -0x130(%rbp), %r15
xorl %eax, %eax
movl %eax, 0x24(%rbx)
movq %r15, %rdi
movl $0x100, %esi            # imm = 0x100
movq %r14, %rdx
callq 0x2290
testq %rax, %rax
je 0x3771
movl 0x24(%rbx), %r12d
movslq 0x28(%rbx), %rax
cmpl %eax, %r12d
jge 0x36f2
movq 0x30(%rbx), %r13
jmp 0x3743
leal (%rax,%rax), %ecx
movl %ecx, 0x28(%rbx)
movq %rax, %rdi
shlq $0x5, %rdi
testl %eax, %eax
pushq $-0x1
popq %rax
cmovsq %rax, %rdi
callq 0x2030
movq %rax, %r13
movq 0x30(%rbx), %rdi
movq %r12, %rax
shlq $0x4, %rax
addq $-0x10, %rax
testl %r12d, %r12d
jle 0x3733
movups (%rdi,%rax), %xmm0
movups %xmm0, (%r13,%rax)
decl %r12d
jmp 0x371b
pushq $0x10
popq %rsi
callq 0x21d0
movq %r13, 0x30(%rbx)
movl 0x24(%rbx), %r12d
movslq %r12d, %rax
shlq $0x4, %rax
leaq (%rax,%r13), %rcx
leaq (%rax,%r13), %rdx
addq $0x8, %rdx
movq %r15, %rdi
leaq 0x1b10(%rip), %rsi      # 0x5270
xorl %eax, %eax
callq 0x2190
movl 0x24(%rbx), %eax
incl %eax
jmp 0x36c3
movq %r14, %rdi
callq 0x21b0
movl 0x24(%rbx), %eax
jmp 0x3780
xorl %eax, %eax
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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
pushq %rax
cmpl $0x0, 0x24(%rdi)
jle 0x3819
movq %rdi, %rbx
movq 0x8(%rdi), %rdi
movsd 0x10(%rbx), %xmm0
movsd 0x18(%rbx), %xmm1
callq 0x38a6
movq %rbx, %rdi
movsd %xmm0, -0x10(%rbp)
callq 0x3824
movq 0x30(%rbx), %rcx
movl %eax, %edx
testl %eax, %eax
je 0x380d
cmpl $0x0, 0x20(%rbx)
je 0x380d
movq %rdx, %rax
shlq $0x4, %rax
movsd (%rcx,%rax), %xmm3
ucomisd -0x10(%rbp), %xmm3
jbe 0x380d
addq %rax, %rcx
movsd -0x10(%rcx), %xmm1
movsd -0x8(%rcx), %xmm2
movsd 0x8(%rcx), %xmm4
movq (%rbx), %rax
movq 0x10(%rax), %rax
movq %rbx, %rdi
movsd -0x10(%rbp), %xmm0
addq $0x8, %rsp
popq %rbx
popq %rbp
jmpq *%rax
shlq $0x4, %rdx
movsd 0x8(%rcx,%rdx), %xmm0
jmp 0x381c
xorps %xmm0, %xmm0
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/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:
movq 0x30(%rdi), %rcx
movsd (%rcx), %xmm1
xorl %eax, %eax
ucomisd %xmm0, %xmm1
jae 0x3864
pushq %rbp
movq %rsp, %rbp
movl 0x24(%rdi), %edx
decl %edx
movl $0x1, %eax
cmpl %edx, %eax
jge 0x3863
leal (%rdx,%rax), %esi
shrl %esi
movq %rsi, %rdi
shlq $0x4, %rdi
ucomisd (%rcx,%rdi), %xmm0
ja 0x385d
movl %esi, %edx
jmp 0x3842
incl %esi
movl %esi, %eax
jmp 0x3842
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/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 0x3aad
jp 0x3aad
retq
cmpb $0x0, 0x57fc(%rip)      # 0x92b0
je 0x3ace
movb $0x0, 0x57f3(%rip)      # 0x92b0
mulsd 0x57f3(%rip), %xmm1     # 0x92b8
addsd %xmm0, %xmm1
movapd %xmm1, %xmm0
retq
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movsd %xmm1, -0x10(%rbp)
movsd %xmm0, -0x18(%rbp)
movq %rbx, %rdi
callq 0x443c
movapd %xmm0, %xmm1
addsd %xmm0, %xmm1
movsd 0x175c(%rip), %xmm0     # 0x5258
addsd %xmm0, %xmm1
movsd %xmm1, -0x20(%rbp)
movq %rbx, %rdi
callq 0x443c
movsd -0x20(%rbp), %xmm3
addsd %xmm0, %xmm0
addsd 0x173a(%rip), %xmm0     # 0x5258
movapd %xmm0, %xmm2
mulsd %xmm0, %xmm2
mulsd %xmm3, %xmm3
addsd %xmm2, %xmm3
ucomisd 0x1512(%rip), %xmm3     # 0x5048
jae 0x3ae4
movsd %xmm0, -0x30(%rbp)
movapd %xmm3, %xmm0
movsd %xmm3, -0x28(%rbp)
callq 0x2150
mulsd 0x186d(%rip), %xmm0     # 0x53c0
divsd -0x28(%rbp), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x3b68
sqrtsd %xmm0, %xmm0
jmp 0x3b6d
callq 0x2140
movsd -0x18(%rbp), %xmm1
movsd -0x10(%rbp), %xmm2
movsd -0x30(%rbp), %xmm3
mulsd %xmm0, %xmm3
movsd %xmm3, 0x5730(%rip)     # 0x92b8
movb $0x1, 0x5721(%rip)      # 0x92b0
movsd -0x20(%rbp), %xmm3
mulsd %xmm0, %xmm3
mulsd %xmm2, %xmm3
addsd %xmm1, %xmm3
movapd %xmm3, %xmm0
addq $0x28, %rsp
popq %rbx
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/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 0x3ca3
xorps %xmm0, %xmm0
movaps %xmm0, -0x20(%rbp)
movaps %xmm0, -0x30(%rbp)
movaps %xmm0, -0x40(%rbp)
xorl %eax, %eax
cmpq $0x6, %rax
je 0x3c8c
movq %rsi, -0x40(%rbp,%rax,8)
incq %rax
jmp 0x3c7c
leaq -0x40(%rbp), %rdi
callq 0x4306
movq %rbx, %rdi
addq $0x38, %rsp
popq %rbx
popq %rbp
jmp 0x41d8
pushq $0x2
popq %rsi
movq %rbx, %rdi
xorl %edx, %edx
addq $0x38, %rsp
popq %rbx
popq %rbp
jmp 0x3bac
// File: /workspace/github_cpp_makefile_star2_O2/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
pushq $0x1
popq %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x3bac
movl $0x2710, %r14d          # imm = 0x2710
subl $0x1, %r14d
jb 0x3d23
movq %rbx, %rdi
callq 0x3cb6
movslq %eax, %rdx
jmp 0x3d10
cmpq $0x46551d2b, %rdx       # imm = 0x46551D2B
jne 0x3d66
movl $0x46551d2b, %edx       # imm = 0x46551D2B
movl $0x8423e, %r14d         # imm = 0x8423E
leaq -0x108(%rbp), %rbx
subl $0x1, %r14d
jb 0x3d51
movq %rbx, %rdi
callq 0x3cb6
movslq %eax, %rdx
jmp 0x3d3e
cmpq $0x30bf15af, %rdx       # imm = 0x30BF15AF
jne 0x3d79
addq $0x100, %rsp            # imm = 0x100
popq %rbx
popq %r14
popq %rbp
retq
movq 0x526b(%rip), %rax      # 0x8fd8
movq (%rax), %rdi
leaq 0x1b61(%rip), %rsi      # 0x58d8
jmp 0x3d8a
movq 0x5258(%rip), %rax      # 0x8fd8
movq (%rax), %rdi
leaq 0x1b66(%rip), %rsi      # 0x58f0
xorl %eax, %eax
callq 0x2250
pushq $-0x1
popq %rdi
callq 0x2210
nop
// File: /workspace/github_cpp_makefile_star2_O2/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), %r14
movq %r14, %rdi
callq 0x3bac
xorl %eax, %eax
testl %ebx, %ebx
cmovlel %eax, %ebx
leaq 0x1b3e(%rip), %r15      # 0x5907
subl $0x1, %ebx
jb 0x3de5
movq %r14, %rdi
callq 0x3cb6
movslq %eax, %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x2040
jmp 0x3dc9
pushq $0xa
popq %rdi
addq $0xf8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x2240
// File: /workspace/github_cpp_makefile_star2_O2/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 $0x108, %rsp            # imm = 0x108
movq %r8, -0x30(%rbp)
movl %ecx, %r15d
leaq -0x128(%rbp), %r14
movq %r14, %rdi
callq 0x3bac
imull $0xf4240, %r15d, %r15d  # imm = 0xF4240
xorl %eax, %eax
testl %r15d, %r15d
cmovlel %eax, %r15d
movl $0xf4240, %ebx          # imm = 0xF4240
xorl %r12d, %r12d
movl %r12d, %eax
xorl %edx, %edx
divl %ebx
cmpl %r12d, %r15d
je 0x3e7f
movl %eax, %r13d
movq %r14, %rdi
callq 0x3cb6
cmpl $0x64, %r12d
jb 0x3e65
imull $0xf4240, %r13d, %ecx   # imm = 0xF4240
cmpl %r12d, %ecx
jne 0x3e7a
movslq %eax, %rdx
movq -0x30(%rbp), %rdi
leaq 0x1a94(%rip), %rsi      # 0x5907
xorl %eax, %eax
callq 0x2250
incl %r12d
jmp 0x3e3c
pushq $0xa
popq %rdi
movq -0x30(%rbp), %rsi
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2230
// File: /workspace/github_cpp_makefile_star2_O2/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 %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0x1a60(%rip), %rdi      # 0x590e
leaq 0x1a64(%rip), %rsi      # 0x5919
callq 0x2200
movq %rax, %rbx
testq %rax, %rax
je 0x3f22
leaq 0x1a6c(%rip), %rdi      # 0x5935
pushq $0x9
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
movq %rbx, %rcx
callq 0x2320
pushq $0x5
popq %r15
movl $0xb396b13, %edx        # imm = 0xB396B13
xorl %esi, %esi
movl %r15d, %ecx
movq %rbx, %r8
callq 0x3dfa
leaq 0x1a47(%rip), %rsi      # 0x593f
pushq $0x1
popq %r12
movq %rbx, %rdi
movl %r12d, %edx
xorl %eax, %eax
callq 0x2250
movl %r12d, %esi
movq %r14, %rdx
movl %r15d, %ecx
movq %rbx, %r8
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x3dfa
movq 0x50af(%rip), %rax      # 0x8fd8
movq (%rax), %rcx
leaq 0x19e8(%rip), %rdi      # 0x591b
pushq $0x19
popq %rsi
pushq $0x1
popq %rdx
callq 0x2320
jmp 0x3ec2
// File: /workspace/github_cpp_makefile_star2_O2/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 %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0x19e3(%rip), %rdi      # 0x5935
xorl %eax, %eax
callq 0x2040
pushq $0x1
popq %rdx
pushq $0x5
popq %rbx
xorl %esi, %esi
movl %ebx, %ecx
callq 0x3d9a
leaq 0x19d0(%rip), %r14      # 0x593f
pushq $0x1
popq %r15
xorl %r12d, %r12d
cmpq $0x40, %r12
je 0x3f9b
movq %r14, %rdi
movl %r12d, %esi
xorl %eax, %eax
callq 0x2040
movl %r15d, %esi
movq %r12, %rdx
movl %ebx, %ecx
callq 0x3d9a
incq %r12
jmp 0x3f76
leaq 0x1b1b(%rip), %rdi      # 0x5abd
callq 0x2280
leaq 0x19a5(%rip), %rbx      # 0x5953
pushq $0x2
popq %r14
pushq $0x5
popq %r15
xorl %r12d, %r12d
cmpq $0x40, %r12
je 0x3fdf
movq %rbx, %rdi
movl %r12d, %esi
xorl %eax, %eax
callq 0x2040
movl %r14d, %esi
movq %r12, %rdx
movl %r15d, %ecx
callq 0x3d9a
incq %r12
jmp 0x3fb9
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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 0x13db(%rip), %xmm0     # 0x53d8
movsd 0x13db(%rip), %xmm5     # 0x53e0
mulsd %xmm4, %xmm5
addsd %xmm0, %xmm5
movsd 0x13d3(%rip), %xmm1     # 0x53e8
movapd %xmm5, %xmm0
divsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
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 0x137b(%rip), %xmm0     # 0x53f0
movsd 0x137b(%rip), %xmm5     # 0x53f8
mulsd %xmm4, %xmm5
addsd %xmm0, %xmm5
movsd 0x1373(%rip), %xmm6     # 0x5400
movapd %xmm5, %xmm0
divsd %xmm6, %xmm0
cvttsd2si %xmm0, %rax
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 0x130f(%rip), %xmm0     # 0x5408
cmpb $0x0, 0x90(%rdi)
je 0x4112
movsd 0xf3e(%rip), %xmm1      # 0x5048
subsd %xmm0, %xmm1
movapd %xmm1, %xmm0
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/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 0x3fe8
movsd %xmm0, -0x18(%rbp)
movb 0x90(%rbx), %r14b
movq %rbx, %rdi
callq 0x3fe8
cmpb $0x1, %r14b
jne 0x417d
addsd 0x110f(%rip), %xmm0     # 0x5258
mulsd 0x12bf(%rip), %xmm0     # 0x5410
addsd -0x18(%rbp), %xmm0
movsd 0xeea(%rip), %xmm2      # 0x5048
addsd %xmm0, %xmm2
xorpd %xmm3, %xmm3
movapd %xmm0, %xmm1
cmpltsd %xmm3, %xmm1
andpd %xmm1, %xmm2
andnpd %xmm0, %xmm1
orpd %xmm2, %xmm1
jmp 0x41af
mulsd 0x128b(%rip), %xmm0     # 0x5410
addsd -0x18(%rbp), %xmm0
movsd 0x10c6(%rip), %xmm2     # 0x5258
movapd %xmm0, %xmm1
cmpltsd 0xea9(%rip), %xmm1      # 0x5048
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_O2/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:
andw $0x0, 0x90(%rdi)
xorl %eax, %eax
leaq 0x5077(%rip), %rcx      # 0x9260
cmpq $0x30, %rax
je 0x420b
movsd (%rax,%rcx), %xmm0
movsd %xmm0, 0x60(%rdi,%rax)
movsd %xmm0, (%rdi,%rax)
movsd %xmm0, 0x30(%rdi,%rax)
addq $0x8, %rax
jmp 0x41e9
pushq %rbp
movq %rsp, %rbp
leaq 0x144a(%rip), %rdi      # 0x5660
leaq 0x5043(%rip), %rdx      # 0x9260
movsd 0x11c3(%rip), %xmm0     # 0x53e8
movq %rdx, %rsi
callq 0x4249
leaq 0x147c(%rip), %rdi      # 0x56b0
leaq 0x503d(%rip), %rdx      # 0x9278
movsd 0x11bd(%rip), %xmm0     # 0x5400
movq %rdx, %rsi
popq %rbp
jmp 0x4249
// File: /workspace/github_cpp_makefile_star2_O2/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
cmpq $0x3, %r15
je 0x42e2
movsd -0x10(%r14), %xmm0
xorps %xmm2, %xmm2
movsd -0x38(%rbp), %xmm1
movsd -0x20(%rbp), %xmm3
callq 0x4dad
movaps %xmm0, %xmm2
movsd -0x8(%r14), %xmm0
movsd -0x30(%rbp), %xmm1
movsd -0x20(%rbp), %xmm3
callq 0x4dad
movaps %xmm0, %xmm2
movsd (%r14), %xmm0
movsd -0x28(%rbp), %xmm1
movsd -0x20(%rbp), %xmm3
callq 0x4dad
movsd %xmm0, -0x50(%rbp,%r15,8)
incq %r15
addq $0x18, %r14
jmp 0x4285
xorl %eax, %eax
cmpq $0x3, %rax
je 0x42fa
movsd -0x50(%rbp,%rax,8), %xmm0
movsd %xmm0, (%rbx,%rax,8)
incq %rax
jmp 0x42e4
addq $0x38, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::set_package_seed(unsigned long const*)
void RNG::set_package_seed(const unsigned long seed[6]) {
	if (CheckSeed(seed))
		abort();
	for (int i = 0; i < 6; ++i)
		next_seed_[i] = seed[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x455c
testl %eax, %eax
jne 0x4361
xorl %eax, %eax
movsd 0x110e(%rip), %xmm0     # 0x5430
movapd 0x1116(%rip), %xmm1     # 0x5440
leaq 0x4f2f(%rip), %rcx      # 0x9260
cmpq $0x30, %rax
je 0x435a
movsd (%rbx,%rax), %xmm2
unpcklps %xmm0, %xmm2            # xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1]
subpd %xmm1, %xmm2
movapd %xmm2, %xmm3
unpckhpd %xmm2, %xmm3            # xmm3 = xmm3[1],xmm2[1]
addsd %xmm2, %xmm3
movsd %xmm3, (%rax,%rcx)
addq $0x8, %rax
jmp 0x4331
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
callq 0x2100
// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::rand_u01()
double RNG::rand_u01() {
	if (inc_prec_)
		return U01d();
	else
		return U01();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
cmpb $0x1, 0x91(%rdi)
jne 0x444f
popq %rbp
jmp 0x4114
popq %rbp
jmp 0x3fe8
nop
// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::RNG(char const*)
RNG::RNG(const char *s) {
	if (strlen(s) > 99) {
		strncpy(name_, s, 99);
		name_[100] = 0;
	} else
		strcpy(name_, s);

	init();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x20b0
leaq 0x92(%rbx), %rdi
cmpq $0x64, %rax
jb 0x448c
pushq $0x63
popq %rdx
movq %r14, %rsi
callq 0x20f0
movb $0x0, 0xf6(%rbx)
jmp 0x4494
movq %r14, %rsi
callq 0x2180
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x41d8
// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::reset_next_substream()
void RNG::reset_next_substream() {
	MatVecModM(A1p76, Bg_, Bg_, m1);
	MatVecModM(A2p76, &Bg_[3], &Bg_[3], m2);
	for (int i = 0; i < 6; ++i)
		Cg_[i] = Bg_[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %r14
leaq 0x30(%rdi), %rbx
leaq 0x11f3(%rip), %rdi      # 0x5700
movsd 0xed3(%rip), %xmm0      # 0x53e8
movq %rbx, %rsi
movq %rbx, %rdx
callq 0x4249
addq $0x48, %r14
leaq 0x1225(%rip), %rdi      # 0x5750
movsd 0xecd(%rip), %xmm0      # 0x5400
movq %r14, %rsi
movq %r14, %rdx
callq 0x4249
pushq $-0x30
popq %rax
testq %rax, %rax
je 0x4557
movsd 0x30(%rbx,%rax), %xmm0
movsd %xmm0, (%rbx,%rax)
addq $0x8, %rax
jmp 0x4541
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::set_seed(unsigned long const*)
void RNG::set_seed(const unsigned long seed[6]) {
	if (CheckSeed(seed))
		abort();
	for (int i = 0; i < 6; ++i)
		Cg_[i] = Bg_[i] = Ig_[i] = seed[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movq %rsi, %rdi
callq 0x455c
testl %eax, %eax
jne 0x474b
xorl %eax, %eax
movsd 0xd29(%rip), %xmm0      # 0x5430
movapd 0xd31(%rip), %xmm1      # 0x5440
cmpq $0x6, %rax
je 0x4746
movsd (%rbx,%rax,8), %xmm2
unpcklps %xmm0, %xmm2            # xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1]
subpd %xmm1, %xmm2
movapd %xmm2, %xmm3
unpckhpd %xmm2, %xmm3            # xmm3 = xmm3[1],xmm2[1]
addsd %xmm2, %xmm3
movsd %xmm3, 0x60(%r14,%rax,8)
movsd %xmm3, 0x30(%r14,%rax,8)
movsd %xmm3, (%r14,%rax,8)
incq %rax
jmp 0x470f
popq %rbx
popq %r14
popq %rbp
retq
callq 0x2100
// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: RNG::advance_state(long, long)
void RNG::advance_state(long e, long c) {
	double B1[3][3], C1[3][3], B2[3][3], C2[3][3];
	if (e > 0) {
		MatTwoPowModM(A1p0, B1, m1, e);
		MatTwoPowModM(A2p0, B2, m2, e);
	} else if (e < 0) {
		MatTwoPowModM(InvA1, B1, m1, -e);
		MatTwoPowModM(InvA2, B2, m2, -e);
	}
	if (c >= 0) {
		MatPowModM(A1p0, C1, m1, c);
		MatPowModM(A2p0, C2, m2, c);
	} else {
		MatPowModM(InvA1, C1, m1, -c);
		MatPowModM(InvA2, C2, m2, -c);
	}
	if (e) {
		MatMatModM(B1, C1, C1, m1);
		MatMatModM(B2, C2, C2, m2);
	}
	MatVecModM(C1, Cg_, Cg_, m1);
	MatVecModM(C2, &Cg_[3], &Cg_[3], m2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x140, %rsp            # imm = 0x140
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
testq %rsi, %rsi
jle 0x47ae
leaq 0x1029(%rip), %rdi      # 0x57a0
leaq -0x160(%rbp), %rsi
movsd 0xc62(%rip), %xmm0      # 0x53e8
movq %r14, %rdx
callq 0x48e1
leaq 0x105b(%rip), %rdi      # 0x57f0
leaq -0x110(%rbp), %rsi
movsd 0xc5c(%rip), %xmm0      # 0x5400
movq %r14, %rdx
callq 0x48e1
jmp 0x47b4
js 0x489f
testq %r15, %r15
js 0x47e0
leaq 0xfe0(%rip), %rdi       # 0x57a0
leaq -0xc0(%rbp), %rsi
movsd 0xc19(%rip), %xmm0      # 0x53e8
movq %r15, %rdx
callq 0x4956
leaq 0x1012(%rip), %rdi      # 0x57f0
jmp 0x4808
negq %r15
leaq 0x1056(%rip), %rdi      # 0x5840
leaq -0xc0(%rbp), %rsi
movsd 0xbef(%rip), %xmm0      # 0x53e8
movq %r15, %rdx
callq 0x4956
leaq 0x1088(%rip), %rdi      # 0x5890
leaq -0x70(%rbp), %rsi
movsd 0xbec(%rip), %xmm0      # 0x5400
movq %r15, %rdx
callq 0x4956
testq %r14, %r14
je 0x485a
leaq -0x160(%rbp), %rdi
leaq -0xc0(%rbp), %rdx
movsd 0xbb1(%rip), %xmm0      # 0x53e8
movq %rdx, %rsi
callq 0x4a0a
leaq -0x110(%rbp), %rdi
leaq -0x70(%rbp), %rdx
movsd 0xbae(%rip), %xmm0      # 0x5400
movq %rdx, %rsi
callq 0x4a0a
leaq -0xc0(%rbp), %rdi
movsd 0xb7f(%rip), %xmm0      # 0x53e8
movq %rbx, %rsi
movq %rbx, %rdx
callq 0x4249
addq $0x18, %rbx
leaq -0x70(%rbp), %rdi
movsd 0xb7c(%rip), %xmm0      # 0x5400
movq %rbx, %rsi
movq %rbx, %rdx
callq 0x4249
addq $0x140, %rsp            # imm = 0x140
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %r14, %r12
negq %r12
leaq 0xf94(%rip), %rdi       # 0x5840
leaq -0x160(%rbp), %rsi
movsd 0xb2d(%rip), %xmm0      # 0x53e8
movq %r12, %rdx
callq 0x48e1
leaq 0xfc6(%rip), %rdi       # 0x5890
leaq -0x110(%rbp), %rsi
movsd 0xb27(%rip), %xmm0      # 0x5400
movq %r12, %rdx
jmp 0x47a7
// File: /workspace/github_cpp_makefile_star2_O2/sergiosvieira[P]ptd2ns2/rng.cc
// Function: (anonymous namespace)::MatTwoPowModM(double const (*) [3], double (*) [3], double, long)
void MatTwoPowModM(const double A[3][3], double B[3][3], double m, long e) {
	int i, j;
	/* initialize: B = A */
	if (A != B) {
		for (i = 0; i < 3; ++i)
			for (j = 0; j < 3; ++j)
				B[i][j] = A[i][j];
	}
	/* Compute B = A^(2^e) mod m */
	for (i = 0; i < e; i++)
		MatMatModM(B, B, B, m);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movsd %xmm0, -0x18(%rbp)
movq %rsi, %rbx
cmpq %rsi, %rdi
je 0x4928
xorl %eax, %eax
movq %rbx, %rcx
cmpq $0x3, %rax
je 0x4928
xorl %esi, %esi
cmpq $0x3, %rsi
je 0x491b
movsd (%rdi,%rsi,8), %xmm0
movsd %xmm0, (%rcx,%rsi,8)
incq %rsi
jmp 0x4906
incq %rax
addq $0x18, %rcx
addq $0x18, %rdi
jmp 0x48fe
xorl %r14d, %r14d
testq %rdx, %rdx
cmovgq %rdx, %r14
subq $0x1, %r14
jb 0x494d
movq %rbx, %rdi
movq %rbx, %rsi
movq %rbx, %rdx
movsd -0x18(%rbp), %xmm0
callq 0x4a0a
jmp 0x4932
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq