// File: sgalkina[P]data_structures/src/test_map.h
// Function: gtl::smoketest_map<gtl::vector_map<int, int>>::smoketest()
void smoketest_map<T>::smoketest() {
  T map;
  assert(map.size() == 0);
  assert(!map.contains_key(1));
  assert(map.add(1, 100));
  assert(map.size() == 1);
  assert(map.contains_key(1));
  int * value = map.lookup(1);
  assert(*value == 100);
  assert(!map.add(1, 200));
  int * new_value = map.lookup(1);
  assert(*new_value == 200);
  assert(map.remove(1));
  assert(!map.remove(1));
  assert(!map.remove(14));
  assert(map.size() == 0);
  int * empty_value = map.lookup(1);
  assert(empty_value == nullptr);
  search();
}

// Assembly:
subq $0xd8, %rsp
movq %rdi, 0xd0(%rsp)
movq 0xd0(%rsp), %rax
movq %rax, 0x50(%rsp)
leaq 0xb8(%rsp), %rdi
movq %rdi, 0x58(%rsp)
callq 0x67f0
movq 0x58(%rsp), %rdi
callq 0x6800
movq %rax, 0x60(%rsp)
jmp 0x393f
movq 0x60(%rsp), %rax
cmpq $0x0, %rax
jne 0x394c
jmp 0x3991
leaq 0xab1d(%rip), %rdi      # 0xe470
leaq 0xa9aa(%rip), %rsi      # 0xe304
movl $0x19, %edx
leaq 0xab1a(%rip), %rcx      # 0xe480
callq 0x2080
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb0(%rsp)
movl %eax, 0xac(%rsp)
leaq 0xb8(%rsp), %rdi
callq 0x6b20
jmp 0x3d8a
movl $0x1, 0xa8(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0x6810
movb %al, 0x4f(%rsp)
jmp 0x39b7
movb 0x4f(%rsp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x39c3
jmp 0x39c5
jmp 0x39e4
leaq 0xab14(%rip), %rdi      # 0xe4e0
leaq 0xa931(%rip), %rsi      # 0xe304
movl $0x1a, %edx
leaq 0xaaa1(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0xa4(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0xa4(%rsp), %rsi
movl $0x64, %edx
callq 0x6860
movb %al, 0x4e(%rsp)
jmp 0x3a0f
movb 0x4e(%rsp), %al
testb $0x1, %al
jne 0x3a19
jmp 0x3a1b
jmp 0x3a3a
leaq 0xaad3(%rip), %rdi      # 0xe4f5
leaq 0xa8db(%rip), %rsi      # 0xe304
movl $0x1b, %edx
leaq 0xaa4b(%rip), %rcx      # 0xe480
callq 0x2080
leaq 0xb8(%rsp), %rdi
callq 0x6800
movq %rax, 0x40(%rsp)
jmp 0x3a4e
movq 0x40(%rsp), %rax
cmpq $0x1, %rax
jne 0x3a5b
jmp 0x3a7a
leaq 0xaaa3(%rip), %rdi      # 0xe505
leaq 0xa89b(%rip), %rsi      # 0xe304
movl $0x1c, %edx
leaq 0xaa0b(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0xa0(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x6810
movb %al, 0x3f(%rsp)
jmp 0x3aa0
movb 0x3f(%rsp), %al
testb $0x1, %al
jne 0x3aaa
jmp 0x3aac
jmp 0x3acb
leaq 0xaa2e(%rip), %rdi      # 0xe4e1
leaq 0xa84a(%rip), %rsi      # 0xe304
movl $0x1d, %edx
leaq 0xa9ba(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0x94(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0x94(%rsp), %rsi
callq 0x68e0
movq %rax, 0x30(%rsp)
jmp 0x3af2
movq 0x30(%rsp), %rax
movq %rax, 0x98(%rsp)
movq 0x98(%rsp), %rax
cmpl $0x64, (%rax)
jne 0x3b0e
jmp 0x3b2d
leaq 0xaa00(%rip), %rdi      # 0xe515
leaq 0xa7e8(%rip), %rsi      # 0xe304
movl $0x1f, %edx
leaq 0xa958(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0x90(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0x90(%rsp), %rsi
movl $0xc8, %edx
callq 0x6860
movb %al, 0x2f(%rsp)
jmp 0x3b58
movb 0x2f(%rsp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x3b64
jmp 0x3b66
jmp 0x3b85
leaq 0xa9b6(%rip), %rdi      # 0xe523
leaq 0xa790(%rip), %rsi      # 0xe304
movl $0x20, %edx
leaq 0xa900(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0x84(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0x84(%rsp), %rsi
callq 0x68e0
movq %rax, 0x20(%rsp)
jmp 0x3bac
movq 0x20(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0x88(%rsp), %rax
cmpl $0xc8, (%rax)
jne 0x3bcb
jmp 0x3bea
leaq 0xa962(%rip), %rdi      # 0xe534
leaq 0xa72b(%rip), %rsi      # 0xe304
movl $0x22, %edx
leaq 0xa89b(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0x80(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x6910
movb %al, 0x1f(%rsp)
jmp 0x3c10
movb 0x1f(%rsp), %al
testb $0x1, %al
jne 0x3c1a
jmp 0x3c1c
jmp 0x3c3b
leaq 0xa924(%rip), %rdi      # 0xe547
leaq 0xa6da(%rip), %rsi      # 0xe304
movl $0x23, %edx
leaq 0xa84a(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0x7c(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0x7c(%rsp), %rsi
callq 0x6910
movb %al, 0x1e(%rsp)
jmp 0x3c5b
movb 0x1e(%rsp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x3c67
jmp 0x3c69
jmp 0x3c88
leaq 0xa8d6(%rip), %rdi      # 0xe546
leaq 0xa68d(%rip), %rsi      # 0xe304
movl $0x24, %edx
leaq 0xa7fd(%rip), %rcx      # 0xe480
callq 0x2080
movl $0xe, 0x78(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0x78(%rsp), %rsi
callq 0x6910
movb %al, 0x1d(%rsp)
jmp 0x3ca8
movb 0x1d(%rsp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x3cb4
jmp 0x3cb6
jmp 0x3cd5
leaq 0xa898(%rip), %rdi      # 0xe555
leaq 0xa640(%rip), %rsi      # 0xe304
movl $0x25, %edx
leaq 0xa7b0(%rip), %rcx      # 0xe480
callq 0x2080
leaq 0xb8(%rsp), %rdi
callq 0x6800
movq %rax, 0x10(%rsp)
jmp 0x3ce9
movq 0x10(%rsp), %rax
cmpq $0x0, %rax
jne 0x3cf6
jmp 0x3d15
leaq 0xa773(%rip), %rdi      # 0xe470
leaq 0xa600(%rip), %rsi      # 0xe304
movl $0x26, %edx
leaq 0xa770(%rip), %rcx      # 0xe480
callq 0x2080
movl $0x1, 0x6c(%rsp)
leaq 0xb8(%rsp), %rdi
leaq 0x6c(%rsp), %rsi
callq 0x68e0
movq %rax, 0x8(%rsp)
jmp 0x3d36
movq 0x8(%rsp), %rax
movq %rax, 0x70(%rsp)
cmpq $0x0, 0x70(%rsp)
jne 0x3d4a
jmp 0x3d69
leaq 0xa814(%rip), %rdi      # 0xe565
leaq 0xa5ac(%rip), %rsi      # 0xe304
movl $0x28, %edx
leaq 0xa71c(%rip), %rcx      # 0xe480
callq 0x2080
movq 0x50(%rsp), %rdi
callq 0x6980
jmp 0x3d75
leaq 0xb8(%rsp), %rdi
callq 0x6b20
addq $0xd8, %rsp
retq
movq 0xb0(%rsp), %rdi
callq 0x21a0
nopw (%rax,%rax)