// File: /workspace/github_c_makefile_star2_O0/janet-lang[P]janet/src/core/specials.c
// Function: janetc_def
static JanetSlot janetc_def(JanetFopts opts, int32_t argn, const Janet *argv) {
    JanetCompiler *c = opts.compiler;
    JanetTable *attr_table = handleattr(c, "def", argn, argv);
    if (c->result.status == JANET_COMPILE_ERROR) {
        return janetc_cslot(janet_wrap_nil());
    }
    opts.flags &= ~JANET_FOPTS_HINT;
    SlotHeadPair *into = NULL;
    into = dohead_destructure(c, into, opts, argv[0], argv[argn - 1]);
    if (c->result.status == JANET_COMPILE_ERROR) {
        janet_v_free(into);
        return janetc_cslot(janet_wrap_nil());
    }
    JanetSlot ret;
    janet_assert(janet_v_count(into) > 0, "bad destructure");
    for (int32_t i = 0; i < janet_v_count(into); i++) {
        destructure(c, into[i].lhs, into[i].rhs, defleaf, attr_table);
        ret = into[i].rhs;
    }
    janet_v_free(into);
    return ret;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movq %rdi, -0x58(%rbp)
movq %rdi, -0x50(%rbp)
leaq 0x10(%rbp), %rax
movq %rax, -0x48(%rbp)
movl %esi, -0x4(%rbp)
movq %rdx, -0x10(%rbp)
movq (%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdi
movl -0x4(%rbp), %edx
movq -0x10(%rbp), %rcx
leaq 0x36fc2(%rip), %rsi     # 0x95fad
callq 0x62070
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x1, 0x48(%rax)
jne 0x5f023
movabsq $-0x77fffffffffff, %rdi # imm = 0xFFF8800000000001
callq 0x7b460
movq -0x58(%rbp), %rdi
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rsi
callq 0x1ff40
jmp 0x5f1f6
movq -0x48(%rbp), %r8
movl 0x20(%r8), %eax
andl $0xfffdffff, %eax       # imm = 0xFFFDFFFF
movl %eax, 0x20(%r8)
movq $0x0, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x10(%rbp), %rdx
movq -0x10(%rbp), %rax
movl -0x4(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rdx), %rdx
movq (%rax,%rcx,8), %rcx
movq 0x20(%r8), %r9
movq %rsp, %rax
movq %r9, 0x20(%rax)
movups (%r8), %xmm0
movups 0x10(%r8), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x5e880
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x1, 0x48(%rax)
jne 0x5f0c7
cmpq $0x0, -0x30(%rbp)
je 0x5f0a0
movq -0x30(%rbp), %rdi
addq $-0x8, %rdi
callq 0x3acb0
jmp 0x5f0a2
jmp 0x5f0a2
movabsq $-0x77fffffffffff, %rdi # imm = 0xFFF8800000000001
callq 0x7b460
movq -0x58(%rbp), %rdi
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rsi
callq 0x1ff40
jmp 0x5f1f6
jmp 0x5f0c9
cmpq $0x0, -0x30(%rbp)
je 0x5f0dc
movq -0x30(%rbp), %rax
movl -0x4(%rax), %eax
movl %eax, -0x5c(%rbp)
jmp 0x5f0e3
xorl %eax, %eax
movl %eax, -0x5c(%rbp)
jmp 0x5f0e3
movl -0x5c(%rbp), %eax
cmpl $0x0, %eax
jg 0x5f11d
jmp 0x5f0ed
movq 0x50efc(%rip), %rax     # 0xafff0
movq (%rax), %rdi
leaq 0x21f16(%rip), %rsi     # 0x81014
movl $0x20c, %edx            # imm = 0x20C
leaq 0x36bd3(%rip), %rcx     # 0x95cdd
leaq 0x36be0(%rip), %r8      # 0x95cf1
movb $0x0, %al
callq 0x125f0
callq 0x12100
jmp 0x5f11f
movl $0x0, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
movl %eax, -0x60(%rbp)
cmpq $0x0, -0x30(%rbp)
je 0x5f13f
movq -0x30(%rbp), %rax
movl -0x4(%rax), %eax
movl %eax, -0x64(%rbp)
jmp 0x5f146
xorl %eax, %eax
movl %eax, -0x64(%rbp)
jmp 0x5f146
movl -0x60(%rbp), %eax
movl -0x64(%rbp), %ecx
cmpl %ecx, %eax
jge 0x5f1de
movq -0x18(%rbp), %rdi
movq -0x30(%rbp), %rdx
movslq -0x3c(%rbp), %rax
shlq $0x5, %rax
addq %rax, %rdx
movq -0x30(%rbp), %rax
movslq -0x3c(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
addq $0x8, %rax
movq -0x20(%rbp), %rcx
movq (%rdx), %rsi
leaq 0x3ce8(%rip), %rdx      # 0x62e70
movq (%rax), %r8
movq %r8, (%rsp)
movq 0x8(%rax), %r8
movq %r8, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x622b0
movq -0x58(%rbp), %rax
movq -0x30(%rbp), %rcx
movslq -0x3c(%rbp), %rdx
shlq $0x5, %rdx
addq %rdx, %rcx
movq 0x8(%rcx), %rdx
movq %rdx, (%rax)
movq 0x10(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x18(%rcx), %rcx
movq %rcx, 0x10(%rax)
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x5f126
cmpq $0x0, -0x30(%rbp)
je 0x5f1f4
movq -0x30(%rbp), %rdi
addq $-0x8, %rdi
callq 0x3acb0
jmp 0x5f1f6
jmp 0x5f1f6
movq -0x50(%rbp), %rax
addq $0x90, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)