Author SHA1 Message Date
samsonium 0fc6406e97 fix: missing freeing and type (in CIF prepare) 2026-11-08 18:46:21 +03:00
samsonium d09b4f2761 wip: working on externs loading
- Feat: finish FFI CIF prepare
2026-11-08 18:40:44 +03:00
samsonium 2488e9fb07 fix: add loaded symbols count increment 2026-11-08 17:26:46 +03:00
samsonium 899c22eece ref: move extern fns prepare into main 2026-11-08 17:26:32 +03:00
6 changed files with 83 additions and 15 deletions
+1
View File
@@ -169,6 +169,7 @@ if (NOT FZL_SKIP_VM)
src/vm/reader/vm_rd_sections_sz.c
src/vm/fzl_vm.c
src/vm/fzl_vm_env.c
src/vm/fzl_vm_extern.c
src/vm/fzl_vm_reader.c
src/vm/fzl_vm_debug.c
src/vm/main.c)
-8
View File
@@ -36,14 +36,6 @@ fzl_vm_t *fzl_mkvm(fzl_vm_reader_t *reader)
memset(vm, 0, sizeof(fzl_vm_t));
vm->reader = reader;
vm->prep_fns = fzl_vm_init_externs(reader);
if (!vm->prep_fns)
{
char *err = fzl_vm_externs_geterror();
strcpy(last_err, err);
return NULL;
}
return vm;
}
+37 -4
View File
@@ -45,6 +45,12 @@ ffi_type *resolve_type(fzl_vm_reader_t *reader, fzl_extern_type_ref_t *ref)
case FZL_TYPE_UINT64:
return &ffi_type_uint64;
case FZL_TYPE_INT:
return &ffi_type_sint;
case FZL_TYPE_UINT:
return &ffi_type_uint;
case FZL_TYPE_CHAR:
return &ffi_type_schar;
@@ -87,10 +93,37 @@ bool prepare_sym(fzl_vm_reader_t *reader, void *sym, fzl_extern_fn_t *fn,
"specified");
return false;
}
memset(out, 0, sizeof(fzl_vm_sym_t));
out->func_ptr = sym;
// TODO: fill the FFI CIF struct values
return false;
out->func_ptr = sym;
out->arg_types = malloc(sizeof(ffi_type *) * fn->args_count);
if (!out->arg_types)
{
snprintf(ex_err, sizeof(ex_err), "out of memory");
return false;
}
memset(out->arg_types, 0, sizeof(ffi_type *) * fn->args_count);
for (size_t i = 0; i < fn->args_count; i++)
{
fzl_extern_arg_t *arg = &fn->args[i];
if (arg->is_out)
out->arg_types[i] = &ffi_type_pointer;
else
out->arg_types[i] = resolve_type(reader, &arg->type);
}
ffi_type *ret =
fn->has_return ? resolve_type(reader, &fn->ret_type) : &ffi_type_void;
ffi_status res = ffi_prep_cif(&out->cif, FFI_DEFAULT_ABI, fn->args_count, ret,
out->arg_types);
if (res != FFI_OK)
{
snprintf(ex_err, sizeof(ex_err), "failed to prepare FFI");
return false;
}
return true;
}
fzl_vm_extern_t *fzl_vm_init_externs(fzl_vm_reader_t *reader)
@@ -188,7 +221,7 @@ fzl_vm_extern_t *fzl_vm_init_externs(fzl_vm_reader_t *reader)
return NULL;
}
if (!prepare_sym(reader, sym, fn, &ex->syms[i]))
if (!prepare_sym(reader, sym, fn, &ex->syms[ex->syms_loaded++]))
{
if (!ex_err[0])
{
+29 -2
View File
@@ -1,5 +1,8 @@
#include <common/fzl_value.h>
#include <stddef.h>
#include <stdio.h>
#include <vm/fzl_vm.h>
#include <vm/fzl_vm_extern.h>
#include <vm/internals/opcode.h>
// Call function (store return address and jump into function init)
@@ -28,7 +31,31 @@ int op_ret(fzl_vm_t *vm)
// Call externally defined function
int op_call_extern(fzl_vm_t *vm)
{
(void)vm;
// TODO: implement
size_t fn_n = vm->reader->ops[++vm->ip];
if (fn_n >= vm->reader->extern_fns_count)
{
snprintf(last_err, sizeof(last_err),
"runtime error - unknown external function");
print_err_data(vm);
return -1;
}
fzl_vm_sym_t *fn = &vm->prep_fns->syms[fn_n];
if (!fn)
{
snprintf(last_err, sizeof(last_err),
"runtime error - failed to load extern function");
print_err_data(vm);
return -1;
}
if (vm->dtop < fn->cif.nargs)
{
snprintf(last_err, sizeof(last_err),
"runtime error - expected %u valued on dstack", fn->cif.nargs);
print_err_data(vm);
return -1;
}
return 0;
}
+15
View File
@@ -6,6 +6,7 @@
#include <stdlib.h>
#include <string.h>
#include <vm/fzl_vm.h>
#include <vm/fzl_vm_extern.h>
#include <vm/fzl_vm_reader.h>
typedef struct
@@ -140,6 +141,18 @@ int main(int argc, char **argv)
return -1;
}
vm->prep_fns = fzl_vm_init_externs(reader);
if (!vm->prep_fns)
{
printf("%sError%s: %s\n", FZL_CERROR, FZL_CRST, fzl_vm_externs_geterror());
free(args);
fzl_vm_free_externs(vm->prep_fns);
fzl_vm_freereader(reader);
fzl_freevm(vm);
return -1;
}
vm->allow_infinite = args->allow_infinite;
vm->max_iter = args->max_iter;
@@ -155,6 +168,7 @@ int main(int argc, char **argv)
printf("%sError%s: %s\n", FZL_CERROR, FZL_CRST, err);
free(args);
fzl_vm_free_externs(vm->prep_fns);
fzl_vm_freereader(reader);
fzl_freevm(vm);
return -1;
@@ -162,6 +176,7 @@ int main(int argc, char **argv)
}
free(args);
fzl_vm_free_externs(vm->prep_fns);
fzl_vm_freereader(reader);
fzl_freevm(vm);
+1 -1
View File
@@ -1,4 +1,4 @@
extern "math" {
extern "libmath" {
fn double_num(int num) int;
}