// File: /workspace/github_c_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rdi, %r14
leaq 0x4(%rdx), %r12
movl 0x6c82(%rip), %eax      # 0x15154
leal 0x1(%rax), %ecx
movl %ecx, 0x6c79(%rip)      # 0x15154
cmpq 0x10(%rdi), %r12
jne 0xe5a7
movq %rdx, %rbx
movq %rsi, %r15
movq (%r14), %r14
leaq 0xbdc(%rip), %rdi       # 0xf0d1
leaq -0x38(%rbp), %rcx
movq %rdi, (%rcx)
movq %r14, 0x8(%rcx)
movq $0x3, 0x10(%rcx)
addl $0x2, %eax
movl %eax, 0x6c43(%rip)      # 0x15154
leaq 0x6be0(%rip), %rdx      # 0x150f8
movq %r14, %rsi
callq 0xd9be
testl %eax, %eax
je 0xe652
addq $0x3, %r14
leaq -0x38(%rbp), %rcx
movq %r15, (%rcx)
movq %r14, 0x8(%rcx)
movq %rbx, 0x10(%rcx)
incl 0x6c13(%rip)            # 0x15154
leaq 0x6bb0(%rip), %rdx      # 0x150f8
movq %r15, %rdi
movq %r14, %rsi
callq 0xd9be
testl %eax, %eax
je 0xe67d
addq %rbx, %r14
leaq 0xb6b(%rip), %rdi       # 0xf0d0
leaq -0x38(%rbp), %rcx
movq %rdi, (%rcx)
movq %r14, 0x8(%rcx)
movq $0x1, 0x10(%rcx)
incl 0x6bd6(%rip)            # 0x15154
leaq 0x6b73(%rip), %rdx      # 0x150f8
movq %r14, %rsi
callq 0xd9be
testl %eax, %eax
je 0xe6a8
movq $0x0, 0x6bc8(%rip) # 0x15168
xorl %eax, %eax
jmp 0xe6ef
movq 0x6a22(%rip), %r15      # 0x14fd0
movq (%r15), %rcx
leaq 0x2013(%rip), %rdi      # 0x105cb
movl $0xb, %esi
movl $0x1, %edx
callq 0x1190
movq (%r15), %rdi
leaq 0x1f4a(%rip), %rbx      # 0x1051b
movq %rbx, %rsi
movq %r12, %rdx
xorl %eax, %eax
callq 0x1100
movq (%r15), %rcx
leaq 0x1fef(%rip), %rdi      # 0x105d7
movl $0xb, %esi
movl $0x1, %edx
callq 0x1190
movq (%r15), %rdi
movq 0x10(%r14), %rdx
movq %rbx, %rsi
xorl %eax, %eax
callq 0x1100
movq (%r15), %rsi
movl $0xa, %edi
callq 0x10c0
leaq 0xf7f(%rip), %rax       # 0xf59b
movq %rax, 0x6b3d(%rip)      # 0x15160
movl $0x486, 0x6b2b(%rip)    # imm = 0x486
leaq 0x26d9(%rip), %rax      # 0x10d0d
movq %rax, 0x6b2d(%rip)      # 0x15168
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
testb $0x4, 0x6ac9(%rip)      # 0x15110
je 0xe6ef
jmp 0xe6fc
cmpq $0x0, 0x6a9e(%rip)      # 0x150f8
leaq 0xf3a(%rip), %rax       # 0xf59b
movq %rax, 0x6af8(%rip)      # 0x15160
movl $0x489, 0x6ae6(%rip)    # imm = 0x489
je 0xe6d3
leaq 0x26b0(%rip), %rax      # 0x10d2b
jmp 0xe6da
cmpq $0x0, 0x6a73(%rip)      # 0x150f8
leaq 0xf0f(%rip), %rax       # 0xf59b
movq %rax, 0x6acd(%rip)      # 0x15160
movl $0x48b, 0x6abb(%rip)    # imm = 0x48B
je 0xe6d3
leaq 0x269b(%rip), %rax      # 0x10d41
jmp 0xe6da
cmpq $0x0, 0x6a48(%rip)      # 0x150f8
leaq 0xee4(%rip), %rax       # 0xf59b
movq %rax, 0x6aa2(%rip)      # 0x15160
movl $0x48d, 0x6a90(%rip)    # imm = 0x48D
je 0xe6d3
leaq 0x267b(%rip), %rax      # 0x10d4c
jmp 0xe6da
leaq 0x207d(%rip), %rax      # 0x10757
movq %rax, 0x6a87(%rip)      # 0x15168
testb $0x4, 0x6a28(%rip)      # 0x15110
jne 0xe6fc
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
callq 0x1040