parser: extern var support
[m6w6/ext-psi] / src / data.c
index 102c02239912538f3761389d0a5b402a8a4295ba..3fa456b99c4f31905a6885e75eb4db72b91a4b95 100644 (file)
@@ -29,6 +29,7 @@
 #include "php_globals.h"
 
 #include <dlfcn.h>
+#include <ctype.h>
 
 struct psi_data *psi_data_ctor_with_dtors(struct psi_data *data,
                psi_error_cb error, unsigned flags)
@@ -58,6 +59,9 @@ struct psi_data *psi_data_ctor_with_dtors(struct psi_data *data,
        if (!data->decls) {
                data->decls = psi_plist_init((psi_plist_dtor) psi_decl_free);
        }
+       if (!data->vars) {
+               data->vars = psi_plist_init((psi_plist_dtor) psi_decl_extvar_free);
+       }
        if (!data->impls) {
                data->impls = psi_plist_init((psi_plist_dtor) psi_impl_free);
        }
@@ -95,6 +99,9 @@ struct psi_data *psi_data_ctor(struct psi_data *data, psi_error_cb error,
        if (!data->decls) {
                data->decls = psi_plist_init(NULL);
        }
+       if (!data->vars) {
+               data->vars = psi_plist_init(NULL);
+       }
        if (!data->impls) {
                data->impls = psi_plist_init(NULL);
        }
@@ -134,6 +141,9 @@ void psi_data_dtor(struct psi_data *data)
        if (data->decls) {
                psi_plist_free(data->decls);
        }
+       if (data->vars) {
+               psi_plist_free(data->vars);
+       }
        if (data->impls) {
                psi_plist_free(data->impls);
        }
@@ -221,6 +231,15 @@ void psi_data_dump(int fd, struct psi_data *D)
                }
                dprintf(fd, "\n");
        }
+       if (psi_plist_count(D->vars)) {
+               size_t i = 0;
+               struct psi_decl_extvar *evar;
+
+               while (psi_plist_get(D->vars, i++, &evar)) {
+                       psi_decl_extvar_dump(fd, evar);
+               }
+               dprintf(fd, "\n");
+       }
        if (psi_plist_count(D->impls)) {
                size_t i = 0;
                struct psi_impl *impl;
@@ -241,6 +260,8 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
        struct psi_plist *check_structs = src->structs;
        struct psi_plist *check_unions = src->unions;
        struct psi_plist *check_enums = src->enums;
+       struct psi_plist *check_vars = src->vars;
+       struct psi_plist *check_decls = src->decls;
        unsigned flags = dst->flags;
        unsigned errors = src->errors;
        struct psi_validate_stack type_stack;
@@ -252,6 +273,10 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
 
        psi_validate_stack_ctor(&type_stack);
 
+       if (dst->vars) {
+
+       }
+
        dst->flags |= PSI_SILENT;
 
        while (check_count) {
@@ -259,12 +284,16 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
                struct psi_plist *recheck_structs;
                struct psi_plist *recheck_unions;
                struct psi_plist *recheck_enums;
+               struct psi_plist *recheck_vars;
+               struct psi_plist *recheck_decls;
                size_t count_types = psi_plist_count(check_types);
                size_t count_structs = psi_plist_count(check_structs);
                size_t count_unions = psi_plist_count(check_unions);
                size_t count_enums = psi_plist_count(check_enums);
+               size_t count_vars = psi_plist_count(check_vars);
+               size_t count_decls = psi_plist_count(check_decls);
                size_t count_all = count_types + count_structs + count_unions
-                               + count_enums;
+                               + count_enums + count_vars + count_decls;
 
                if (check_count == count_all) {
                        /* nothing changed; bail out */
@@ -283,6 +312,8 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
                        recheck_structs = count_structs ? psi_plist_init(NULL) : NULL;
                        recheck_unions = count_unions ? psi_plist_init(NULL) : NULL;
                        recheck_enums = count_enums ? psi_plist_init(NULL) : NULL;
+                       recheck_vars = count_vars ? psi_plist_init(NULL) : NULL;
+                       recheck_decls = count_decls ? psi_plist_init(NULL) : NULL;
 
                        check_count = count_all;
                        src->errors = errors + check_count;
@@ -334,7 +365,6 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
                                        PSI_DEBUG_PRINT(dst, "PSI: validate union %s ", unn->name);
                                        if (psi_decl_union_validate(PSI_DATA(dst), unn, &type_stack)) {
                                                PSI_DEBUG_PRINT(dst, "%s ::(%zu, %zu)\n", "✔", unn->align, unn->size);
-
                                        } else {
                                                PSI_DEBUG_PRINT(dst, "%s (%s)\n", "✘", dst->last_error);
                                                recheck_unions = psi_plist_add(recheck_unions, &unn);
@@ -358,6 +388,40 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
                                        }
                                }
                        }
+                       if (count_vars) {
+                               size_t i = 0;
+                               struct psi_decl_extvar *evar;
+
+                               while (psi_plist_get(check_vars, i++, &evar)) {
+                                       *dst->last_error = 0;
+                                       PSI_DEBUG_PRINT(dst, "PSI: validate extvar %s ", evar->arg->var->name);
+                                       if (psi_decl_extvar_validate(PSI_DATA(dst), evar, dlopened, &type_stack)) {
+                                               PSI_DEBUG_PRINT(dst, "%s\n", "✔");
+                                               dst->vars = psi_plist_add(dst->vars, &evar);
+                                               dst->decls = psi_plist_add(dst->decls, &evar->getter);
+                                               dst->decls = psi_plist_add(dst->decls, &evar->setter);
+                                       } else {
+                                               PSI_DEBUG_PRINT(dst, "%s (%s)\n", "✘", dst->last_error);
+                                               recheck_vars = psi_plist_add(recheck_vars, &evar);
+                                       }
+                               }
+                       }
+                       if (count_decls) {
+                               size_t i = 0;
+                               struct psi_decl *decl;
+
+                               while (psi_plist_get(check_decls, i++, &decl)) {
+                                       *dst->last_error = 0;
+                                       PSI_DEBUG_PRINT(dst, "PSI: validate decl %s ", decl->func->var->name);
+                                       if (psi_decl_validate(PSI_DATA(dst), decl, dlopened, &type_stack)) {
+                                               PSI_DEBUG_PRINT(dst, "%s\n", "✔");
+                                               dst->decls = psi_plist_add(dst->decls, &decl);
+                                       } else {
+                                               PSI_DEBUG_PRINT(dst, "%s (%s)\n", "✘", dst->last_error);
+                                               recheck_decls = psi_plist_add(recheck_decls, &decl);
+                                       }
+                               }
+                       }
                }
 
                if (check_types && check_types != src->types) {
@@ -376,11 +440,60 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
                        psi_plist_free(check_enums);
                }
                check_enums = recheck_enums;
