-static inline void free_impl_args(impl_args *args) {
- size_t i;
-
- for (i = 0; i < args->count; ++i) {
- free_impl_arg(args->args[i]);
- }
- free(args->args);
- free(args);
-}
-
-typedef struct impl_func {
- char *name;
- impl_args *args;
- impl_type *return_type;
-} impl_func;
-
-static inline impl_func *init_impl_func(char *name, impl_args *args, impl_type *type) {
- impl_func *func = malloc(sizeof(*func));
- func->name = strdup(name);
- func->args = args ? args : init_impl_args(NULL);
- func->return_type = type;
- return func;
-}
-
-static inline void free_impl_func(impl_func *f) {
- free_impl_type(f->return_type);
- free_impl_args(f->args);
- free(f->name);
- free(f);
-}
-
-typedef struct let_func {
- token_t type;
- char *name;
-} let_func;
-
-static inline let_func *init_let_func(token_t type, char *name) {
- let_func *func = malloc(sizeof(*func));
- func->type = type;
- func->name = (char *) strdup((const char *) name);
- return func;
-}
-
-static inline void free_let_func(let_func *func) {
- free(func->name);
- free(func);
-}
-
-typedef struct let_value {
- let_func *func;
- impl_var *var;
- unsigned null_pointer_ref:1;
-} let_value;
-
-static inline let_value *init_let_value(let_func *func, impl_var *var, int null_pointer_ref) {
- let_value *val = malloc(sizeof(*val));
- val->null_pointer_ref = null_pointer_ref;
- val->func = func;
- val->var = var;
- return val;
-}
-
-static inline void free_let_value(let_value *val) {
- if (val->func) {
- free_let_func(val->func);
- }
- if (val->var) {
- free_impl_var(val->var);
- }
- free(val);
-}
-
-typedef struct let_stmt {
- decl_var *var;
- let_value *val;
-} let_stmt;
-
-static inline let_stmt *init_let_stmt(decl_var *var, let_value *val) {
- let_stmt *let = malloc(sizeof(*let));
- let->var = var;
- let->val = val;
- return let;
-}
-
-static inline void free_let_stmt(let_stmt *stmt) {
- free_decl_var(stmt->var);
- free_let_value(stmt->val);
- free(stmt);
-}
-
-typedef struct set_func {
- token_t type;
- char *name;
-} set_func;
-
-static inline set_func *init_set_func(token_t type, char *name) {
- set_func *func = malloc(sizeof(*func));
- func->type = type;
- func->name = (char *) strdup((const char *) name);
- return func;
-}
-
-static inline void free_set_func(set_func *func) {
- free(func->name);
- free(func);
-}
-
-typedef struct set_value {
- set_func *func;
- decl_vars *vars;
-} set_value;
-
-static inline set_value *init_set_value(set_func *func, decl_vars *vars) {
- set_value *val = malloc(sizeof(*val));
- val->func = func;
- val->vars = vars;
- return val;
-}
-
-static inline void free_set_value(set_value *val) {
- free_set_func(val->func);
- free_decl_vars(val->vars);
- free(val);
-}
-
-typedef struct set_stmt {
- impl_var *var;
- set_value *val;
-} set_stmt;
-
-static inline set_stmt *init_set_stmt(impl_var *var, set_value *val) {
- set_stmt *set = malloc(sizeof(*set));
- set->var = var;
- set->val = val;
- return set;
-}
-
-static inline void free_set_stmt(set_stmt *set) {
- free_impl_var(set->var);
- free_set_value(set->val);
- free(set);
-}
-
-typedef struct ret_stmt {
- set_func *func;
- decl_var *decl;
-} ret_stmt;
-
-static inline ret_stmt *init_ret_stmt(set_func *func, decl_var *decl) {
- ret_stmt *ret = malloc(sizeof(*ret));
- ret->func = func;
- ret->decl = decl;
- return ret;
-}
-
-static inline void free_ret_stmt(ret_stmt *ret) {
- free_set_func(ret->func);
- free_decl_var(ret->decl);
- free(ret);
-}
-
-typedef struct impl_stmt {
- token_t type;
- union {
- let_stmt *let;
- set_stmt *set;
- ret_stmt *ret;
- void *ptr;
- } s;
-} impl_stmt;
-
-static inline impl_stmt *init_impl_stmt(token_t type, void *ptr) {
- impl_stmt *stmt = malloc(sizeof(*stmt));
- stmt->type = type;
- stmt->s.ptr = ptr;
- return stmt;
-}
-
-static inline void free_impl_stmt(impl_stmt *stmt) {
- switch (stmt->type) {
- case PSI_T_LET:
- free_let_stmt(stmt->s.let);
- break;
- case PSI_T_SET:
- free_set_stmt(stmt->s.set);
- break;
- case PSI_T_RET:
- free_ret_stmt(stmt->s.ret);
- break;
- }
- free(stmt);
-}
-
-typedef struct impl_stmts {
- struct {
- ret_stmt **list;
- size_t count;
- } ret;
- struct {
- let_stmt **list;
- size_t count;
- } let;
- struct {
- set_stmt **list;
- size_t count;
- } set;
-} impl_stmts;
-
-static inline void *add_impl_stmt_ex(void *list, size_t count, void *stmt) {
- list = realloc(list, count * sizeof(list));
- ((void **)list)[count-1] = stmt;
- return list;
-}
-
-static inline impl_stmts *add_impl_stmt(impl_stmts *stmts, impl_stmt *stmt) {
- switch (stmt->type) {
- case PSI_T_RET:
- stmts->ret.list = add_impl_stmt_ex(stmts->ret.list, ++stmts->ret.count, stmt->s.ret);
- break;
- case PSI_T_LET:
- stmts->let.list = add_impl_stmt_ex(stmts->let.list, ++stmts->let.count, stmt->s.let);
- break;
- case PSI_T_SET:
- stmts->set.list = add_impl_stmt_ex(stmts->set.list, ++stmts->set.count, stmt->s.set);
- break;
- }
- return stmts;
-}
-
-static inline impl_stmts *init_impl_stmts(impl_stmt *stmt) {
- impl_stmts *stmts = calloc(1, sizeof(*stmts));
- return add_impl_stmt(stmts, stmt);
-}
-
-static inline void free_impl_stmts(impl_stmts *stmts) {
- size_t i;
-
- for (i = 0; i < stmts->let.count; ++i) {
- free_let_stmt(stmts->let.list[i]);
- }
- free(stmts->let.list);
- for (i = 0; i < stmts->ret.count; ++i) {
- free_ret_stmt(stmts->ret.list[i]);
- }
- free(stmts->ret.list);
- for (i = 0; i < stmts->set.count; ++i) {
- free_set_stmt(stmts->set.list[i]);
- }
- free(stmts->set.list);
- free(stmts);
-}
-
-typedef struct impl {
- impl_func *func;
- impl_stmts *stmts;
- decl *decl;
-} impl;
-
-static inline impl *init_impl(impl_func *func, impl_stmts *stmts) {
- impl *i = malloc(sizeof(*i));
- i->func = func;
- i->stmts = stmts;
- return i;
-}
-
-static inline void free_impl(impl *impl) {
- free_impl_func(impl->func);
- free_impl_stmts(impl->stmts);
- free(impl);
-}
-
-typedef struct impls {
- size_t count;
- impl **list;
-} impls;
-
-static impls *add_impl(impls *impls, impl *impl) {
- if (!impls) {
- impls = calloc(1, sizeof(*impls));
- }
- impls->list = realloc(impls->list, ++impls->count * sizeof(*impls->list));
- impls->list[impls->count-1] = impl;
- return impls;
-}
-
-static void free_impls(impls *impls) {
- size_t i;
-
- for (i = 0; i < impls->count; ++i) {
- free_impl(impls->list[i]);
- }
- free(impls->list);
- free(impls);
-}
-
-typedef struct PSI_Data {
- decl_typedefs *defs;
- decls *decls;
- impls *impls;
- char *lib;
- char *fn;
-} PSI_Data;
-
-static inline void PSI_DataExchange(PSI_Data *dest, PSI_Data *src) {
- memcpy(dest, src, sizeof(*dest));
- memset(src, 0, sizeof(*src));
-}
-
-static inline void PSI_DataDtor(PSI_Data *data) {
- if (data->defs) {
- free_decl_typedefs(data->defs);
- }
- if (data->decls) {
- free_decls(data->decls);
- }
- if (data->impls) {
- free_impls(data->impls);
- }
- if (data->lib) {
- free(data->lib);
- }
- if (data->fn) {
- free(data->fn);
- }
-}
-
-typedef struct PSI_Parser {
- decl_typedefs *defs;
- decls *decls;
- impls *impls;
- char *lib;
- char *fn;