// File: /workspace/github_c_makefile_star2_O0/pedro-onate[P]eva/eva.c
// Function: compile_define
static es_val_t compile_define(es_ctx_t* ctx, es_val_t bc, es_val_t binding, es_val_t val, int tail_pos, int next, es_val_t scope)
{
  if (es_is_symbol(binding)) {
    compile(ctx, bc, es_car(val), 0, 0, scope);
    emit_global_set(bc, env_reserve_loc(ctx, es_ctx_env(ctx), binding, es_undefined));
    if (tail_pos) emit(bc, (es_inst_t){ opcode(next) });
  } else if (es_is_pair(binding)) {
    es_val_t sym     = es_car(binding);
    es_val_t formals = es_cdr(binding);
    es_val_t body    = val;
    compile_lambda(ctx, bc, formals, body, 0, 0, scope);
    emit_global_set(bc, env_reserve_loc(ctx, es_ctx_env(ctx), sym, es_undefined));
    if (tail_pos) emit(bc, (es_inst_t){ opcode(next) });
  } else {
    return es_make_error(ctx, "invalid define syntax");
  }
  return es_void;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq 0x10(%rbp), %rax
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movl %r8d, -0x2c(%rbp)
movl %r9d, -0x30(%rbp)
movq -0x20(%rbp), %rdi
callq 0x2e50
cmpl $0x0, %eax
je 0x89d8
movq -0x10(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x28(%rbp), %rdi
callq 0x1ef0
movq -0x88(%rbp), %rdi
movq -0x80(%rbp), %rsi
movq %rax, %rdx
movq 0x10(%rbp), %r9
xorl %r8d, %r8d
movl %r8d, %ecx
callq 0x4700
movq -0x18(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x10(%rbp), %rdi
callq 0x14b0
movq -0x78(%rbp), %rdi
movq %rax, %rsi
movq -0x20(%rbp), %rdx
movl $0x53, %ecx
callq 0x3450
movq -0x70(%rbp), %rdi
movl %eax, %esi
callq 0x9090
cmpl $0x0, -0x2c(%rbp)
je 0x89d3
movq -0x18(%rbp), %rax
movq %rax, -0x90(%rbp)
movl -0x30(%rbp), %edx
xorl %eax, %eax
movl %eax, %edi
xorl %esi, %esi
movb $0x0, %al
callq 0x4ca0
movq -0x90(%rbp), %rdi
movq (%rax), %rax
movq %rax, -0x40(%rbp)
movw $0x0, -0x38(%rbp)
movw $0x0, -0x36(%rbp)
movq -0x40(%rbp), %rsi
movq -0x38(%rbp), %rdx
callq 0x7010
jmp 0x8ad6
movq -0x20(%rbp), %rdi
callq 0x1ec0
cmpl $0x0, %eax
je 0x8abe
movq -0x20(%rbp), %rdi
callq 0x1ef0
movq %rax, -0x48(%rbp)
movq -0x20(%rbp), %rdi
callq 0x1f20
movq %rax, -0x50(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x50(%rbp), %rdx
movq -0x58(%rbp), %rcx
movq 0x10(%rbp), %rax
xorl %r9d, %r9d
movl %r9d, %r8d
movq %rax, (%rsp)
callq 0x8cc0
movq -0x18(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x10(%rbp), %rdi
callq 0x14b0
movq -0xa0(%rbp), %rdi
movq %rax, %rsi
movq -0x48(%rbp), %rdx
movl $0x53, %ecx
callq 0x3450
movq -0x98(%rbp), %rdi
movl %eax, %esi
callq 0x9090
cmpl $0x0, -0x2c(%rbp)
je 0x8abc
movq -0x18(%rbp), %rax
movq %rax, -0xa8(%rbp)
movl -0x30(%rbp), %edx
xorl %eax, %eax
movl %eax, %edi
xorl %esi, %esi
movb $0x0, %al
callq 0x4ca0
movq -0xa8(%rbp), %rdi
movq (%rax), %rax
movq %rax, -0x68(%rbp)
movw $0x0, -0x60(%rbp)
movw $0x0, -0x5e(%rbp)
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
callq 0x7010
jmp 0x8ad4
movq -0x10(%rbp), %rdi
leaq 0x1bdd(%rip), %rsi      # 0xa6a6
callq 0x1b90
movq %rax, -0x8(%rbp)
jmp 0x8ade
jmp 0x8ad6
movq $0x5b, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0xb0, %rsp
popq %rbp
retq
nopl (%rax,%rax)