// File: /workspace/github_c_makefile_star2_O3/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 $0x38, %rsp
movl %edx, 0x24(%rsp)
movq %rdi, %rbp
testl %esi, %esi
je 0x43c3
callq 0x6548
testq %rax, %rax
je 0x4ad5
movq %rax, %r14
testq %rbp, %rbp
je 0x4972
movq %r14, (%rsp)
leaq 0x4465(%rip), %rbx      # 0x868c
leaq 0x4464(%rip), %r14      # 0x8692
movq %rbp, 0x10(%rsp)
movq (%rbp), %rbp
callq 0x6548
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0x4a59
testq %rbp, %rbp
je 0x439a
callq 0x64be
testq %rax, %rax
je 0x4a3a
movq %rax, %r13
movl 0x8(%rbp), %edx
movq %rax, %rdi
leaq 0x43d2(%rip), %rsi      # 0x8643
callq 0x6115
movq (%rbp), %r12
callq 0x6548
testq %rax, %rax
je 0x4a1b
movq %rax, %r15
movq %r13, 0x18(%rsp)
testq %r12, %r12
je 0x436d
callq 0x64be
testq %rax, %rax
je 0x49fc
movq %rax, %r13
movl 0x10(%r12), %edx
movq %rax, %rdi
leaq 0x43c6(%rip), %rsi      # 0x867f
callq 0x6115
movq %r12, %rdi
callq 0x3b54
movq %rax, %xmm1
movq 0x41dd(%rip), %xmm0     # 0x84b0
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movapd 0x41e1(%rip), %xmm0     # 0x84c0
subpd %xmm0, %xmm1
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
leaq 0x438e(%rip), %rsi      # 0x8687
callq 0x61b8
movsd 0x18(%r12), %xmm1
unpcklps 0x41a4(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x41ac(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
movq %rbx, %rsi
callq 0x61b8
movsd 0x20(%r12), %xmm1
unpcklps 0x4177(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x417f(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
movq %r14, %rsi
callq 0x61b8
movq %r15, %rdi
movq %r13, %rsi
callq 0x5d53
movq 0x28(%r12), %r12
jmp 0x4290
movq 0x18(%rsp), %r12
movq %r12, %rdi
leaq 0x42cf(%rip), %rsi      # 0x864b
movq %r15, %rdx
callq 0x5d84
movq 0x8(%rsp), %rdi
movq %r12, %rsi
callq 0x5d53
movq 0x10(%rbp), %rbp
jmp 0x424a
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
callq 0x5d53
movq 0x10(%rsp), %rbp
movq 0x8(%rbp), %rbp
testq %rbp, %rbp
jne 0x422e
movq (%rsp), %r14
jmp 0x4972
callq 0x64be
testq %rax, %rax
je 0x4b13
movq %rax, %r14
testq %rbp, %rbp
movq %rax, (%rsp)
je 0x454b
movq %rbp, %rax
movq (%rax), %rcx
testq %rcx, %rcx
je 0x4406
movq (%rcx), %rdx
testq %rdx, %rdx
je 0x4400
cmpl $0x0, 0x10(%rdx)
je 0x4416
movq 0x28(%rdx), %rdx
jmp 0x43ef
movq 0x10(%rcx), %rcx
jmp 0x43e7
movq 0x8(%rax), %rax
testq %rax, %rax
jne 0x43e4
movl $0x1, %edx
jmp 0x4418
xorl %edx, %edx
leaq 0x429e(%rip), %rsi      # 0x86bd
movq %r14, %rdi
callq 0x6115
movq %rbp, %rax
movq (%rax), %rcx
testq %rcx, %rcx
je 0x443e
cmpl $0x0, 0x8(%rcx)
je 0x444e
movq 0x10(%rcx), %rcx
jmp 0x442d
movq 0x8(%rax), %rax
testq %rax, %rax
jne 0x442a
movl $0x1, %edx
jmp 0x4450
xorl %edx, %edx
leaq 0x4271(%rip), %rsi      # 0x86c8
movq %r14, %rdi
callq 0x6115
movq %rbp, %rbx
movq (%rbx), %r14
movq (%r14), %rdi
callq 0x4db1
testq %rax, %rax
je 0x4af4
movq 0x10(%r14), %rcx
testq %rcx, %rcx
movq (%rsp), %r14
je 0x44ad
movq (%rcx), %rdx
testq %rdx, %rdx
je 0x44a4
movq %rax, %rsi
movq 0x20(%rdx), %rdi
cmpq (%rsi), %rdi
jne 0x44c5
addq $0x8, %rsi
movq 0x28(%rdx), %rdx
testq %rdx, %rdx
jne 0x448e
movq 0x10(%rcx), %rcx
testq %rcx, %rcx
jne 0x4483
movq %rax, %rdi
callq 0x2428
movq 0x8(%rbx), %rbx
testq %rbx, %rbx
jne 0x4462
movl $0x1, %edx
jmp 0x44cf
movq %rax, %rdi
callq 0x2428
xorl %edx, %edx
leaq 0x41fd(%rip), %rsi      # 0x86d3
movq %r14, %rdi
callq 0x6115
xorl %eax, %eax
movq %rbp, %rcx
incl %eax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x44e3
movl %eax, %eax
cvtsi2sd %rax, %xmm0
leaq 0x406b(%rip), %rsi      # 0x8567
movq %r14, %rdi
callq 0x61b8
xorl %eax, %eax
movq %rbp, %rcx
movq (%rcx), %rdx
xorl %esi, %esi
testq %rdx, %rdx
je 0x451c
incq %rsi
movq 0x10(%rdx), %rdx
jmp 0x450e
addq %rsi, %rax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x4509
movq %rax, %xmm1
punpckldq 0x3f7b(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3f83(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
jmp 0x459e
leaq 0x416b(%rip), %rsi      # 0x86bd
movq %r14, %rdi
movl $0x1, %edx
callq 0x6115
leaq 0x4162(%rip), %rsi      # 0x86c8
movq %r14, %rdi
movl $0x1, %edx
callq 0x6115
leaq 0x4159(%rip), %rsi      # 0x86d3
movq %r14, %rdi
movl $0x1, %edx
callq 0x6115
leaq 0x3fd9(%rip), %rsi      # 0x8567
xorpd %xmm0, %xmm0
movq %r14, %rdi
callq 0x61b8
xorpd %xmm0, %xmm0
leaq 0x4137(%rip), %rsi      # 0x86dc
movq %r14, %rdi
callq 0x61b8
movq %rbp, %rdi
callq 0x4b51
movq %rax, %xmm1
punpckldq 0x3eee(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3ef6(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
leaq 0x410a(%rip), %rsi      # 0x86e7
movq %r14, %rdi
callq 0x61b8
movq %rbp, %rdi
callq 0x4b51
testq %rbp, %rbp
je 0x46bc
xorl %edx, %edx
movq %rbp, %rsi
xorl %ecx, %ecx
movq (%rsi), %r8
xorl %edi, %edi
testq %r8, %r8
je 0x4610
incq %rdi
movq 0x10(%r8), %r8
jmp 0x4602
subq %rax, %rdi
imulq %rdi, %rdi
addq %rdi, %rdx
incl %ecx
movq 0x8(%rsi), %rsi
testq %rsi, %rsi
jne 0x45fd
movq %rdx, %xmm0
punpckldq 0x3e7e(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x3e86(%rip), %xmm0     # 0x84c0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movl %ecx, %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd %xmm0, %xmm1
xorps %xmm0, %xmm0
sqrtsd %xmm1, %xmm0
leaq 0x408e(%rip), %rsi      # 0x86f0
movq %r14, %rdi
callq 0x61b8
xorl %r14d, %r14d
leaq 0x28(%rsp), %rbx
movq %rbp, %r15
movq (%r15), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movq %rbx, %rdx
callq 0x4df6
cmpq %r14, %rax
cmovaq %rax, %r14
movq 0x8(%r15), %r15
testq %r15, %r15
jne 0x4675
movq %r14, %xmm1
punpckldq 0x3e0e(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3e16(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq (%rsp), %r14
jmp 0x46da
xorps %xmm0, %xmm0
sqrtsd 0x3e19(%rip), %xmm0     # 0x84e0
leaq 0x4022(%rip), %rsi      # 0x86f0
movq %r14, %rdi
callq 0x61b8
xorpd %xmm0, %xmm0
leaq 0x3fa6(%rip), %rsi      # 0x8687
movq %r14, %rdi
callq 0x61b8
movq %rbp, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x4b90
leaq 0x3ffe(%rip), %rsi      # 0x86fb
movq %r14, %rdi
callq 0x61b8
movq %rbp, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x4c3f
leaq 0x3fee(%rip), %rsi      # 0x8707
movq %r14, %rdi
callq 0x61b8
callq 0x6548
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0x4b32
movq (%rbp), %rax
movq (%rax), %rax
testq %rax, %rax
je 0x495a
xorl %r15d, %r15d
movl $0x1, %r14d
movq %rbp, 0x10(%rsp)
movq %r15, %r13
movq %rax, 0x18(%rsp)
callq 0x64be
movq %rax, %r12
movq (%rbp), %rax
movq (%rax), %rbp
testq %rbp, %rbp
je 0x4a97
xorl %r15d, %r15d
xorl %eax, %eax
leal 0x1(%r15), %ebx
leaq (,%rbx,8), %rsi
movq %rax, %rdi
callq 0x2438
movq 0x18(%rbp), %rcx
movl %r15d, %edx
movq %rcx, (%rax,%rdx,8)
movq 0x28(%rbp), %rbp
movl %ebx, %r15d
testq %rbp, %rbp
jne 0x4777
movq %r13, %r15
movl %r15d, %ebp
movl (%rax,%rbp,8), %ebx
movq %rax, %rdi
callq 0x2428
xorps %xmm0, %xmm0
cvtsi2sd %rbx, %xmm0
movq %r12, %r13
movq %r12, %rdi
leaq 0x3ec4(%rip), %rsi      # 0x868c
callq 0x61b8
movq 0x10(%rsp), %r12
movq (%r12), %rax
movq (%rax), %rdi
callq 0x4db1
testq %rax, %rax
je 0x4a78
movl (%rax,%rbp,8), %ebx
movq %rax, %rdi
callq 0x2428
xorps %xmm0, %xmm0
cvtsi2sd %rbx, %xmm0
movq %r13, %rdi
leaq 0x3e8e(%rip), %rsi      # 0x8692
callq 0x61b8
movq %r12, %rcx
xorl %eax, %eax
movq %r12, %rbp
movq (%rcx), %rdx
xorl %esi, %esi
testq %rdx, %rdx
je 0x4847
movq (%rdx), %rdi
testq %rdi, %rdi
je 0x49be
movl %r14d, %r8d
decl %r8d
je 0x483d
movq 0x28(%rdi), %rdi
testq %rdi, %rdi
jne 0x482a
jmp 0x49be
addq 0x18(%rdi), %rsi
movq 0x10(%rdx), %rdx
jmp 0x4816
addq %rsi, %rax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x4811
movq %rax, %xmm1
punpckldq 0x3c50(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3c58(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
leaq 0x3e97(%rip), %rsi      # 0x8715
callq 0x61b8
movq %rbp, %rcx
xorl %eax, %eax
movq (%rcx), %rdx
xorl %esi, %esi
testq %rdx, %rdx
je 0x48be
movq (%rdx), %rdi
testq %rdi, %rdi
je 0x49dd
movl %r14d, %r8d
decl %r8d
je 0x48b4
movq 0x28(%rdi), %rdi
testq %rdi, %rdi
jne 0x48a1
jmp 0x49dd
addq 0x20(%rdi), %rsi
movq 0x10(%rdx), %rdx
jmp 0x488d
addq %rsi, %rax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x4888
movq %rax, %xmm1
punpckldq 0x3bd9(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3be1(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
leaq 0x3e2b(%rip), %rsi      # 0x8720
callq 0x61b8
movq %rbp, %rdi
movl %r15d, %esi
callq 0x4b90
movq %r13, %rdi
leaq 0x3dec(%rip), %rsi      # 0x86fb
callq 0x61b8
movq %rbp, %rdi
movl %r15d, %esi
callq 0x4c3f
movq %r13, %rdi
leaq 0x3dde(%rip), %rsi      # 0x8707
callq 0x61b8
movq 0x8(%rsp), %rdi
leaq 0x3d11(%rip), %rsi      # 0x864b
movq %r13, %rdx
callq 0x5d84
incl %r15d
movq 0x18(%rsp), %rax
movq 0x28(%rax), %rax
incl %r14d
testq %rax, %rax
jne 0x4752
leaq 0x3cea(%rip), %rsi      # 0x864b
movq (%rsp), %r14
movq %r14, %rdi
movq 0x8(%rsp), %rdx
callq 0x5d84
cmpl $0x0, 0x24(%rsp)
je 0x4983
movq %r14, %rdi
callq 0x5539
jmp 0x498b
movq %r14, %rdi
callq 0x5654
movq %rax, %rbx
testq %rax, %rax
je 0x4ab6
movq %rbx, %rdi
callq 0x2340
movq %r14, %rdi
callq 0x4fa4
movq %rbx, %rdi
callq 0x2428
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x38b2(%rip), %rdi      # 0x8277
leaq 0x3b24(%rip), %rsi      # 0x84f0
leaq 0x3e64(%rip), %rcx      # 0x8837
movl $0x71, %edx
callq 0x2190
leaq 0x3893(%rip), %rdi      # 0x8277
leaq 0x3b05(%rip), %rsi      # 0x84f0
leaq 0x3e7b(%rip), %rcx      # 0x886d
movl $0x91, %edx
callq 0x2190
leaq 0x3b0c(%rip), %rdi      # 0x850f
leaq 0x3ae6(%rip), %rsi      # 0x84f0
leaq 0x3c48(%rip), %rcx      # 0x8659
movl $0x1d0, %edx            # imm = 0x1D0
callq 0x2190
leaq 0x3c2e(%rip), %rdi      # 0x8650
leaq 0x3ac7(%rip), %rsi      # 0x84f0
leaq 0x3c29(%rip), %rcx      # 0x8659
movl $0x1cc, %edx            # imm = 0x1CC
callq 0x2190
leaq 0x3bfd(%rip), %rdi      # 0x863e
leaq 0x3aa8(%rip), %rsi      # 0x84f0
leaq 0x3bc7(%rip), %rcx      # 0x8616
movl $0x1e3, %edx            # imm = 0x1E3
callq 0x2190
leaq 0x3bac(%rip), %rdi      # 0x860c
leaq 0x3a89(%rip), %rsi      # 0x84f0
leaq 0x3ba8(%rip), %rcx      # 0x8616
movl $0x1df, %edx            # imm = 0x1DF
callq 0x2190
leaq 0x3cad(%rip), %rdi      # 0x872c
leaq 0x3a6a(%rip), %rsi      # 0x84f0
leaq 0x3d67(%rip), %rcx      # 0x87f4
movl $0x14d, %edx            # imm = 0x14D
callq 0x2190
leaq 0x3c8e(%rip), %rdi      # 0x872c
leaq 0x3a4b(%rip), %rsi      # 0x84f0
leaq 0x3d06(%rip), %rcx      # 0x87b2
movl $0x142, %edx            # imm = 0x142
callq 0x2190
leaq 0x3aec(%rip), %rdi      # 0x85a9
leaq 0x3a2c(%rip), %rsi      # 0x84f0
leaq 0x3ab3(%rip), %rcx      # 0x857e
movl $0x273, %edx            # imm = 0x273
callq 0x2190
leaq 0x3af9(%rip), %rdi      # 0x85d5
leaq 0x3a0d(%rip), %rsi      # 0x84f0
leaq 0x3af7(%rip), %rcx      # 0x85e1
movl $0x1f0, %edx            # imm = 0x1F0
callq 0x2190
leaq 0x3c31(%rip), %rdi      # 0x872c
leaq 0x39ee(%rip), %rsi      # 0x84f0
leaq 0x3c2b(%rip), %rcx      # 0x8734
movl $0x159, %edx            # imm = 0x159
callq 0x2190
leaq 0x3abb(%rip), %rdi      # 0x85d5
leaq 0x39cf(%rip), %rsi      # 0x84f0
leaq 0x3b71(%rip), %rcx      # 0x8699
movl $0x1a7, %edx            # imm = 0x1A7
callq 0x2190
leaq 0x3b17(%rip), %rdi      # 0x8650
leaq 0x39b0(%rip), %rsi      # 0x84f0
leaq 0x3b52(%rip), %rcx      # 0x8699
movl $0x1b5, %edx            # imm = 0x1B5
callq 0x2190