// File: /workspace/github_cpp_makefile_star2_O3/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 0x6d20
testb %al, %al
je 0xda98
movq 0x7675(%rip), %r14      # 0x14fc8
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 0x1661(%rip), %rsi      # 0xefe5
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 0xcb44
movq %r15, %rdi
movl %eax, %esi
callq 0x3470
movq %rax, %r15
leaq 0x162d(%rip), %rsi      # 0xf005
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 0xcb44
cvtsi2sd %eax, %xmm0
movsd %xmm0, (%rsp)
movq (%rbx), %rdi
callq 0x811c
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
movsd (%rsp), %xmm1
divsd %xmm0, %xmm1
mulsd 0x12f2(%rip), %xmm1     # 0xed40
movapd %xmm1, %xmm0
movq %r14, %rdi
callq 0x3400
movq %rax, %r14
leaq 0x15b2(%rip), %rsi      # 0xf016
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 0x7529(%rip), %r14      # 0x14fc8
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 0x1558(%rip), %rsi      # 0xf028
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 0x142e(%rip), %rsi      # 0xef47
leaq 0x142f(%rip), %rdx      # 0xef4f
leaq 0x50(%rsp), %r15
movq %r15, %rdi
callq 0x4430
movq %r14, %rdi
movq %r15, %rsi
callq 0x5b3e
movsd %xmm0, (%rsp)
movq 0x8(%rbx), %r14
leaq 0x40(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x4df(%rip), %rsi       # 0xe030
leaq 0x4df(%rip), %rdx       # 0xe037
leaq 0x30(%rsp), %rdi
callq 0x4430
leaq 0x30(%rsp), %rsi
movq %r14, %rdi
callq 0x5b3e
movsd %xmm0, 0x8(%rsp)
movq 0x8(%rbx), %r14
leaq 0x20(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1455(%rip), %rsi      # 0xefde
leaq 0x1454(%rip), %rdx      # 0xefe4
leaq 0x10(%rsp), %rdi
callq 0x4430
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0x5b3e
movapd %xmm0, %xmm2
movsd (%rsp), %xmm0
movsd 0x8(%rsp), %xmm1
callq 0xdc76
movq 0x10(%rsp), %rdi
cmpq %r13, %rdi
je 0xdbd2
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xdbe9
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0xdc00
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 0xdc1a
movq %rax, %rbx
jmp 0xdc40
jmp 0xdc21
movq %rax, %rbx
jmp 0xdc57
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r13, %rdi
je 0xdc40
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xdc57
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x3270
movq 0x50(%rsp), %rdi
cmpq %r12, %rdi
je 0xdc6e
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x3270
movq %rbx, %rdi
callq 0x3490