// File: /workspace/github_c_makefile_star2_O2/janet-lang[P]janet/src/core/asm.c
// Function: janet_disasm
Janet janet_disasm(JanetFuncDef *def) {
    JanetTable *ret = janet_table(10);
    janet_table_put(ret, janet_ckeywordv("arity"), janet_disasm_arity(def));
    janet_table_put(ret, janet_ckeywordv("min-arity"), janet_disasm_min_arity(def));
    janet_table_put(ret, janet_ckeywordv("max-arity"), janet_disasm_max_arity(def));
    janet_table_put(ret, janet_ckeywordv("bytecode"), janet_disasm_bytecode(def));
    janet_table_put(ret, janet_ckeywordv("source"), janet_disasm_source(def));
    janet_table_put(ret, janet_ckeywordv("vararg"), janet_disasm_vararg(def));
    janet_table_put(ret, janet_ckeywordv("structarg"), janet_disasm_structarg(def));
    janet_table_put(ret, janet_ckeywordv("name"), janet_disasm_name(def));
    janet_table_put(ret, janet_ckeywordv("slotcount"), janet_disasm_slotcount(def));
    janet_table_put(ret, janet_ckeywordv("symbolmap"), janet_disasm_symbolslots(def));
    janet_table_put(ret, janet_ckeywordv("constants"), janet_disasm_constants(def));
    janet_table_put(ret, janet_ckeywordv("sourcemap"), janet_disasm_sourcemap(def));
    janet_table_put(ret, janet_ckeywordv("environments"), janet_disasm_environments(def));
    janet_table_put(ret, janet_ckeywordv("defs"), janet_disasm_defs(def));
    return janet_wrap_struct(janet_table_to_struct(ret));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %r15
movabsq $-0x5000000000000, %r12 # imm = 0xFFFB000000000000
pushq $0xa
popq %rdi
callq 0x43b8a
movq %rax, %r14
leaq 0x39652(%rip), %rdi     # 0x4e583
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1531f
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x39527(%rip), %rdi     # 0x4e488
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1532e
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x39501(%rip), %rdi     # 0x4e492
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1533d
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x46f9e(%rip), %rdi     # 0x5bf5f
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1534c
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x46bad(%rip), %rdi     # 0x5bb9e
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x153a9
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x3947b(%rip), %rdi     # 0x4e49c
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x153d6
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x39452(%rip), %rdi     # 0x4e4a3
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x153f4
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x44c02(%rip), %rdi     # 0x59c83
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x15412
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x393fc(%rip), %rdi     # 0x4e4ad
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1543f
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x393d6(%rip), %rdi     # 0x4e4b7
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
cmpq $0x0, 0x50(%r15)
je 0x1521a
movq %rbx, -0x40(%rbp)
movq %r14, -0x48(%rbp)
movl 0x7c(%r15), %edi
callq 0x12f68
movq %rax, -0x38(%rbp)
leaq 0x395b8(%rip), %rdi     # 0x4e6d3
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, -0x50(%rbp)
pushq $0x2
popq %r14
xorl %r13d, %r13d
movq %r15, -0x58(%rbp)
movslq 0x7c(%r15), %rax
cmpq %rax, %r13
jge 0x151f0
movq 0x50(%r15), %rax
movl -0x10(%rax,%r14,8), %r12d
movl -0xc(%rax,%r14,8), %r15d
movl -0x8(%rax,%r14,8), %ecx
movl %ecx, -0x2c(%rbp)
movq (%rax,%r14,8), %rax
movq %rax, -0x60(%rbp)
pushq $0x4
popq %rdi
callq 0x44648
movq %rax, %rbx
movq -0x50(%rbp), %rax
cmpl $-0x1, %r12d
je 0x15184
cvtsi2sd %r12d, %xmm0
callq 0x4b471
movq %rax, (%rbx)
cvtsi2sd %r15d, %xmm0
callq 0x4b471
movq %rax, 0x8(%rbx)
cvtsi2sdl -0x2c(%rbp), %xmm0
callq 0x4b471
movq %rax, 0x10(%rbx)
movq -0x60(%rbp), %rdi
movabsq $-0x5800000000000, %rsi # imm = 0xFFFA800000000000
callq 0x4b366
movq %rax, 0x18(%rbx)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %r15
movq %rbx, %rdi
callq 0x44674
movq %rax, %rdi
movabsq $-0x4000000000000, %rsi # imm = 0xFFFC000000000000
callq 0x4b366
movq %rax, (%r15,%r13,8)
incq %r13
addq $0x3, %r14
movq -0x58(%rbp), %r15
jmp 0x1513a
movq -0x38(%rbp), %rdi
movl %eax, 0x10(%rdi)
movabsq $-0x4800000000000, %rsi # imm = 0xFFFB800000000000
callq 0x4b3ab
movq -0x48(%rbp), %r14
movabsq $-0x5000000000000, %r12 # imm = 0xFFFB000000000000
movq -0x40(%rbp), %rbx
jmp 0x15229
movabsq $-0x77fffffffffff, %rdi # imm = 0xFFF8800000000001
callq 0x4b313
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x3fd3b(%rip), %rdi     # 0x54f79
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1544e
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x51e53(%rip), %rdi     # 0x670c1
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1549a
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x39223(%rip), %rdi     # 0x4e4c1
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x1555f
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
leaq 0x39200(%rip), %rdi     # 0x4e4ce
callq 0x439c6
movq %rax, %rdi
movq %r12, %rsi
callq 0x4b366
movq %rax, %rbx
movq %r15, %rdi
callq 0x155be
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x43e19
movq %r14, %rdi
callq 0x44138
movabsq $-0x3000000000000, %rsi # imm = 0xFFFD000000000000
movq %rax, %rdi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x4b366