// File: /workspace/github_c_makefile_star2_O2/tomcatzh[P]RealityBenchmark/benchmark.c
// Function: printResult
void printResult(const RESULT *r, int verbose, int formated) {
  cJSON *json = NULL;
  if (verbose) {
    json = resultToJSONVerbose(r);
  } else {
    json = resultToJSON(r);
  }
  assert(json);

  char *jsonString = NULL;
  if (formated) {
    jsonString = cJSON_Print(json);
  } else {
    jsonString = cJSON_PrintUnformatted(json);
  }
  assert(jsonString);

  printf("%s\n", jsonString);

  cJSON_Delete(json);
  free(jsonString);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
testl %esi, %esi
movq %rdi, 0x10(%rsp)
movl %edx, 0x24(%rsp)
je 0x41b9
callq 0x6040
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0x480c
leaq 0x366d(%rip), %rbp      # 0x767f
leaq 0x366b(%rip), %rbx      # 0x7684
leaq 0x366a(%rip), %r14      # 0x768a
movq 0x10(%rsp), %rax
testq %rax, %rax
je 0x46a5
movq %rax, 0x10(%rsp)
movq (%rax), %r15
callq 0x6040
movq %rax, 0x28(%rsp)
testq %rax, %rax
je 0x4790
testq %r15, %r15
je 0x419c
callq 0x5fdc
testq %rax, %rax
je 0x4752
movl 0x8(%r15), %edx
movq %rax, 0x30(%rsp)
movq %rax, %rdi
leaq 0x35c8(%rip), %rsi      # 0x763b
callq 0x5d6c
movq %r15, 0x18(%rsp)
movq (%r15), %r12
callq 0x6040
movq %rax, %r15
testq %rax, %rax
je 0x4771
testq %r12, %r12
je 0x416a
callq 0x5fdc
testq %rax, %rax
je 0x4733
movq %rax, %r13
movl 0x10(%r12), %edx
movq %rax, %rdi
leaq 0x35bd(%rip), %rsi      # 0x7677
callq 0x5d6c
movq %r12, %rdi
callq 0x39f4
movq %rax, %xmm1
movq 0x33dc(%rip), %xmm0     # 0x74b0
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movapd 0x33e0(%rip), %xmm0     # 0x74c0
subpd %xmm0, %xmm1
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
movq %rbp, %rsi
callq 0x5dd9
movsd 0x18(%r12), %xmm1
unpcklps 0x33a7(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x33af(%rip), %xmm1     # 0x74c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
movq %rbx, %rsi
callq 0x5dd9
movsd 0x20(%r12), %xmm1
unpcklps 0x337a(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3382(%rip), %xmm1     # 0x74c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
movq %r14, %rsi
callq 0x5dd9
movq %r15, %rdi
movq %r13, %rsi
callq 0x5ab8
movq 0x28(%r12), %r12
jmp 0x4091
movq 0x30(%rsp), %r12
movq %r12, %rdi
leaq 0x34ca(%rip), %rsi      # 0x7643
movq %r15, %rdx
callq 0x5af1
movq 0x28(%rsp), %rdi
movq %r12, %rsi
callq 0x5ab8
movq 0x18(%rsp), %r15
movq 0x10(%r15), %r15
jmp 0x4049
movq 0x8(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x5ab8
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
jmp 0x4025
movq %rdi, %r14
callq 0x5fdc
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0x484a
movq %r14, %rax
testq %rax, %rax
je 0x4205
movq %rax, %rcx
movq (%rcx), %rcx
testq %rcx, %rcx
je 0x41ff
movq %rcx, %rdx
movq (%rdx), %rsi
testq %rsi, %rsi
je 0x41f9
leaq 0x28(%rsi), %rdx
cmpl $0x0, 0x10(%rsi)
jne 0x41e5
jmp 0x4205
addq $0x10, %rcx
jmp 0x41da
movq 0x8(%rax), %rax
jmp 0x41d2
xorl %edx, %edx
testq %rax, %rax
sete %dl
leaq 0x34a1(%rip), %rsi      # 0x76b5
movq 0x8(%rsp), %rdi
callq 0x5d6c
movq %r14, %rax
testq %rax, %rax
je 0x4243
movq %rax, %rcx
movq (%rcx), %rdx
testq %rdx, %rdx
je 0x423d
leaq 0x10(%rdx), %rcx
cmpl $0x0, 0x8(%rdx)
jne 0x4229
jmp 0x4243
movq 0x8(%rax), %rax
jmp 0x4221
xorl %edx, %edx
testq %rax, %rax
sete %dl
leaq 0x346e(%rip), %rsi      # 0x76c0
movq 0x8(%rsp), %rdi
callq 0x5d6c
movq %r14, %rbx
testq %rbx, %rbx
je 0x42c2
movq (%rbx), %r14
movq (%r14), %rdi
callq 0x4aa9
testq %rax, %rax
je 0x482b
movq 0x10(%r14), %r14
testq %r14, %r14
je 0x42a2
movq %rax, %rcx
movq %r14, %rdx
movq (%rdx), %rdx
testq %rdx, %rdx
je 0x4278
movq 0x20(%rdx), %rsi
cmpq (%rcx), %rsi
jne 0x42b5
addq $0x8, %rcx
addq $0x28, %rdx
jmp 0x4287
movq %rax, %rdi
callq 0x2428
movq 0x8(%rbx), %rbx
movq 0x10(%rsp), %r14
jmp 0x425f
movq %rax, %rdi
callq 0x2428
movq 0x10(%rsp), %r14
xorl %edx, %edx
testq %rbx, %rbx
sete %dl
leaq 0x33fa(%rip), %rsi      # 0x76cb
movq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x5d6c
movq %r14, %rdi
callq 0x4888
movl %eax, %eax
cvtsi2sd %rax, %xmm0
leaq 0x326b(%rip), %rsi      # 0x755f
movq %rbx, %rdi
callq 0x5dd9
movq %r14, %rdi
callq 0x4898
movq %rax, %xmm1
punpckldq 0x319f(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x31a7(%rip), %xmm1     # 0x74c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
leaq 0x33a8(%rip), %rsi      # 0x76d4
movq %rbx, %rdi
callq 0x5dd9
movq %r14, %rdi
callq 0x48c2
movq %rax, %xmm1
punpckldq 0x3167(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x316f(%rip), %xmm1     # 0x74c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
leaq 0x337b(%rip), %rsi      # 0x76df
movq %rbx, %rdi
callq 0x5dd9
movq %r14, %rdi
callq 0x48c2
movq %rax, %rbx
movq %r14, %r12
xorl %r14d, %r14d
xorl %r15d, %r15d
testq %r12, %r12
je 0x43a2
movq (%r12), %rdi
callq 0x4ae9
subq %rbx, %rax
imulq %rax, %rax
addq %rax, %r15
incl %r14d
movq 0x8(%r12), %r12
jmp 0x4380
movq %r15, %xmm0
punpckldq 0x3101(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x3109(%rip), %xmm0     # 0x74c0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movl %r14d, %eax
cvtsi2sd %rax, %xmm0
divsd %xmm0, %xmm1
sqrtsd %xmm1, %xmm0
leaq 0x330e(%rip), %rsi      # 0x76e8
movq 0x8(%rsp), %rdi
callq 0x5dd9
xorl %r15d, %r15d
pushq $-0x1
popq %rbx
leaq 0x38(%rsp), %r14
movq 0x10(%rsp), %r12
testq %r12, %r12
je 0x4415
movq (%r12), %rdi
movl %ebx, %esi
movq %r14, %rdx
callq 0x4afa
cmpq %r15, %rax
cmovaq %rax, %r15
movq 0x8(%r12), %r12
jmp 0x43f4
movq %r15, %xmm1
punpckldq 0x308e(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3096(%rip), %xmm1     # 0x74c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
leaq 0x3242(%rip), %rsi      # 0x767f
movq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x5dd9
pushq $-0x1
popq %rbx
movq 0x10(%rsp), %r15
movq %r15, %rdi
movl %ebx, %esi
callq 0x48eb
leaq 0x3290(%rip), %rsi      # 0x76f3
movq %r14, %rdi
callq 0x5dd9
movq %r15, %rdi
movl %ebx, %esi
callq 0x498a
leaq 0x3283(%rip), %rsi      # 0x76ff
movq %r14, %rdi
callq 0x5dd9
callq 0x6040
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x4869
movq (%r15), %rbx
xorl %r12d, %r12d
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x468f
callq 0x5fdc
movq %rax, %r13
movq (%r15), %r14
xorl %edi, %edi
xorl %r15d, %r15d
movq (%r14), %r14
testq %r14, %r14
je 0x44e9
leal 0x1(%r15), %ebp
leaq (,%rbp,8), %rsi
callq 0x2438
movq %rax, %rdi
movq 0x18(%r14), %rax
movl %r15d, %ecx
movq %rax, (%rdi,%rcx,8)
addq $0x28, %r14
movl %ebp, %r15d
jmp 0x44b9
testq %rdi, %rdi
je 0x47af
movl %r12d, %r14d
movl (%rdi,%r14,8), %r15d
callq 0x2428
cvtsi2sd %r15, %xmm0
movq %r13, %rdi
leaq 0x3177(%rip), %rsi      # 0x7684
callq 0x5dd9
movq 0x10(%rsp), %r15
movq (%r15), %rax
movq (%rax), %rdi
callq 0x4aa9
testq %rax, %rax
je 0x47ce
movl (%rax,%r14,8), %r14d
movq %rax, %rdi
callq 0x2428
cvtsi2sd %r14, %xmm0
movq %r13, %rdi
leaq 0x3144(%rip), %rsi      # 0x768a
callq 0x5dd9
xorl %eax, %eax
movq %r15, %rcx
testq %rcx, %rcx
je 0x4593
xorl %edx, %edx
movq %rcx, %rsi
movq (%rsi), %rsi
testq %rsi, %rsi
je 0x458a
movl %r12d, %r8d
movq %rsi, %rdi
movq (%rdi), %rdi
testq %rdi, %rdi
je 0x46f7
subl $0x1, %r8d
jb 0x4580
addq $0x28, %rdi
jmp 0x4568
addq 0x18(%rdi), %rdx
addq $0x10, %rsi
jmp 0x455a
addq %rdx, %rax
movq 0x8(%rcx), %rcx
jmp 0x4550
movq %rax, %xmm1
punpckldq 0x2f10(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x2f18(%rip), %xmm1     # 0x74c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
leaq 0x314f(%rip), %rsi      # 0x770d
callq 0x5dd9
xorl %eax, %eax
movq %r15, %rcx
testq %rcx, %rcx
je 0x460b
xorl %edx, %edx
movq %rcx, %rsi
movq (%rsi), %rsi
testq %rsi, %rsi
je 0x4602
movl %r12d, %r8d
movq %rsi, %rdi
movq (%rdi), %rdi
testq %rdi, %rdi
je 0x4714
subl $0x1, %r8d
jb 0x45f8
addq $0x28, %rdi
jmp 0x45e0
addq 0x20(%rdi), %rdx
addq $0x10, %rsi
jmp 0x45d2
addq %rdx, %rax
movq 0x8(%rcx), %rcx
jmp 0x45c8
movq %rax, %xmm1
punpckldq 0x2e98(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x2ea0(%rip), %xmm1     # 0x74c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
leaq 0x30e2(%rip), %rsi      # 0x7718
callq 0x5dd9
movq %r15, %rdi
movl %r12d, %esi
callq 0x48eb
movq %r13, %rdi
leaq 0x30a3(%rip), %rsi      # 0x76f3
callq 0x5dd9
movq %r15, %rdi
movl %r12d, %esi
callq 0x498a
movq %r13, %rdi
leaq 0x3095(%rip), %rsi      # 0x76ff
callq 0x5dd9
movq 0x18(%rsp), %rdi
leaq 0x2fc8(%rip), %rsi      # 0x7643
movq %r13, %rdx
callq 0x5af1
incl %r12d
addq $0x28, %rbx
jmp 0x449d
leaq 0x2fad(%rip), %rsi      # 0x7643
movq 0x8(%rsp), %rdi
movq 0x18(%rsp), %rdx
callq 0x5af1
cmpl $0x0, 0x24(%rsp)
je 0x46b8
movq 0x8(%rsp), %rdi
callq 0x5385
jmp 0x46c2
movq 0x8(%rsp), %rdi
callq 0x547d
movq %rax, %rbx
testq %rax, %rax
je 0x47ed
movq %rbx, %rdi
callq 0x2340
movq 0x8(%rsp), %rdi
callq 0x4cca
movq %rbx, %rdi
callq 0x2428
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2b79(%rip), %rdi      # 0x7277
leaq 0x2de3(%rip), %rsi      # 0x74e8
leaq 0x315c(%rip), %rcx      # 0x7868
pushq $0x71
popq %rdx
callq 0x2190
leaq 0x2b5c(%rip), %rdi      # 0x7277
leaq 0x2dc6(%rip), %rsi      # 0x74e8
leaq 0x3175(%rip), %rcx      # 0x789e
movl $0x91, %edx
callq 0x2190
leaq 0x2dcd(%rip), %rdi      # 0x7507
leaq 0x2da7(%rip), %rsi      # 0x74e8
leaq 0x2f09(%rip), %rcx      # 0x7651
movl $0x1d0, %edx            # imm = 0x1D0
callq 0x2190
leaq 0x2edd(%rip), %rdi      # 0x7636
leaq 0x2d88(%rip), %rsi      # 0x74e8
leaq 0x2ea7(%rip), %rcx      # 0x760e
movl $0x1e3, %edx            # imm = 0x1E3
callq 0x2190
leaq 0x2ed0(%rip), %rdi      # 0x7648
leaq 0x2d69(%rip), %rsi      # 0x74e8
leaq 0x2ecb(%rip), %rcx      # 0x7651
movl $0x1cc, %edx            # imm = 0x1CC
callq 0x2190
leaq 0x2e6d(%rip), %rdi      # 0x7604
leaq 0x2d4a(%rip), %rsi      # 0x74e8
leaq 0x2e69(%rip), %rcx      # 0x760e
movl $0x1df, %edx            # imm = 0x1DF
callq 0x2190
leaq 0x2f6e(%rip), %rdi      # 0x7724
leaq 0x2d2b(%rip), %rsi      # 0x74e8
leaq 0x301f(%rip), %rcx      # 0x77e3
movl $0x142, %edx            # imm = 0x142
callq 0x2190
leaq 0x2f4f(%rip), %rdi      # 0x7724
leaq 0x2d0c(%rip), %rsi      # 0x74e8
leaq 0x3042(%rip), %rcx      # 0x7825
movl $0x14d, %edx            # imm = 0x14D
callq 0x2190
leaq 0x2dad(%rip), %rdi      # 0x75a1
leaq 0x2ced(%rip), %rsi      # 0x74e8
leaq 0x2d74(%rip), %rcx      # 0x7576
movl $0x273, %edx            # imm = 0x273
callq 0x2190
leaq 0x2dba(%rip), %rdi      # 0x75cd
leaq 0x2cce(%rip), %rsi      # 0x74e8
leaq 0x2db8(%rip), %rcx      # 0x75d9
movl $0x1f0, %edx            # imm = 0x1F0
callq 0x2190
leaq 0x2ef2(%rip), %rdi      # 0x7724
leaq 0x2caf(%rip), %rsi      # 0x74e8
leaq 0x2eec(%rip), %rcx      # 0x772c
movl $0x159, %edx            # imm = 0x159
callq 0x2190
leaq 0x2d7c(%rip), %rdi      # 0x75cd
leaq 0x2c90(%rip), %rsi      # 0x74e8
leaq 0x2e32(%rip), %rcx      # 0x7691
movl $0x1a7, %edx            # imm = 0x1A7
callq 0x2190
leaq 0x2dd8(%rip), %rdi      # 0x7648
leaq 0x2c71(%rip), %rsi      # 0x74e8
leaq 0x2e13(%rip), %rcx      # 0x7691
movl $0x1b5, %edx            # imm = 0x1B5
callq 0x2190