// File: /workspace/github_cpp_makefile_star2_O1/dsharlet[P]array/test/split.cpp
// Function: nda::test_split_even_constant_body()
TEST(split_even_constant) {
  dense_array<int, 3> a({8, 9, 4});
  for (auto yo : split<3>(a.y())) {
    for (auto xo : split<4>(a.x())) {
      auto a_inner = a(xo, yo, _);
      // Compile-time constant splits should always be the same size.
      ASSERT_EQ(a_inner.size(), 48);
      fill_pattern(a_inner);
    }
  }
  check_pattern(a);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x298, %rsp            # imm = 0x298
xorl %r14d, %r14d
leaq 0x100(%rsp), %rsi
movq %r14, (%rsi)
movl $0x8, %r15d
movq %r15, 0x8(%rsi)
movabsq $-0x8000000000000000, %r12 # imm = 0x8000000000000000
movq %r12, 0x10(%rsi)
xorl %edi, %edi
callq 0xd09f
xorps %xmm0, %xmm0
leaq 0x48(%rsp), %rbx
movups %xmm0, 0x8(%rbx)
movups %xmm0, 0x18(%rbx)
movq $0x4, 0x28(%rbx)
movq %r12, 0x30(%rbx)
movq %r14, 0x38(%rbx)
movq $0x9, 0x40(%rbx)
movq %r12, 0x48(%rbx)
movq %r14, 0x50(%rbx)
movq %r15, 0x58(%rbx)
movq %rbx, %rdi
callq 0xc2a2
movq %rbx, %rdi
callq 0xc38a
movq 0x40(%rbx), %rax
cmpq $0x2, %rax
jle 0x9c940
leaq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
leaq (%rdx,%rax), %rcx
movq %rcx, 0x30(%rsp)
movq %rdx, (%rsp)
leaq -0x3(%rdx,%rax), %rax
movq %rax, 0x28(%rsp)
leaq 0x100(%rsp), %r14
leaq 0x5047(%rip), %r15      # 0xa1654
leaq 0x8d16(%rip), %r13      # 0xa532a
movq 0xa0(%rsp), %rax
cmpq $0x3, %rax
jle 0x9c921
movq 0x98(%rsp), %rbp
leaq (%rax,%rbp), %rcx
movq %rcx, 0x40(%rsp)
addq %rbp, %rax
addq $-0x4, %rax
movq %rax, 0x38(%rsp)
movq 0x60(%rsp), %rbx
movq 0x90(%rsp), %rax
leaq 0x68(%rsp), %rdx
movq 0x10(%rdx), %rcx
movq %rcx, 0x110(%rsp)
movups (%rdx), %xmm0
movaps %xmm0, 0x100(%rsp)
movq %rbp, 0x130(%rsp)
movq (%rsp), %rcx
movq %rcx, 0x118(%rsp)
movq %rax, 0x128(%rsp)
movq %r14, %rdi
callq 0x9dfc4
movq %r15, %r12
movq %r14, %r15
movaps 0x100(%rsp), %xmm0
movaps 0x110(%rsp), %xmm1
movaps 0x120(%rsp), %xmm2
movaps 0x130(%rsp), %xmm3
leaq 0xb8(%rsp), %rdx
movups %xmm3, 0x30(%rdx)
movq %rbp, %rax
subq 0x98(%rsp), %rax
movups %xmm2, 0x20(%rdx)
movq (%rsp), %rcx
subq 0x80(%rsp), %rcx
movups %xmm1, 0x10(%rdx)
imulq 0x90(%rsp), %rcx
testq %rbx, %rbx
leaq (%rbx,%rax,4), %rax
leaq (%rax,%rcx,4), %rax
cmoveq %rbx, %rax
movups %xmm0, (%rdx)
movq %rax, 0xb0(%rsp)
movq 0xc0(%rsp), %rbx
leaq 0x18(%rsp), %rax
movq %rax, 0x8(%rsp)
leaq 0x8(%rsp), %r14
movq %r14, %rdi
leaq 0x225aa(%rip), %rsi     # 0xbeccf
leaq 0x225b7(%rip), %rdx     # 0xbece3
callq 0xd0b8
shlq $0x2, %rbx
leaq (%rbx,%rbx,2), %rax
xorl %esi, %esi
cmpq $0x30, %rax
sete %sil
movq %r15, %rdi
movq %r14, %rdx
movq %r15, %r14
callq 0xbf0a
movq %r12, %r15
movq %r14, %rdi
movq %r12, %rsi
callq 0x18a16
movq %rax, %rdi
leaq 0x2257b(%rip), %rsi     # 0xbece4
callq 0x1a104
movq %rax, %rdi
movq %r13, %rsi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x9c7ad
movq 0xc0(%rsp), %rax
shlq $0x2, %rax
leaq (%rax,%rax,2), %rsi
testq %rsi, %rsi
movl $0x0, %eax
cmovleq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
movq %rbx, %rdi
movq %r15, %rsi
callq 0x18a16
movq %rax, %rdi
leaq 0x2251f(%rip), %rsi     # 0xbece1
callq 0x18bd6
movq %rax, %rdi
movq %r13, %rsi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x9c7ef
movq %rbx, %rdi
addq $0x10, %rdi
movl $0x30, %esi
callq 0x22f0
movq %rbx, %rdi
leaq 0x1bb70(%rip), %rsi     # 0xb8369
callq 0x18a16
movq %r14, %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x9c822
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movl $0x0, 0x8(%rsp)
leaq 0x8(%rsp), %rax
movq %rax, 0x100(%rsp)
leaq 0xb0(%rsp), %rax
movq %rax, 0x108(%rsp)
leaq 0xb8(%rsp), %rdi
movq %r14, %rsi
callq 0x9e34a
leaq 0x4(%rbp), %rax
addq $0x7, %rbp
movq 0x40(%rsp), %rcx
cmpq %rcx, %rbp
movq %rax, %rbp
cmovgeq 0x38(%rsp), %rbp
cmpq %rcx, %rax
cmovgeq %rax, %rbp
cmpq %rcx, %rbp
jne 0x9c643
movq (%rsp), %rdx
leaq 0x3(%rdx), %rax
addq $0x5, %rdx
movq 0x30(%rsp), %rcx
cmpq %rcx, %rdx
movq %rax, %rdx
cmovgeq 0x28(%rsp), %rdx
cmpq %rcx, %rax
cmovgeq %rax, %rdx
movq %rdx, (%rsp)
cmpq %rcx, %rdx
jne 0x9c614
xorps %xmm0, %xmm0
movaps %xmm0, 0xb0(%rsp)
movq $0x0, 0xc0(%rsp)
movq 0x60(%rsp), %rcx
leaq 0x108(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
leaq 0x68(%rsp), %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x8(%rsp), %rsi
movq %r14, (%rsi)
leaq 0xb0(%rsp), %rcx
movq %rcx, 0x8(%rsi)
movq %rax, %rdi
callq 0x1e56e
leaq 0x48(%rsp), %rdi
callq 0xd16c
addq $0x298, %rsp            # imm = 0x298
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1e99a(%rip), %rdi     # 0xbb2c2
leaq 0x47be(%rip), %rsi      # 0xa10ed
leaq 0x2263e(%rip), %rcx     # 0xbef74
movl $0x269, %edx            # imm = 0x269
callq 0x2100
leaq 0x1e97b(%rip), %rdi     # 0xbb2c2
leaq 0x479f(%rip), %rsi      # 0xa10ed
leaq 0x1e987(%rip), %rcx     # 0xbb2dc
jmp 0x9c936
jmp 0x9c9ab
jmp 0x9c95f
jmp 0x9c95f
jmp 0x9c96b
movq %rax, %rbx
jmp 0x9c997
movq %rax, %rbx
jmp 0x9c97b
jmp 0x9c96b
movq %rax, %rbx
leaq 0x100(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x9c997
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x48(%rsp), %rdi
callq 0xd16c
movq %rbx, %rdi
callq 0x2300
jmp 0x9c9ab
movq %rax, %rdi
callq 0xc036