// File: /workspace/github_cpp_makefile_star2_O3/dsharlet[P]array/test/matrix.cpp
// Function: nda::test_small_matrix_body()
TEST(small_matrix) {
  using matrix4x3i = small_matrix<int, 4, 3>;

  matrix4x3i auto_array;
  for_all_indices(auto_array.shape(), [&](int x, int y) { auto_array(x, y) = x; });

  matrix4x3i copy_array(auto_array);
  for_all_indices(copy_array.shape(), [&](int x, int y) { ASSERT_EQ(copy_array(x, y), x); });

  matrix4x3i assign_array;
  assign_array = auto_array;
  for_all_indices(assign_array.shape(), [&](int x, int y) { ASSERT_EQ(assign_array(x, y), x); });

  matrix4x3i move_array(std::move(auto_array));
  for_all_indices(move_array.shape(), [&](int x, int y) { ASSERT_EQ(move_array(x, y), x); });

  matrix4x3i move_assign;
  move_assign = std::move(assign_array);
  for_all_indices(move_assign.shape(), [&](int x, int y) { ASSERT_EQ(move_assign(x, y), x); });
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x438, %rsp            # imm = 0x438
movabsq $-0x8000000000000000, %r12 # imm = 0x8000000000000000
movabsq $0x100000000, %r15      # imm = 0x100000000
leaq 0x230(%rsp), %rbx
movb $0x0, 0x30(%rbx)
movq $0x0, 0x60(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x38(%rbx)
movups %xmm0, 0x48(%rbx)
movq %r12, 0x70(%rbx)
movq %rbx, %rdi
callq 0x7b428
movq %rbx, %rdi
callq 0x7b4e0
movq 0x48(%rbx), %rax
movq 0x50(%rbx), %rcx
movq 0x60(%rbx), %rdx
movq 0x70(%rbx), %rsi
leaq 0x3(%rdx), %rdi
movq %rcx, %r8
shlq $0x20, %r8
movq %rdx, %r9
movslq %r9d, %r10
subq %rdx, %r10
imulq %rsi, %r10
leaq (%rax,%r10,4), %r10
movl $0x3, %r11d
movq %r8, %rbx
movq %rbx, %r14
sarq $0x20, %r14
subq %rcx, %r14
movl %r9d, (%r10,%r14,4)
addq %r15, %rbx
decq %r11
jne 0x79d2d
leaq 0x1(%r9), %r10
cmpq %rdi, %r9
movq %r10, %r9
jne 0x79d16
leaq 0x1b8(%rsp), %rdi
movb $0x0, 0x30(%rdi)
movq $0x0, 0x60(%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x38(%rdi)
movups %xmm0, 0x48(%rdi)
movq %r12, 0x70(%rdi)
leaq 0x230(%rsp), %rsi
callq 0x7b760
movq 0x218(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0x140(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x298dd(%rip), %r15     # 0xa3684
movq 0x208(%rsp), %r14
movq %rcx, (%rsp)
movslq %ecx, %rax
movq %rax, 0x8(%rsp)
shlq $0x20, %r14
movl $0x3, %r12d
movq %r12, 0x18(%rsp)
movq %r15, %r12
movq %r13, %r15
movq 0x8(%rsp), %rax
subq 0x218(%rsp), %rax
imulq 0x228(%rsp), %rax
movq %r14, 0x20(%rsp)
sarq $0x20, %r14
movq %r14, %rcx
subq 0x208(%rsp), %rcx
shlq $0x2, %rcx
addq 0x200(%rsp), %rcx
movl (%rcx,%rax,4), %ebp
leaq 0x150(%rsp), %rax
movq %rax, 0x140(%rsp)
movq $0x15, 0xc8(%rsp)
movq %rbx, %r13
movq %rbx, %rdi
leaq 0xc8(%rsp), %rsi
xorl %edx, %edx
callq 0x2310
movq %rax, 0x140(%rsp)
movq 0xc8(%rsp), %rcx
movq %rcx, 0x150(%rsp)
movups 0x40e24(%rip), %xmm0    # 0xbac7d
movups %xmm0, (%rax)
movabsq $0x78203d3d20297920, %rdx # imm = 0x78203D3D20297920
movq %rdx, 0xd(%rax)
movq %rcx, 0x148(%rsp)
movq 0x140(%rsp), %rax
movb $0x0, (%rax,%rcx)
xorl %esi, %esi
cmpl (%rsp), %ebp
sete %sil
movq %r15, %rdi
movq %r13, %rbx
movq %r13, %rdx
movq %r15, %r13
callq 0xbf80
movq %r12, %r15
leaq 0x2d3b4(%rip), %r12     # 0xa7256
movq %r13, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x40ddc(%rip), %rsi     # 0xbac93
callq 0x19142
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x79f0d
subq 0x208(%rsp), %r14
shlq $0x2, %r14
addq 0x200(%rsp), %r14
movq 0x8(%rsp), %rax
subq 0x218(%rsp), %rax
imulq 0x228(%rsp), %rax
movq %rbp, %rdi
addq $0x10, %rdi
movl (%r14,%rax,4), %esi
callq 0x22f0
movq %rbp, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x34d24(%rip), %rsi     # 0xaec46
callq 0x18fba
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x79f4e
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x40341(%rip), %rsi     # 0xba299
callq 0x18fba
movq %r13, %rdi
callq 0xbfd8
movq 0x140(%rsp), %rdi
leaq 0x150(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x79f8f
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x79dc5
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x79da7
leaq 0x140(%rsp), %rdi
movb $0x0, 0x30(%rdi)
movq $0x0, 0x60(%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x38(%rdi)
movups %xmm0, 0x48(%rdi)
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x70(%rdi)
callq 0x7b428
leaq 0x140(%rsp), %rdi
callq 0x7b4e0
leaq 0x140(%rsp), %rdi
leaq 0x230(%rsp), %rsi
callq 0x7aa26
movq 0x1a0(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0xc8(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x29648(%rip), %r15     # 0xa3684
movq 0x190(%rsp), %r14
movq %rcx, (%rsp)
movslq %ecx, %rax
movq %rax, 0x8(%rsp)
shlq $0x20, %r14
movl $0x3, %r12d
movq %r12, 0x18(%rsp)
movq %r15, %r12
movq %r13, %r15
movq 0x8(%rsp), %rax
subq 0x1a0(%rsp), %rax
imulq 0x1b0(%rsp), %rax
movq %r14, 0x20(%rsp)
sarq $0x20, %r14
movq %r14, %rcx
subq 0x190(%rsp), %rcx
shlq $0x2, %rcx
addq 0x188(%rsp), %rcx
movl (%rcx,%rax,4), %ebp
leaq 0xd8(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq $0x17, 0x50(%rsp)
movq %rbx, %r13
movq %rbx, %rdi
leaq 0x50(%rsp), %rsi
xorl %edx, %edx
callq 0x2310
movq %rax, 0xc8(%rsp)
movq 0x50(%rsp), %rcx
movq %rcx, 0xd8(%rsp)
movups 0x40cca(%rip), %xmm0    # 0xbadaf
movups %xmm0, (%rax)
movabsq $0x78203d3d20297920, %rdx # imm = 0x78203D3D20297920
movq %rdx, 0xf(%rax)
movq %rcx, 0xd0(%rsp)
movq 0xc8(%rsp), %rax
movb $0x0, (%rax,%rcx)
xorl %esi, %esi
cmpl (%rsp), %ebp
sete %sil
movq %r15, %rdi
movq %r13, %rbx
movq %r13, %rdx
movq %r15, %r13
callq 0xbf80
movq %r12, %r15
leaq 0x2d128(%rip), %r12     # 0xa7256
movq %r13, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x40c84(%rip), %rsi     # 0xbadc7
callq 0x191ea
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x7a199
subq 0x190(%rsp), %r14
shlq $0x2, %r14
addq 0x188(%rsp), %r14
movq 0x8(%rsp), %rax
subq 0x1a0(%rsp), %rax
imulq 0x1b0(%rsp), %rax
movq %rbp, %rdi
addq $0x10, %rdi
movl (%r14,%rax,4), %esi
callq 0x22f0
movq %rbp, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x34a98(%rip), %rsi     # 0xaec46
callq 0x18fba
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x7a1da
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x400b5(%rip), %rsi     # 0xba299
callq 0x18fba
movq %r13, %rdi
callq 0xbfd8
movq 0xc8(%rsp), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x7a21b
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x7a05a
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x7a03c
leaq 0xc8(%rsp), %rdi
leaq 0x230(%rsp), %rsi
callq 0x7aac4
movq 0x128(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0x50(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x293fe(%rip), %r15     # 0xa3684
movq 0x118(%rsp), %r14
movq %rcx, (%rsp)
movslq %ecx, %rax
movq %rax, 0x8(%rsp)
shlq $0x20, %r14
movl $0x3, %r12d
movq %r12, 0x18(%rsp)
movq %r15, %r12
movq %r13, %r15
movq 0x8(%rsp), %rax
subq 0x128(%rsp), %rax
imulq 0x138(%rsp), %rax
movq %r14, 0x20(%rsp)
sarq $0x20, %r14
movq %r14, %rcx
subq 0x118(%rsp), %rcx
shlq $0x2, %rcx
addq 0x110(%rsp), %rcx
movl (%rcx,%rax,4), %ebp
leaq 0x60(%rsp), %rax
movq %rax, 0x50(%rsp)
movq $0x15, 0x28(%rsp)
movq %rbx, %r13
movq %rbx, %rdi
leaq 0x28(%rsp), %rsi
xorl %edx, %edx
callq 0x2310
movq %rax, 0x50(%rsp)
movq 0x28(%rsp), %rcx
movq %rcx, 0x60(%rsp)
movups 0x40ce7(%rip), %xmm0    # 0xbb00a
movups %xmm0, (%rax)
movabsq $0x78203d3d20297920, %rdx # imm = 0x78203D3D20297920
movq %rdx, 0xd(%rax)
movq %rcx, 0x58(%rsp)
movq 0x50(%rsp), %rax
movb $0x0, (%rax,%rcx)
xorl %esi, %esi
cmpl (%rsp), %ebp
sete %sil
movq %r15, %rdi
movq %r13, %rbx
movq %r13, %rdx
movq %r15, %r13
callq 0xbf80
movq %r12, %r15
leaq 0x2cef0(%rip), %r12     # 0xa7256
movq %r13, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x40ca5(%rip), %rsi     # 0xbb020
callq 0x19142
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x7a3d1
subq 0x118(%rsp), %r14
shlq $0x2, %r14
addq 0x110(%rsp), %r14
movq 0x8(%rsp), %rax
subq 0x128(%rsp), %rax
imulq 0x138(%rsp), %rax
movq %rbp, %rdi
addq $0x10, %rdi
movl (%r14,%rax,4), %esi
callq 0x22f0
movq %rbp, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x34860(%rip), %rsi     # 0xaec46
callq 0x18fba
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x7a412
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x3fe7d(%rip), %rsi     # 0xba299
callq 0x18fba
movq %r13, %rdi
callq 0xbfd8
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x7a44a
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x7a2a4
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x7a286
leaq 0x50(%rsp), %rdi
movb $0x0, 0x30(%rdi)
movq $0x0, 0x60(%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x38(%rdi)
movups %xmm0, 0x48(%rdi)
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x70(%rdi)
callq 0x7b428
leaq 0x50(%rsp), %rdi
callq 0x7b4e0
leaq 0x50(%rsp), %rdi
leaq 0x140(%rsp), %rsi
callq 0x7abcc
movq 0xb0(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0x28(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x29199(%rip), %r15     # 0xa3684
movq 0xa0(%rsp), %r14
movq %rcx, (%rsp)
movslq %ecx, %rax
movq %rax, 0x8(%rsp)
shlq $0x20, %r14
movl $0x3, %r12d
movq %r12, 0x18(%rsp)
movq %r15, %r12
movq %r13, %r15
movq 0x8(%rsp), %rax
subq 0xb0(%rsp), %rax
imulq 0xc0(%rsp), %rax
movq %r14, 0x20(%rsp)
sarq $0x20, %r14
movq %r14, %rcx
subq 0xa0(%rsp), %rcx
shlq $0x2, %rcx
addq 0x98(%rsp), %rcx
movl (%rcx,%rax,4), %ebp
leaq 0x38(%rsp), %rax
movq %rax, 0x28(%rsp)
movq $0x16, 0x48(%rsp)
movq %rbx, %r13
movq %rbx, %rdi
leaq 0x48(%rsp), %rsi
xorl %edx, %edx
callq 0x2310
movq %rax, 0x28(%rsp)
movq 0x48(%rsp), %rcx
movq %rcx, 0x38(%rsp)
movups 0x40c9f(%rip), %xmm0    # 0xbb227
movups %xmm0, (%rax)
movabsq $0x78203d3d20297920, %rdx # imm = 0x78203D3D20297920
movq %rdx, 0xe(%rax)
movq %rcx, 0x30(%rsp)
movq 0x28(%rsp), %rax
movb $0x0, (%rax,%rcx)
xorl %esi, %esi
cmpl (%rsp), %ebp
sete %sil
movq %r15, %rdi
movq %r13, %rbx
movq %r13, %rdx
movq %r15, %r13
callq 0xbf80
movq %r12, %r15
leaq 0x2cc8b(%rip), %r12     # 0xa7256
movq %r13, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x40c5e(%rip), %rsi     # 0xbb23e
callq 0x1a17e
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x7a636
subq 0xa0(%rsp), %r14
shlq $0x2, %r14
addq 0x98(%rsp), %r14
movq 0x8(%rsp), %rax
subq 0xb0(%rsp), %rax
imulq 0xc0(%rsp), %rax
movq %rbp, %rdi
addq $0x10, %rdi
movl (%r14,%rax,4), %esi
callq 0x22f0
movq %rbp, %rdi
movq %r15, %rsi
callq 0x18fba
movq %rax, %rdi
leaq 0x345fb(%rip), %rsi     # 0xaec46
callq 0x18fba
movq %rax, %rdi
movq %r12, %rsi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x7a677
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x3fc18(%rip), %rsi     # 0xba299
callq 0x18fba
movq %r13, %rdi
callq 0xbfd8
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x7a6af
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x7a509
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x7a4eb
leaq 0x50(%rsp), %rdi
callq 0x7b6dc
leaq 0xc8(%rsp), %rdi
callq 0x7b6dc
leaq 0x140(%rsp), %rdi
callq 0x7b6dc
leaq 0x1b8(%rsp), %rdi
callq 0x7b6dc
leaq 0x230(%rsp), %rdi
callq 0x7b6dc
addq $0x438, %rsp            # imm = 0x438
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x7a8bc
jmp 0x7a8bc
jmp 0x7a8bc
jmp 0x7a8bc
jmp 0x7a8bc
jmp 0x7a75b
jmp 0x7a768
jmp 0x7a768
movq %rax, %rbx
jmp 0x7a8a3
jmp 0x7a760
jmp 0x7a770
movq %rax, %rbx
jmp 0x7a7be
movq %rax, %rbx
jmp 0x7a800
movq %rax, %rbx
jmp 0x7a84e
movq %rax, %rbx
jmp 0x7a896
movq %rax, %rbx
jmp 0x7a7a2
movq %rax, %rbx
jmp 0x7a7e4
movq %rax, %rbx
jmp 0x7a829
movq %rax, %rbx
jmp 0x7a871
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbfd8
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x7a7be
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x50(%rsp), %rdi
callq 0x7b6dc
jmp 0x7a800
jmp 0x7a8bc
jmp 0x7a8bc
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbfd8
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x7a800
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0xc8(%rsp), %rdi
callq 0x7b6dc
jmp 0x7a84e
jmp 0x7a8bc
jmp 0x7a8bc
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbfd8
movq 0xc8(%rsp), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
je 0x7a84e
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x140(%rsp), %rdi
callq 0x7b6dc
jmp 0x7a896
jmp 0x7a8bc
jmp 0x7a8bc
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbfd8
movq 0x140(%rsp), %rdi
leaq 0x150(%rsp), %rax
cmpq %rax, %rdi
je 0x7a896
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x1b8(%rsp), %rdi
callq 0x7b6dc
leaq 0x230(%rsp), %rdi
callq 0x7b6dc
movq %rbx, %rdi
callq 0x2300
jmp 0x7a8bc
jmp 0x7a8bc
movq %rax, %rdi
callq 0xc0a9