// File: /workspace/github_cpp_makefile_star2_O3/aronszanto[P]strassen/main.cpp
// Function: testConvMult()
void testConvMult(){
    Matrix* A = new Matrix();
    initMatrix(A,3);
    Matrix* B = new Matrix();
    initMatrix(B,3);
    Matrix* C = new Matrix();
    initMatrix(C,3);
    Matrix* D = new Matrix();
    initMatrix(D,3);

    A->matrix = {{1, 2, -3}, {1, 3, 0}, {2, -1, 1}};
    B->matrix = {{2, 1, 0}, {-2, -1, 1}, {2, 1, -3}};
    C->matrix = {{-8, -4, 11}, {-4, -2, 3}, {8, 4, -4}};
    
    convMult(A,B,D,0,0,0,0,0,0,3);
 
    assert(isEqual(D, C));
    free(A);
    free(B);
    free(C);
    cout << "all conventional tests pass" << endl;

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movl $0x20, %edi
callq 0x21b0
movq %rax, %rbx
xorps %xmm0, %xmm0
movaps %xmm0, (%rax)
movaps %xmm0, 0x10(%rax)
movq %rax, %rdi
movl $0x3, %esi
callq 0x245c
movl $0x20, %edi
callq 0x21b0
movq %rax, %r14
xorps %xmm0, %xmm0
movaps %xmm0, (%rax)
movaps %xmm0, 0x10(%rax)
movq %rax, %rdi
movl $0x3, %esi
callq 0x245c
movl $0x20, %edi
callq 0x21b0
movq %rax, %r15
xorps %xmm0, %xmm0
movaps %xmm0, (%rax)
movaps %xmm0, 0x10(%rax)
movq %rax, %rdi
movl $0x3, %esi
callq 0x245c
movl $0x20, %edi
callq 0x21b0
movq %rax, %rbp
xorps %xmm0, %xmm0
movaps %xmm0, (%rax)
movaps %xmm0, 0x10(%rax)
movq %rax, %rdi
movl $0x3, %esi
callq 0x245c
movabsq $0x200000001, %rax      # imm = 0x200000001
leaq 0x7c(%rsp), %rsi
movq %rax, (%rsi)
movl $0xfffffffd, 0x8(%rsi)  # imm = 0xFFFFFFFD
leaq 0x8(%rsp), %r13
leaq 0x7(%rsp), %rcx
movl $0x3, %edx
movq %r13, %rdi
callq 0x796c
leaq 0x20(%rsp), %r12
movabsq $0x300000001, %rax      # imm = 0x300000001
leaq 0x70(%rsp), %rsi
movq %rax, (%rsi)
movl $0x0, 0x8(%rsi)
leaq 0x6(%rsp), %rcx
movl $0x3, %edx
movq %r12, %rdi
callq 0x796c
leaq 0x38(%rsp), %r12
movabsq $-0xfffffffe, %rax      # imm = 0xFFFFFFFF00000002
leaq 0x64(%rsp), %rsi
movq %rax, (%rsi)
movl $0x1, 0x8(%rsi)
leaq 0x5(%rsp), %rcx
movl $0x3, %edx
movq %r12, %rdi
callq 0x796c
movq %rbp, 0x50(%rsp)
movq %rbx, 0x58(%rsp)
leaq 0x8(%rbx), %rdi
leaq 0x50(%rsp), %rdx
leaq 0x8(%rsp), %rsi
callq 0x80d6
movq %r14, %rbp
addq $0x8, %rbp
movq %r15, %r13
addq $0x8, %r13
movl $0x30, %ebx
movq 0x8(%rsp,%rbx), %rdi
testq %rdi, %rdi
je 0x4015
callq 0x2190
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x4006
movabsq $0x100000002, %r12      # imm = 0x100000002
leaq 0x7c(%rsp), %rsi
movq %r12, (%rsi)
movl $0x0, 0x8(%rsi)
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rcx
movl $0x3, %edx
callq 0x796c
leaq 0x20(%rsp), %rbx
leaq 0x70(%rsp), %rsi
movq $-0x2, (%rsi)
movl $0x1, 0x8(%rsi)
leaq 0x6(%rsp), %rcx
movl $0x3, %edx
movq %rbx, %rdi
callq 0x796c
leaq 0x38(%rsp), %rbx
leaq 0x64(%rsp), %rsi
movq %r12, (%rsi)
movl $0xfffffffd, 0x8(%rsi)  # imm = 0xFFFFFFFD
leaq 0x5(%rsp), %rcx
movl $0x3, %edx
movq %rbx, %rdi
callq 0x796c
leaq 0x50(%rsp), %rdx
leaq 0x8(%rsp), %rsi
movq %rbp, %rdi
callq 0x80d6
movl $0x30, %ebx
movq 0x8(%rsp,%rbx), %rdi
testq %rdi, %rdi
je 0x40c2
callq 0x2190
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x40b3
movabsq $-0x300000008, %rax     # imm = 0xFFFFFFFCFFFFFFF8
leaq 0x7c(%rsp), %rsi
movq %rax, (%rsi)
movl $0xb, 0x8(%rsi)
leaq 0x8(%rsp), %rbp
leaq 0x7(%rsp), %rcx
movl $0x3, %edx
movq %rbp, %rdi
callq 0x796c
leaq 0x20(%rsp), %r12
movabsq $-0x100000004, %rax     # imm = 0xFFFFFFFEFFFFFFFC
leaq 0x70(%rsp), %rsi
movq %rax, (%rsi)
movl $0x3, 0x8(%rsi)
leaq 0x6(%rsp), %rcx
movl $0x3, %edx
movq %r12, %rdi
callq 0x796c
leaq 0x38(%rsp), %r12
movabsq $0x400000008, %rax      # imm = 0x400000008
leaq 0x64(%rsp), %rsi
movq %rax, (%rsi)
movl $0xfffffffc, 0x8(%rsi)  # imm = 0xFFFFFFFC
leaq 0x5(%rsp), %rcx
movl $0x3, %edx
movq %r12, %rdi
callq 0x796c
leaq 0x50(%rsp), %rdx
leaq 0x8(%rsp), %rsi
movq %r13, %rdi
callq 0x80d6
movl $0x30, %ebx
movq 0x50(%rsp), %r12
movq 0x8(%rsp,%rbx), %rdi
testq %rdi, %rdi
je 0x4187
callq 0x2190
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x4178
xorl %eax, %eax
movq 0x58(%rsp), %rbx
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
xorl %r9d, %r9d
pushq $0x3
pushq %rax
pushq %rax
pushq %rax
callq 0x27fd
addq $0x20, %rsp
movq %r12, %rdi
movq %r15, %rsi
callq 0x257a
testb %al, %al
je 0x4232
movq %rbx, %rdi
callq 0x21d0
movq %r14, %rdi
callq 0x21d0
movq %r15, %rdi
callq 0x21d0
movq 0x9df3(%rip), %rbx      # 0xdfd8
leaq 0x58c1(%rip), %rsi      # 0x9aad
movl $0x1b, %edx
movq %rbx, %rdi
callq 0x21c0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2120
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5849(%rip), %rdi      # 0x9a82
leaq 0x5850(%rip), %rsi      # 0x9a90
leaq 0x5852(%rip), %rcx      # 0x9a99
movl $0x1d9, %edx            # imm = 0x1D9
callq 0x2100
movq %rax, %r14
movl $0x30, %ebx
movq 0x8(%rsp,%rbx), %rdi
testq %rdi, %rdi
je 0x4268
callq 0x2190
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x4259
jmp 0x432b
jmp 0x4279
movq %rax, %r14
movq -0x18(%r12), %rdi
testq %rdi, %rdi
je 0x428b
callq 0x2190
addq $-0x18, %r12
cmpq %rbp, %r12
jne 0x427c
jmp 0x432b
jmp 0x4328
movq %rax, %r14
movl $0x30, %ebx
movq 0x8(%rsp,%rbx), %rdi
testq %rdi, %rdi
je 0x42b5
callq 0x2190
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x42a6
jmp 0x432b
jmp 0x42c3
movq %rax, %r14
leaq 0x8(%rsp), %r15
movq -0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x42d9
callq 0x2190
addq $-0x18, %rbx
cmpq %r15, %rbx
jne 0x42cb
jmp 0x432b
jmp 0x4328
movq %rax, %r14
movl $0x30, %ebx
movq 0x8(%rsp,%rbx), %rdi
testq %rdi, %rdi
je 0x42fd
callq 0x2190
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x42ee
jmp 0x432b
jmp 0x430b
movq %rax, %r14
movq -0x18(%r12), %rdi
testq %rdi, %rdi
je 0x431d
callq 0x2190
addq $-0x18, %r12
cmpq %r13, %r12
jne 0x430e
jmp 0x432b
movq %rax, %r14
movq %r14, %rdi
callq 0x22b0