// File: /workspace/github_cpp_makefile_star2_O3/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 0xb99a8(%rip), %xmm0    # 0xe71e8
movups %xmm0, 0x20(%r14)
movups 0xb99ac(%rip), %xmm0    # 0xe71f8
movups %xmm0, 0x30(%r14)
movups 0xb99b0(%rip), %xmm0    # 0xe7208
movups %xmm0, 0x40(%r14)
movq %r14, %rdi
callq 0x3f64c
movq %r14, %rdi
callq 0x3f742
leaq 0xb9a4c(%rip), %rax     # 0xe72c0
movq %r13, (%rax)
leaq 0xb9a4a(%rip), %rax     # 0xe72c8
movq %r13, (%rax)
leaq 0xb9a48(%rip), %r12     # 0xe72d0
movq %r13, (%r12)
leaq 0xb9a45(%rip), %rax     # 0xe72d8
movq %r13, (%rax)
leaq 0xb9a43(%rip), %rax     # 0xe72e0
movq %r13, (%rax)
leaq 0xb9a41(%rip), %rbp     # 0xe72e8
movq %r13, (%rbp)
movq %rsp, %rdi
xorps %xmm1, %xmm1
movups %xmm1, 0x20(%rdi)
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x30(%rdi)
movups %xmm1, 0x38(%rdi)
movq %rax, 0x48(%rdi)
movq 0x8(%r14), %rcx
movq %rcx, 0x8(%rdi)
movq %r13, 0x8(%r14)
movups 0x10(%r14), %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm1, 0x10(%r14)
movq %rax, 0x60(%rsp)
movaps %xmm1, 0x50(%rsp)
movups %xmm1, 0x68(%rsp)
movq %rax, 0x78(%rsp)
movq 0x48(%r14), %rcx
movq %rcx, 0x48(%rdi)
movups 0x38(%r14), %xmm0
movups %xmm0, 0x38(%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)
movaps 0x50(%rsp), %xmm0
movups %xmm0, 0x20(%r14)
callq 0x3f83e
leaq 0x88(%rsp), %rdi
callq 0x3f83e
testb %bl, %bl
je 0x2dcd6
leaq 0xb9968(%rip), %rax     # 0xe72c0
movq (%rax), %r13
leaq 0xb9966(%rip), %rax     # 0xe72c8
movq (%rax), %rbx
movq %r12, %r15
movq (%r12), %r12
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x7a67d(%rip), %rsi     # 0xa7ff9
leaq 0x7a699(%rip), %rdx     # 0xa801c
movq %rsp, %rdi
callq 0xd14c
addq %r13, %rbx
xorl %esi, %esi
addq %r12, %rbx
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf80
movq %r15, %r12
leaq 0x75cd3(%rip), %rsi     # 0xa3684
leaq 0x88(%rsp), %rdi
callq 0x18fba
leaq 0x7ffb5(%rip), %rsi     # 0xad97a
movq %rax, %rdi
callq 0x3f5a4
leaq 0x79882(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2da0c
leaq 0xb98d1(%rip), %rax     # 0xe72c0
movq (%rax), %rsi
leaq 0xb98cf(%rip), %rax     # 0xe72c8
addq (%rax), %rsi
addq (%r12), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x75c71(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x774fd(%rip), %rsi     # 0xa4f1f
movq %rax, %rdi
callq 0x18fba
leaq 0x79825(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2da53
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x8c83f(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2da85
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r12), %rbx
leaq 0xb9850(%rip), %rax     # 0xe72e0
movq (%rax), %r15
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x7e275(%rip), %rsi     # 0xabd15
leaq 0x7e28c(%rip), %rdx     # 0xabd33
callq 0xd14c
xorl %esi, %esi
addq %rbx, %r15
sete %sil
leaq 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf80
leaq 0x75bb8(%rip), %rsi     # 0xa3684
leaq 0x88(%rsp), %rdi
callq 0x18fba
leaq 0x7e254(%rip), %rsi     # 0xabd34
movq %rax, %rdi
callq 0x421f8
leaq 0x79767(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2db1d
movq (%r12), %rsi
leaq 0xb97d2(%rip), %rax     # 0xe72e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x75b60(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x773ec(%rip), %rsi     # 0xa4f1f
movq %rax, %rdi
callq 0x18fba
leaq 0x79714(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2db64
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x8c72e(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2db96
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%rbp), %rbx
movq 0xb9667(%rip), %r12     # 0xe7208
movq 0xb9648(%rip), %r15     # 0xe71f0
movq %rsp, %rdi
movq %r14, (%rdi)
leaq 0x7a4cb(%rip), %rsi     # 0xa8080
leaq 0x7a4f8(%rip), %rdx     # 0xa80b4
callq 0xd14c
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 0xbf80
leaq 0x75a96(%rip), %rsi     # 0xa3684
leaq 0x88(%rsp), %rdi
callq 0x18fba
leaq 0x7a4b3(%rip), %rsi     # 0xa80b5
movq %rax, %rdi
callq 0x3f614
leaq 0x79645(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2dc35
movq %rbx, %rdi
addq $0x10, %rdi
movq (%rbp), %rsi
callq 0x2110
leaq 0x75a48(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x7e158(%rip), %rsi     # 0xabda3
movq %rax, %rdi
callq 0x19222
leaq 0x795fc(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2dc92
movq 0xb9593(%rip), %rax     # 0xe7208
imulq 0xb9573(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8c600(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x2dcc4
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 0xb95e0(%rip), %rax     # 0xe72c0
movq (%rax), %r13
leaq 0xb95de(%rip), %rax     # 0xe72c8
movq (%rax), %rbx
movq (%r12), %r14
movq 0xb9510(%rip), %rbp     # 0xe7208
movq 0xb94f1(%rip), %r12     # 0xe71f0
leaq 0x10(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x7e03f(%rip), %rsi     # 0xabd4e
leaq 0x7e06f(%rip), %rdx     # 0xabd85
movq %rsp, %rdi
callq 0xd14c
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 0xbf80
leaq 0xb957a(%rip), %r14     # 0xe72d0
movq %r15, %r13
leaq 0x75924(%rip), %rsi     # 0xa3684
leaq 0x88(%rsp), %rdi
callq 0x18fba
leaq 0x7fc06(%rip), %rsi     # 0xad97a
movq %rax, %rdi
callq 0x3f5a4
leaq 0x794d3(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2ddba
leaq 0xb9522(%rip), %rax     # 0xe72c0
movq (%rax), %rsi
leaq 0xb9520(%rip), %rax     # 0xe72c8
addq (%rax), %rsi
addq (%r14), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x758c3(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x7dfd3(%rip), %rsi     # 0xabda3
movq %rax, %rdi
callq 0x19222
leaq 0x79477(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2de17
movq 0xb940e(%rip), %rax     # 0xe7208
imulq 0xb93ee(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8c47b(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %rbp, %rdi
je 0x2de49
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r14), %r14
leaq 0xb948d(%rip), %rax     # 0xe72e0
movq (%rax), %rbx
movq 0xb93ab(%rip), %r12     # 0xe7208
movq 0xb938c(%rip), %r15     # 0xe71f0
movq %rsp, %rdi
movq %rbp, (%rdi)
leaq 0x7df15(%rip), %rsi     # 0xabd86
leaq 0x7df40(%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 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf80
leaq 0x757d7(%rip), %rsi     # 0xa3684
leaq 0x88(%rsp), %rdi
callq 0x18fba
leaq 0xb940f(%rip), %r14     # 0xe72d0
leaq 0x7de6c(%rip), %rsi     # 0xabd34
movq %rax, %rdi
callq 0x421f8
leaq 0x7937f(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2df04
movq (%r14), %rsi
leaq 0xb93eb(%rip), %rax     # 0xe72e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x75779(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x7de89(%rip), %rsi     # 0xabda3
movq %rax, %rdi
callq 0x19222
leaq 0x7932d(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2df61
movq 0xb92c4(%rip), %rax     # 0xe7208
imulq 0xb92a4(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8c331(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %rbp, %rdi
je 0x2df93
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r13), %rbx
movq 0xb926a(%rip), %r15     # 0xe7208
movq 0xb924b(%rip), %r14     # 0xe71f0
movq %rsp, %rdi
movq %rbp, (%rdi)
leaq 0x7de07(%rip), %rsi     # 0xabdb9
leaq 0x7de38(%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 0x88(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf80
leaq 0x75696(%rip), %rsi     # 0xa3684
leaq 0x88(%rsp), %rdi
callq 0x18fba
leaq 0x7a0b3(%rip), %rsi     # 0xa80b5
movq %rax, %rdi
callq 0x3f614
leaq 0x79245(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2e035
movq %rbx, %rdi
addq $0x10, %rdi
movq (%r13), %rsi
callq 0x2110
leaq 0x75648(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x7dd8d(%rip), %rsi     # 0xabdd8
movq %rax, %rdi
callq 0x421f8
leaq 0x791fc(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x2e095
movq 0xb9193(%rip), %rax     # 0xe7208
imulq 0xb9173(%rip), %rax     # 0xe71f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
addq %rsi, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x8c1fd(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %rbp, %rdi
jne 0x2dcb7
jmp 0x2dcc4
jmp 0x2e0cd
jmp 0x2e0cd
jmp 0x2e0cd
jmp 0x2e0cd
jmp 0x2e0cd
movq %rax, %rbx
jmp 0x2e17e
jmp 0x2e153
jmp 0x2e186
jmp 0x2e10b
jmp 0x2e11d
jmp 0x2e12f
jmp 0x2e141
jmp 0x2e0ec
jmp 0x2e0f1
jmp 0x2e0ec
jmp 0x2e0f1
movq %rax, %rbx
jmp 0x2e163
movq %rax, %rbx
jmp 0x2e196
jmp 0x2e1a1
jmp 0x2e1a1
jmp 0x2e10b
jmp 0x2e11d
jmp 0x2e12f
jmp 0x2e141
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbfd8
jmp 0x2e163
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbfd8
jmp 0x2e196
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbfd8
jmp 0x2e163
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbfd8
jmp 0x2e196
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x2e17e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rbx, %rdi
callq 0x2300
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r14, %rdi
jne 0x2e171
jmp 0x2e17e
movq %rax, %rdi
callq 0xc0a9