// File: /workspace/github_c_makefile_star2_O0/naleksiev[P]fin/src/fin_vm.c
// Function: fin_vm_interpret
void fin_vm_interpret(fin_ctx_t* ctx, fin_mod_func_t* func, fin_val_t* stack) {
    fin_mod_t* mod  = func->mod;
    fin_val_t* args = stack - func->args;
    fin_val_t* top  = stack + func->locals;
    uint8_t* ip   = func->code;

    FIN_VM_LOOP_BEGIN() {
        FIN_VM_OP(fin_op_load_const) {
            int32_t idx = *ip++;
            idx |= *ip++ << 8;
            *top++ = mod->consts[idx];
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_load_arg) {
            *top++ = args[*ip++];
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_store_arg) {
            args[*ip++] = *--top;
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_load_local) {
            *top++ = stack[*ip++];
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_store_local) {
            stack[*ip++] = *--top;
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_load_field) {
            if (top[-1].o)
                top[-1] = top[-1].o->fields[*ip++];
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_store_field) {
            if (top[-2].o)
                top[-2].o->fields[*ip++] = top[-1];
            top -= 2;
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_call) {
            int32_t idx = *ip++;
            idx |= *ip++ << 8;
            fin_mod_func_t* func = mod->binds[idx].func;
            fin_vm_invoke_int(ctx, func, top);
            top -= func->args - (func->ret_type ? 1 : 0);
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_branch) {
            int16_t offset = *ip++;
            offset |= *ip++ << 8;
            ip += offset;
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_branch_if) {
            if ((--top)->b) {
                int16_t offset = *ip++;
                offset |= *ip++ << 8;
                ip += offset;
            } else
                ip += 2;
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_branch_if_n) {
            if ((--top)->b)
                ip += 2;
            else {
                int16_t offset = *ip++;
                offset |= *ip++ << 8;
                ip += offset;
            }
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_return) {
            if (func->ret_type)
                args[0] = top[-1];
            return;
        }
        FIN_VM_OP(fin_op_pop) {
            top--;
            FIN_VM_NEXT();
        }
        FIN_VM_OP(fin_op_new) {
            top -= *ip;
            top->o = fin_obj_create(ctx->alloc, top, *ip);
            top++;
            ip++;
            FIN_VM_NEXT();
        }
    }
    FIN_VM_LOOP_END();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rcx
movzbl 0x34(%rcx), %ecx
movslq %ecx, %rdx
xorl %ecx, %ecx
subq %rdx, %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rcx
movzbl 0x35(%rcx), %ecx
movslq %ecx, %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x30(%rbp)
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6d71(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, -0x3c(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
shll $0x8, %eax
orl -0x3c(%rbp), %eax
movl %eax, -0x3c(%rbp)
movq -0x30(%rbp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x30(%rbp)
movq -0x20(%rbp), %rcx
movq 0x18(%rcx), %rcx
movslq -0x3c(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq %rcx, (%rax)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6cf7(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x30(%rbp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x30(%rbp)
movq -0x28(%rbp), %rcx
movq -0x38(%rbp), %rdx
movq %rdx, %rsi
addq $0x1, %rsi
movq %rsi, -0x38(%rbp)
movzbl (%rdx), %edx
movq (%rcx,%rdx,8), %rcx
movq %rcx, (%rax)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6ca3(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x28(%rbp), %rax
movq -0x38(%rbp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, -0x38(%rbp)
movzbl (%rcx), %ecx
movq -0x30(%rbp), %rdx
movq %rdx, %rsi
addq $-0x8, %rsi
movq %rsi, -0x30(%rbp)
movq -0x8(%rdx), %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6c4e(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x30(%rbp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x30(%rbp)
movq -0x18(%rbp), %rcx
movq -0x38(%rbp), %rdx
movq %rdx, %rsi
addq $0x1, %rsi
movq %rsi, -0x38(%rbp)
movzbl (%rdx), %edx
movq (%rcx,%rdx,8), %rcx
movq %rcx, (%rax)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6bfa(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x18(%rbp), %rax
movq -0x38(%rbp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, -0x38(%rbp)
movzbl (%rcx), %ecx
movq -0x30(%rbp), %rdx
movq %rdx, %rsi
addq $-0x8, %rsi
movq %rsi, -0x30(%rbp)
movq -0x8(%rdx), %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6ba5(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x30(%rbp), %rax
cmpq $0x0, -0x8(%rax)
je 0xb62a
movq -0x30(%rbp), %rax
movq -0x30(%rbp), %rcx
movq -0x8(%rcx), %rcx
movq -0x38(%rbp), %rdx
movq %rdx, %rsi
addq $0x1, %rsi
movq %rsi, -0x38(%rbp)
movzbl (%rdx), %edx
movq 0x8(%rcx,%rdx,8), %rcx
movq %rcx, -0x8(%rax)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6b4b(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x30(%rbp), %rax
cmpq $0x0, -0x10(%rax)
je 0xb684
movq -0x30(%rbp), %rax
movq -0x10(%rax), %rax
movq -0x38(%rbp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, -0x38(%rbp)
movzbl (%rcx), %ecx
movq -0x30(%rbp), %rdx
movq -0x8(%rdx), %rdx
movq %rdx, 0x8(%rax,%rcx,8)
movq -0x30(%rbp), %rax
addq $-0x10, %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6ae5(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, -0x40(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
shll $0x8, %eax
orl -0x40(%rbp), %eax
movl %eax, -0x40(%rbp)
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x40(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rdi
movq -0x48(%rbp), %rsi
movq -0x30(%rbp), %rdx
callq 0xb9e0
movq -0x48(%rbp), %rax
movzbl 0x34(%rax), %ecx
movq -0x48(%rbp), %rax
movq 0x8(%rax), %rsi
xorl %eax, %eax
movl $0x1, %edx
cmpq $0x0, %rsi
cmovnel %edx, %eax
subl %eax, %ecx
movq -0x30(%rbp), %rax
movslq %ecx, %rdx
xorl %ecx, %ecx
subq %rdx, %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6a2a(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movw %ax, -0x4a(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %ecx
shll $0x8, %ecx
movswl -0x4a(%rbp), %eax
orl %ecx, %eax
movw %ax, -0x4a(%rbp)
movswl -0x4a(%rbp), %ecx
movq -0x38(%rbp), %rax
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x69bb(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x30(%rbp), %rax
movq %rax, %rcx
addq $-0x8, %rcx
movq %rcx, -0x30(%rbp)
testb $0x1, -0x8(%rax)
je 0xb840
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movw %ax, -0x4c(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %ecx
shll $0x8, %ecx
movswl -0x4c(%rbp), %eax
orl %ecx, %eax
movw %ax, -0x4c(%rbp)
movswl -0x4c(%rbp), %ecx
movq -0x38(%rbp), %rax
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x38(%rbp)
jmp 0xb84c
movq -0x38(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6929(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x30(%rbp), %rax
movq %rax, %rcx
addq $-0x8, %rcx
movq %rcx, -0x30(%rbp)
testb $0x1, -0x8(%rax)
je 0xb897
movq -0x38(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x38(%rbp)
jmp 0xb8de
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movw %ax, -0x4e(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %ecx
shll $0x8, %ecx
movswl -0x4e(%rbp), %eax
orl %ecx, %eax
movw %ax, -0x4e(%rbp)
movswl -0x4e(%rbp), %ecx
movq -0x38(%rbp), %rax
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6897(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x10(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0xb91d
movq -0x28(%rbp), %rax
movq -0x30(%rbp), %rcx
movq -0x8(%rcx), %rcx
movq %rcx, (%rax)
addq $0x60, %rsp
popq %rbp
retq
movq -0x58(%rbp), %rax
jmpq *%rax
movq -0x30(%rbp), %rax
addq $-0x8, %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x6840(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
movq -0x38(%rbp), %rax
movzbl (%rax), %ecx
movq -0x30(%rbp), %rax
movslq %ecx, %rdx
xorl %ecx, %ecx
subq %rdx, %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rdi
movq -0x30(%rbp), %rsi
movq -0x38(%rbp), %rax
movzbl (%rax), %edx
callq 0xaaa0
movq %rax, %rcx
movq -0x30(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x38(%rbp)
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x67c4(%rip), %rax      # 0x12190
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0xb923
nopl (%rax)