// File: /workspace/github_cpp_makefile_star2_O1/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, 0x8(%rsp)
leaq 0x120(%rsp), %rbx
movq $0x0, (%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, %ebp
movq %rbp, 0x48(%rsp)
xorl %r13d, %r13d
leaq 0x20(%rsp), %rax
movq %rax, 0x10(%rsp)
leaq 0x10(%rsp), %r15
movq %r15, %rdi
leaq 0x1105d(%rip), %rdx     # 0x17197
movq %rdx, %rsi
callq 0xbc14
leaq 0x1b0(%rsp), %rdi
movq %r15, %rsi
movl $0x18, %edx
callq 0x5390
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x6173
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5250
movl $0x1, %edx
leaq 0x1c0(%rsp), %rdi
leaq 0x10f93(%rip), %rsi     # 0x1711a
callq 0x52c0
leaq 0x1c0(%rsp), %rdi
movq (%rsp), %rsi
callq 0x5190
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x10f6b(%rip), %rsi     # 0x1711a
callq 0x52c0
movq %r15, %rdi
movq %r13, %rsi
callq 0x5190
movl $0x28, %edi
callq 0x5240
movq %rax, %r12
leaq 0x10(%rsp), %r15
movq %r15, %rdi
leaq 0x1c8(%rsp), %rsi
callq 0x5380
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x11359(%rip), %rcx     # 0x1754e
callq 0x52a0
leaq 0x80(%rsp), %rsi
movq %rsi, 0x70(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6228
movq %rdx, 0x70(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x80(%rsp)
jmp 0x622e
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x78(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1a943(%rip), %rax     # 0x20b90
movq %rax, (%r12)
leaq 0x8(%r12), %rdi
movq %r12, %rax
addq $0x18, %rax
movq %rax, 0x8(%r12)
movq 0x70(%rsp), %rsi
movq 0x78(%rsp), %rdx
addq %rsi, %rdx
movb $0x1, %r15b
callq 0x7058
movq %r12, 0x30(%rsp)
xorl %r15d, %r15d
leaq 0x38(%rsp), %rdi
movq %r12, %rsi
callq 0x15a28
movaps 0x30(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x30(%rsp)
movq 0x120(%rsp,%rbp), %rdi
movups %xmm0, 0x118(%rsp,%rbp)
testq %rdi, %rdi
je 0x62b3
callq 0x12440
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x62c2
callq 0x12440
movq 0x70(%rsp), %rdi
leaq 0x80(%rsp), %rax
cmpq %rax, %rdi
je 0x62e4
movq 0x80(%rsp), %rsi
incq %rsi
callq 0x5250
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x6300
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5250
movl $0x28, %edi
callq 0x5240
movq %rax, %r12
leaq 0x10(%rsp), %r15
movq %r15, %rdi
leaq 0x1c8(%rsp), %rsi
callq 0x5380
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x1137e(%rip), %rcx     # 0x176b4
callq 0x52a0
leaq 0x60(%rsp), %rsi
movq %rsi, 0x50(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6363
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
jmp 0x6369
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x58(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1a808(%rip), %rax     # 0x20b90
movq %rax, (%r12)
leaq 0x8(%r12), %rdi
movq %r12, %rax
addq $0x18, %rax
movq %rax, 0x8(%r12)
movq 0x50(%rsp), %rsi
movq 0x58(%rsp), %rdx
addq %rsi, %rdx
movb $0x1, %r15b
callq 0x7058
movq %r12, 0x30(%rsp)
xorl %r15d, %r15d
leaq 0x38(%rsp), %rdi
movq %r12, %rsi
callq 0x15a28
movaps 0x30(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x30(%rsp)
movq 0x90(%rsp,%rbp), %rdi
movups %xmm0, 0x88(%rsp,%rbp)
testq %rdi, %rdi
je 0x63ee
callq 0x12440
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x63fd
callq 0x12440
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x6419
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x5250
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x6435
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5250
leaq 0x1b0(%rsp), %rdi
movq 0x1ab34(%rip), %rsi     # 0x20f78
callq 0x51d0
leaq 0x230(%rsp), %rdi
callq 0x5090
incq %r13
addq $0x10, %rbp
cmpq $0x3, %r13
jne 0x6121
movq (%rsp), %rcx
incq %rcx
movq 0x48(%rsp), %rbp
addq $0x30, %rbp
movq %rcx, (%rsp)
cmpq $0x3, %rcx
jne 0x6119
leaq 0x1b0(%rsp), %r12
leaq 0x120(%rsp), %rsi
leaq 0x90(%rsp), %rdx
movq %r12, %rdi
callq 0x6c41
movq $0x0, (%rsp)
movq %r12, 0x48(%rsp)
xorl %r13d, %r13d
movl $0x6, %edx
movq 0x8(%rsp), %rdi
leaq 0x10c56(%rip), %rsi     # 0x1711c
callq 0x52c0
movl $0x1, %edx
movq 0x8(%rsp), %rdi
leaq 0x10c3e(%rip), %rsi     # 0x1711a
callq 0x52c0
movq 0x8(%rsp), %rdi
movq (%rsp), %rsi
callq 0x5190
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x10c19(%rip), %rsi     # 0x1711a
callq 0x52c0
movq %r15, %rdi
movq %r13, %rsi
callq 0x5190
movq %rax, %r15
movl $0x3, %edx
movq %rax, %rdi
leaq 0x10c00(%rip), %rsi     # 0x17123
callq 0x52c0
movq (%r12), %rbp
testq %rbp, %rbp
je 0x6557
movq (%rbp), %rax
leaq 0x10(%rsp), %rdi
movq %rbp, %rsi
callq *0x10(%rax)
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq %r15, %rdi
callq 0x52c0
movq %rax, %r15
jmp 0x656b
movl $0x1, %edx
movq %r15, %rdi
leaq 0x114a1(%rip), %rsi     # 0x17a07
callq 0x52c0
testq %rbp, %rbp
je 0x658c
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x658c
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5250
movl $0x1, %edx
movq %r15, %rdi
leaq 0x10bfb(%rip), %rsi     # 0x17196
callq 0x52c0
incq %r13
addq $0x10, %r12
cmpq $0x3, %r13
jne 0x64b5
movq (%rsp), %rcx
incq %rcx
movq 0x48(%rsp), %r12
addq $0x30, %r12
movq %rcx, (%rsp)
cmpq $0x3, %rcx
jne 0x64ad
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 0x6600
callq 0x12440
addq $-0x10, %r12
cmpq $-0x30, %r12
jne 0x65f2
addq $-0x30, %rbx
addq $-0x30, %r14
cmpq %r15, %rbx
jne 0x65ef
leaq 0x120(%rsp), %rbx
leaq 0x118(%rsp), %r14
leaq 0x120(%rsp), %r12
xorl %r15d, %r15d
movq (%r14,%r15), %rdi
testq %rdi, %rdi
je 0x6640
callq 0x12440
addq $-0x10, %r15
cmpq $-0x30, %r15
jne 0x6632
addq $-0x30, %rbx
addq $-0x30, %r14
cmpq %r13, %rbx
jne 0x662f
leaq 0x1b0(%rsp), %rbx
leaq 0x1a8(%rsp), %r14
xorl %r15d, %r15d
movq (%r14,%r15), %rdi
testq %rdi, %rdi
je 0x6678
callq 0x12440
addq $-0x10, %r15
cmpq $-0x30, %r15
jne 0x666a
addq $-0x30, %rbx
addq $-0x30, %r14
cmpq %r12, %rbx
jne 0x6667
movb $0x1, %al
addq $0x338, %rsp            # imm = 0x338
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, 0x8(%rsp)
jmp 0x67ee
movq %rax, 0x8(%rsp)
testq %rbp, %rbp
je 0x67ae
leaq 0x10(%rsp), %rdi
callq 0x55c4
jmp 0x67ae
jmp 0x66f6
jmp 0x670d
movq %rax, %rbp
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x67f3
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5250
jmp 0x67f3
movq %rax, %rbp
movb $0x1, %r15b
jmp 0x6753
jmp 0x6783
jmp 0x6783
movq %rax, %rbp
jmp 0x67f3
movq %rax, %rbp
movb $0x1, %r15b
jmp 0x676f
movq %rax, %rbp
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x6753
movq 0x60(%rsp), %rsi
jmp 0x674b
movq %rax, %rbp
movq 0x70(%rsp), %rdi
leaq 0x80(%rsp), %rax
cmpq %rax, %rdi
je 0x6753
movq 0x80(%rsp), %rsi
incq %rsi
callq 0x5250
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x676f
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5250
testb %r15b, %r15b
je 0x6786
movl $0x28, %esi
movq %r12, %rdi
callq 0x5250
jmp 0x6786
movq %rax, %rbp
movq 0x1a7eb(%rip), %rsi     # 0x20f78
leaq 0x1b0(%rsp), %rdi
callq 0x51d0
leaq 0x230(%rsp), %rdi
callq 0x5090
jmp 0x67f3
movq %rax, 0x8(%rsp)
leaq 0x240(%rsp), %r15
leaq 0x238(%rsp), %r12
leaq 0x1b0(%rsp), %rbp
xorl %r13d, %r13d
movq (%r12,%r13), %rdi
testq %rdi, %rdi
je 0x67d7
callq 0x12440
addq $-0x10, %r13
cmpq $-0x30, %r13
jne 0x67c9
addq $-0x30, %r15
addq $-0x30, %r12
cmpq %rbp, %r15
jne 0x67c6
movq 0x8(%rsp), %rbp
leaq 0x120(%rsp), %r15
leaq 0x118(%rsp), %r12
xorl %r13d, %r13d
movq (%r12,%r13), %rdi
testq %rdi, %rdi
je 0x6814
callq 0x12440
addq $-0x10, %r13
cmpq $-0x30, %r13
jne 0x6806
addq $-0x30, %r15
addq $-0x30, %r12
cmpq %r14, %r15
jne 0x6803
leaq 0x1b0(%rsp), %r14
leaq 0x1a8(%rsp), %r15
xorl %r12d, %r12d
movq (%r15,%r12), %rdi
testq %rdi, %rdi
je 0x684c
callq 0x12440
addq $-0x10, %r12
cmpq $-0x30, %r12
jne 0x683e
addq $-0x30, %r14
addq $-0x30, %r15
cmpq %rbx, %r14
jne 0x683b
movq %rbp, %rdi
callq 0x53f0
nop