8 #include "ext/standard/info.h"
16 ZEND_DECLARE_MODULE_GLOBALS(psi
);
19 STD_PHP_INI_ENTRY("psi.engine", "ffi", PHP_INI_SYSTEM
, OnUpdateString
, engine
, zend_psi_globals
, psi_globals
)
20 STD_PHP_INI_ENTRY("psi.directory", "psis", PHP_INI_SYSTEM
, OnUpdateString
, directory
, zend_psi_globals
, psi_globals
)
23 void psi_error(int type
, const char *msg
, ...)
29 vslprintf(buf
, 0x1000, msg
, argv
);
35 int psi_internal_type(impl_type
*type
)
55 zend_internal_arg_info
*psi_internal_arginfo(impl
*impl
)
58 zend_internal_arg_info
*aip
;
59 zend_internal_function_info
*fi
;
61 aip
= calloc(impl
->func
->args
->count
+ 1, sizeof(*aip
));
63 fi
= (zend_internal_function_info
*) &aip
[0];
64 fi
->required_num_args
= psi_num_min_args(impl
);
65 fi
->return_reference
= impl
->func
->return_reference
;
66 fi
->type_hint
= psi_internal_type(impl
->func
->return_type
);
68 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
69 impl_arg
*iarg
= impl
->func
->args
->args
[i
];
70 zend_internal_arg_info
*ai
= &aip
[i
+1];
72 ai
->name
= iarg
->var
->name
;
73 ai
->type_hint
= psi_internal_type(iarg
->type
);
74 if (iarg
->var
->reference
) {
75 ai
->pass_by_reference
= 1;
77 if (iarg
->var
->reference
|| (iarg
->def
&& iarg
->def
->type
== PSI_T_NULL
)) {
85 size_t psi_num_min_args(impl
*impl
)
87 size_t i
, n
= impl
->func
->args
->count
;
89 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
90 if (impl
->func
->args
->args
[i
]->def
) {
97 void psi_to_int(zval
*return_value
, token_t t
, impl_val
*ret_val
, decl_var
*var
)
101 RETVAL_DOUBLE((double) deref_impl_val(ret_val
, var
)->fval
);
102 convert_to_long(return_value
);
105 RETVAL_DOUBLE(deref_impl_val(ret_val
, var
)->dval
);
106 convert_to_long(return_value
);
109 RETVAL_LONG(deref_impl_val(ret_val
, var
)->lval
);
113 void psi_to_double(zval
*return_value
, token_t t
, impl_val
*ret_val
, decl_var
*var
)
117 RETVAL_DOUBLE((double) deref_impl_val(ret_val
, var
)->fval
);
120 RETVAL_DOUBLE(deref_impl_val(ret_val
, var
)->dval
);
123 RETVAL_DOUBLE((double) deref_impl_val(ret_val
, var
)->lval
);
128 void psi_to_string(zval
*return_value
, token_t t
, impl_val
*ret_val
, decl_var
*var
)
134 if (!var
->arg
->var
->pointer_level
) {
135 RETVAL_STRINGL(&ret_val
->cval
, 1);
137 ret_val
= deref_impl_val(ret_val
, var
);
138 if (ret_val
&& ret_val
->ptr
) {
139 RETVAL_STRING(ret_val
->ptr
);
141 RETVAL_EMPTY_STRING();
146 RETVAL_DOUBLE((double) deref_impl_val(ret_val
, var
)->fval
);
147 convert_to_string(return_value
);
150 RETVAL_DOUBLE(deref_impl_val(ret_val
, var
)->dval
);
151 convert_to_string(return_value
);
154 RETVAL_LONG(deref_impl_val(ret_val
, var
)->lval
);
155 convert_to_string(return_value
);
160 size_t psi_t_alignment(token_t t
)
163 #define PSI_TAS_D(T) struct PSI_TAS_ ##T { \
167 #define PSI_TAS_P(T) struct PSI_TAS_ ## T ## _pointer { \
171 #define PSI_TAS_C(T) align = offsetof(struct PSI_TAS_ ##T, x)
172 #define PSI_TAS_CASE(T) { \
181 PSI_TAS_CASE(int8_t);
184 PSI_TAS_CASE(uint8_t);
190 PSI_TAS_CASE(int16_t);
193 PSI_TAS_CASE(uint16_t);
199 PSI_TAS_CASE(int32_t);
202 PSI_TAS_CASE(uint32_t);
208 PSI_TAS_CASE(int64_t);
211 PSI_TAS_CASE(uint64_t);
217 PSI_TAS_CASE(double);
220 PSI_TAS_CASE(size_t);
225 PSI_TAS_C(char_pointer
);
228 EMPTY_SWITCH_DEFAULT_CASE();
234 size_t psi_t_size(token_t t
)
247 size
= sizeof(short);
268 size
= sizeof(float);
271 size
= sizeof(double);
274 size
= sizeof(size_t);
277 size
= sizeof(char *);
279 EMPTY_SWITCH_DEFAULT_CASE();
284 size_t psi_t_align(token_t t
, size_t s
)
286 size_t a
= psi_t_alignment(t
);
287 return ((s
- 1) | (a
- 1)) + 1;
290 static impl_val
*iterate(impl_val
*val
, token_t t
, unsigned i
, impl_val
*tmp
)
292 size_t size
= psi_t_size(t
);
294 memset(tmp
, 0, sizeof(*tmp
));
295 memcpy(tmp
, val
->ptr
+ size
* i
, size
);
299 void psi_from_zval(impl_val
*mem
, decl_arg
*spec
, zval
*zv
, void **tmp
)
301 decl_type
*type
= real_decl_type(spec
->type
);
303 switch (type
->type
) {
305 mem
->fval
= (float) zval_get_double(zv
);
308 mem
->dval
= zval_get_double(zv
);
313 if (spec
->var
->pointer_level
) {
314 zend_string
*zs
= zval_get_string(zv
);
315 *tmp
= mem
->ptr
= estrndup(zs
->val
, zs
->len
);
316 zend_string_release(zs
);
321 mem
->zend
.lval
= zval_get_long(zv
);
326 void *psi_array_to_struct(decl_struct
*s
, HashTable
*arr
)
328 size_t i
, j
= 0, size
= decl_struct_size(s
);
329 char *mem
= ecalloc(1, size
+ s
->args
->count
* sizeof(void *));
331 if (arr
) for (i
= 0; i
< s
->args
->count
; ++i
) {
332 decl_struct_layout
*layout
= &s
->layout
[i
];
333 decl_arg
*darg
= s
->args
->args
[i
];
334 zval
*entry
= zend_hash_str_find_ind(arr
, darg
->var
->name
, strlen(darg
->var
->name
));
340 memset(&tmp
, 0, sizeof(tmp
));
341 psi_from_zval(&val
, darg
, entry
, &tmp
);
342 memcpy(mem
+ layout
->pos
, &val
, layout
->len
);
344 ((void **)(mem
+ size
))[j
++] = tmp
;
351 void psi_to_array(zval
*return_value
, token_t t
, impl_val
*ret_val
, decl_var
*var
)
357 array_init(return_value
);
359 if (t
== PSI_T_STRUCT
) {
360 decl_struct
*s
= real_decl_type(var
->arg
->type
)->strct
;
361 ret_val
= deref_impl_val(ret_val
, var
);
364 for (i
= 0; i
< s
->args
->count
; ++i
) {
365 decl_arg
*darg
= s
->args
->args
[i
];
366 decl_struct_layout layout
= s
->layout
[i
];
369 char *ptr
= (char *) ret_val
->ptr
+ layout
.pos
;
371 memset(&tmp
, 0, sizeof(tmp
));
372 memcpy(&tmp
, ptr
, layout
.len
);
373 switch (real_decl_type(darg
->type
)->type
) {
375 if (darg
->var
->pointer_level
) {
376 psi_to_string(&ztmp
, real_decl_type(darg
->type
)->type
, &tmp
, darg
->var
);
382 psi_to_int(&ztmp
, real_decl_type(darg
->type
)->type
, &tmp
, darg
->var
);
385 printf("t=%d\n", real_decl_type(darg
->type
)->type
);
388 add_assoc_zval(return_value
, darg
->var
->name
, &ztmp
);
392 ret_val
= deref_impl_val(ret_val
, var
);
393 for (i
= 0; i
< var
->arg
->var
->array_size
; ++i
) {
394 impl_val
*ptr
= iterate(ret_val
, t
, i
, &tmp
);
398 ZVAL_DOUBLE(&ele
, (double) ptr
->fval
);
401 ZVAL_DOUBLE(&ele
, ptr
->dval
);
404 ZVAL_LONG(&ele
, ptr
->lval
);
408 add_next_index_zval(return_value
, &ele
);
412 ZEND_RESULT_CODE
psi_parse_args(zend_execute_data
*execute_data
, impl
*impl
)
416 if (!impl
->func
->args
->count
) {
417 return zend_parse_parameters_none();
420 ZEND_PARSE_PARAMETERS_START(psi_num_min_args(impl
), impl
->func
->args
->count
)
422 iarg
= impl
->func
->args
->args
[_i
];
426 if (PSI_T_BOOL
== iarg
->type
->type
) {
428 iarg
->val
.zend
.bval
= iarg
->def
->type
== PSI_T_TRUE
? 1 : 0;
430 Z_PARAM_BOOL(iarg
->val
.zend
.bval
);
431 } else if (PSI_T_INT
== iarg
->type
->type
|| PSI_T_LONG
== iarg
->type
->type
) {
433 iarg
->val
.zend
.lval
= zend_atol(iarg
->def
->text
, strlen(iarg
->def
->text
));
435 Z_PARAM_LONG(iarg
->val
.zend
.lval
);
436 } else if (PSI_T_FLOAT
== iarg
->type
->type
|| PSI_T_DOUBLE
== iarg
->type
->type
) {
438 iarg
->val
.dval
= zend_strtod(iarg
->def
->text
, NULL
);
440 Z_PARAM_DOUBLE(iarg
->val
.dval
);
441 } else if (PSI_T_STRING
== iarg
->type
->type
) {
442 struct {char *val
; size_t len
;} str
;
445 str
.len
= strlen(iarg
->def
->text
) - 2;
446 str
.val
= &iarg
->def
->text
[1];
448 Z_PARAM_STR_EX(iarg
->val
.zend
.str
, 1, 0);
449 if (iarg
->val
.zend
.str
) {
450 zend_string_addref(iarg
->val
.zend
.str
);
451 } else if (iarg
->def
) {
452 iarg
->val
.zend
.str
= zend_string_init(str
.val
, str
.len
, 0);
454 } else if (PSI_T_ARRAY
== iarg
->type
->type
) {
455 /* handled as _zv in let or set */
458 error_code
= ZPP_ERROR_FAILURE
;
462 if (_i
< _max_num_args
) {
465 ZEND_PARSE_PARAMETERS_END_EX(return FAILURE
);
470 void *psi_do_calloc(let_calloc
*alloc
)
472 decl_type
*type
= real_decl_type(alloc
->type
);
475 if (type
->type
== PSI_T_STRUCT
) {
476 /* psi_do_clean expects a NULL pointer after the struct */
477 size
= decl_struct_size(type
->strct
) + sizeof(void *);
479 size
= psi_t_size(type
->type
);
482 return ecalloc(alloc
->n
, size
);
485 void *psi_do_let(decl_arg
*darg
)
487 impl_arg
*iarg
= darg
->let
->arg
;
490 darg
->let
->ptr
= &darg
->let
->out
;
491 arg_val
= darg
->let
->ptr
;
494 /* let foo = calloc(1, long);
498 if (darg
->let
->val
->func
&& darg
->let
->val
->func
->type
== PSI_T_CALLOC
) {
499 arg_val
->ptr
= psi_do_calloc(darg
->let
->val
->func
->alloc
);
500 darg
->let
->mem
= arg_val
->ptr
;
501 } else if (darg
->var
->array_size
) {
502 arg_val
->ptr
= ecalloc(darg
->var
->array_size
, sizeof(*arg_val
));
503 darg
->let
->mem
= arg_val
->ptr
;
505 memset(arg_val
, 0, sizeof(*arg_val
));
509 switch (darg
->let
->val
->func
->type
) {
511 if (iarg
->type
->type
== PSI_T_BOOL
) {
512 arg_val
->cval
= iarg
->val
.zend
.bval
;
514 arg_val
->cval
= zend_is_true(iarg
->_zv
);
518 if (iarg
->type
->type
== PSI_T_INT
|| iarg
->type
->type
== PSI_T_LONG
) {
519 arg_val
->lval
= iarg
->val
.zend
.lval
;
521 arg_val
->lval
= zval_get_long(iarg
->_zv
);
525 if (iarg
->type
->type
== PSI_T_STRING
) {
526 arg_val
->ptr
= estrdup(iarg
->val
.zend
.str
->val
);
527 darg
->let
->mem
= arg_val
->ptr
;
528 zend_string_release(iarg
->val
.zend
.str
);
530 zend_string
*zs
= zval_get_string(iarg
->_zv
);
531 arg_val
->ptr
= estrdup(zs
->val
);
532 darg
->let
->mem
= arg_val
->ptr
;
533 zend_string_release(zs
);
537 if (iarg
->type
->type
== PSI_T_STRING
) {
538 arg_val
->lval
= iarg
->val
.zend
.str
->len
;
539 zend_string_release(iarg
->val
.zend
.str
);
541 zend_string
*zs
= zval_get_string(iarg
->_zv
);
542 arg_val
->lval
= zs
->len
;
543 zend_string_release(zs
);
547 if (iarg
->type
->type
== PSI_T_ARRAY
) {
548 decl_type
*type
= real_decl_type(darg
->type
);
550 switch (type
->type
) {
552 arg_val
->ptr
= psi_array_to_struct(type
->strct
, HASH_OF(iarg
->_zv
));
553 darg
->let
->mem
= arg_val
->ptr
;
558 EMPTY_SWITCH_DEFAULT_CASE();
562 if (darg
->let
->val
&& darg
->let
->val
->is_reference
) {
563 return &darg
->let
->ptr
;
565 return darg
->let
->ptr
;
569 void psi_do_set(zval
*return_value
, set_func
*func
, decl_vars
*vars
)
571 impl_val
*val
= (impl_val
*) &vars
->vars
[0]->arg
->let
->ptr
;
573 ZVAL_DEREF(return_value
);
574 zval_dtor(return_value
);
576 switch (func
->type
) {
577 case PSI_T_TO_STRING
:
578 psi_to_string(return_value
, real_decl_type(vars
->vars
[0]->arg
->type
)->type
, val
, vars
->vars
[0]);
581 psi_to_array(return_value
, real_decl_type(vars
->vars
[0]->arg
->type
)->type
, val
, vars
->vars
[0]);
583 EMPTY_SWITCH_DEFAULT_CASE();
587 void psi_do_return(impl
*impl
, impl_val
*ret_val
, zval
*return_value
)
589 return_stmt
*ret
= impl
->stmts
->ret
.list
[0];
591 switch (ret
->func
->type
) {
592 case PSI_T_TO_STRING
:
593 psi_to_string(return_value
, real_decl_type(impl
->decl
->func
->type
)->type
, ret_val
, ret
->decl
);
596 psi_to_int(return_value
, real_decl_type(impl
->decl
->func
->type
)->type
, ret_val
, ret
->decl
);
599 psi_to_array(return_value
, real_decl_type(impl
->decl
->func
->type
)->type
, ret_val
, ret
->decl
);
601 EMPTY_SWITCH_DEFAULT_CASE();
605 void psi_do_free(free_stmt
*fre
)
609 for (i
= 0; i
< fre
->vars
->count
; ++i
) {
610 decl_var
*dvar
= fre
->vars
->vars
[i
];
612 if (dvar
->arg
&& dvar
->arg
->let
->out
.ptr
) {
613 free(dvar
->arg
->let
->out
.ptr
);
614 dvar
->arg
->let
->out
.ptr
= NULL
;
619 void psi_do_clean(impl
*impl
)
623 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
624 impl_arg
*iarg
= impl
->func
->args
->args
[i
];
626 switch (iarg
->type
->type
) {
628 if (iarg
->val
.zend
.str
) {
629 zend_string_release(iarg
->val
.zend
.str
);
635 if (impl
->decl
->args
) for (i
= 0; i
< impl
->decl
->args
->count
; ++i
) {
636 decl_arg
*darg
= impl
->decl
->args
->args
[i
];
638 if (darg
->let
&& darg
->let
->mem
) {
639 decl_type
*type
= real_decl_type(darg
->type
);
641 if (type
->type
== PSI_T_STRUCT
) {
642 size_t eos
= decl_struct_size(type
->strct
);
643 void **ptr
= (void **) ((char *) darg
->let
->mem
+ eos
);
649 efree(darg
->let
->mem
);
650 darg
->let
->mem
= NULL
;
655 PHP_MINIT_FUNCTION(psi
)
659 REGISTER_INI_ENTRIES();
661 if (!strcasecmp(PSI_G(engine
), "jit")) {
667 PSI_ContextInit(&PSI_G(context
), ops
, psi_error
);
668 PSI_ContextBuild(&PSI_G(context
), PSI_G(directory
));
672 PHP_MSHUTDOWN_FUNCTION(psi
)
674 PSI_ContextDtor(&PSI_G(context
));
676 UNREGISTER_INI_ENTRIES();
681 /* Remove if there's nothing to do at request start */
682 /* {{{ PHP_RINIT_FUNCTION
684 PHP_RINIT_FUNCTION(psi
)
686 #if defined(COMPILE_DL_PSI) && defined(ZTS)
687 ZEND_TSRMLS_CACHE_UPDATE();
693 /* Remove if there's nothing to do at request end */
694 /* {{{ PHP_RSHUTDOWN_FUNCTION
696 PHP_RSHUTDOWN_FUNCTION(psi
)
702 PHP_MINFO_FUNCTION(psi
)
704 php_info_print_table_start();
705 php_info_print_table_header(2, "psi support", "enabled");
706 php_info_print_table_end();
708 DISPLAY_INI_ENTRIES();
710 const zend_function_entry psi_functions
[] = {
714 zend_module_entry psi_module_entry
= {
715 STANDARD_MODULE_HEADER
,
720 PHP_RINIT(psi
), /* Replace with NULL if there's nothing to do at request start */
721 PHP_RSHUTDOWN(psi
), /* Replace with NULL if there's nothing to do at request end */
724 STANDARD_MODULE_PROPERTIES
727 #ifdef COMPILE_DL_PSI
729 ZEND_TSRMLS_CACHE_DEFINE();
739 * vim600: noet sw=4 ts=4 fdm=marker
740 * vim<600: noet sw=4 ts=4