From 0e0c41af58a0f4ec5a39ce77822de71e5523fcba Mon Sep 17 00:00:00 2001 From: Kimplul Date: Wed, 7 May 2025 21:22:38 +0300 Subject: implement enough type analysis for vector example + Big commit, scary + Some details still a bit up in the air, mainly about move checking structure member access ('register' types are freely copied I guess, same as in rust? How about user types?) --- mod/Makefile | 8 +++++++- mod/io.c | 8 ++++---- mod/mem.c | 38 ++++++++++++++++++++++++++++++++++++++ mod/util.c | 20 ++++++++++++++++++++ 4 files changed, 69 insertions(+), 5 deletions(-) create mode 100644 mod/mem.c create mode 100644 mod/util.c (limited to 'mod') diff --git a/mod/Makefile b/mod/Makefile index 0a0c045..9121afd 100644 --- a/mod/Makefile +++ b/mod/Makefile @@ -1,4 +1,10 @@ -all: libfwdio.so +all: libfwdio.so libfwdmem.so libfwdutil.so libfwdio.so: io.c ../include/fwd/mod.h $(CC) -I../include -fPIC -O2 -g -Wall -Wextra -shared io.c -o libfwdio.so + +libfwdmem.so: mem.c ../include/fwd/mod.h + $(CC) -I../include -fPIC -O2 -g -Wall -Wextra -shared mem.c -o libfwdmem.so + +libfwdutil.so: util.c ../include/fwd/mod.h + $(CC) -I../include -fPIC -O2 -g -Wall -Wextra -shared util.c -o libfwdutil.so diff --git a/mod/io.c b/mod/io.c index 380566f..d376d1c 100644 --- a/mod/io.c +++ b/mod/io.c @@ -4,14 +4,14 @@ #include -long print_nl(fwd_extern_args_t args) +long fwdprint_nl(fwd_extern_args_t args) { assert(args.argc == 0); putchar('\n'); return 0; } -long print_i64(fwd_extern_args_t args) +long fwdprint_i64(fwd_extern_args_t args) { assert(args.argc == 1); int64_t n = FWD_ARG_T(args, 0, int64_t); @@ -21,10 +21,10 @@ long print_i64(fwd_extern_args_t args) int fwdopen(fwd_state_t *state) { - FWD_REGISTER(state, print_nl, + FWD_REGISTER(state, fwdprint_nl, FWD_VOID); - FWD_REGISTER(state, print_i64, + FWD_REGISTER(state, fwdprint_i64, FWD_VOID, FWD_T(int64_t)); return 0; diff --git a/mod/mem.c b/mod/mem.c new file mode 100644 index 0000000..5303ffa --- /dev/null +++ b/mod/mem.c @@ -0,0 +1,38 @@ +#include + +long fwdmalloc(fwd_extern_args_t args) +{ + assert(args.argc == 1); + size_t n = FWD_ARG_T(args, 0, size_t); + FWD_RET(FWD_PTR, malloc(n)); + return 0; +} + +long fwdrealloc(fwd_extern_args_t args) +{ + assert(args.argc == 2); + void *ptr = FWD_ARG(args, 0, void *, FWD_PTR); + size_t n = FWD_ARG_T(args, 1, size_t); + FWD_RET(FWD_PTR, realloc(ptr, n)); + return 0; +} + +long fwdfree(fwd_extern_args_t args) +{ + assert(args.argc == 1); + void *ptr = FWD_ARG(args, 0, void *, FWD_PTR); + return 0; +} + +int fwdopen(fwd_state_t *state) +{ + FWD_REGISTER(state, fwdmalloc, + FWD_PTR, FWD_T(size_t)); + + FWD_REGISTER(state, fwdrealloc, + FWD_PTR, FWD_PTR, FWD_T(size_t)); + + FWD_REGISTER(state, fwdfree, + FWD_VOID, FWD_PTR); + return 0; +} diff --git a/mod/util.c b/mod/util.c new file mode 100644 index 0000000..c967349 --- /dev/null +++ b/mod/util.c @@ -0,0 +1,20 @@ +#include +#include + +long fwdpanic(fwd_extern_args_t args) +{ + assert(args.argc == 1); + char *str = FWD_ARG_T(args, 0, char *); + fprintf(stderr, "%s", str); + exit(1); + return 0; +} + +int fwdopen(fwd_state_t *state) +{ + /** @todo passing around strings might be common enough to warrant its + * own type? */ + FWD_REGISTER(state, fwdpanic, + FWD_VOID, FWD_PTR); + return 0; +} -- cgit v1.2.3