+               if (check_vars && check_vars != src->vars) {
+                       psi_plist_free(check_vars);
+               }
+               check_vars = recheck_vars;
+               if (check_decls && check_decls != src->decls) {
+                       psi_plist_free(check_decls);
+               }
+               check_decls = recheck_decls;
        }
 
        /* reset original flags */
        dst->flags = flags;
 
+       if (dst->structs) {
+               size_t i = 0;
+               struct psi_decl_struct *str;
+
+               while (psi_plist_get(dst->structs, i++, &str)) {
+                       size_t nlen = strlen(str->name);
+                       size_t slen = sizeof("psi\\SIZEOF_STRUCT_");
+                       size_t alen = sizeof("psi\\ALIGNOF_STRUCT_");
+                       char *nptr = str->name, *sname, *aname;
+                       struct psi_const *cnst;
+                       struct psi_const_type *ctyp;
+                       struct psi_impl_def_val *cval;
+
+                       sname = malloc(slen + nlen + 1);
+                       strcpy(sname, "psi\\SIZEOF_STRUCT_");
+                       aname = malloc(alen + nlen + 1);
+                       strcpy(aname, "psi\\ALIGNOF_STRUCT_");
+
+                       nptr = str->name;
+                       while (*nptr) {
+                               size_t off = nptr - str->name;
+                               sname[slen - 1 + off] = aname[alen - 1 + off] = toupper(*nptr++);
+                       }
+                       sname[slen - 1 + nlen] = aname[alen - 1 + nlen] = 0;
+
+                       ctyp = psi_const_type_init(PSI_T_INT, "int");
+                       cval = psi_impl_def_val_init(PSI_T_INT, NULL);
+                       cval->ival.zend.lval = str->size;
+                       cnst = psi_const_init(ctyp, sname, cval);
+                       src->consts = psi_plist_add(src->consts, &cnst);
+                       free(sname);
+
+                       ctyp = psi_const_type_init(PSI_T_INT, "int");
+                       cval = psi_impl_def_val_init(PSI_T_INT, NULL);
+                       cval->ival.zend.lval = str->align;
+                       cnst = psi_const_init(ctyp, aname, cval);
+                       src->consts = psi_plist_add(src->consts, &cnst);
+                       free(aname);
+               }
+       }
+
        if (src->consts) {
                size_t i = 0;
                struct psi_const *cnst;
@@ -398,23 +511,6 @@ bool psi_data_validate(struct psi_data *dst, struct psi_data *src)
                }
        }
 
-       if (src->decls) {
-               size_t i = 0;
-               struct psi_decl *decl;
-
-               while (psi_plist_get(src->decls, i++, &decl)) {
-                       *dst->last_error = 0;
-                       PSI_DEBUG_PRINT(dst, "PSI: validate decl %s ", decl->func->var->name);
-                       if (psi_decl_validate(PSI_DATA(dst), decl, dlopened, &type_stack)) {
-                               PSI_DEBUG_PRINT(dst, "%s\n", "✔");
-                               dst->decls = psi_plist_add(dst->decls, &decl);
-                       } else {
-                               PSI_DEBUG_PRINT(dst, "%s (%s)\n", "✘", dst->last_error);
-                               ++src->errors;
-                       }
-               }
-       }
-
        if (src->impls) {
                size_t i = 0;
                struct psi_impl *impl;