// File: /workspace/github_c_makefile_star2_O0/janet-lang[P]janet/src/core/cfuns.c
// Function: do_get
static JanetSlot do_get(JanetFopts opts, JanetSlot *args) {
    if (janet_v_count(args) == 3) {
        JanetCompiler *c = opts.compiler;
        JanetSlot t = janetc_gettarget(opts);
        int target_is_default = janetc_sequal(t, args[2]);
        JanetSlot dflt_slot = args[2];
        if (target_is_default) {
            dflt_slot = janetc_farslot(c);
            janetc_copy(c, dflt_slot, t);
        }
        janetc_emit_sss(c, JOP_GET, t, args[0], args[1], 1);
        int32_t label = janetc_emit_si(c, JOP_JUMP_IF_NOT_NIL, t, 0, 0);
        janetc_copy(c, t, dflt_slot);
        if (target_is_default) janetc_freeslot(c, dflt_slot);
        int32_t current = janet_v_count(c->buffer);
        c->buffer[label] |= (current - label) << 16;
        return t;
    } else {
        return opreduce(opts, args, JOP_GET, 0, janet_wrap_nil(), janet_wrap_nil());
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xd0, %rsp
movq %rdi, -0x78(%rbp)
movq %rdi, -0x70(%rbp)
leaq 0x10(%rbp), %rax
movq %rax, -0x68(%rbp)
movq %rsi, -0x8(%rbp)
cmpq $0x0, -0x8(%rbp)
je 0x1ebc2
movq -0x8(%rbp), %rax
movl -0x4(%rax), %eax
movl %eax, -0x7c(%rbp)
jmp 0x1ebc9
xorl %eax, %eax
movl %eax, -0x7c(%rbp)
jmp 0x1ebc9
movl -0x7c(%rbp), %eax
cmpl $0x3, %eax
jne 0x1ee2b
movq -0x78(%rbp), %rdi
movq -0x68(%rbp), %rcx
movq (%rcx), %rax
movq %rax, -0x10(%rbp)
movq 0x20(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x213c0
movq -0x78(%rbp), %rcx
movq -0x8(%rbp), %rax
addq $0x30, %rax
movq (%rcx), %rdx
movq %rdx, (%rsp)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rsp)
movq 0x10(%rcx), %rcx
movq %rcx, 0x10(%rsp)
movq (%rax), %rcx
movq %rcx, 0x18(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x20(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
callq 0x29510
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x38(%rax), %rcx
movq %rcx, -0x28(%rbp)
movq 0x40(%rax), %rax
movq %rax, -0x20(%rbp)
cmpl $0x0, -0x14(%rbp)
je 0x1ecd4
movq -0x10(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0x20470
movq -0x78(%rbp), %rax
movq -0x48(%rbp), %rcx
movq %rcx, -0x30(%rbp)
movq -0x40(%rbp), %rcx
movq %rcx, -0x28(%rbp)
movq -0x38(%rbp), %rcx
movq %rcx, -0x20(%rbp)
movq -0x10(%rbp), %rdi
leaq -0x30(%rbp), %rcx
movq (%rcx), %rdx
movq %rdx, (%rsp)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rsp)
movq 0x10(%rcx), %rcx
movq %rcx, 0x10(%rsp)
movq (%rax), %rcx
movq %rcx, 0x18(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x20(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
callq 0x295a0
movq -0x78(%rbp), %r8
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rcx
movq -0x8(%rbp), %rax
addq $0x18, %rax
movl $0x3b, %esi
movl $0x1, %edx
movq (%r8), %r9
movq %r9, (%rsp)
movq 0x8(%r8), %r9
movq %r9, 0x8(%rsp)
movq 0x10(%r8), %r8
movq %r8, 0x10(%rsp)
movq (%rcx), %r8
movq %r8, 0x18(%rsp)
movq 0x8(%rcx), %r8
movq %r8, 0x20(%rsp)
movq 0x10(%rcx), %rcx
movq %rcx, 0x28(%rsp)
movq (%rax), %rcx
movq %rcx, 0x30(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x38(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x40(%rsp)
callq 0x2a2c0
movq -0x78(%rbp), %rax
movq -0x10(%rbp), %rdi
movl $0x20, %esi
xorl %ecx, %ecx
movq (%rax), %rdx
movq %rdx, (%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movl %ecx, %edx
callq 0x29dd0
movq -0x78(%rbp), %rcx
movl %eax, -0x4c(%rbp)
movq -0x10(%rbp), %rdi
leaq -0x30(%rbp), %rax
movq (%rcx), %rdx
movq %rdx, (%rsp)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rsp)
movq 0x10(%rcx), %rcx
movq %rcx, 0x10(%rsp)
movq (%rax), %rcx
movq %rcx, 0x18(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x20(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
callq 0x295a0
cmpl $0x0, -0x14(%rbp)
je 0x1ede6
movq -0x10(%rbp), %rdi
leaq -0x30(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x202e0
movq -0x10(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x1ee01
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movl -0x4(%rax), %eax
movl %eax, -0x80(%rbp)
jmp 0x1ee08
xorl %eax, %eax
movl %eax, -0x80(%rbp)
jmp 0x1ee08
movl -0x80(%rbp), %eax
movl %eax, -0x50(%rbp)
movl -0x50(%rbp), %edx
subl -0x4c(%rbp), %edx
shll $0x10, %edx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x4c(%rbp), %rcx
orl (%rax,%rcx,4), %edx
movl %edx, (%rax,%rcx,4)
jmp 0x1ee9a
movq -0x8(%rbp), %rax
movq %rax, -0x88(%rbp)
movabsq $-0x77fffffffffff, %rdi # imm = 0xFFF8800000000001
callq 0x7b460
movq %rax, -0x58(%rbp)
movabsq $-0x77fffffffffff, %rdi # imm = 0xFFF8800000000001
callq 0x7b460
movq -0x68(%rbp), %rcx
movq -0x78(%rbp), %rdi
movq -0x88(%rbp), %rsi
movq %rax, -0x60(%rbp)
movq -0x58(%rbp), %r8
movq -0x60(%rbp), %r9
xorl %eax, %eax
movq 0x20(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
movl $0x3b, %edx
xorl %ecx, %ecx
callq 0x1f4c0
movq -0x70(%rbp), %rax
addq $0xd0, %rsp
popq %rbp
retq
nopw (%rax,%rax)