// File: /workspace/github_c_makefile_star2_O3/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 0x47425
movq %rax, %r15
leaq 0x3beb1(%rip), %rdi     # 0x52583
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
cvtsi2sdl 0x60(%r12), %xmm0
callq 0x4ee44
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3bd82(%rip), %rdi     # 0x52488
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
xorps %xmm0, %xmm0
cvtsi2sdl 0x64(%r12), %xmm0
callq 0x4ee44
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3bd55(%rip), %rdi     # 0x52492
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
xorps %xmm0, %xmm0
cvtsi2sdl 0x68(%r12), %xmm0
callq 0x4ee44
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x497eb(%rip), %rdi     # 0x5ff5f
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movq %r12, %rdi
callq 0x16b0e
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x493fa(%rip), %rdi     # 0x5fb9e
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movq 0x40(%r12), %rdi
callq 0x16b70
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3bcc6(%rip), %rdi     # 0x5249c
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movzwl 0x5a(%r12), %edi
andl $0x1, %edi
movabsq $-0x7000000000000, %r14 # imm = 0xFFF9000000000000
orq %r14, %rdi
callq 0x4ece6
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3bc8a(%rip), %rdi     # 0x524a3
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movzbl 0x5b(%r12), %edi
andl $0x1, %edi
orq %r14, %rdi
callq 0x4ece6
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x47431(%rip), %rdi     # 0x5dc83
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movq 0x48(%r12), %rdi
callq 0x16b99
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3bc29(%rip), %rdi     # 0x524ad
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
cvtsi2sdl 0x5c(%r12), %xmm0
callq 0x4ee44
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3bbff(%rip), %rdi     # 0x524b7
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
cmpq $0x0, 0x50(%r12)
je 0x16a09
movl 0x7c(%r12), %edi
callq 0x14690
movq %rax, -0x38(%rbp)
leaq 0x3bde7(%rip), %rdi     # 0x526d3
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, -0x58(%rbp)
movl 0x7c(%r12), %eax
testl %eax, %eax
jle 0x169f1
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 0x47fa0
movq %rax, %r15
movq -0x58(%rbp), %rax
cmpl $-0x1, %r12d
je 0x16965
xorps %xmm0, %xmm0
cvtsi2sd %r12d, %xmm0
callq 0x4ee44
movq %rax, (%r15)
xorps %xmm0, %xmm0
cvtsi2sd %ebx, %xmm0
callq 0x4ee44
movq %rax, 0x8(%r15)
xorps %xmm0, %xmm0
cvtsi2sdl -0x2c(%rbp), %xmm0
callq 0x4ee44
movq %rax, 0x10(%r15)
movq -0x60(%rbp), %rdi
movabsq $-0x5800000000000, %rsi # imm = 0xFFFA800000000000
callq 0x4ed39
movq %rax, 0x18(%r15)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rbx
movq %r15, %rdi
callq 0x47fd1
movq %rax, %rdi
movabsq $-0x4000000000000, %rsi # imm = 0xFFFC000000000000
callq 0x4ed39
movq %rax, (%rbx,%r13,8)
incq %r13
movq -0x50(%rbp), %r12
movslq 0x7c(%r12), %rax
addq $0x3, %r14
cmpq %rax, %r13
jl 0x16922
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 0x4ed7e
jmp 0x16a18
movabsq $-0x77fffffffffff, %rdi # imm = 0xFFF8800000000001
callq 0x4ece6
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x4254c(%rip), %rdi     # 0x58f79
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movq %r12, %rdi
callq 0x16bc2
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x54644(%rip), %rdi     # 0x6b0a1
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movq %r12, %rdi
callq 0x16c13
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3ba34(%rip), %rdi     # 0x524c1
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movq %r12, %rdi
callq 0x16ce6
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
leaq 0x3ba11(%rip), %rdi     # 0x524ce
callq 0x47261
movq %rax, %rdi
movq %r13, %rsi
callq 0x4ed39
movq %rax, %rbx
movq %r12, %rdi
callq 0x16d4d
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x476f0
movq %r15, %rdi
callq 0x479d4
movabsq $-0x3000000000000, %rsi # imm = 0xFFFD000000000000
movq %rax, %rdi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x4ed39