// File: /workspace/github_c_makefile_star2_O3/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 0x7084(%rip), %eax      # 0x15154
leal 0x1(%rax), %ecx
movl %ecx, 0x707b(%rip)      # 0x15154
cmpq 0x10(%rdi), %r12
jne 0xe1a5
movq %rdx, %rbx
movq %rsi, %r15
movq (%r14), %r14
leaq 0xfbe(%rip), %rdi       # 0xf0b1
leaq -0x38(%rbp), %rcx
movq %rdi, (%rcx)
movq %r14, 0x8(%rcx)
movq $0x3, 0x10(%rcx)
addl $0x2, %eax
movl %eax, 0x7045(%rip)      # 0x15154
leaq 0x6fe2(%rip), %rdx      # 0x150f8
movq %r14, %rsi
callq 0xd620
testl %eax, %eax
je 0xe250
addq $0x3, %r14
leaq -0x38(%rbp), %rcx
movq %r15, (%rcx)
movq %r14, 0x8(%rcx)
movq %rbx, 0x10(%rcx)
incl 0x7015(%rip)            # 0x15154
leaq 0x6fb2(%rip), %rdx      # 0x150f8
movq %r15, %rdi
movq %r14, %rsi
callq 0xd620
testl %eax, %eax
je 0xe27b
addq %rbx, %r14
leaq 0xf4d(%rip), %rdi       # 0xf0b0
leaq -0x38(%rbp), %rcx
movq %rdi, (%rcx)
movq %r14, 0x8(%rcx)
movq $0x1, 0x10(%rcx)
incl 0x6fd8(%rip)            # 0x15154
leaq 0x6f75(%rip), %rdx      # 0x150f8
movq %r14, %rsi
callq 0xd620
testl %eax, %eax
je 0xe2a6
movq $0x0, 0x6fca(%rip) # 0x15168
xorl %eax, %eax
jmp 0xe2ed
movq 0x6e24(%rip), %r15      # 0x14fd0
movq (%r15), %rcx
leaq 0x23f7(%rip), %rdi      # 0x105ad
movl $0xb, %esi
movl $0x1, %edx
callq 0x1190
movq (%r15), %rdi
leaq 0x232e(%rip), %rbx      # 0x104fd
movq %rbx, %rsi
movq %r12, %rdx
xorl %eax, %eax
callq 0x1100
movq (%r15), %rcx
leaq 0x23d3(%rip), %rdi      # 0x105b9
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 0x1361(%rip), %rax      # 0xf57b
movq %rax, 0x6f3f(%rip)      # 0x15160
movl $0x486, 0x6f2d(%rip)    # imm = 0x486
leaq 0x2abd(%rip), %rax      # 0x10cef
movq %rax, 0x6f2f(%rip)      # 0x15168
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
testb $0x4, 0x6ecb(%rip)      # 0x15110
je 0xe2ed
jmp 0xe2fa
cmpq $0x0, 0x6ea0(%rip)      # 0x150f8
leaq 0x131c(%rip), %rax      # 0xf57b
movq %rax, 0x6efa(%rip)      # 0x15160
movl $0x489, 0x6ee8(%rip)    # imm = 0x489
je 0xe2d1
leaq 0x2a94(%rip), %rax      # 0x10d0d
jmp 0xe2d8
cmpq $0x0, 0x6e75(%rip)      # 0x150f8
leaq 0x12f1(%rip), %rax      # 0xf57b
movq %rax, 0x6ecf(%rip)      # 0x15160
movl $0x48b, 0x6ebd(%rip)    # imm = 0x48B
je 0xe2d1
leaq 0x2a7f(%rip), %rax      # 0x10d23
jmp 0xe2d8
cmpq $0x0, 0x6e4a(%rip)      # 0x150f8
leaq 0x12c6(%rip), %rax      # 0xf57b
movq %rax, 0x6ea4(%rip)      # 0x15160
movl $0x48d, 0x6e92(%rip)    # imm = 0x48D
je 0xe2d1
leaq 0x2a5f(%rip), %rax      # 0x10d2e
jmp 0xe2d8
leaq 0x2461(%rip), %rax      # 0x10739
movq %rax, 0x6e89(%rip)      # 0x15168
testb $0x4, 0x6e2a(%rip)      # 0x15110
jne 0xe2fa
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
callq 0x1040