// File: /workspace/github_cpp_makefile_star2_O1/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 0xb28c2(%rip), %xmm0    # 0xe51e8
movups %xmm0, 0x120(%r14)
movups 0xb28c3(%rip), %xmm0    # 0xe51f8
movups %xmm0, 0x130(%r14)
movups 0xb28c4(%rip), %xmm0    # 0xe5208
movups %xmm0, 0x140(%r14)
movq %r14, %rdi
callq 0x3f6ba
movq %r14, %rdi
callq 0x3f7be
leaq 0xb295d(%rip), %r13     # 0xe52c0
movq %r15, (%r13)
leaq 0xb295a(%rip), %rax     # 0xe52c8
movq %r15, (%rax)
leaq 0xb2958(%rip), %r12     # 0xe52d0
movq %r15, (%r12)
leaq 0xb2955(%rip), %rax     # 0xe52d8
movq %r15, (%rax)
leaq 0xb2953(%rip), %rax     # 0xe52e0
movq %r15, (%rax)
leaq 0xb2951(%rip), %rbp     # 0xe52e8
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 0x3f6ba
leaq 0x8(%rsp), %rdi
callq 0x3f7be
leaq 0x8(%rsp), %rdi
leaq 0x158(%rsp), %rsi
callq 0x4505c
leaq 0x8(%rsp), %rdi
callq 0x3f8f6
leaq 0x158(%rsp), %rdi
callq 0x3f8f6
testb %bl, %bl
je 0x32dad
movq %r13, %r15
movq (%r13), %r13
leaq 0xb289c(%rip), %rax     # 0xe52c8
movq (%rax), %rbx
movq %r12, %r14
movq (%r12), %r12
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x737a3(%rip), %rsi     # 0xa61e9
leaq 0x737bf(%rip), %rdx     # 0xa620c
leaq 0x8(%rsp), %rdi
callq 0xd0b8
addq %r13, %rbx
xorl %esi, %esi
addq %r12, %rbx
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
leaq 0x18(%rsp), %r13
callq 0xbf0a
movq %r14, %r12
leaq 0x6ebd0(%rip), %rsi     # 0xa1654
leaq 0x158(%rsp), %rdi
callq 0x18a16
leaq 0x790d2(%rip), %rsi     # 0xabb6a
movq %rax, %rdi
callq 0x3ebfa
leaq 0x72883(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32ad8
movq (%r15), %rsi
leaq 0xb2803(%rip), %rax     # 0xe52c8
addq (%rax), %rsi
addq (%r12), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x6eb75(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x703e9(%rip), %rsi     # 0xa2ed7
movq %rax, %rdi
callq 0x18a16
leaq 0x7282d(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32b1f
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x85843(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x158(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x32b52
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r12), %rbx
leaq 0xb2783(%rip), %rax     # 0xe52e0
movq (%rax), %r14
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x77396(%rip), %rsi     # 0xa9f05
leaq 0x773ad(%rip), %rdx     # 0xa9f23
callq 0xd0b8
xorl %esi, %esi
addq %rbx, %r14
sete %sil
leaq 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xbf0a
leaq 0x6eab7(%rip), %rsi     # 0xa1654
leaq 0x158(%rsp), %rdi
callq 0x18a16
leaq 0x77373(%rip), %rsi     # 0xa9f24
movq %rax, %rdi
callq 0x41786
leaq 0x7276a(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32bee
movq (%r12), %rsi
leaq 0xb2701(%rip), %rax     # 0xe52e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x6ea5f(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x702d3(%rip), %rsi     # 0xa2ed7
movq %rax, %rdi
callq 0x18a16
leaq 0x72717(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32c35
movq %rbx, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x22f0
leaq 0x8572d(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x158(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x32c68
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%rbp), %rbx
movq 0xb2595(%rip), %r12     # 0xe5208
movq 0xb2576(%rip), %r14     # 0xe51f0
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x735e7(%rip), %rsi     # 0xa6270
leaq 0x73614(%rip), %rdx     # 0xa62a4
callq 0xd0b8
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 0xbf0a
leaq 0x6e990(%rip), %rsi     # 0xa1654
leaq 0x158(%rsp), %rdi
callq 0x18a16
leaq 0x735cd(%rip), %rsi     # 0xa62a5
movq %rax, %rdi
callq 0x3ec6a
leaq 0x72643(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32d0b
movq %rbx, %rdi
addq $0x10, %rdi
movq (%rbp), %rsi
callq 0x2110
leaq 0x6e942(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x77272(%rip), %rsi     # 0xa9f93
movq %rax, %rdi
callq 0x18c7e
leaq 0x725fa(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32d68
movq 0xb24bd(%rip), %rax     # 0xe5208
imulq 0xb249d(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x855fa(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x158(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x32d9b
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 0xb250d(%rip), %rax     # 0xe52c8
movq (%rax), %rbx
movq (%r12), %r13
movq 0xb243f(%rip), %rbp     # 0xe5208
movq 0xb2420(%rip), %r12     # 0xe51f0
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x7715e(%rip), %rsi     # 0xa9f3e
leaq 0x7718e(%rip), %rdx     # 0xa9f75
leaq 0x8(%rsp), %rdi
callq 0xd0b8
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 0xbf0a
movq %r14, %r13
leaq 0xb24a2(%rip), %r14     # 0xe52d0
leaq 0x6e81f(%rip), %rsi     # 0xa1654
leaq 0x158(%rsp), %rdi
callq 0x18a16
leaq 0x78d21(%rip), %rsi     # 0xabb6a
movq %rax, %rdi
callq 0x3ebfa
leaq 0x724d2(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32e8f
leaq 0xb244d(%rip), %rax     # 0xe52c0
movq (%rax), %rsi
leaq 0xb244b(%rip), %rax     # 0xe52c8
addq (%rax), %rsi
addq (%r14), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x6e7be(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x770ee(%rip), %rsi     # 0xa9f93
movq %rax, %rdi
callq 0x18c7e
leaq 0x72476(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32eec
movq 0xb2339(%rip), %rax     # 0xe5208
imulq 0xb2319(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x85476(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x158(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x32f1f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r14), %r14
leaq 0xb23b7(%rip), %rax     # 0xe52e0
movq (%rax), %rbx
movq 0xb22d5(%rip), %r12     # 0xe5208
movq 0xb22b6(%rip), %r15     # 0xe51f0
leaq 0x8(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x7702d(%rip), %rsi     # 0xa9f76
leaq 0x77058(%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 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xbf0a
leaq 0x6e6cd(%rip), %rsi     # 0xa1654
leaq 0x158(%rsp), %rdi
callq 0x18a16
leaq 0xb2335(%rip), %r14     # 0xe52d0
leaq 0x76f82(%rip), %rsi     # 0xa9f24
movq %rax, %rdi
callq 0x41786
leaq 0x72379(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x32fde
movq (%r14), %rsi
leaq 0xb2311(%rip), %rax     # 0xe52e0
addq (%rax), %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x6e66f(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x76f9f(%rip), %rsi     # 0xa9f93
movq %rax, %rdi
callq 0x18c7e
leaq 0x72327(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x3303b
movq 0xb21ea(%rip), %rax     # 0xe5208
imulq 0xb21ca(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x85327(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x158(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x3306e
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq (%r13), %rbx
movq 0xb218f(%rip), %r15     # 0xe5208
movq 0xb2170(%rip), %r14     # 0xe51f0
leaq 0x8(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x76f1a(%rip), %rsi     # 0xa9fa9
leaq 0x76f4b(%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 0x158(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xbf0a
leaq 0x6e587(%rip), %rsi     # 0xa1654
leaq 0x158(%rsp), %rdi
callq 0x18a16
leaq 0x731c4(%rip), %rsi     # 0xa62a5
movq %rax, %rdi
callq 0x3ec6a
leaq 0x7223a(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33114
movq %rbx, %rdi
addq $0x10, %rdi
movq (%r13), %rsi
callq 0x2110
leaq 0x6e539(%rip), %rsi     # 0xa1654
movq %rbx, %rdi
callq 0x18a16
leaq 0x76e9e(%rip), %rsi     # 0xa9fc8
movq %rax, %rdi
callq 0x41786
leaq 0x721f1(%rip), %rsi     # 0xa532a
movq %rax, %rdi
callq 0x18a16
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x33174
movq 0xb20b4(%rip), %rax     # 0xe5208
imulq 0xb2094(%rip), %rax     # 0xe51f0
xorl %esi, %esi
testq %rax, %rax
cmovgq %rax, %rsi
addq %rsi, %rsi
movq %rbx, %rdi
addq $0x10, %rdi
callq 0x2110
leaq 0x851ee(%rip), %rsi     # 0xb8369
movq %rbx, %rdi
callq 0x18a16
leaq 0x158(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
jne 0x32d8e
jmp 0x32d9b
jmp 0x331ad
jmp 0x331ad
jmp 0x331ad
jmp 0x331ad
jmp 0x331ad
movq %rax, %rbx
jmp 0x33299
jmp 0x3325b
jmp 0x3326d
jmp 0x331ff
jmp 0x33211
jmp 0x33223
jmp 0x33235
jmp 0x331d1
jmp 0x331d1
jmp 0x331d1
jmp 0x331d1
jmp 0x331d1
movq %rax, %rbx
jmp 0x3327d
jmp 0x332a1
jmp 0x332a1
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x3f8f6
jmp 0x3324a
jmp 0x332a1
jmp 0x331ff
jmp 0x33211
jmp 0x33223
jmp 0x33235
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbf62
jmp 0x3327d
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbf62
jmp 0x3327d
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbf62
jmp 0x3327d
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbf62
jmp 0x3327d
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0x3f8f6
jmp 0x33299
jmp 0x332a1
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbf62
jmp 0x3327d
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xbf62
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x33299
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rbx, %rdi
callq 0x2300
movq %rax, %rdi
callq 0xc036