#include "token.h"
#include "parser.h"
-#define PSI_PREDEF_TYPES
-#define PSI_PREDEF_CONSTS
-#define PSI_PREDEF_COMPOSITES
-#define PSI_PREDEF_DECLS
#include "php_psi_posix.h"
-struct psi_context *psi_context_init(struct psi_context *C, struct psi_context_ops *ops, psi_error_cb error, unsigned flags)
+PHP_MINIT_FUNCTION(psi_context)
{
- struct psi_data T;
- struct psi_predef_type *predef_type;
- struct psi_predef_const *predef_const;
- struct psi_predef_composite *predef_composite;
- struct psi_predef_decl *predef_decl;
+ unsigned flags = 0;
+ struct psi_context_ops *ops = NULL;
- if (!C) {
- C = malloc(sizeof(*C));
+#ifdef HAVE_LIBJIT
+ if (!strcasecmp(PSI_G(engine), "jit")) {
+ ops = psi_libjit_ops();
+ } else
+#endif
+#ifdef HAVE_LIBFFI
+ ops = psi_libffi_ops();
+#endif
+
+ if (!ops) {
+ php_error(E_WARNING, "No PSI engine found");
+ return FAILURE;
}
- memset(C, 0, sizeof(*C));
- psi_data_ctor(PSI_DATA(C), error, flags);
- C->ops = ops;
+ PSI_G(ops) = ops;
+ if (ops->load && SUCCESS != ops->load()) {
+ return FAILURE;
+ }
- if (ops->init) {
- ops->init(C);
+ if (psi_check_env("PSI_DEBUG")) {
+ flags |= PSI_DEBUG;
+ }
+ if (psi_check_env("PSI_SILENT")) {
+ flags |= PSI_SILENT;
}
- assert(ops->call != NULL);
- assert(ops->compile != NULL);
+ PSI_G(context) = psi_context_init(NULL, PSI_G(ops), psi_error_wrapper, flags);
+ psi_context_build(PSI_G(context), PSI_G(directory));
- /* build up predefs in a temporary PSI_Data for validation */
- memset(&T, 0, sizeof(T));
- psi_data_ctor_with_dtors(&T, error, flags);
+ return SUCCESS;
+}
- for (predef_type = &psi_predef_types[0]; predef_type->type_tag; ++predef_type) {
- struct psi_decl_type *type = psi_decl_type_init(predef_type->type_tag, predef_type->type_name);
- struct psi_decl_var *var = psi_decl_var_init(predef_type->alias, 0, 0); /* FIXME: indirection */
- struct psi_decl_arg *def = psi_decl_arg_init(type, var);
+PHP_MSHUTDOWN_FUNCTION(psi_context)
+{
+ if (psi_check_env("PSI_DUMP")) {
+ struct psi_dump dump = {{.hn = stdout}, (psi_dump_cb) fprintf};
- T.types = psi_plist_add(T.types, &def);
+ psi_context_dump(&dump, PSI_G(context));
}
- for (predef_const = &psi_predef_consts[0]; predef_const->type_tag; ++predef_const) {
- struct psi_const_type *type = psi_const_type_init(predef_const->type_tag, predef_const->type_name);
- struct psi_impl_def_val *val;
- struct psi_const *constant;
-
- switch (type->type) {
- case PSI_T_INT:
- val = psi_impl_def_val_init(PSI_T_INT, NULL);
- val->ival.zend.lval = predef_const->value.lval;
- break;
- case PSI_T_STRING:
- val = psi_impl_def_val_init(PSI_T_STRING, NULL);
- val->ival.zend.str = zend_string_init(predef_const->value.ptr, strlen(predef_const->value.ptr), 1);
- break;
- default:
- assert(0);
- break;
- }
- constant = psi_const_init(type, predef_const->var_name, val);
- T.consts = psi_plist_add(T.consts, &constant);
+ psi_context_free(&PSI_G(context));
+
+ if (PSI_G(ops)->free) {
+ PSI_G(ops)->free();
}
- for (predef_composite = &psi_predef_composites[0]; predef_composite->type_tag; ++predef_composite) {
- struct psi_predef_composite *member;
- struct psi_decl_struct *dstruct;
- struct psi_decl_union *dunion;
- struct psi_plist *dargs = psi_plist_init((psi_plist_dtor) psi_decl_arg_free);
-
- switch (predef_composite->type_tag) {
- case PSI_T_STRUCT:
- dstruct = psi_decl_struct_init(predef_composite->var_name, dargs);
- dstruct->size = predef_composite->size;
- dstruct->align = predef_composite->offset;
- break;
- case PSI_T_UNION:
- dunion = psi_decl_union_init(predef_composite->var_name, dargs);
- dunion->size = predef_composite->size;
- dunion->align = predef_composite->offset;
- break;
- default:
- assert(0);
- }
- for (member = &predef_composite[1]; member->type_tag; ++member) {
- struct psi_decl_type *type;
- struct psi_decl_var *dvar;
- struct psi_decl_arg *darg;
-
- type = psi_decl_type_init(member->type_tag, member->type_name);
- dvar = psi_decl_var_init(member->var_name, member->pointer_level, member->array_size);
- darg = psi_decl_arg_init(type, dvar);
- darg->layout = psi_layout_init(member->offset, member->size, NULL);
-
- switch (predef_composite->type_tag) {
- case PSI_T_STRUCT:
- dstruct->args = psi_plist_add(dstruct->args, &darg);
- break;
- case PSI_T_UNION:
- dunion->args = psi_plist_add(dunion->args, &darg);
- break;
- default:
- assert(0);
- }
- }
- switch (predef_composite->type_tag) {
- case PSI_T_STRUCT:
- T.structs = psi_plist_add(T.structs, &dstruct);
- break;
- case PSI_T_UNION:
- T.unions = psi_plist_add(T.unions, &dunion);
- break;
- default:
- assert(0);
- }
- predef_composite = member;
+ return SUCCESS;
+}
+
+struct psi_context *psi_context_init(struct psi_context *C, struct psi_context_ops *ops, psi_error_cb error, unsigned flags)
+{
+ if (!C) {
+ C = pemalloc(sizeof(*C), 1);
}
- for (predef_decl = &psi_predef_decls[0]; predef_decl->type_tag; ++predef_decl) {
- struct psi_predef_decl *farg;
- struct psi_decl_type *dtype, *ftype = psi_decl_type_init(predef_decl->type_tag, predef_decl->type_name);
- struct psi_decl_var *fname = psi_decl_var_init(predef_decl->var_name, predef_decl->pointer_level, predef_decl->array_size);
- struct psi_decl_arg *tdef, *func = psi_decl_arg_init(ftype, fname);
- struct psi_plist *args = psi_plist_init((psi_plist_dtor) psi_decl_arg_free);
- struct psi_decl *decl = psi_decl_init(func, args);
-
- for (farg = &predef_decl[1]; farg->type_tag; ++farg) {
- struct psi_decl_type *arg_type = psi_decl_type_init(farg->type_tag, farg->type_name);
- struct psi_decl_var *arg_var = psi_decl_var_init(farg->var_name, farg->pointer_level, farg->array_size);
- struct psi_decl_arg *darg = psi_decl_arg_init(arg_type, arg_var);
- decl->args = psi_plist_add(decl->args, &darg);
- }
+ memset(C, 0, sizeof(*C));
- switch (predef_decl->kind) {
- case DECL_KIND_VARARG:
- decl->varargs = 1;
- /* no break */
- case DECL_KIND_STD:
- T.decls = psi_plist_add(T.decls, &decl);
- break;
- case DECL_KIND_FUNCTOR:
- dtype = psi_decl_type_init(PSI_T_FUNCTION, fname->name);
- dtype->real.func = decl;
- tdef = psi_decl_arg_init(dtype, psi_decl_var_copy(fname));
- T.types = psi_plist_add(T.types, &tdef);
- break;
- default:
- assert(0);
- }
+ psi_data_ctor(PSI_DATA(C), error, flags);
+ C->ops = ops;
- predef_decl = farg;
+ if (ops->init) {
+ ops->init(C);
}
- psi_context_add_data(C, &T);
+ assert(ops->call != NULL);
+ assert(ops->compile != NULL);
return C;
}
return 0 == fnmatch("*.psi", entry->d_name, FNM_CASEFOLD);
}
+static bool psi_context_add(struct psi_context *C, struct psi_parser *P)
+{
+ bool valid;
+ struct psi_data *D;
+ struct psi_validate_scope scope = {0};
+
+ C->data = safe_perealloc(C->data, (C->count + 1), sizeof(*C->data), 0, 1);
+ D = psi_data_exchange(&C->data[C->count++], PSI_DATA(P));
+
+ psi_validate_scope_ctor(&scope);
+ scope.cpp = P->preproc;
+ valid = psi_validate(&scope, PSI_DATA(C), D);
+ psi_validate_scope_dtor(&scope);
+
+ return valid;
+}
+
void psi_context_build(struct psi_context *C, const char *paths)
{
int i, n;
continue;
}
psi_parser_parse(&P, I);
- psi_context_add_data(C, PSI_DATA(&P));
+ psi_context_add(C, &P);
psi_parser_dtor(&P);
- free(I);
+ psi_parser_input_free(&I);
}
}
} while (sep);
- if (psi_context_compile(C) && SUCCESS != zend_register_functions(NULL, C->closures, NULL, MODULE_PERSISTENT)) {
- C->error(PSI_DATA(C), NULL, PSI_WARNING, "Failed to register functions!");
+ if (psi_context_compile(C)) {
+ /* zend_register_functions depends on EG(current_module) pointing into module */
+ EG(current_module) = zend_hash_str_find_ptr(&module_registry, "psi", sizeof("psi") - 1);
+ if (SUCCESS != zend_register_functions(NULL, C->closures, NULL, MODULE_PERSISTENT)) {
+ C->error(PSI_DATA(C), NULL, PSI_WARNING, "Failed to register functions!");
+ }
+ EG(current_module) = NULL;
}
free(cpy);
}
+#include <ctype.h>
+static inline bool prefix_match(zend_string *a, zend_string *b)
+{
+ size_t i;
+
+ for (i = 0; i < a->len && i < b->len; ++i) {
+ if (tolower(a->val[i]) != tolower(b->val[i])) {
+ return false;
+ }
+ if (i && a->val[i] == '_') {
+ break;
+ }
+ }
+
+ return true;
+}
+
zend_function_entry *psi_context_compile(struct psi_context *C)
{
zend_constant zc;
- zc.flags = CONST_PERSISTENT|CONST_CS;
- zc.module_number = EG(current_module)->module_number;
+ ZEND_CONSTANT_SET_FLAGS(&zc, CONST_CS|CONST_PERSISTENT, EG(current_module)->module_number);
if (C->consts) {
size_t i = 0;
while (psi_plist_get(C->consts, i++, &c)) {
- if (zend_get_constant_str(c->name, strlen(c->name))) {
+ if (zend_get_constant(c->name)) {
continue;
}
- zc.name = zend_string_init(c->name, strlen(c->name), 1);
-
- switch (c->type->type) {
- case PSI_T_BOOL:
- ZVAL_BOOL(&zc.value, c->val->ival.zend.bval);
- break;
- case PSI_T_INT:
- ZVAL_LONG(&zc.value, c->val->ival.zend.lval);
- break;
- case PSI_T_FLOAT:
- ZVAL_DOUBLE(&zc.value, c->val->ival.dval);
- break;
- case PSI_T_STRING:
- case PSI_T_QUOTED_STRING:
- ZVAL_NEW_STR(&zc.value, zend_string_copy(c->val->ival.zend.str));
- break;
- default:
- assert(0);
- break;
- }
+ zc.name = zend_string_copy(c->name);
+ psi_impl_def_val_get_zval(c->val, c->type ? c->type->type : PSI_T_MIXED, &zc.value);
zend_register_constant(&zc);
}
while (psi_plist_get(e->items, j++, &item)) {
zend_string *name;
- if (psi_decl_type_is_anon(e->name, "enum")) {
- name = strpprintf(0, "psi\\%s", item->name);
+ if (psi_decl_type_is_anon(e->name, "enum")
+ || prefix_match(e->name, item->name)) {
+ name = strpprintf(0, "psi\\%s", item->name->val);
} else {
- name = strpprintf(0, "psi\\%s\\%s", e->name, item->name);
+
+ name = strpprintf(0, "psi\\%s\\%s", e->name->val, item->name->val);
}
if (zend_get_constant(name)) {
}
zc.name = zend_string_dup(name, 1);
- ZVAL_LONG(&zc.value, psi_long_num_exp(item->num, NULL, NULL));
+ ZVAL_LONG(&zc.value, psi_num_exp_get_long(item->num, NULL, NULL));
zend_register_constant(&zc);
zend_string_release(name);
}
}
}
-bool psi_context_add_data(struct psi_context *C, struct psi_data *P)
-{
- struct psi_data *D;
-
- C->data = realloc(C->data, (C->count + 1) * sizeof(*C->data));
- D = psi_data_exchange(&C->data[C->count++], P);
-
- return psi_data_validate(PSI_DATA(C), D);
-}
-
-void psi_context_dump(struct psi_context *C, int fd)
+void psi_context_dump(struct psi_dump *dump, struct psi_context *C)
{
+ PSI_DUMP(dump, "// psi.engine=%s\n// %lu files\n",
+ (char *) C->ops->query(C, PSI_CONTEXT_QUERY_SELF, NULL),
+ C->count);
- dprintf(fd, "// psi.engine=%s\n",
- (char *) C->ops->query(C, PSI_CONTEXT_QUERY_SELF, NULL));
+ psi_data_dump(dump, PSI_DATA(C));
- psi_data_dump(fd, PSI_DATA(C));
-
-// size_t i;
-// dprintf(fd, "/* parsed\n");
-// for (i = 0; i < C->count; ++i) {
-// psi_data_dump(fd, &C->data[i]);
-// }
-// dprintf(fd, "*/\n");
+#if 0
+ if (C->flags & PSI_DEBUG) {
+ size_t i;
+ for (i = 0; i < C->count; ++i) {
+ psi_data_dump(dump, &C->data[i]);
+ }
+ }
+#endif
}