// File: /workspace/github_c_makefile_star2_O0/mtnygard[P]complisp/lisp.c
// Function: Testing_expect_entry_has_contents
TEST Testing_expect_entry_has_contents(Buffer *buf, byte *arr,
                                       size_t arr_size) {
  size_t total_size =
      sizeof kEntryPrologue + arr_size + sizeof kFunctionEpilogue;
  ASSERT_EQ_FMT(total_size, Buffer_len(buf), "%ld");

  byte *ptr = buf->address;
  ASSERT_MEM_EQ(kEntryPrologue, ptr, sizeof kEntryPrologue);
  ptr += sizeof kEntryPrologue;
  ASSERT_MEM_EQ(arr, ptr, arr_size);
  ptr += arr_size;
  ASSERT_MEM_EQ(kFunctionEpilogue, ptr, sizeof kFunctionEpilogue);
  ptr += sizeof kFunctionEpilogue;
  PASS();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x20(%rbp), %rax
addq $0x3, %rax
addq $0x1, %rax
movq %rax, -0x28(%rbp)
movl 0x83d7(%rip), %eax      # 0x1b144
addl $0x1, %eax
movl %eax, 0x83ce(%rip)      # 0x1b144
movq -0x28(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x10(%rbp), %rdi
callq 0x1c90
movq %rax, %rcx
movq -0x98(%rbp), %rax
cmpq %rcx, %rax
je 0x12e79
movq 0x822c(%rip), %rax      # 0x1afd0
movq (%rax), %rdi
leaq 0x2980(%rip), %rsi      # 0x1572e
movb $0x0, %al
callq 0x1100
movq 0x8214(%rip), %rax      # 0x1afd0
movq (%rax), %rdi
movq -0x28(%rbp), %rdx
leaq 0x28b2(%rip), %rsi      # 0x1567c
movb $0x0, %al
callq 0x1100
movq 0x81f8(%rip), %rax      # 0x1afd0
movq (%rax), %rdi
leaq 0x2958(%rip), %rsi      # 0x1573a
movb $0x0, %al
callq 0x1100
movq 0x81e0(%rip), %rax      # 0x1afd0
movq (%rax), %rax
movq %rax, -0xa0(%rbp)
movq -0x10(%rbp), %rdi
callq 0x1c90
movq -0xa0(%rbp), %rdi
movq %rax, %rdx
leaq 0x2868(%rip), %rsi      # 0x1567c
movb $0x0, %al
callq 0x1100
movq 0x81ae(%rip), %rax      # 0x1afd0
movq (%rax), %rdi
leaq 0x3b90(%rip), %rsi      # 0x169bc
movb $0x0, %al
callq 0x1100
leaq 0x1869(%rip), %rax      # 0x146a3
movq %rax, 0x830f(%rip)      # 0x1b150
movl $0x486, 0x82fd(%rip)    # imm = 0x486
leaq 0x326e(%rip), %rax      # 0x160c0
movq %rax, 0x82ff(%rip)      # 0x1b158
movzbl 0x82a0(%rip), %eax      # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x12e6d
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x131b0
jmp 0x12e7b
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x30(%rbp)
leaq 0x134c(%rip), %rax      # 0x141d9
movq %rax, -0x48(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
movq $0x3, -0x38(%rbp)
leaq 0x8240(%rip), %rax      # 0x1b0e8
movq %rax, -0x50(%rbp)
movl 0x8292(%rip), %eax      # 0x1b144
addl $0x1, %eax
movl %eax, 0x8289(%rip)      # 0x1b144
movq -0x48(%rbp), %rdi
movq -0x40(%rbp), %rsi
movq -0x50(%rbp), %rdx
leaq -0x48(%rbp), %rcx
callq 0x11f00
cmpl $0x0, %eax
jne 0x12f7a
cmpq $0x0, -0x50(%rbp)
je 0x12eea
movq -0x50(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x12f32
jmp 0x12eec
leaq 0x17b0(%rip), %rax      # 0x146a3
movq %rax, 0x8256(%rip)      # 0x1b150
movl $0x489, 0x8244(%rip)    # imm = 0x489
leaq 0x2bd2(%rip), %rax      # 0x15add
movq %rax, 0x8246(%rip)      # 0x1b158
movzbl 0x81e7(%rip), %eax      # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x12f26
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x131b0
jmp 0x12f34
leaq 0x1768(%rip), %rax      # 0x146a3
movq %rax, 0x820e(%rip)      # 0x1b150
movl $0x489, 0x81fc(%rip)    # imm = 0x489
leaq 0x318b(%rip), %rax      # 0x160de
movq %rax, 0x81fe(%rip)      # 0x1b158
movzbl 0x819f(%rip), %eax      # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x12f6e
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x131b0
jmp 0x12f7c
jmp 0x12f7e
movq -0x30(%rbp), %rax
addq $0x3, %rax
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x58(%rbp)
leaq 0x813f(%rip), %rax      # 0x1b0e8
movq %rax, -0x70(%rbp)
movl 0x8191(%rip), %eax      # 0x1b144
addl $0x1, %eax
movl %eax, 0x8188(%rip)      # 0x1b144
movq -0x68(%rbp), %rdi
movq -0x60(%rbp), %rsi
movq -0x70(%rbp), %rdx
leaq -0x68(%rbp), %rcx
callq 0x11f00
cmpl $0x0, %eax
jne 0x1307b
cmpq $0x0, -0x70(%rbp)
je 0x12feb
movq -0x70(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x13033
jmp 0x12fed
leaq 0x16af(%rip), %rax      # 0x146a3
movq %rax, 0x8155(%rip)      # 0x1b150
movl $0x48b, 0x8143(%rip)    # imm = 0x48B
leaq 0x2ad1(%rip), %rax      # 0x15add
movq %rax, 0x8145(%rip)      # 0x1b158
movzbl 0x80e6(%rip), %eax      # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x13027
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x131b0
jmp 0x13035
leaq 0x1667(%rip), %rax      # 0x146a3
movq %rax, 0x810d(%rip)      # 0x1b150
movl $0x48b, 0x80fb(%rip)    # imm = 0x48B
leaq 0x30a0(%rip), %rax      # 0x160f4
movq %rax, 0x80fd(%rip)      # 0x1b158
movzbl 0x809e(%rip), %eax      # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x1306f
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x131b0
jmp 0x1307d
jmp 0x1307f
movq -0x20(%rbp), %rax
addq -0x30(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x1146(%rip), %rax      # 0x141d8
movq %rax, -0x88(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x80(%rbp)
movq $0x1, -0x78(%rbp)
leaq 0x8038(%rip), %rax      # 0x1b0e8
movq %rax, -0x90(%rbp)
movl 0x8087(%rip), %eax      # 0x1b144
addl $0x1, %eax
movl %eax, 0x807e(%rip)      # 0x1b144
movq -0x88(%rbp), %rdi
movq -0x80(%rbp), %rsi
movq -0x90(%rbp), %rdx
leaq -0x88(%rbp), %rcx
callq 0x11f00
cmpl $0x0, %eax
jne 0x1318e
cmpq $0x0, -0x90(%rbp)
je 0x13104
movq -0x90(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x13149
jmp 0x13106
leaq 0x1596(%rip), %rax      # 0x146a3
movq %rax, 0x803c(%rip)      # 0x1b150
movl $0x48d, 0x802a(%rip)    # imm = 0x48D
leaq 0x29b8(%rip), %rax      # 0x15add
movq %rax, 0x802c(%rip)      # 0x1b158
movzbl 0x7fcd(%rip), %eax      # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x13140
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x131b0
jmp 0x1314b
leaq 0x1551(%rip), %rax      # 0x146a3
movq %rax, 0x7ff7(%rip)      # 0x1b150
movl $0x48d, 0x7fe5(%rip)    # imm = 0x48D
leaq 0x2f95(%rip), %rax      # 0x160ff
movq %rax, 0x7fe7(%rip)      # 0x1b158
movzbl 0x7f88(%rip), %eax      # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x13185
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x131b0
jmp 0x13190
jmp 0x13192
movq -0x30(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
movq $0x0, 0x7faf(%rip) # 0x1b158
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0xa0, %rsp
popq %rbp
retq
nopl (%rax)