implement enough type analysis for vector examplegnc

+ 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?)

1 files changed, 38 insertions, 0 deletions

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 <fwd/mod.h>
+
+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;
+}