// File: /workspace/github_c_makefile_star2_O0/pedro-onate[P]eva/eva.c
// Function: compile_form
static es_val_t compile_form(es_ctx_t* ctx, es_val_t bc, es_val_t exp, int tail_pos, int next, es_val_t scope)
{
  es_val_t op   = es_car(exp);
  es_val_t args = es_cdr(exp);
  if (es_is_symbol(op)) {
    if (es_is_eq(op, symbol_define)) {
      compile_define(ctx, bc, es_car(args), es_cdr(args), tail_pos, next, scope);
    } else if (es_is_eq(op, symbol_if)) {
      compile_if(ctx, bc, exp, tail_pos, next, scope);
    } else if (es_is_eq(op, symbol_lambda)) {
      es_val_t formals = es_car(args);
      es_val_t body    = es_cdr(args);
      compile_lambda(ctx, bc, formals, body, tail_pos, next, scope);
    } else if (es_is_eq(op, symbol_begin)) {
      compile_seq(ctx, bc, args, tail_pos, next, scope);
    } else if (es_is_eq(op, symbol_set)) {
      compile_set(ctx, bc, es_car(args), es_cadr(args), tail_pos, next, scope);
    } else if (es_is_eq(op, symbol_quote)) {
      emit_const(bc, alloc_const(bc, es_car(args)));
      if (tail_pos) emit(bc, (es_inst_t){ opcode(next) });
    } else {
      compile_call(ctx, bc, exp, tail_pos, next, scope);
    }
  } else {
    compile_call(ctx, bc, exp, tail_pos, next, scope);
  }
  return es_void;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl %r8d, -0x20(%rbp)
movq %r9, -0x28(%rbp)
movq -0x18(%rbp), %rdi
callq 0x1ef0
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
callq 0x1f20
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rdi
callq 0x2e50
cmpl $0x0, %eax
je 0x8734
movq -0x30(%rbp), %rdi
movl $0x2, %esi
callq 0x18a0
cmpl $0x0, %eax
je 0x8540
movq -0x8(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1ef0
movq %rax, -0x60(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1f20
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
movq %rax, %rcx
movl -0x1c(%rbp), %r8d
movl -0x20(%rbp), %r9d
movq -0x28(%rbp), %rax
movq %rax, (%rsp)
callq 0x88e0
jmp 0x8732
movq -0x30(%rbp), %rdi
movl $0xa, %esi
callq 0x18a0
cmpl $0x0, %eax
je 0x8574
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
movl -0x1c(%rbp), %ecx
movl -0x20(%rbp), %r8d
movq -0x28(%rbp), %r9
callq 0x8af0
jmp 0x8730
movq -0x30(%rbp), %rdi
movl $0x22, %esi
callq 0x18a0
cmpl $0x0, %eax
je 0x85cb
movq -0x38(%rbp), %rdi
callq 0x1ef0
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1f20
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq -0x48(%rbp), %rcx
movl -0x1c(%rbp), %r8d
movl -0x20(%rbp), %r9d
movq -0x28(%rbp), %rax
movq %rax, (%rsp)
callq 0x8cc0
jmp 0x872e
movq -0x30(%rbp), %rdi
movl $0x12, %esi
callq 0x18a0
cmpl $0x0, %eax
je 0x85ff
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x38(%rbp), %rdx
movl -0x1c(%rbp), %ecx
movl -0x20(%rbp), %r8d
movq -0x28(%rbp), %r9
callq 0x8e10
jmp 0x872c
movq -0x30(%rbp), %rdi
movl $0x1a, %esi
callq 0x18a0
cmpl $0x0, %eax
je 0x866f
movq -0x8(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1ef0
movq %rax, -0x78(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1f20
movq %rax, %rdi
callq 0x1ef0
movq -0x88(%rbp), %rdi
movq -0x80(%rbp), %rsi
movq -0x78(%rbp), %rdx
movq %rax, %rcx
movl -0x1c(%rbp), %r8d
movl -0x20(%rbp), %r9d
movq -0x28(%rbp), %rax
movq %rax, (%rsp)
callq 0x8ee0
jmp 0x872a
movq -0x30(%rbp), %rdi
movl $0x2a, %esi
callq 0x18a0
cmpl $0x0, %eax
je 0x870c
movq -0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1ef0
movq -0x98(%rbp), %rdi
movq %rax, %rsi
callq 0x6ec0
movq -0x90(%rbp), %rdi
movl %eax, %esi
callq 0x6e60
cmpl $0x0, -0x1c(%rbp)
je 0x870a
movq -0x10(%rbp), %rax
movq %rax, -0xa0(%rbp)
movl -0x20(%rbp), %edx
xorl %eax, %eax
movl %eax, %edi
xorl %esi, %esi
movb $0x0, %al
callq 0x4ca0
movq -0xa0(%rbp), %rdi
movq (%rax), %rax
movq %rax, -0x58(%rbp)
movw $0x0, -0x50(%rbp)
movw $0x0, -0x4e(%rbp)
movq -0x58(%rbp), %rsi
movq -0x50(%rbp), %rdx
callq 0x7010
jmp 0x8728
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
movl -0x1c(%rbp), %ecx
movl -0x20(%rbp), %r8d
movq -0x28(%rbp), %r9
callq 0x8ff0
jmp 0x872a
jmp 0x872c
jmp 0x872e
jmp 0x8730
jmp 0x8732
jmp 0x8750
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
movl -0x1c(%rbp), %ecx
movl -0x20(%rbp), %r8d
movq -0x28(%rbp), %r9
callq 0x8ff0
movl $0x5b, %eax
addq $0xb0, %rsp
popq %rbp
retq
nop