// File: /workspace/github_cpp_makefile_star2_O3/ef-gy[P]libefgy/src/test-case/tracer.cpp
// Function: testTracerMatrix(std::ostream&)
bool testTracerMatrix(std::ostream &log) {
  matrix<runtime, 3, 3> m1;
  matrix<runtime, 3, 3> m2;

  for (unsigned int i = 0; i < 3; i++) {
    for (unsigned int j = 0; j < 3; j++) {
      std::stringstream s("");
      s << "_" << i << "_" << j;

      m1[i][j] = std::shared_ptr<tracer<void, void, 0>>(
          new tracer<void, void, 0>("a" + s.str()));
      m2[i][j] = std::shared_ptr<tracer<void, void, 0>>(
          new tracer<void, void, 0>("b" + s.str()));
    }
  }

  matrix<runtime, 3, 3> m3 = m1 * m2;

  for (unsigned int i = 0; i < 3; i++) {
    for (unsigned int j = 0; j < 3; j++) {
      log << "result"
          << "_" << i << "_" << j << " = " << m3[i][j] << "\n";
    }
  }

  return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x338, %rsp            # imm = 0x338
movq %rdi, 0x20(%rsp)
leaq 0x120(%rsp), %rbx
movq $0x0, 0x28(%rsp)
movl $0x90, %edx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x5140
leaq 0x90(%rsp), %r14
movl $0x90, %edx
movq %r14, %rdi
xorl %esi, %esi
callq 0x5140
movl $0x8, %r12d
movq %r12, 0x88(%rsp)
xorl %ebp, %ebp
leaq 0x10(%rsp), %rax
movq %rax, (%rsp)
movq %rsp, %r15
movq %r15, %rdi
leaq 0x11167(%rip), %rdx     # 0x17197
movq %rdx, %rsi
callq 0xbb42
leaq 0x1b0(%rsp), %rdi
movq %r15, %rsi
movl $0x18, %edx
callq 0x5390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x6068
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
movl $0x1, %edx
leaq 0x1c0(%rsp), %rdi
leaq 0x1109e(%rip), %rsi     # 0x1711a
callq 0x52c0
leaq 0x1c0(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x5190
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x11075(%rip), %rsi     # 0x1711a
callq 0x52c0
movq %r15, %rdi
movq %rbp, %rsi
callq 0x5190
movl $0x28, %edi
callq 0x5240
movq %rax, %r13
movq %rsp, %r15
movq %r15, %rdi
leaq 0x1c8(%rsp), %rsi
callq 0x5380
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x11465(%rip), %rcx     # 0x1754e
callq 0x52a0
leaq 0x78(%rsp), %rsi
movq %rsi, 0x68(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6116
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x611c
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x70(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1aa55(%rip), %rax     # 0x20b90
movq %rax, (%r13)
leaq 0x8(%r13), %rdi
movq %r13, %rax
addq $0x18, %rax
movq %rax, 0x8(%r13)
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
addq %rsi, %rdx
movb $0x1, %r15b
callq 0x6f42
movq %r13, 0x30(%rsp)
xorl %r15d, %r15d
leaq 0x38(%rsp), %rdi
movq %r13, %rsi
callq 0x1592c
movaps 0x30(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x30(%rsp)
movq 0x120(%rsp,%r12), %rdi
movups %xmm0, 0x118(%rsp,%r12)
testq %rdi, %rdi
je 0x61af
callq 0x12344
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x61af
callq 0x12344
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x61cb
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x5250
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x61e6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
movl $0x28, %edi
callq 0x5240
movq %rax, %r13
movq %rsp, %r15
movq %r15, %rdi
leaq 0x1c8(%rsp), %rsi
callq 0x5380
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x1149a(%rip), %rcx     # 0x176b4
callq 0x52a0
leaq 0x58(%rsp), %rsi
movq %rsi, 0x48(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6247
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0x624d
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x50(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1a924(%rip), %rax     # 0x20b90
movq %rax, (%r13)
leaq 0x8(%r13), %rdi
movq %r13, %rax
addq $0x18, %rax
movq %rax, 0x8(%r13)
movq 0x48(%rsp), %rsi
movq 0x50(%rsp), %rdx
addq %rsi, %rdx
movb $0x1, %r15b
callq 0x6f42
movq %r13, 0x30(%rsp)
xorl %r15d, %r15d
leaq 0x38(%rsp), %rdi
movq %r13, %rsi
callq 0x1592c
movaps 0x30(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x30(%rsp)
movq 0x90(%rsp,%r12), %rdi
movups %xmm0, 0x88(%rsp,%r12)
testq %rdi, %rdi
je 0x62e0
callq 0x12344
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x62e0
callq 0x12344
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x62fc
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x5250
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x6317
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
leaq 0x1b0(%rsp), %rdi
movq 0x1ac52(%rip), %rsi     # 0x20f78
callq 0x51d0
leaq 0x230(%rsp), %rdi
callq 0x5090
incq %rbp
addq $0x10, %r12
cmpq $0x3, %rbp
jne 0x601a
movq 0x28(%rsp), %rcx
incq %rcx
movq 0x88(%rsp), %r12
addq $0x30, %r12
movq %rcx, 0x28(%rsp)
cmpq $0x3, %rcx
jne 0x6010
leaq 0x1b0(%rsp), %rbp
leaq 0x120(%rsp), %rsi
leaq 0x90(%rsp), %rdx
movq %rbp, %rdi
callq 0x6b1f
xorl %r12d, %r12d
movq %rbp, 0x28(%rsp)
xorl %r13d, %r13d
movl $0x6, %edx
movq 0x20(%rsp), %rdi
leaq 0x10d74(%rip), %rsi     # 0x1711c
callq 0x52c0
movl $0x1, %edx
movq 0x20(%rsp), %rdi
leaq 0x10d5c(%rip), %rsi     # 0x1711a
callq 0x52c0
movq 0x20(%rsp), %rdi
movq %r12, %rsi
callq 0x5190
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x10d38(%rip), %rsi     # 0x1711a
callq 0x52c0
movq %r15, %rdi
movq %r13, %rsi
callq 0x5190
movq %rax, %r15
movl $0x3, %edx
movq %rax, %rdi
leaq 0x10d1f(%rip), %rsi     # 0x17123
callq 0x52c0
movq (%rbp), %rsi
testq %rsi, %rsi
je 0x644c
movq (%rsi), %rax
movq %rsp, %rdi
callq *0x10(%rax)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x6460
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x6460
movl $0x1, %edx
movq %r15, %rdi
leaq 0x115ac(%rip), %rsi     # 0x17a07
callq 0x52c0
movl $0x1, %edx
movq %r15, %rdi
leaq 0x10d27(%rip), %rsi     # 0x17196
callq 0x52c0
incq %r13
addq $0x10, %rbp
cmpq $0x3, %r13
jne 0x6397
incq %r12
movq 0x28(%rsp), %rbp
addq $0x30, %rbp
cmpq $0x3, %r12
jne 0x638f
leaq 0x240(%rsp), %rbx
leaq 0x238(%rsp), %r14
leaq 0x1b0(%rsp), %r15
leaq 0x90(%rsp), %r13
xorl %r12d, %r12d
movq (%r14,%r12), %rdi
testq %rdi, %rdi
je 0x64cc
callq 0x12344
addq $-0x10, %r12
cmpq $-0x30, %r12
jne 0x64be
addq $-0x30, %rbx
addq $-0x30, %r14
cmpq %r15, %rbx
jne 0x64bb
leaq 0x120(%rsp), %rbx
leaq 0x118(%rsp), %r14
leaq 0x120(%rsp), %r12
xorl %r15d, %r15d
movq (%r14,%r15), %rdi
testq %rdi, %rdi
je 0x650c
callq 0x12344
addq $-0x10, %r15
cmpq $-0x30, %r15
jne 0x64fe
addq $-0x30, %rbx
addq $-0x30, %r14
cmpq %r13, %rbx
jne 0x64fb
leaq 0x1b0(%rsp), %rbx
leaq 0x1a8(%rsp), %r14
xorl %r15d, %r15d
movq (%r14,%r15), %rdi
testq %rdi, %rdi
je 0x6544
callq 0x12344
addq $-0x10, %r15
cmpq $-0x30, %r15
jne 0x6536
addq $-0x30, %rbx
addq $-0x30, %r14
cmpq %r12, %rbx
jne 0x6533
movb $0x1, %al
addq $0x338, %rsp            # imm = 0x338
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, 0x20(%rsp)
jmp 0x66d7
movq %rax, %r15
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x6597
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
movq %r15, 0x20(%rsp)
jmp 0x6696
jmp 0x65a5
jmp 0x65ff
movq %rax, %rbp
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x665c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x665c
movq %rax, %rbp
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x66dc
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x66dc
jmp 0x666b
jmp 0x666b
movq %rax, %rbp
jmp 0x66dc
movq %rax, %rbp
jmp 0x665c
movq %rax, %rbp
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x663c
movq 0x58(%rsp), %rsi
jmp 0x6634
movq %rax, %rbp
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x663c
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x5250
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x6657
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x5250
testb %r15b, %r15b
je 0x666e
movl $0x28, %esi
movq %r13, %rdi
callq 0x5250
jmp 0x666e
movq %rax, %rbp
movq 0x1a903(%rip), %rsi     # 0x20f78
leaq 0x1b0(%rsp), %rdi
callq 0x51d0
leaq 0x230(%rsp), %rdi
callq 0x5090
jmp 0x66dc
movq %rax, 0x20(%rsp)
leaq 0x240(%rsp), %r15
leaq 0x238(%rsp), %r13
leaq 0x1b0(%rsp), %rbp
xorl %r12d, %r12d
movq (%r13,%r12), %rdi
testq %rdi, %rdi
je 0x66c0
callq 0x12344
addq $-0x10, %r12
cmpq $-0x30, %r12
jne 0x66b1
addq $-0x30, %r15
addq $-0x30, %r13
cmpq %rbp, %r15
jne 0x66ae
movq 0x20(%rsp), %rbp
leaq 0x120(%rsp), %r15
leaq 0x118(%rsp), %r13
xorl %r12d, %r12d
movq (%r13,%r12), %rdi
testq %rdi, %rdi
je 0x66fe
callq 0x12344
addq $-0x10, %r12
cmpq $-0x30, %r12
jne 0x66ef
addq $-0x30, %r15
addq $-0x30, %r13
cmpq %r14, %r15
jne 0x66ec
leaq 0x1b0(%rsp), %r14
leaq 0x1a8(%rsp), %r15
xorl %r12d, %r12d
movq (%r15,%r12), %rdi
testq %rdi, %rdi
je 0x6736
callq 0x12344
addq $-0x10, %r12
cmpq $-0x30, %r12
jne 0x6728
addq $-0x30, %r14
addq $-0x30, %r15
cmpq %rbx, %r14
jne 0x6725
movq %rbp, %rdi
callq 0x53f0
nop