// File: /workspace/github_c_makefile_star2_O1/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, %r12
movabsq $-0x5000000000000, %r13 # imm = 0xFFFB000000000000
movl $0xa, %edi
callq 0x47e96
movq %rax, %r15
leaq 0x3ce82(%rip), %rdi     # 0x53583
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
cvtsi2sdl 0x60(%r12), %xmm0
callq 0x4fab8
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3cd53(%rip), %rdi     # 0x53488
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
xorps %xmm0, %xmm0
cvtsi2sdl 0x64(%r12), %xmm0
callq 0x4fab8
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3cd26(%rip), %rdi     # 0x53492
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
xorps %xmm0, %xmm0
cvtsi2sdl 0x68(%r12), %xmm0
callq 0x4fab8
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x4a7bc(%rip), %rdi     # 0x60f5f
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movq %r12, %rdi
callq 0x16b39
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x4a3cb(%rip), %rdi     # 0x60b9e
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movq %r12, %rdi
callq 0x16b9b
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3cc99(%rip), %rdi     # 0x5349c
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movzwl 0x5a(%r12), %edi
andl $0x1, %edi
movabsq $-0x7000000000000, %r14 # imm = 0xFFF9000000000000
orq %r14, %rdi
callq 0x4f95a
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3cc5d(%rip), %rdi     # 0x534a3
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movzbl 0x5b(%r12), %edi
andl $0x1, %edi
orq %r14, %rdi
callq 0x4f95a
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x48404(%rip), %rdi     # 0x5ec83
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movq %r12, %rdi
callq 0x16bc8
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3cbfe(%rip), %rdi     # 0x534ad
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
cvtsi2sdl 0x5c(%r12), %xmm0
callq 0x4fab8
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3cbd4(%rip), %rdi     # 0x534b7
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
cmpq $0x0, 0x50(%r12)
je 0x16a34
movl 0x7c(%r12), %edi
callq 0x146a0
movq %rax, -0x38(%rbp)
leaq 0x3cdbc(%rip), %rdi     # 0x536d3
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, -0x58(%rbp)
movl 0x7c(%r12), %eax
testl %eax, %eax
jle 0x16a1c
movq %rbx, -0x40(%rbp)
movq %r15, -0x48(%rbp)
movl $0x2, %r14d
xorl %r13d, %r13d
movq %r12, -0x50(%rbp)
movq 0x50(%r12), %rax
movl -0x10(%rax,%r14,8), %r12d
movl -0xc(%rax,%r14,8), %ebx
movl -0x8(%rax,%r14,8), %ecx
movl %ecx, -0x2c(%rbp)
movq (%rax,%r14,8), %rax
movq %rax, -0x60(%rbp)
movl $0x4, %edi
callq 0x48a50
movq %rax, %r15
movq -0x58(%rbp), %rax
cmpl $-0x1, %r12d
je 0x16990
xorps %xmm0, %xmm0
cvtsi2sd %r12d, %xmm0
callq 0x4fab8
movq %rax, (%r15)
xorps %xmm0, %xmm0
cvtsi2sd %ebx, %xmm0
callq 0x4fab8
movq %rax, 0x8(%r15)
xorps %xmm0, %xmm0
cvtsi2sdl -0x2c(%rbp), %xmm0
callq 0x4fab8
movq %rax, 0x10(%r15)
movq -0x60(%rbp), %rdi
movabsq $-0x5800000000000, %rsi # imm = 0xFFFA800000000000
callq 0x4f9ad
movq %rax, 0x18(%r15)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rbx
movq %r15, %rdi
callq 0x48a81
movq %rax, %rdi
movabsq $-0x4000000000000, %rsi # imm = 0xFFFC000000000000
callq 0x4f9ad
movq %rax, (%rbx,%r13,8)
incq %r13
movq -0x50(%rbp), %r12
movslq 0x7c(%r12), %rax
addq $0x3, %r14
cmpq %rax, %r13
jl 0x1694d
movq -0x48(%rbp), %r15
movabsq $-0x5000000000000, %r13 # imm = 0xFFFB000000000000
movq -0x40(%rbp), %rbx
movq -0x38(%rbp), %rdi
movl %eax, 0x10(%rdi)
movabsq $-0x4800000000000, %rsi # imm = 0xFFFB800000000000
callq 0x4f9f2
jmp 0x16a43
movabsq $-0x77fffffffffff, %rdi # imm = 0xFFF8800000000001
callq 0x4f95a
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x43521(%rip), %rdi     # 0x59f79
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movq %r12, %rdi
callq 0x16bf5
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x55639(%rip), %rdi     # 0x6c0c1
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movq %r12, %rdi
callq 0x16c46
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3ca09(%rip), %rdi     # 0x534c1
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movq %r12, %rdi
callq 0x16d19
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
leaq 0x3c9e6(%rip), %rdi     # 0x534ce
callq 0x47cd3
movq %rax, %rdi
movq %r13, %rsi
callq 0x4f9ad
movq %rax, %rbx
movq %r12, %rdi
callq 0x16d80
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x481b3
movq %r15, %rdi
callq 0x48489
movabsq $-0x3000000000000, %rsi # imm = 0xFFFD000000000000
movq %rax, %rdi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x4f9ad