// File: /workspace/github_cpp_makefile_star2_O1/dsharlet[P]array/test/array_lifetime.cpp
// Function: void nda::test_move_alloc_lifetime<std::allocator<nda::lifetime_counter>>(bool)
void test_move_alloc_lifetime(bool alloc_movable = true) {
  {
    lifetime_array<Alloc> source(lifetime_shape);
    lifetime_counter::reset();
    lifetime_array<Alloc> move(std::move(source), Alloc());
  }
  // 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 $0x218, %rsp            # imm = 0x218
movl %edi, %ebx
xorps %xmm0, %xmm0
leaq 0x88(%rsp), %r14
movups %xmm0, 0x8(%r14)
xorl %r13d, %r13d
movq %r13, 0x18(%r14)
movups 0xb8370(%rip), %xmm0    # 0xe51e8
movups %xmm0, 0x20(%r14)
movups 0xb8374(%rip), %xmm0    # 0xe51f8
movups %xmm0, 0x30(%r14)
movups 0xb8378(%rip), %xmm0    # 0xe5208
movups %xmm0, 0x40(%r14)
movq %r14, %rdi
callq 0x3eca2
movq %r14, %rdi
callq 0x3ed76
leaq 0xb8414(%rip), %rax     # 0xe52c0
movq %r13, (%rax)
leaq 0xb8412(%rip), %rax     # 0xe52c8
movq %r13, (%rax)
leaq 0xb8410(%rip), %r12     # 0xe52d0
movq %r13, (%r12)
leaq 0xb840d(%rip), %rax     # 0xe52d8
movq %r13, (%rax)
leaq 0xb840b(%rip), %rax     # 0xe52e0
movq %r13, (%rax)
leaq 0xb8409(%rip), %rbp     # 0xe52e8
movq %r13, (%rbp)
movq %rsp, %rdi
xorps %xmm1, %xmm1
movups %xmm1, 0x18(%rdi)
movq %r13, 0x28(%rdi)
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x30(%rdi)
movups %xmm1, 0x38(%rdi)
movq %rax, 0x48(%rdi)
movups 0x8(%r14), %xmm0
movups %xmm0, 0x8(%rdi)
movups %xmm1, 0x8(%r14)
movq 0x18(%rdi), %rcx
movq 0x18(%r14), %rdx
movq %rdx, 0x18(%rdi)
movq %rcx, 0x18(%r14)
movq %rax, 0x60(%rsp)
movq 0x20(%rdi), %rcx
movq %rcx, 0x50(%rsp)
movq 0x28(%rdi), %rcx
movq %rcx, 0x58(%rsp)
movups %xmm1, 0x68(%rsp)
movq %rax, 0x78(%rsp)
movups 0x38(%r14), %xmm0
movups %xmm0, 0x38(%rdi)
movq 0x48(%r14), %rcx
movq %rcx, 0x48(%rdi)
movq 0x30(%r14), %rcx
movq %rcx, 0x30(%rdi)
movups 0x20(%r14), %xmm0
movups %xmm0, 0x20(%rdi)
movq %rax, 0x48(%r14)
movups %xmm1, 0x38(%r14)
movq 0x60(%rsp), %rax
movq %rax, 0x30(%r14)
movq 0x50(%rsp), %rax
movq %rax, 0x20(%r14)
movq 0x58(%rsp), %rax
movq %rax, 0x28(%r14)
callq 0x3ee72
leaq 0x88(%rsp), %rdi
callq 0x3ee72
testb %bl, %bl
je 0x2d32b
leaq 0xb8313(%rip), %rax     # 0xe52c0
movq (%rax), %r13
leaq 0xb8311(%rip), %rax     # 0xe52c8
movq (%rax), %rbx
movq %r12, %r15
movq (%r12), %r12
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x79218(%rip), %rsi     # 0xa61e9
leaq 0x79234(%rip), %rdx     # 0xa620c
movq %rsp, %rdi
callq 0xd0b8
addq %r13, %rbx
xorl %esi, %esi
addq %r12, %rbx
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf0a
movq %r15, %r12
leaq 0x7464e(%rip), %rsi     # 0xa1654
leaq 0x88(%rsp), %rdi
callq 0x18a16
leaq 0x7eb50(%rip), %rsi     # 0xabb6a
movq %rax, %rdi
callq 0x3ebfa
leaq 0x78301(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d061
leaq 0xb827c(%rip), %rax     # 0xe52c0
movq (%rax), %rsi
leaq 0xb827a(%rip), %rax     # 0xe52c8
addq (%rax), %rsi
addq (%r12), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x745ec(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x75e60(%rip), %rsi     # 0xa2ed7
movq %rax, %rdi
callq 0x18a16
leaq 0x782a4(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d0a8
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x8b2ba(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2d0da
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r12), %rbx
leaq 0xb81fb(%rip), %rax     # 0xe52e0
movq (%rax), %r15
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x7ce10(%rip), %rsi     # 0xa9f05
leaq 0x7ce27(%rip), %rdx     # 0xa9f23
callq 0xd0b8
xorl %esi, %esi
addq %rbx, %r15
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf0a
leaq 0x74533(%rip), %rsi     # 0xa1654
leaq 0x88(%rsp), %rdi
callq 0x18a16
leaq 0x7cdef(%rip), %rsi     # 0xa9f24
movq %rax, %rdi
callq 0x41786
leaq 0x781e6(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d172
movq (%r12), %rsi
leaq 0xb817d(%rip), %rax     # 0xe52e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x744db(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x75d4f(%rip), %rsi     # 0xa2ed7
movq %rax, %rdi
callq 0x18a16
leaq 0x78193(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d1b9
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x8b1a9(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2d1eb
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%rbp), %rbx
movq 0xb8012(%rip), %r12     # 0xe5208
movq 0xb7ff3(%rip), %r15     # 0xe51f0
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x79066(%rip), %rsi     # 0xa6270
leaq 0x79093(%rip), %rdx     # 0xa62a4
callq 0xd0b8
imulq %r12, %r15
xorl %eax, %eax
testq %r15, %r15
cmovgq %r15, %rax
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf0a
leaq 0x74411(%rip), %rsi     # 0xa1654
leaq 0x88(%rsp), %rdi
callq 0x18a16
leaq 0x7904e(%rip), %rsi     # 0xa62a5
movq %rax, %rdi
callq 0x3ec6a
leaq 0x780c4(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d28a
movq %rbx, %rdi
addq $0x10, %rdi
movq (%rbp), %rsi
callq 0x2110
leaq 0x743c3(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x7ccf3(%rip), %rsi     # 0xa9f93
movq %rax, %rdi
callq 0x18c7e
leaq 0x7807b(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d2e7
movq 0xb7f3e(%rip), %rax     # 0xe5208
imulq 0xb7f1e(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8b07b(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2d319
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
addq $0x218, %rsp            # imm = 0x218
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rbp, %r15
leaq 0xb7f8b(%rip), %rax     # 0xe52c0
movq (%rax), %r13
leaq 0xb7f89(%rip), %rax     # 0xe52c8
movq (%rax), %rbx
movq (%r12), %r14
movq 0xb7ebb(%rip), %rbp     # 0xe5208
movq 0xb7e9c(%rip), %r12     # 0xe51f0
leaq 0x10(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x7cbda(%rip), %rsi     # 0xa9f3e
leaq 0x7cc0a(%rip), %rdx     # 0xa9f75
movq %rsp, %rdi
callq 0xd0b8
imulq %rbp, %r12
xorl %eax, %eax
testq %r12, %r12
cmovgq %r12, %rax
addq %r13, %rbx
addq %r14, %rbx
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
leaq 0x10(%rsp), %rbp
callq 0xbf0a
leaq 0xb7f25(%rip), %r14     # 0xe52d0
movq %r15, %r13
leaq 0x7429f(%rip), %rsi     # 0xa1654
leaq 0x88(%rsp), %rdi
callq 0x18a16
leaq 0x7e7a1(%rip), %rsi     # 0xabb6a
movq %rax, %rdi
callq 0x3ebfa
leaq 0x77f52(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d40f
leaq 0xb7ecd(%rip), %rax     # 0xe52c0
movq (%rax), %rsi
leaq 0xb7ecb(%rip), %rax     # 0xe52c8
addq (%rax), %rsi
addq (%r14), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x7423e(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x7cb6e(%rip), %rsi     # 0xa9f93
movq %rax, %rdi
callq 0x18c7e
leaq 0x77ef6(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d46c
movq 0xb7db9(%rip), %rax     # 0xe5208
imulq 0xb7d99(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8aef6(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %rbp, %rdi
je 0x2d49e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r14), %r14
leaq 0xb7e38(%rip), %rax     # 0xe52e0
movq (%rax), %rbx
movq 0xb7d56(%rip), %r12     # 0xe5208
movq 0xb7d37(%rip), %r15     # 0xe51f0
movq %rsp, %rdi
movq %rbp, (%rdi)
leaq 0x7cab0(%rip), %rsi     # 0xa9f76
leaq 0x7cadb(%rip), %rdx     # 0xa9fa8
callq 0xd0b8
imulq %r12, %r15
xorl %eax, %eax
testq %r15, %r15
cmovgq %r15, %rax
addq %r14, %rbx
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf0a
leaq 0x74152(%rip), %rsi     # 0xa1654
leaq 0x88(%rsp), %rdi
callq 0x18a16
leaq 0xb7dba(%rip), %r14     # 0xe52d0
leaq 0x7ca07(%rip), %rsi     # 0xa9f24
movq %rax, %rdi
callq 0x41786
leaq 0x77dfe(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d559
movq (%r14), %rsi
leaq 0xb7d96(%rip), %rax     # 0xe52e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x740f4(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x7ca24(%rip), %rsi     # 0xa9f93
movq %rax, %rdi
callq 0x18c7e
leaq 0x77dac(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d5b6
movq 0xb7c6f(%rip), %rax     # 0xe5208
imulq 0xb7c4f(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8adac(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %rbp, %rdi
je 0x2d5e8
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r13), %rbx
movq 0xb7c15(%rip), %r15     # 0xe5208
movq 0xb7bf6(%rip), %r14     # 0xe51f0
movq %rsp, %rdi
movq %rbp, (%rdi)
leaq 0x7c9a2(%rip), %rsi     # 0xa9fa9
leaq 0x7c9d3(%rip), %rdx     # 0xa9fe1
callq 0xd0b8
imulq %r15, %r14
xorl %eax, %eax
testq %r14, %r14
cmovgq %r14, %rax
addq %rax, %rax
xorl %esi, %esi
cmpq %rax, %rbx
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf0a
leaq 0x74011(%rip), %rsi     # 0xa1654
leaq 0x88(%rsp), %rdi
callq 0x18a16
leaq 0x78c4e(%rip), %rsi     # 0xa62a5
movq %rax, %rdi
callq 0x3ec6a
leaq 0x77cc4(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d68a
movq %rbx, %rdi
addq $0x10, %rdi
movq (%r13), %rsi
callq 0x2110
leaq 0x73fc3(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x7c928(%rip), %rsi     # 0xa9fc8
movq %rax, %rdi
callq 0x41786
leaq 0x77c7b(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2d6ea
movq 0xb7b3e(%rip), %rax     # 0xe5208
imulq 0xb7b1e(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
addq %rsi, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8ac78(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %rbp, %rdi
jne 0x2d30c
jmp 0x2d319
jmp 0x2d722
jmp 0x2d722
jmp 0x2d722
jmp 0x2d722
jmp 0x2d722
movq %rax, %rbx
jmp 0x2d7d3
jmp 0x2d7a8
jmp 0x2d7db
jmp 0x2d760
jmp 0x2d772
jmp 0x2d784
jmp 0x2d796
jmp 0x2d741
jmp 0x2d746
jmp 0x2d741
jmp 0x2d746
movq %rax, %rbx
jmp 0x2d7b8
movq %rax, %rbx
jmp 0x2d7eb
jmp 0x2d7f6
jmp 0x2d7f6
jmp 0x2d760
jmp 0x2d772
jmp 0x2d784
jmp 0x2d796
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbf62
jmp 0x2d7b8
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbf62
jmp 0x2d7eb
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbf62
jmp 0x2d7b8
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbf62
jmp 0x2d7eb
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x2d7d3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rbx, %rdi
callq 0x2300
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbf62
movq (%rsp), %rdi
cmpq %r14, %rdi
jne 0x2d7c6
jmp 0x2d7d3
movq %rax, %rdi
callq 0xc036