// File: /workspace/github_c_makefile_star2_O2/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 %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %r14
leaq 0x4(%rdx), %r12
movl 0x6c31(%rip), %eax      # 0x13154
leal 0x1(%rax), %ecx
movl %ecx, 0x6c28(%rip)      # 0x13154
cmpq 0x10(%rdi), %r12
jne 0xc5f5
movq %rdx, %rbx
movq %rsi, %r15
movq (%r14), %r14
leaq 0xb6b(%rip), %rdi       # 0xd0b1
leaq -0x40(%rbp), %rcx
movq %rdi, (%rcx)
movq %r14, 0x8(%rcx)
movq $0x3, 0x10(%rcx)
addl $0x2, %eax
movl %eax, 0x6bf2(%rip)      # 0x13154
leaq 0x6b8f(%rip), %rdx      # 0x130f8
movq %r14, %rsi
callq 0xbb21
testl %eax, %eax
je 0xc681
addq $0x3, %r14
leaq -0x40(%rbp), %rcx
movq %r15, (%rcx)
movq %r14, 0x8(%rcx)
movq %rbx, 0x10(%rcx)
incl 0x6bc2(%rip)            # 0x13154
leaq 0x6b5f(%rip), %rdx      # 0x130f8
movq %r15, %rdi
movq %r14, %rsi
callq 0xbb21
testl %eax, %eax
je 0xc6ac
addq %rbx, %r14
leaq 0xafa(%rip), %rdi       # 0xd0b0
leaq -0x40(%rbp), %rcx
movq %rdi, (%rcx)
movq %r14, 0x8(%rcx)
movq $0x1, 0x10(%rcx)
incl 0x6b85(%rip)            # 0x13154
leaq 0x6b22(%rip), %rdx      # 0x130f8
movq %r14, %rsi
callq 0xbb21
testl %eax, %eax
je 0xc6d7
andq $0x0, 0x6b7a(%rip)      # 0x13168
xorl %eax, %eax
jmp 0xc71c
movq 0x69d4(%rip), %rbx      # 0x12fd0
movq (%rbx), %rcx
leaq 0x1fa7(%rip), %rdi      # 0xe5ad
pushq $0xb
popq %rsi
pushq $0x1
popq %r15
movq %r15, %rdx
callq 0x1190
movq (%rbx), %rdi
leaq 0x1ede(%rip), %r13      # 0xe4fd
movq %r13, %rsi
movq %r12, %rdx
xorl %eax, %eax
callq 0x1100
movq (%rbx), %rcx
leaq 0x1f83(%rip), %rdi      # 0xe5b9
pushq $0xb
popq %rsi
movq %r15, %rdx
callq 0x1190
movq (%rbx), %rdi
movq 0x10(%r14), %rdx
movq %r13, %rsi
xorl %eax, %eax
callq 0x1100
movq (%rbx), %rsi
pushq $0xa
popq %rdi
callq 0x10c0
leaq 0xf17(%rip), %rax       # 0xd57b
movq %rax, 0x6af5(%rip)      # 0x13160
movl $0x486, 0x6ae3(%rip)    # imm = 0x486
leaq 0x2673(%rip), %rax      # 0xecef
jmp 0xc709
cmpq $0x0, 0x6a6f(%rip)      # 0x130f8
leaq 0xeeb(%rip), %rax       # 0xd57b
movq %rax, 0x6ac9(%rip)      # 0x13160
movl $0x489, 0x6ab7(%rip)    # imm = 0x489
je 0xc702
leaq 0x2663(%rip), %rax      # 0xed0d
jmp 0xc709
cmpq $0x0, 0x6a44(%rip)      # 0x130f8
leaq 0xec0(%rip), %rax       # 0xd57b
movq %rax, 0x6a9e(%rip)      # 0x13160
movl $0x48b, 0x6a8c(%rip)    # imm = 0x48B
je 0xc702
leaq 0x264e(%rip), %rax      # 0xed23
jmp 0xc709
cmpq $0x0, 0x6a19(%rip)      # 0x130f8
leaq 0xe95(%rip), %rax       # 0xd57b
movq %rax, 0x6a73(%rip)      # 0x13160
movl $0x48d, 0x6a61(%rip)    # imm = 0x48D
je 0xc702
leaq 0x262e(%rip), %rax      # 0xed2e
jmp 0xc709
leaq 0x2030(%rip), %rax      # 0xe739
movq %rax, 0x6a58(%rip)      # 0x13168
testb $0x4, 0x69f9(%rip)      # 0x13110
jne 0xc72b
pushq $-0x1
popq %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x1040