// File: dsharlet[P]array/test/array_lifetime.cpp
// Function: nda::test_array_move_assign_lifetime_body()
TEST(array_move_assign_lifetime) {
  movable_custom_alloc::reset_lifetime_counters();
  immovable_custom_alloc::reset_lifetime_counters();
  test_move_assign_lifetime<std_alloc>();
  test_move_assign_lifetime<movable_custom_alloc>();
  test_move_assign_lifetime<immovable_custom_alloc>();
  test_move_assign_lifetime<auto_alloc_big>(false);
  test_move_assign_lifetime<auto_alloc_small>();
  ASSERT_EQ(movable_custom_alloc::constructs, 2);
  ASSERT_EQ(immovable_custom_alloc::constructs, 2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x420, %rsp            # imm = 0x420
callq 0x580d0
callq 0x580f0
movl $0x1, %edi
movl %edi, -0x390(%rbp)
callq 0x6bf70
movl -0x390(%rbp), %edi
callq 0x6cce0
movl -0x390(%rbp), %edi
callq 0x6da50
xorl %edi, %edi
callq 0x6e7c0
movl -0x390(%rbp), %edi
callq 0x6f540
movq 0x245594(%rip), %rax    # 0x2922c8
subq $0x2, %rax
sete %al
movb %al, -0x389(%rbp)
leaq -0x1b1(%rbp), %rdi
movq %rdi, -0x388(%rbp)
callq 0x33b0
movq -0x388(%rbp), %rdx
leaq 0x1949e4(%rip), %rsi    # 0x1e1746
leaq -0x1b0(%rbp), %rdi
callq 0x10a90
jmp 0x4cd70
movb -0x389(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x190(%rbp), %rdi
leaq -0x1b0(%rbp), %rdx
callq 0x10f80
jmp 0x4cd91
leaq 0x18fa4d(%rip), %rsi    # 0x1dc7e5
leaq -0x190(%rbp), %rdi
callq 0x34320
movq %rax, -0x398(%rbp)
jmp 0x4cdad
movq -0x398(%rbp), %rdi
leaq 0x194853(%rip), %rsi    # 0x1e160e
callq 0x59840
movq %rax, -0x3a0(%rbp)
jmp 0x4cdc9
movq -0x3a0(%rbp), %rdi
leaq 0x1939d5(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x3a8(%rbp)
jmp 0x4cde5
movq -0x3a8(%rbp), %rdi
leaq 0x2454d5(%rip), %rsi    # 0x2922c8
callq 0x355c0
movq %rax, -0x3b0(%rbp)
jmp 0x4ce01
movq -0x3b0(%rbp), %rdi
leaq 0x18f9d6(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x3b8(%rbp)
jmp 0x4ce1d
movq -0x3b8(%rbp), %rdi
leaq 0x1988c6(%rip), %rsi    # 0x1e56f1
callq 0x34320
movq %rax, -0x3c0(%rbp)
jmp 0x4ce39
movq -0x3c0(%rbp), %rdi
leaq 0x193965(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x3c8(%rbp)
jmp 0x4ce55
movq -0x3c8(%rbp), %rdi
movl $0x2, -0x1c8(%rbp)
leaq -0x1c8(%rbp), %rsi
callq 0x343a0
movq %rax, -0x3d0(%rbp)
jmp 0x4ce7b
movq -0x3d0(%rbp), %rdi
leaq 0x1a95f2(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x4ce90
leaq -0x190(%rbp), %rdi
callq 0x10ff0
jmp 0x4ce9e
leaq -0x1b0(%rbp), %rdi
callq 0x3100
leaq -0x1b1(%rbp), %rdi
callq 0x3290
movq 0x245413(%rip), %rax    # 0x2922d0
subq $0x2, %rax
sete %al
movb %al, -0x3d9(%rbp)
leaq -0x379(%rbp), %rdi
movq %rdi, -0x3d8(%rbp)
callq 0x33b0
movq -0x3d8(%rbp), %rdx
leaq 0x194859(%rip), %rsi    # 0x1e1744
leaq -0x378(%rbp), %rdi
callq 0x10a90
jmp 0x4cef9
movb -0x3d9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x358(%rbp), %rdi
leaq -0x378(%rbp), %rdx
callq 0x10f80
jmp 0x4cf1a
leaq 0x18f8c4(%rip), %rsi    # 0x1dc7e5
leaq -0x358(%rbp), %rdi
callq 0x34320
movq %rax, -0x3e8(%rbp)
jmp 0x4cf36
movq -0x3e8(%rbp), %rdi
leaq 0x1946c8(%rip), %rsi    # 0x1e160c
callq 0x59880
movq %rax, -0x3f0(%rbp)
jmp 0x4cf52
movq -0x3f0(%rbp), %rdi
leaq 0x19384c(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x3f8(%rbp)
jmp 0x4cf6e
movq -0x3f8(%rbp), %rdi
leaq 0x245354(%rip), %rsi    # 0x2922d0
callq 0x355c0
movq %rax, -0x400(%rbp)
jmp 0x4cf8a
movq -0x400(%rbp), %rdi
leaq 0x18f84d(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x408(%rbp)
jmp 0x4cfa6
movq -0x408(%rbp), %rdi
leaq 0x19873d(%rip), %rsi    # 0x1e56f1
callq 0x34320
movq %rax, -0x410(%rbp)
jmp 0x4cfc2
movq -0x410(%rbp), %rdi
leaq 0x1937dc(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x418(%rbp)
jmp 0x4cfde
movq -0x418(%rbp), %rdi
movl $0x2, -0x380(%rbp)
leaq -0x380(%rbp), %rsi
callq 0x343a0
movq %rax, -0x420(%rbp)
jmp 0x4d004
movq -0x420(%rbp), %rdi
leaq 0x1a9469(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x4d019
leaq -0x358(%rbp), %rdi
callq 0x10ff0
jmp 0x4d027
leaq -0x378(%rbp), %rdi
callq 0x3100
leaq -0x379(%rbp), %rdi
callq 0x3290
addq $0x420, %rsp            # imm = 0x420
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4d09e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4d092
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x190(%rbp), %rdi
callq 0x10ff0
jmp 0x4d090
jmp 0x4d092
leaq -0x1b0(%rbp), %rdi
callq 0x3100
leaq -0x1b1(%rbp), %rdi
callq 0x3290
jmp 0x4d10e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4d102
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4d0f6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x358(%rbp), %rdi
callq 0x10ff0
jmp 0x4d0f4
jmp 0x4d0f6
leaq -0x378(%rbp), %rdi
callq 0x3100
leaq -0x379(%rbp), %rdi
callq 0x3290
movq -0x1c0(%rbp), %rdi
callq 0x33a0
movq %rax, %rdi
callq 0x116d0
nopw %cs:(%rax,%rax)