// File: /workspace/github_c_makefile_star2_O1/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, %ebp
movq %rdi, %r14
testl %esi, %esi
je 0x43d7
callq 0x66c2
testq %rax, %rax
je 0x4b7b
movq %rax, %r15
testq %r14, %r14
je 0x4a1e
movl %ebp, 0x4(%rsp)
leaq 0x4458(%rip), %rbx      # 0x868c
movq %r14, %rax
leaq 0x4454(%rip), %r14      # 0x8692
movq %r15, 0x18(%rsp)
movq %rax, 0x8(%rsp)
movq (%rax), %rbp
callq 0x66c2
movq %rax, 0x20(%rsp)
testq %rax, %rax
je 0x4aff
testq %rbp, %rbp
je 0x43ae
callq 0x6638
testq %rax, %rax
je 0x4ae0
movq %rax, %r13
movl 0x8(%rbp), %edx
movq %rax, %rdi
leaq 0x43be(%rip), %rsi      # 0x8643
callq 0x628f
movq (%rbp), %r12
callq 0x66c2
testq %rax, %rax
je 0x4ac1
movq %rax, %r15
movq %r13, 0x10(%rsp)
testq %r12, %r12
je 0x4381
callq 0x6638
testq %rax, %rax
je 0x4a64
movq %rax, %r13
movl 0x10(%r12), %edx
movq %rax, %rdi
leaq 0x43b2(%rip), %rsi      # 0x867f
callq 0x628f
movq %r12, %rdi
callq 0x3b60
movq %rax, %xmm1
movq 0x41c9(%rip), %xmm0     # 0x84b0
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movapd 0x41cd(%rip), %xmm0     # 0x84c0
subpd %xmm0, %xmm1
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
leaq 0x437a(%rip), %rsi      # 0x8687
callq 0x6332
movsd 0x18(%r12), %xmm1
unpcklps 0x4190(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x4198(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
movq %rbx, %rsi
callq 0x6332
movsd 0x20(%r12), %xmm1
unpcklps 0x4163(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x416b(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %r13, %rdi
movq %r14, %rsi
callq 0x6332
movq %r15, %rdi
movq %r13, %rsi
callq 0x5eaa
movq 0x28(%r12), %r12
jmp 0x42a4
movq 0x10(%rsp), %r12
movq %r12, %rdi
leaq 0x42bb(%rip), %rsi      # 0x864b
movq %r15, %rdx
callq 0x5edb
movq 0x20(%rsp), %rdi
movq %r12, %rsi
callq 0x5eaa
movq 0x10(%rbp), %rbp
jmp 0x425e
movq 0x18(%rsp), %r15
movq %r15, %rdi
movq 0x20(%rsp), %rsi
callq 0x5eaa
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
testq %rax, %rax
jne 0x4243
jmp 0x4a1a
callq 0x6638
testq %rax, %rax
je 0x4b9a
movq %rax, %r12
testq %r14, %r14
sete %bl
movq %r14, 0x8(%rsp)
je 0x448b
movl %ebx, %ecx
movq %r14, %rax
movq (%rax), %rsi
testq %rsi, %rsi
sete %dl
je 0x442c
movq (%rsi), %rdi
testq %rdi, %rdi
sete %r8b
je 0x4421
cmpl $0x0, 0x10(%rdi)
je 0x442c
movq 0x28(%rdi), %rdi
jmp 0x440c
testb %r8b, %r8b
je 0x442c
movq 0x10(%rsi), %rsi
jmp 0x4401
testb $0x1, %dl
je 0x443d
movq 0x8(%rax), %rax
testq %rax, %rax
sete %cl
jne 0x43fe
movzbl %cl, %edx
andl $0x1, %edx
leaq 0x4273(%rip), %rsi      # 0x86bd
movq %r12, %rdi
callq 0x628f
testq %r14, %r14
je 0x455b
movl %ebx, %eax
movq %r14, %rcx
movq (%rcx), %rdx
testq %rdx, %rdx
sete %sil
je 0x4478
cmpl $0x0, 0x8(%rdx)
je 0x44a1
movq 0x10(%rdx), %rdx
jmp 0x4463
testb %sil, %sil
je 0x44a1
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
sete %al
jne 0x4460
jmp 0x44a1
leaq 0x422b(%rip), %rsi      # 0x86bd
movq %r12, %rdi
movl $0x1, %edx
callq 0x628f
movb $0x1, %al
movzbl %al, %edx
andl $0x1, %edx
leaq 0x421a(%rip), %rsi      # 0x86c8
movq %r12, %rdi
callq 0x628f
testq %r14, %r14
je 0x4541
movq (%r14), %r15
movq (%r15), %rdi
callq 0x4e6c
testq %rax, %rax
je 0x4bd8
movq %rax, %rcx
addq $0x8, %rcx
movq 0x10(%r15), %r15
testq %r15, %r15
je 0x4521
movq (%r15), %rdx
testq %rdx, %rdx
sete %dil
je 0x451a
movq 0x20(%rdx), %rdi
movq %rcx, %rsi
cmpq (%rax), %rdi
jne 0x4537
movq 0x28(%rdx), %rdx
testq %rdx, %rdx
sete %dil
je 0x451a
movq 0x20(%rdx), %rdi
leaq 0x8(%rsi), %r8
cmpq (%rsi), %rdi
movq %r8, %rsi
je 0x44fb
jmp 0x4537
testb %dil, %dil
jne 0x44da
jmp 0x4537
movq %rax, %rdi
callq 0x2438
movq 0x8(%r14), %r14
testq %r14, %r14
sete %bl
jne 0x44bf
jmp 0x4571
movq %rax, %rdi
callq 0x2438
jmp 0x4571
leaq 0x418b(%rip), %rsi      # 0x86d3
movq %r12, %rdi
movl $0x1, %edx
callq 0x628f
xorpd %xmm0, %xmm0
jmp 0x45a7
leaq 0x4166(%rip), %rsi      # 0x86c8
movq %r12, %rdi
movl $0x1, %edx
callq 0x628f
movb $0x1, %bl
movzbl %bl, %edx
andl $0x1, %edx
leaq 0x4155(%rip), %rsi      # 0x86d3
movq %r12, %rdi
callq 0x628f
movq 0x8(%rsp), %r14
testq %r14, %r14
je 0x4602
xorl %eax, %eax
movq %r14, %rcx
incl %eax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x4595
movl %eax, %eax
cvtsi2sd %rax, %xmm0
leaq 0x3fb9(%rip), %rsi      # 0x8567
movq %r12, %rdi
callq 0x6332
testq %r14, %r14
je 0x4615
xorl %eax, %eax
movq %r14, %rcx
movq (%rcx), %rdx
xorl %esi, %esi
testq %rdx, %rdx
je 0x45d3
incq %rsi
movq 0x10(%rdx), %rdx
jmp 0x45c5
addq %rsi, %rax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x45c0
movq %rax, %xmm1
punpckldq 0x3ec4(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3ecc(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
jmp 0x4619
leaq 0x3f5e(%rip), %rsi      # 0x8567
xorpd %xmm0, %xmm0
movq %r12, %rdi
callq 0x6332
xorpd %xmm0, %xmm0
leaq 0x40bc(%rip), %rsi      # 0x86dc
movq %r12, %rdi
callq 0x6332
movq %r14, %rdi
callq 0x4bf7
movq %rax, %xmm1
punpckldq 0x3e73(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3e7b(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
leaq 0x408f(%rip), %rsi      # 0x86e7
movq %r12, %rdi
callq 0x6332
movq %r14, %rdi
callq 0x4bf7
testq %r14, %r14
movl %ebp, 0x4(%rsp)
je 0x46df
xorl %edx, %edx
movq %r14, %rsi
xorl %ecx, %ecx
movq (%rsi), %r8
xorl %edi, %edi
testq %r8, %r8
je 0x468b
incq %rdi
movq 0x10(%r8), %r8
jmp 0x467d
subq %rax, %rdi
imulq %rdi, %rdi
addq %rdi, %rdx
incl %ecx
movq 0x8(%rsi), %rsi
testq %rsi, %rsi
jne 0x4678
movq %rdx, %xmm1
punpckldq 0x3e03(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3e0b(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movl %ecx, %eax
xorps %xmm1, %xmm1
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x4701
sqrtsd %xmm0, %xmm0
jmp 0x4706
movsd 0x3df9(%rip), %xmm0     # 0x84e0
callq 0x21d0
leaq 0x3ffd(%rip), %rsi      # 0x86f0
movq %r12, %rdi
callq 0x6332
xorpd %xmm0, %xmm0
jmp 0x476f
callq 0x21d0
leaq 0x3fe3(%rip), %rsi      # 0x86f0
movq %r12, %rdi
callq 0x6332
testq %r14, %r14
xorpd %xmm0, %xmm0
je 0x476f
movq %r14, %r15
xorl %r14d, %r14d
leaq 0x28(%rsp), %rbx
movq (%r15), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movq %rbx, %rdx
callq 0x4eb1
cmpq %r14, %rax
cmovaq %rax, %r14
movq 0x8(%r15), %r15
testq %r15, %r15
jne 0x4729
movq %r14, %xmm1
punpckldq 0x3d5a(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3d62(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq 0x8(%rsp), %r14
leaq 0x3f11(%rip), %rsi      # 0x8687
movq %r12, %rdi
callq 0x6332
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x4c3a
leaq 0x3f69(%rip), %rsi      # 0x86fb
movq %r12, %rdi
callq 0x6332
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x4ce9
leaq 0x3f59(%rip), %rsi      # 0x8707
movq %r12, 0x18(%rsp)
movq %r12, %rdi
callq 0x6332
callq 0x66c2
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x4bb9
movq (%r14), %rax
movq (%rax), %rbx
testq %rbx, %rbx
je 0x4a01
xorl %r12d, %r12d
callq 0x6638
movq %rax, %rbp
movq (%r14), %rax
movq (%rax), %r14
testq %r14, %r14
je 0x4825
xorl %r13d, %r13d
xorl %eax, %eax
leal 0x1(%r13), %r15d
leaq (,%r15,8), %rsi
movq %rax, %rdi
callq 0x2448
movq 0x18(%r14), %rcx
movl %r13d, %edx
movq %rcx, (%rax,%rdx,8)
movq 0x28(%r14), %r14
movl %r15d, %r13d
testq %r14, %r14
jne 0x47f8
jmp 0x4827
xorl %eax, %eax
testq %rax, %rax
je 0x4b1e
movl %r12d, %r14d
movl (%rax,%r14,8), %r15d
movq %rax, %rdi
callq 0x2438
xorps %xmm0, %xmm0
cvtsi2sd %r15, %xmm0
movq %rbp, %rdi
leaq 0x3e3b(%rip), %rsi      # 0x868c
callq 0x6332
movq 0x8(%rsp), %r15
movq (%r15), %rax
movq (%rax), %rdi
callq 0x4e6c
testq %rax, %rax
je 0x4b3d
movl (%rax,%r14,8), %r14d
movq %rax, %rdi
callq 0x2438
xorps %xmm0, %xmm0
cvtsi2sd %r14, %xmm0
movq %rbp, %rdi
leaq 0x3e05(%rip), %rsi      # 0x8692
callq 0x6332
movq %r15, %rcx
xorl %eax, %eax
movq %r15, %r14
movq (%rcx), %rdx
xorl %esi, %esi
testq %rdx, %rdx
je 0x48e3
movq (%rdx), %rdi
testq %rdi, %rdi
sete %r10b
je 0x48d1
movl %r12d, %r9d
testl %r12d, %r12d
je 0x48ca
movq 0x28(%rdi), %rdi
testq %rdi, %rdi
sete %r10b
je 0x48d1
decl %r9d
jne 0x48b8
movq 0x18(%rdi), %r8
xorl %r10d, %r10d
testb %r10b, %r10b
jne 0x4a83
addq %r8, %rsi
movq 0x10(%rdx), %rdx
jmp 0x489f
addq %rsi, %rax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x489a
movq %rax, %xmm1
punpckldq 0x3bb4(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3bbc(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %rbp, %rdi
leaq 0x3dfb(%rip), %rsi      # 0x8715
callq 0x6332
movq %r14, %rcx
xorl %eax, %eax
movq (%rcx), %rdx
xorl %esi, %esi
testq %rdx, %rdx
je 0x496d
movq (%rdx), %rdi
testq %rdi, %rdi
sete %r10b
je 0x495b
movl %r12d, %r9d
testl %r12d, %r12d
je 0x4954
movq 0x28(%rdi), %rdi
testq %rdi, %rdi
sete %r10b
je 0x495b
decl %r9d
jne 0x4942
movq 0x20(%rdi), %r8
xorl %r10d, %r10d
testb %r10b, %r10b
jne 0x4aa2
addq %r8, %rsi
movq 0x10(%rdx), %rdx
jmp 0x4929
addq %rsi, %rax
movq 0x8(%rcx), %rcx
testq %rcx, %rcx
jne 0x4924
movq %rax, %xmm1
punpckldq 0x3b2a(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x3b32(%rip), %xmm1     # 0x84c0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movq %rbp, %rdi
leaq 0x3d7c(%rip), %rsi      # 0x8720
callq 0x6332
movq %r14, %rdi
movl %r12d, %esi
callq 0x4c3a
movq %rbp, %rdi
leaq 0x3d3d(%rip), %rsi      # 0x86fb
callq 0x6332
movq %r14, %rdi
movl %r12d, %esi
callq 0x4ce9
movq %rbp, %rdi
leaq 0x3d2f(%rip), %rsi      # 0x8707
callq 0x6332
movq 0x10(%rsp), %rdi
leaq 0x3c62(%rip), %rsi      # 0x864b
movq %rbp, %rdx
callq 0x5edb
incl %r12d
movq 0x28(%rbx), %rbx
testq %rbx, %rbx
jne 0x47e0
leaq 0x3c43(%rip), %rsi      # 0x864b
movq 0x18(%rsp), %r15
movq %r15, %rdi
movq 0x10(%rsp), %rdx
callq 0x5edb
movl 0x4(%rsp), %ebp
movq %r15, %rdi
testl %ebp, %ebp
je 0x4a2c
callq 0x568e
jmp 0x4a31
callq 0x57ba
movq %rax, %rbx
testq %rax, %rax
je 0x4b5c
movq %rbx, %rdi
callq 0x2350
movq %r15, %rdi
callq 0x506a
movq %rbx, %rdi
callq 0x2438
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x3aa4(%rip), %rdi      # 0x850f
leaq 0x3a7e(%rip), %rsi      # 0x84f0
leaq 0x3be0(%rip), %rcx      # 0x8659
movl $0x1d0, %edx            # imm = 0x1D0
callq 0x2190
leaq 0x37ed(%rip), %rdi      # 0x8277
leaq 0x3a5f(%rip), %rsi      # 0x84f0
leaq 0x3d9f(%rip), %rcx      # 0x8837
movl $0x71, %edx
callq 0x2190
leaq 0x37ce(%rip), %rdi      # 0x8277
leaq 0x3a40(%rip), %rsi      # 0x84f0
leaq 0x3db6(%rip), %rcx      # 0x886d
movl $0x91, %edx
callq 0x2190
leaq 0x3b88(%rip), %rdi      # 0x8650
leaq 0x3a21(%rip), %rsi      # 0x84f0
leaq 0x3b83(%rip), %rcx      # 0x8659
movl $0x1cc, %edx            # imm = 0x1CC
callq 0x2190
leaq 0x3b57(%rip), %rdi      # 0x863e
leaq 0x3a02(%rip), %rsi      # 0x84f0
leaq 0x3b21(%rip), %rcx      # 0x8616
movl $0x1e3, %edx            # imm = 0x1E3
callq 0x2190
leaq 0x3b06(%rip), %rdi      # 0x860c
leaq 0x39e3(%rip), %rsi      # 0x84f0
leaq 0x3b02(%rip), %rcx      # 0x8616
movl $0x1df, %edx            # imm = 0x1DF
callq 0x2190
leaq 0x3c07(%rip), %rdi      # 0x872c
leaq 0x39c4(%rip), %rsi      # 0x84f0
leaq 0x3c7f(%rip), %rcx      # 0x87b2
movl $0x142, %edx            # imm = 0x142
callq 0x2190
leaq 0x3be8(%rip), %rdi      # 0x872c
leaq 0x39a5(%rip), %rsi      # 0x84f0
leaq 0x3ca2(%rip), %rcx      # 0x87f4
movl $0x14d, %edx            # imm = 0x14D
callq 0x2190
leaq 0x3a46(%rip), %rdi      # 0x85a9
leaq 0x3986(%rip), %rsi      # 0x84f0
leaq 0x3a0d(%rip), %rcx      # 0x857e
movl $0x273, %edx            # imm = 0x273
callq 0x2190
leaq 0x3a53(%rip), %rdi      # 0x85d5
leaq 0x3967(%rip), %rsi      # 0x84f0
leaq 0x3a51(%rip), %rcx      # 0x85e1
movl $0x1f0, %edx            # imm = 0x1F0
callq 0x2190
leaq 0x3a34(%rip), %rdi      # 0x85d5
leaq 0x3948(%rip), %rsi      # 0x84f0
leaq 0x3aea(%rip), %rcx      # 0x8699
movl $0x1a7, %edx            # imm = 0x1A7
callq 0x2190
leaq 0x3a90(%rip), %rdi      # 0x8650
leaq 0x3929(%rip), %rsi      # 0x84f0
leaq 0x3acb(%rip), %rcx      # 0x8699
movl $0x1b5, %edx            # imm = 0x1B5
callq 0x2190
leaq 0x3b4d(%rip), %rdi      # 0x872c
leaq 0x390a(%rip), %rsi      # 0x84f0
leaq 0x3b47(%rip), %rcx      # 0x8734
movl $0x159, %edx            # imm = 0x159
callq 0x2190