// File: /workspace/github_c_makefile_star2_O0/Liutos[P]Eloquent/vm.c
// Function: vm_execute
void vm_execute(vm_t *vm, ins_t *ins)
{
    value_t *_fun_, *_val_, *_val2_;
    value_t **_addr_; // Used only by BC_ADDR
    vm->ip = 0;
    while (vm_hasnext(vm, ins)) {
        bytecode_t *bc = vm_nextins(vm, ins);
        switch (BC_OPCODE(bc)) {
            case BC_ADDR:
                _addr_ = env_getaddr(vm->env, BC_ADDR_NAME(bc));
                if (_addr_ == NULL)
                    _addr_ = env_getaddr(vm->global_env, BC_ADDR_NAME(bc));
                if (_addr_ == NULL) {
                    stack_push(vm->stack, value_error_newf("Undefined variable: %s", BC_ADDR_NAME(bc)));
                    goto __check_exception;
                }
                stack_push(vm->stack, value_ref_new(_addr_));
                break;
            case BC_ARGS:
                for (int i = BC_ARGS_ARITY(bc) - 1; i >= 0; i--) {
                    value_t *obj = (value_t *)stack_nth(vm->stack, i);
                    env_set(vm->env, NULL, obj);
                }
                stack_shrink(vm->stack, BC_ARGS_ARITY(bc));
                break;
            case BC_ASET:
                _val_ = (value_t *)stack_pop(vm->stack);
                _val2_ = (value_t *)stack_top(vm->stack);
                if (elo_type(_val_) != VALUE_REF) {
                    stack_push(vm->stack, value_error_new("Operand of `valof' must be a reference"));
                    goto __check_exception;
                }
                *VALUE_REF_ADDR(_val_) = _val2_;
                break;
            case BC_CALL:
                _fun_ = (value_t *)stack_pop(vm->stack);
                if (BC_CALL_NARGS(bc) != VALUE_FUNC_ARITY(_fun_)) {
                    stack_push(vm->stack, value_error_newf("Incorrect number of arguments. Expecting %d but get %d ones", VALUE_FUNC_ARITY(_fun_), BC_CALL_NARGS(bc)));
                    break;
                }

                if (VALUE_FUNC_ISBIF(_fun_))
                    vm_execute_bif(vm, _fun_);
                else {
                    vm_trace_callucf(vm, _fun_);
                    vm_save(vm, ins, _fun_);
                    vm->depth++;
                    /* 初始化环境、字节码序列和指令指针 */
                    vm->env = env_new(VALUE_FUNC_ENV(_fun_));
                    vm->denv = env_new(vm->denv);
                    vm->fun = _fun_;
                    ins = VALUE_UCF_CODE(_fun_);
                    vm_goto(vm, 0);
                    /* 开始执行新的字节码指令 */
                }
                break;
__check_exception:
            case BC_CHKEX:
                _val_ = (value_t *)stack_top(vm->stack);
                if (elo_ERRORP(_val_)) {
                    if (!stack_isempty(vm->sys_stack)) {
                        vm_restore(vm, &ins, &_fun_);
                        /* 将运行时错误压回参数栈 */
                        stack_push(vm->stack, _val_);
                    } else
                        return;
                }
                break;
            case BC_DGET:
                _val_ = env_get(vm->denv, BC_DGET_NAME(bc));
                if (_val_ == NULL) {
                    stack_push(vm->stack, value_error_newf("Undefined dynamic variable: %s", BC_DGET_NAME(bc)));
                    goto __check_exception;
                }

                stack_push(vm->stack, _val_);
                break;
            case BC_DSET:
                env_set(vm->denv, BC_DSET_NAME(bc), (value_t *)stack_top(vm->stack));
                break;
            case BC_FJUMP:
                _val_ = (value_t *)stack_pop(vm->stack);
                if (_val_->kind == VALUE_INT && VALUE_INT_VALUE(_val_) == 0)
                    vm_goto(vm, BC_FJUMP_INDEX(bc));
                break;
            case BC_GREF:
                _val_ = env_ref(vm->global_env, BC_REF_I(bc), BC_REF_J(bc));
                if (_val_ == NULL) {
                    stack_push(vm->stack, value_error_newf("Undefined variable: %s", BC_REF_NAME(bc)));
                    goto __check_exception;
                }

                stack_push(vm->stack, _val_);
                break;
            case BC_GSET:
                _val_ = (value_t *)stack_top(vm->stack);
                vm_env_set(vm->global_env, BC_SET_I(bc), BC_SET_J(bc), BC_SET_NAME(bc), _val_);
                break;
            case BC_FUNC:
                _val_ = (value_t *)stack_top(vm->stack);
                VALUE_FUNC_ENV(_val_) = vm->env;
                break;
            case BC_JUMP:
                vm_goto(vm, BC_JUMP_INDEX(bc));
                break;
            case BC_NOPE:
                break;
            case BC_POP:
                stack_pop(vm->stack);
                break;
            case BC_PRINT:
                _val_ = (value_t *)stack_top(vm->stack);
                vm_value_print(vm, _val_);
                break;
            case BC_PUSH:
                stack_push(vm->stack, BC_PUSH_PTR(bc));
                break;
            case BC_RETURN:
                vm->depth--;
                vm_restore(vm, &ins, &_fun_);
                vm_trace_retucf(vm, _fun_, (value_t *)stack_top(vm->stack));
                /* 开始执行旧的字节码指令 */
                break;
            case BC_REF:
                _val_ = env_ref(vm->env, BC_REF_I(bc), BC_REF_J(bc));
                if (_val_ == NULL) {
                    stack_push(vm->stack, value_error_newf("Undefined variable: %s", BC_REF_NAME(bc)));
                    goto __check_exception;
                }

                stack_push(vm->stack, _val_);
                break;
            case BC_SET:
                _val_ = (value_t *)stack_top(vm->stack);
                vm_env_set(vm->env, BC_SET_I(bc), BC_SET_J(bc), BC_SET_NAME(bc), _val_);
                break;
            case BC_TRACE: {
                _val_ = (value_t *)stack_top(vm->stack);
                ident_t *id = BC_TRACE_VAR(bc);
                if (id == NULL) {
                    char name[32] = {0};
                    snprintf(name, sizeof(name), "#<%p>", _val_);
                    id = ident_intern(name);
                }
                hash_table_set(vm->traced_objs, _val_, id);
            }
                break;
            case BC_VALOF:
                _val_ = (value_t *)stack_pop(vm->stack);
                if (elo_type(_val_) != VALUE_REF) {
                    stack_push(vm->stack, value_error_new("Argument of `valof' must be a reference"));
                    goto __check_exception;
                }
                stack_push(vm->stack, *VALUE_REF_ADDR(_val_));
                break;
            default :
                fprintf(stderr, "Not support: %s\n", bc_name(bc));
                exit(0);
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xe0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movl $0x0, 0x4(%rax)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x34d0
cmpl $0x0, %eax
je 0x34bf
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3500
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movl (%rax), %eax
movq %rax, -0x78(%rbp)
subq $0x15, %rax
ja 0x3481
movq -0x78(%rbp), %rax
leaq 0x7384(%rip), %rcx      # 0xa118
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rsi
callq 0x8240
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x30(%rbp)
jne 0x2ddc
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rsi
callq 0x8240
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x30(%rbp)
jne 0x2e19
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0x80(%rbp)
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rsi
leaq 0x736f(%rip), %rdi      # 0xa170
movb $0x0, %al
callq 0x2570
movq -0x80(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x300e
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0x88(%rbp)
movq -0x30(%rbp), %rdi
callq 0x2710
movq -0x88(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x34ba
movq -0x38(%rbp), %rax
movl 0x8(%rax), %eax
subl $0x1, %eax
movl %eax, -0x3c(%rbp)
cmpl $0x0, -0x3c(%rbp)
jl 0x2e8c
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movl -0x3c(%rbp), %esi
callq 0x96d0
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x48(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x7ea0
movl -0x3c(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x2e52
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x38(%rbp), %rax
movslq 0x8(%rax), %rsi
callq 0x9540
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9700
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x6, (%rax)
je 0x2f00
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0x90(%rbp)
leaq 0x72a0(%rip), %rdi      # 0xa187
callq 0x2520
movq -0x90(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x300e
movq -0x28(%rbp), %rcx
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rcx, (%rax)
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9700
movq %rax, -0x18(%rbp)
movq -0x38(%rbp), %rax
movl 0x8(%rax), %eax
movq -0x18(%rbp), %rcx
cmpl 0x10(%rcx), %eax
je 0x2f74
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0x98(%rbp)
movq -0x18(%rbp), %rax
movl 0x10(%rax), %esi
movq -0x38(%rbp), %rax
movl 0x8(%rax), %edx
leaq 0x7255(%rip), %rdi      # 0xa1ae
movb $0x0, %al
callq 0x2570
movq -0x98(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x34ba
movq -0x18(%rbp), %rax
cmpl $0x0, 0x8(%rax)
je 0x2f8d
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x3540
jmp 0x3009
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x36a0
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
callq 0x3790
movq -0x8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x7d80
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x7d80
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x18(%rbp), %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rdi
xorl %esi, %esi
callq 0x3810
jmp 0x34ba
jmp 0x3010
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x2, (%rax)
jne 0x3068
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rdi
callq 0x9780
cmpq $0x0, %rax
je 0x3061
movq -0x8(%rbp), %rdi
leaq -0x10(%rbp), %rsi
leaq -0x18(%rbp), %rdx
callq 0x3830
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x20(%rbp), %rsi
callq 0x9580
jmp 0x3066
jmp 0x34bf
jmp 0x3068
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0x80f0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x30c6
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0xa0(%rbp)
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rsi
leaq 0x713f(%rip), %rdi      # 0xa1ea
movb $0x0, %al
callq 0x2570
movq -0xa0(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x300e
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x20(%rbp), %rsi
callq 0x9580
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb0(%rbp)
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa8(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq -0xb0(%rbp), %rdi
movq -0xa8(%rbp), %rsi
movq %rax, %rdx
callq 0x7ea0
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9700
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x5, (%rax)
jne 0x3156
movq -0x20(%rbp), %rax
cmpl $0x0, 0x8(%rax)
jne 0x3156
movq -0x8(%rbp), %rdi
movq -0x38(%rbp), %rax
movl 0x10(%rax), %esi
callq 0x3810
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
movq -0x38(%rbp), %rax
movl 0x8(%rax), %esi
movq -0x38(%rbp), %rax
movl 0xc(%rax), %edx
callq 0x81a0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x31ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0xb8(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rsi
leaq 0x6fd1(%rip), %rdi      # 0xa170
movb $0x0, %al
callq 0x2570
movq -0xb8(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x300e
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x20(%rbp), %rsi
callq 0x9580
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
movq -0x38(%rbp), %rax
movl 0x8(%rax), %esi
movq -0x38(%rbp), %rax
movl 0xc(%rax), %edx
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rcx
movq -0x20(%rbp), %r8
callq 0x38c0
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x18(%rax)
jmp 0x34ba
movq -0x8(%rbp), %rdi
movq -0x38(%rbp), %rax
movl 0x10(%rax), %esi
callq 0x3810
jmp 0x34ba
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9700
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x3920
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0x9580
jmp 0x34ba
movq -0x8(%rbp), %rax
movl (%rax), %ecx
addl $-0x1, %ecx
movl %ecx, (%rax)
movq -0x8(%rbp), %rdi
leaq -0x10(%rbp), %rsi
leaq -0x18(%rbp), %rdx
callq 0x3830
movq -0x8(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq -0xc8(%rbp), %rdi
movq -0xc0(%rbp), %rsi
movq %rax, %rdx
callq 0x3980
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x38(%rbp), %rax
movl 0x8(%rax), %esi
movq -0x38(%rbp), %rax
movl 0xc(%rax), %edx
callq 0x81a0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x3355
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0xd0(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rsi
leaq 0x6e36(%rip), %rdi      # 0xa170
movb $0x0, %al
callq 0x2570
movq -0xd0(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x300e
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x20(%rbp), %rsi
callq 0x9580
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x38(%rbp), %rax
movl 0x8(%rax), %esi
movq -0x38(%rbp), %rax
movl 0xc(%rax), %edx
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rcx
movq -0x20(%rbp), %r8
callq 0x38c0
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9750
movq %rax, -0x20(%rbp)
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x50(%rbp)
cmpq $0x0, -0x50(%rbp)
jne 0x3404
leaq -0x70(%rbp), %rdi
xorl %esi, %esi
movl $0x20, %edx
callq 0x2070
leaq -0x70(%rbp), %rdi
movq -0x20(%rbp), %rcx
movl $0x20, %esi
leaq 0x6d1e(%rip), %rdx      # 0xa10e
movb $0x0, %al
callq 0x2050
leaq -0x70(%rbp), %rdi
callq 0x2b30
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rdi
movq -0x20(%rbp), %rsi
movq -0x50(%rbp), %rdx
callq 0x8b30
jmp 0x34ba
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x9700
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x6, (%rax)
je 0x3467
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0xd8(%rbp)
leaq 0x6dbb(%rip), %rdi      # 0xa209
callq 0x2520
movq -0xd8(%rbp), %rdi
movq %rax, %rsi
callq 0x9580
jmp 0x300e
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rsi
callq 0x9580
jmp 0x34ba
movq 0xbb70(%rip), %rax      # 0xeff8
movq (%rax), %rax
movq %rax, -0xe0(%rbp)
movq -0x38(%rbp), %rdi
callq 0x66d0
movq -0xe0(%rbp), %rdi
movq %rax, %rdx
leaq 0x6d85(%rip), %rsi      # 0xa231
movb $0x0, %al
callq 0x20c0
xorl %edi, %edi
callq 0x2120
jmp 0x2d4e
addq $0xe0, %rsp
popq %rbp
retq
nopl (%rax,%rax)