// File: /workspace/github_cpp_makefile_star2_O1/UCBASiCS[P]SPRIGHT/src/spright.cpp
// Function: SPRIGHT::displayResults() const
void SPRIGHT::displayResults() const
{

    if ( config->needToCountSamples() )
    {
        std::cout << std::endl << "<===== NUMBER OF SAMPLES =====>" << std::endl << frontEnd->getUsedSamplesNb() << " -> used samples" << std::endl;
        std::cout << std::setprecision(3) << frontEnd->getUsedSamplesNb()/((double) config->getSignalLengthOriginal())*100 << "\% samples touched" << std::endl;
    }
    
    std::cout << std::endl << "<===== AVERAGE TIME (in seconds) =====>" << std::endl;
    displayExecutionTime(chrono->average("FrontEnd"), chrono->average("BackEnd"), chrono->average("Global"));
    output->displayGlobalResults();
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x70, %rsp
movq %rdi, %rbx
movq (%rdi), %rdi
callq 0x6e5a
testb %al, %al
je 0xdc40
movq 0x84cd(%rip), %r14      # 0x15fc8
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
movq %rax, %r15
leaq 0x24a9(%rip), %rsi      # 0xffd5
movl $0x1f, %edx
movq %rax, %rdi
callq 0x32b0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %r15, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
movq %rax, %r15
movq 0x30(%rbx), %rdi
callq 0xccb6
movq %r15, %rdi
movl %eax, %esi
callq 0x3470
movq %rax, %r15
leaq 0x2475(%rip), %rsi      # 0xfff5
movl $0x10, %edx
movq %rax, %rdi
callq 0x32b0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %r15, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
movq (%r14), %rax
movq -0x18(%rax), %rax
movq $0x3, 0x8(%r14,%rax)
movq 0x30(%rbx), %rdi
callq 0xccb6
cvtsi2sd %eax, %xmm0
movsd %xmm0, (%rsp)
movq (%rbx), %rdi
callq 0x8248
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
movsd (%rsp), %xmm1
divsd %xmm0, %xmm1
mulsd 0x214a(%rip), %xmm1     # 0xfd40
movapd %xmm1, %xmm0
movq %r14, %rdi
callq 0x3400
movq %rax, %r14
leaq 0x23fa(%rip), %rsi      # 0x10006
movl $0x11, %edx
movq %rax, %rdi
callq 0x32b0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
movq 0x8381(%rip), %r14      # 0x15fc8
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
movq %rax, %r14
leaq 0x23a0(%rip), %rsi      # 0x10018
movl $0x27, %edx
movq %rax, %rdi
callq 0x32b0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
movq 0x8(%rbx), %r14
leaq 0x60(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x2276(%rip), %rsi      # 0xff37
leaq 0x2277(%rip), %rdx      # 0xff3f
leaq 0x50(%rsp), %r15
movq %r15, %rdi
callq 0x44c2
movq %r14, %rdi
movq %r15, %rsi
callq 0x5c46
movsd %xmm0, (%rsp)
movq 0x8(%rbx), %r14
leaq 0x40(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1337(%rip), %rsi      # 0xf030
leaq 0x1337(%rip), %rdx      # 0xf037
leaq 0x30(%rsp), %rdi
callq 0x44c2
leaq 0x30(%rsp), %rsi
movq %r14, %rdi
callq 0x5c46
movsd %xmm0, 0x8(%rsp)
movq 0x8(%rbx), %r14
leaq 0x20(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x229d(%rip), %rsi      # 0xffce
leaq 0x229c(%rip), %rdx      # 0xffd4
leaq 0x10(%rsp), %rdi
callq 0x44c2
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0x5c46
movapd %xmm0, %xmm2
movsd (%rsp), %xmm0
movsd 0x8(%rsp), %xmm1
callq 0xde1e
movq 0x10(%rsp), %rdi
cmpq %r13, %rdi
je 0xdd7a
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xdd91
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0xdda8
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x18(%rbx), %rdi
movq (%rdi), %rax
callq *0x18(%rax)
addq $0x70, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0xddc2
movq %rax, %rbx
jmp 0xdde8
jmp 0xddc9
movq %rax, %rbx
jmp 0xddff
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r13, %rdi
je 0xdde8
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xddff
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0xde16
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x3270
movq %rbx, %rdi
callq 0x3490