// File: /workspace/github_cpp_makefile_star2_O3/dsharlet[P]array/test/array_lifetime.cpp
// Function: void nda::test_move_assign_lifetime<nda::auto_allocator<nda::lifetime_counter, 256ul, 1ul, std::allocator<nda::lifetime_counter>>>(bool)
void test_move_assign_lifetime(bool alloc_movable = true) {
  {
    lifetime_array<Alloc> source(lifetime_shape);
    lifetime_counter::reset();
    lifetime_array<Alloc> assign;
    assign = std::move(source);
  }
  // This should have moved the whole array if the allocator is movable.
  if (alloc_movable) {
    ASSERT_EQ(lifetime_counter::constructs(), 0);
    ASSERT_EQ(lifetime_counter::moves(), 0);
    ASSERT_EQ(lifetime_counter::destructs, lifetime_shape.size());
  } else {
    ASSERT_EQ(lifetime_counter::constructs(), lifetime_shape.size());
    ASSERT_EQ(lifetime_counter::moves(), lifetime_shape.size());
    ASSERT_EQ(lifetime_counter::destructs, lifetime_shape.size() * 2);
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2e8, %rsp            # imm = 0x2E8
movl %edi, %ebx
xorl %r15d, %r15d
leaq 0x158(%rsp), %r14
movb %r15b, 0x100(%r14)
xorps %xmm0, %xmm0
movups %xmm0, 0x108(%r14)
movq %r15, 0x118(%r14)
movups 0xb3f17(%rip), %xmm0    # 0xe71e8
movups %xmm0, 0x120(%r14)
movups 0xb3f18(%rip), %xmm0    # 0xe71f8
movups %xmm0, 0x130(%r14)
movups 0xb3f19(%rip), %xmm0    # 0xe7208
movups %xmm0, 0x140(%r14)
movq %r14, %rdi
callq 0x4008a
movq %r14, %rdi
callq 0x401b0
leaq 0xb3fb2(%rip), %r13     # 0xe72c0
movq %r15, (%r13)
leaq 0xb3faf(%rip), %rax     # 0xe72c8
movq %r15, (%rax)
leaq 0xb3fad(%rip), %r12     # 0xe72d0
movq %r15, (%r12)
leaq 0xb3faa(%rip), %rax     # 0xe72d8
movq %r15, (%rax)
leaq 0xb3fa8(%rip), %rax     # 0xe72e0
movq %r15, (%rax)
leaq 0xb3fa6(%rip), %rbp     # 0xe72e8
movq %r15, (%rbp)
leaq 0x8(%rsp), %rdi
movb %r15b, 0x100(%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x108(%rdi)
movups %xmm0, 0x118(%rdi)
movq %r15, 0x128(%rdi)
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x130(%rdi)
movups %xmm0, 0x138(%rdi)
movq %rax, 0x148(%rdi)
callq 0x4008a
leaq 0x8(%rsp), %rdi
callq 0x401b0
leaq 0x8(%rsp), %rdi
leaq 0x158(%rsp), %rsi
callq 0x45a9a
leaq 0x8(%rsp), %rdi
callq 0x402e8
leaq 0x158(%rsp), %rdi
callq 0x402e8
testb %bl, %bl
je 0x33758
movq %r13, %r15
movq (%r13), %r13
leaq 0xb3ef1(%rip), %rax     # 0xe72c8
movq (%rax), %rbx
movq %r12, %r14
movq (%r12), %r12
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x74c08(%rip), %rsi     # 0xa7ff9
leaq 0x74c24(%rip), %rdx     # 0xa801c
leaq 0x8(%rsp), %rdi
callq 0xd14c
addq %r13, %rbx
xorl %esi, %esi
addq %r12, %rbx
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
leaq 0x18(%rsp), %r13
callq 0xbf80
movq %r14, %r12
leaq 0x70255(%rip), %rsi     # 0xa3684
leaq 0x158(%rsp), %rdi
callq 0x18fba
leaq 0x7a537(%rip), %rsi     # 0xad97a
movq %rax, %rdi
callq 0x3f5a4
leaq 0x73e04(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33483
movq (%r15), %rsi
leaq 0xb3e58(%rip), %rax     # 0xe72c8
addq (%rax), %rsi
addq (%r12), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x701fa(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x71a86(%rip), %rsi     # 0xa4f1f
movq %rax, %rdi
callq 0x18fba
leaq 0x73dae(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x334ca
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x86dc8(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x158(%rsp), %rdi
callq 0xbfd8
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x334fd
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r12), %rbx
leaq 0xb3dd8(%rip), %rax     # 0xe72e0
movq (%rax), %r14
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x787fb(%rip), %rsi     # 0xabd15
leaq 0x78812(%rip), %rdx     # 0xabd33
callq 0xd14c
xorl %esi, %esi
addq %rbx, %r14
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xbf80
leaq 0x7013c(%rip), %rsi     # 0xa3684
leaq 0x158(%rsp), %rdi
callq 0x18fba
leaq 0x787d8(%rip), %rsi     # 0xabd34
movq %rax, %rdi
callq 0x421f8
leaq 0x73ceb(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33599
movq (%r12), %rsi
leaq 0xb3d56(%rip), %rax     # 0xe72e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x700e4(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x71970(%rip), %rsi     # 0xa4f1f
movq %rax, %rdi
callq 0x18fba
leaq 0x73c98(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x335e0
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x86cb2(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x158(%rsp), %rdi
callq 0xbfd8
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x33613
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%rbp), %rbx
movq 0xb3bea(%rip), %r12     # 0xe7208
movq 0xb3bcb(%rip), %r14     # 0xe71f0
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x74a4c(%rip), %rsi     # 0xa8080
leaq 0x74a79(%rip), %rdx     # 0xa80b4
callq 0xd14c
imulq %r12, %r14
xorl %eax, %eax
testq %r14, %r14
cmovgq %r14, %rax
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xbf80
leaq 0x70015(%rip), %rsi     # 0xa3684
leaq 0x158(%rsp), %rdi
callq 0x18fba
leaq 0x74a32(%rip), %rsi     # 0xa80b5
movq %rax, %rdi
callq 0x3f614
leaq 0x73bc4(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x336b6
movq %rbx, %rdi
addq $0x10, %rdi
movq (%rbp), %rsi
callq 0x2110
leaq 0x6ffc7(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x786d7(%rip), %rsi     # 0xabda3
movq %rax, %rdi
callq 0x19222
leaq 0x73b7b(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33713
movq 0xb3b12(%rip), %rax     # 0xe7208
imulq 0xb3af2(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x86b7f(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x158(%rsp), %rdi
callq 0xbfd8
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x33746
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
addq $0x2e8, %rsp            # imm = 0x2E8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rbp, %r14
movq (%r13), %r15
leaq 0xb3b62(%rip), %rax     # 0xe72c8
movq (%rax), %rbx
movq (%r12), %r13
movq 0xb3a94(%rip), %rbp     # 0xe7208
movq 0xb3a75(%rip), %r12     # 0xe71f0
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x785c3(%rip), %rsi     # 0xabd4e
leaq 0x785f3(%rip), %rdx     # 0xabd85
leaq 0x8(%rsp), %rdi
callq 0xd14c
imulq %rbp, %r12
xorl %eax, %eax
testq %r12, %r12
cmovgq %r12, %rax
addq %r15, %rbx
addq %r13, %rbx
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
leaq 0x18(%rsp), %rbp
callq 0xbf80
movq %r14, %r13
leaq 0xb3af7(%rip), %r14     # 0xe72d0
leaq 0x6fea4(%rip), %rsi     # 0xa3684
leaq 0x158(%rsp), %rdi
callq 0x18fba
leaq 0x7a186(%rip), %rsi     # 0xad97a
movq %rax, %rdi
callq 0x3f5a4
leaq 0x73a53(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x3383a
leaq 0xb3aa2(%rip), %rax     # 0xe72c0
movq (%rax), %rsi
leaq 0xb3aa0(%rip), %rax     # 0xe72c8
addq (%rax), %rsi
addq (%r14), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x6fe43(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x78553(%rip), %rsi     # 0xabda3
movq %rax, %rdi
callq 0x19222
leaq 0x739f7(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33897
movq 0xb398e(%rip), %rax     # 0xe7208
imulq 0xb396e(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x869fb(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x158(%rsp), %rdi
callq 0xbfd8
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x338ca
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r14), %r14
leaq 0xb3a0c(%rip), %rax     # 0xe72e0
movq (%rax), %rbx
movq 0xb392a(%rip), %r12     # 0xe7208
movq 0xb390b(%rip), %r15     # 0xe71f0
leaq 0x8(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x78492(%rip), %rsi     # 0xabd86
leaq 0x784bd(%rip), %rdx     # 0xabdb8
callq 0xd14c
imulq %r12, %r15
xorl %eax, %eax
testq %r15, %r15
cmovgq %r15, %rax
addq %r14, %rbx
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xbf80
leaq 0x6fd52(%rip), %rsi     # 0xa3684
leaq 0x158(%rsp), %rdi
callq 0x18fba
leaq 0xb398a(%rip), %r14     # 0xe72d0
leaq 0x783e7(%rip), %rsi     # 0xabd34
movq %rax, %rdi
callq 0x421f8
leaq 0x738fa(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33989
movq (%r14), %rsi
leaq 0xb3966(%rip), %rax     # 0xe72e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x6fcf4(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x78404(%rip), %rsi     # 0xabda3
movq %rax, %rdi
callq 0x19222
leaq 0x738a8(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x339e6
movq 0xb383f(%rip), %rax     # 0xe7208
imulq 0xb381f(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x868ac(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x158(%rsp), %rdi
callq 0xbfd8
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x33a19
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r13), %rbx
movq 0xb37e4(%rip), %r15     # 0xe7208
movq 0xb37c5(%rip), %r14     # 0xe71f0
leaq 0x8(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x7837f(%rip), %rsi     # 0xabdb9
leaq 0x783b0(%rip), %rdx     # 0xabdf1
callq 0xd14c
imulq %r15, %r14
xorl %eax, %eax
testq %r14, %r14
cmovgq %r14, %rax
addq %rax, %rax
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xbf80
leaq 0x6fc0c(%rip), %rsi     # 0xa3684
leaq 0x158(%rsp), %rdi
callq 0x18fba
leaq 0x74629(%rip), %rsi     # 0xa80b5
movq %rax, %rdi
callq 0x3f614
leaq 0x737bb(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33abf
movq %rbx, %rdi
addq $0x10, %rdi
movq (%r13), %rsi
callq 0x2110
leaq 0x6fbbe(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x78303(%rip), %rsi     # 0xabdd8
movq %rax, %rdi
callq 0x421f8
leaq 0x73772(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33b1f
movq 0xb3709(%rip), %rax     # 0xe7208
imulq 0xb36e9(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
addq %rsi, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x86773(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x158(%rsp), %rdi
callq 0xbfd8
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
jne 0x33739
jmp 0x33746
jmp 0x33b58
jmp 0x33b58
jmp 0x33b58
jmp 0x33b58
jmp 0x33b58
movq %rax, %rbx
jmp 0x33c44
jmp 0x33c06
jmp 0x33c18
jmp 0x33baa
jmp 0x33bbc
jmp 0x33bce
jmp 0x33be0
jmp 0x33b7c
jmp 0x33b7c
jmp 0x33b7c
jmp 0x33b7c
jmp 0x33b7c
movq %rax, %rbx
jmp 0x33c28
jmp 0x33c4c
jmp 0x33c4c
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x402e8
jmp 0x33bf5
jmp 0x33c4c
jmp 0x33baa
jmp 0x33bbc
jmp 0x33bce
jmp 0x33be0
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbfd8
jmp 0x33c28
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbfd8
jmp 0x33c28
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbfd8
jmp 0x33c28
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbfd8
jmp 0x33c28
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0x402e8
jmp 0x33c44
jmp 0x33c4c
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbfd8
jmp 0x33c28
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbfd8
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x33c44
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rbx, %rdi
callq 0x2300
movq %rax, %rdi
callq 0xc0a9