// File: /workspace/github_cpp_makefile_star2_O1/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 0x79a88
movq %rbx, %rdi
callq 0x79b44
movq 0x60(%rbx), %rax
movq 0x48(%rbx), %rcx
movq 0x50(%rbx), %rdx
movq 0x70(%rbx), %rsi
leaq 0x3(%rax), %rdi
movq %rdx, %r8
shlq $0x20, %r8
movq %rax, %r9
movslq %r9d, %r10
subq %rax, %r10
imulq %rsi, %r10
leaq (%rcx,%r10,4), %r10
movl $0x3, %r11d
movq %r8, %rbx
movq %rbx, %r14
sarq $0x20, %r14
subq %rdx, %r14
movl %r9d, (%r10,%r14,4)
addq %r15, %rbx
decq %r11
jne 0x78490
leaq 0x1(%r9), %r10
cmpq %rdi, %r9
movq %r10, %r9
jne 0x78479
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 0x79dc2
movq 0x218(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0x140(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x2914a(%rip), %r15     # 0xa1654
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 0x40791(%rip), %xmm0    # 0xb8d4d
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 0xbf0a
movq %r12, %r15
leaq 0x2cd25(%rip), %r12     # 0xa532a
movq %r13, %rdi
movq %r15, %rsi
callq 0x18a16
movq %rax, %rdi
leaq 0x40749(%rip), %rsi     # 0xb8d63
callq 0x18b9e
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x78670
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 0x18a16
movq %rax, %rdi
leaq 0x34789(%rip), %rsi     # 0xace0e
callq 0x18a16
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x786b1
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x3fcae(%rip), %rsi     # 0xb8369
callq 0x18a16
movq %r13, %rdi
callq 0xbf62
movq 0x140(%rsp), %rdi
leaq 0x150(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x786f2
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x78528
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x7850a
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 0x79a88
leaq 0x140(%rsp), %rdi
callq 0x79b44
leaq 0x140(%rsp), %rdi
leaq 0x230(%rsp), %rsi
callq 0x7918c
movq 0x1a0(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0xc8(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x28eb5(%rip), %r15     # 0xa1654
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 0x40637(%rip), %xmm0    # 0xb8e7f
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 0xbf0a
movq %r12, %r15
leaq 0x2ca99(%rip), %r12     # 0xa532a
movq %r13, %rdi
movq %r15, %rsi
callq 0x18a16
movq %rax, %rdi
leaq 0x405f1(%rip), %rsi     # 0xb8e97
callq 0x18c46
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x788fc
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 0x18a16
movq %rax, %rdi
leaq 0x344fd(%rip), %rsi     # 0xace0e
callq 0x18a16
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x7893d
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x3fa22(%rip), %rsi     # 0xb8369
callq 0x18a16
movq %r13, %rdi
callq 0xbf62
movq 0xc8(%rsp), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x7897e
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x787bd
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x7879f
leaq 0xc8(%rsp), %rdi
leaq 0x230(%rsp), %rsi
callq 0x7922a
movq 0x128(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0x50(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x28c6b(%rip), %r15     # 0xa1654
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 0x40654(%rip), %xmm0    # 0xb90da
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 0xbf0a
movq %r12, %r15
leaq 0x2c861(%rip), %r12     # 0xa532a
movq %r13, %rdi
movq %r15, %rsi
callq 0x18a16
movq %rax, %rdi
leaq 0x40612(%rip), %rsi     # 0xb90f0
callq 0x18b9e
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x78b34
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 0x18a16
movq %rax, %rdi
leaq 0x342c5(%rip), %rsi     # 0xace0e
callq 0x18a16
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x78b75
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x3f7ea(%rip), %rsi     # 0xb8369
callq 0x18a16
movq %r13, %rdi
callq 0xbf62
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x78bad
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x78a07
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x789e9
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 0x79a88
leaq 0x50(%rsp), %rdi
callq 0x79b44
leaq 0x50(%rsp), %rdi
leaq 0x140(%rsp), %rsi
callq 0x79336
movq 0xb0(%rsp), %rcx
leaq 0x3(%rcx), %rax
movq %rax, 0x10(%rsp)
leaq 0x28(%rsp), %rbx
leaq 0x2a8(%rsp), %r13
leaq 0x28a06(%rip), %r15     # 0xa1654
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 0x4060c(%rip), %xmm0    # 0xb92f7
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 0xbf0a
movq %r12, %r15
leaq 0x2c5fc(%rip), %r12     # 0xa532a
movq %r13, %rdi
movq %r15, %rsi
callq 0x18a16
movq %rax, %rdi
leaq 0x405cb(%rip), %rsi     # 0xb930e
callq 0x19c5c
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x78d99
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 0x18a16
movq %rax, %rdi
leaq 0x34060(%rip), %rsi     # 0xace0e
callq 0x18a16
movq %rax, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x78dda
movq %rbp, %rdi
addq $0x10, %rdi
movq (%rsp), %rsi
callq 0x22f0
movq %rbp, %rdi
leaq 0x3f585(%rip), %rsi     # 0xb8369
callq 0x18a16
movq %r13, %rdi
callq 0xbf62
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
movq 0x18(%rsp), %r12
je 0x78e12
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21f0
movabsq $0x100000000, %rax      # imm = 0x100000000
movq 0x20(%rsp), %r14
addq %rax, %r14
decq %r12
jne 0x78c6c
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq 0x10(%rsp), %rcx
movq %rax, %rcx
jne 0x78c4e
leaq 0x50(%rsp), %rdi
callq 0x79d3e
leaq 0xc8(%rsp), %rdi
callq 0x79d3e
leaq 0x140(%rsp), %rdi
callq 0x79d3e
leaq 0x1b8(%rsp), %rdi
callq 0x79d3e
leaq 0x230(%rsp), %rdi
callq 0x79d3e
addq $0x438, %rsp            # imm = 0x438
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x7901f
jmp 0x7901f
jmp 0x7901f
jmp 0x7901f
jmp 0x7901f
jmp 0x78ebe
jmp 0x78ecb
jmp 0x78ecb
movq %rax, %rbx
jmp 0x79006
jmp 0x78ec3
jmp 0x78ed3
movq %rax, %rbx
jmp 0x78f21
movq %rax, %rbx
jmp 0x78f63
movq %rax, %rbx
jmp 0x78fb1
movq %rax, %rbx
jmp 0x78ff9
movq %rax, %rbx
jmp 0x78f05
movq %rax, %rbx
jmp 0x78f47
movq %rax, %rbx
jmp 0x78f8c
movq %rax, %rbx
jmp 0x78fd4
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbf62
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x78f21
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x50(%rsp), %rdi
callq 0x79d3e
jmp 0x78f63
jmp 0x7901f
jmp 0x7901f
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbf62
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x78f63
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0xc8(%rsp), %rdi
callq 0x79d3e
jmp 0x78fb1
jmp 0x7901f
jmp 0x7901f
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbf62
movq 0xc8(%rsp), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
je 0x78fb1
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x140(%rsp), %rdi
callq 0x79d3e
jmp 0x78ff9
jmp 0x7901f
jmp 0x7901f
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xbf62
movq 0x140(%rsp), %rdi
leaq 0x150(%rsp), %rax
cmpq %rax, %rdi
je 0x78ff9
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x1b8(%rsp), %rdi
callq 0x79d3e
leaq 0x230(%rsp), %rdi
callq 0x79d3e
movq %rbx, %rdi
callq 0x2300
jmp 0x7901f
jmp 0x7901f
movq %rax, %rdi
callq 0xc036
nop