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", "psi.d", 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 size_t psi_t_alignment(token_t t
)
38 #define PSI_TAS_D(T) struct PSI_TAS_ ##T { \
42 #define PSI_TAS_P(T) struct PSI_TAS_ ## T ## _pointer { \
46 #define PSI_TAS_C(T) align = offsetof(struct PSI_TAS_ ##T, x)
47 #define PSI_TAS_CASE(T) { \
56 PSI_TAS_CASE(uint8_t);
59 PSI_TAS_CASE(int16_t);
62 PSI_TAS_CASE(uint16_t);
65 PSI_TAS_CASE(int32_t);
68 PSI_TAS_CASE(uint32_t);
71 PSI_TAS_CASE(int64_t);
74 PSI_TAS_CASE(uint64_t);
85 PSI_TAS_C(char_pointer
);
88 EMPTY_SWITCH_DEFAULT_CASE();
94 size_t psi_t_size(token_t t
)
119 size
= sizeof(float);
122 size
= sizeof(double);
125 size
= sizeof(char *);
127 EMPTY_SWITCH_DEFAULT_CASE();
132 size_t psi_t_align(token_t t
, size_t s
)
134 size_t a
= psi_t_alignment(t
);
135 return ((s
- 1) | (a
- 1)) + 1;
138 int psi_internal_type(impl_type
*type
)
140 switch (type
->type
) {
157 zend_internal_arg_info
*psi_internal_arginfo(impl
*impl
)
160 zend_internal_arg_info
*aip
;
161 zend_internal_function_info
*fi
;
163 aip
= calloc(impl
->func
->args
->count
+ 1, sizeof(*aip
));
165 fi
= (zend_internal_function_info
*) &aip
[0];
166 fi
->required_num_args
= psi_num_min_args(impl
);
167 fi
->return_reference
= impl
->func
->return_reference
;
168 fi
->type_hint
= psi_internal_type(impl
->func
->return_type
);
170 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
171 impl_arg
*iarg
= impl
->func
->args
->args
[i
];
172 zend_internal_arg_info
*ai
= &aip
[i
+1];
174 ai
->name
= iarg
->var
->name
;
175 ai
->type_hint
= psi_internal_type(iarg
->type
);
176 if (iarg
->var
->reference
) {
177 ai
->pass_by_reference
= 1;
179 if (iarg
->var
->reference
|| (iarg
->def
&& iarg
->def
->type
== PSI_T_NULL
)) {
187 size_t psi_num_min_args(impl
*impl
)
189 size_t i
, n
= impl
->func
->args
->count
;
191 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
192 if (impl
->func
->args
->args
[i
]->def
) {
199 void psi_to_bool(zval
*return_value
, token_t t
, impl_val
*ret_val
, set_value
*set
, decl_var
*var
)
201 impl_val
*v
= deref_impl_val(ret_val
, var
);
205 RETVAL_DOUBLE((double) v
->fval
);
208 RETVAL_DOUBLE(v
->dval
);
211 RETVAL_LONG(v
->lval
);
214 convert_to_boolean(return_value
);
217 void psi_to_int(zval
*return_value
, token_t t
, impl_val
*ret_val
, set_value
*set
, decl_var
*var
)
219 impl_val
*v
= deref_impl_val(ret_val
, var
);
223 RETVAL_DOUBLE((double) v
->fval
);
226 RETVAL_DOUBLE(v
->dval
);
229 RETVAL_LONG(v
->lval
);
232 convert_to_long(return_value
);
235 void psi_to_double(zval
*return_value
, token_t t
, impl_val
*ret_val
, set_value
*set
, decl_var
*var
)
237 impl_val
*v
= deref_impl_val(ret_val
, var
);
241 RETVAL_DOUBLE((double) v
->fval
);
244 RETVAL_DOUBLE(v
->dval
);
247 RETVAL_DOUBLE((double) v
->lval
);
252 void psi_to_string(zval
*return_value
, token_t t
, impl_val
*ret_val
, set_value
*set
, decl_var
*var
)
257 if (!var
->arg
->var
->pointer_level
) {
258 RETVAL_STRINGL(&ret_val
->cval
, 1);
260 ret_val
= deref_impl_val(ret_val
, var
);
261 if (ret_val
&& ret_val
->ptr
) {
262 RETVAL_STRING(ret_val
->ptr
);
264 RETVAL_EMPTY_STRING();
269 RETVAL_DOUBLE((double) deref_impl_val(ret_val
, var
)->fval
);
272 RETVAL_DOUBLE(deref_impl_val(ret_val
, var
)->dval
);
275 RETVAL_LONG(deref_impl_val(ret_val
, var
)->lval
);
278 convert_to_string(return_value
);
282 static impl_val
*iterate(impl_val
*val
, token_t t
, unsigned i
, impl_val
*tmp
)
284 size_t size
= psi_t_size(t
);
286 memset(tmp
, 0, sizeof(*tmp
));
287 memcpy(tmp
, val
->ptr
+ size
* i
, size
);
291 void psi_from_zval(impl_val
*mem
, decl_arg
*spec
, zval
*zv
, void **tmp
)
293 decl_type
*type
= real_decl_type(spec
->type
);
295 switch (type
->type
) {
297 mem
->fval
= (float) zval_get_double(zv
);
300 mem
->dval
= zval_get_double(zv
);
304 if (spec
->var
->pointer_level
) {
305 zend_string
*zs
= zval_get_string(zv
);
306 *tmp
= mem
->ptr
= estrndup(zs
->val
, zs
->len
);
307 zend_string_release(zs
);
312 mem
->zend
.lval
= zval_get_long(zv
);
317 void *psi_array_to_struct(decl_struct
*s
, HashTable
*arr
)
320 char *mem
= ecalloc(1, s
->size
+ s
->args
->count
* sizeof(void *));
322 if (arr
) for (i
= 0; i
< s
->args
->count
; ++i
) {
323 decl_arg
*darg
= s
->args
->args
[i
];
324 zval
*entry
= zend_hash_str_find_ind(arr
, darg
->var
->name
, strlen(darg
->var
->name
));
330 memset(&tmp
, 0, sizeof(tmp
));
331 psi_from_zval(&val
, darg
, entry
, &tmp
);
332 memcpy(mem
+ darg
->layout
->pos
, &val
, darg
->layout
->len
);
334 ((void **)(mem
+ s
->size
))[j
++] = tmp
;
341 void psi_to_array(zval
*return_value
, token_t t
, impl_val
*ret_val
, set_value
*set
, decl_var
*var
)
347 array_init(return_value
);
349 if (t
== PSI_T_STRUCT
) {
350 decl_struct
*s
= real_decl_type(var
->arg
->type
)->strct
;
351 ret_val
= deref_impl_val(ret_val
, var
);
356 /* explicit member casts */
357 for (i
= 0; i
< set
->count
; ++i
) {
360 set_value
*sub_set
= set
->inner
[i
];
361 decl_var
*sub_var
= sub_set
->vars
->vars
[0];
362 decl_arg
*sub_arg
= sub_var
->arg
;
365 token_t t
= real_decl_type(sub_arg
->type
)->type
;
366 void *ptr
= malloc(sub_arg
->layout
->len
);
368 memcpy(ptr
, (char *) ret_val
->ptr
+ sub_arg
->layout
->pos
,
369 sub_arg
->layout
->len
);
370 tmp_ptr
= enref_impl_val(ptr
, sub_arg
->var
);
371 sub_set
->func
->handler(&ztmp
, t
, tmp_ptr
, sub_set
, sub_var
);
372 add_assoc_zval(return_value
, sub_var
->name
, &ztmp
);
374 if (tmp_ptr
!= ptr
) {
382 // for (i = 0; i < s->args->count; ++i) {
383 // decl_arg *darg = s->args->args[i];
384 // impl_val tmp, tmp_ptr;
386 // char *ptr = (char *) ret_val->ptr + darg->layout->pos;
388 // tmp_ptr.ptr = &tmp;
389 // memset(&tmp, 0, sizeof(tmp));
390 // memcpy(&tmp, ptr, darg->layout->len);
391 // switch (real_decl_type(darg->type)->type) {
393 // case PSI_T_DOUBLE:
394 // psi_to_double(&ztmp, real_decl_type(darg->type)->type, &tmp, darg->var);
398 // if (darg->var->pointer_level) {
399 // psi_to_string(&ztmp, real_decl_type(darg->type)->type, &tmp_ptr, darg->var);
404 // case PSI_T_UINT16:
406 // case PSI_T_UINT32:
408 // case PSI_T_UINT64:
409 // psi_to_int(&ztmp, real_decl_type(darg->type)->type, &tmp, darg->var);
411 // case PSI_T_STRUCT:
412 // psi_to_array(&ztmp, real_decl_type(darg->type)->type, &tmp_ptr, darg->var);
415 // printf("t=%d\n", real_decl_type(darg->type)->type);
418 // add_assoc_zval(return_value, darg->var->name, &ztmp);
422 ret_val
= deref_impl_val(ret_val
, var
);
423 for (i
= 0; i
< var
->arg
->var
->array_size
; ++i
) {
424 impl_val
*ptr
= iterate(ret_val
, t
, i
, &tmp
);
428 ZVAL_DOUBLE(&ele
, (double) ptr
->fval
);
431 ZVAL_DOUBLE(&ele
, ptr
->dval
);
434 ZVAL_LONG(&ele
, ptr
->lval
);
438 add_next_index_zval(return_value
, &ele
);
442 static inline ZEND_RESULT_CODE
psi_parse_args(zend_execute_data
*execute_data
, impl
*impl
)
446 if (!impl
->func
->args
->count
) {
447 return zend_parse_parameters_none();
450 ZEND_PARSE_PARAMETERS_START(psi_num_min_args(impl
), impl
->func
->args
->count
)
452 iarg
= impl
->func
->args
->args
[_i
];
456 if (PSI_T_BOOL
== iarg
->type
->type
) {
458 iarg
->val
.zend
.bval
= iarg
->def
->type
== PSI_T_TRUE
? 1 : 0;
460 Z_PARAM_BOOL(iarg
->val
.zend
.bval
);
461 } else if (PSI_T_INT
== iarg
->type
->type
) {
463 iarg
->val
.zend
.lval
= zend_atol(iarg
->def
->text
, strlen(iarg
->def
->text
));
465 Z_PARAM_LONG(iarg
->val
.zend
.lval
);
466 } else if (PSI_T_FLOAT
== iarg
->type
->type
|| PSI_T_DOUBLE
== iarg
->type
->type
) {
468 iarg
->val
.dval
= zend_strtod(iarg
->def
->text
, NULL
);
470 Z_PARAM_DOUBLE(iarg
->val
.dval
);
471 } else if (PSI_T_STRING
== iarg
->type
->type
) {
472 struct {char *val
; size_t len
;} str
;
475 str
.len
= strlen(iarg
->def
->text
) - 2;
476 str
.val
= &iarg
->def
->text
[1];
478 Z_PARAM_STR_EX(iarg
->val
.zend
.str
, 1, 0);
479 if (iarg
->val
.zend
.str
) {
480 zend_string_addref(iarg
->val
.zend
.str
);
481 } else if (iarg
->def
) {
482 iarg
->val
.zend
.str
= zend_string_init(str
.val
, str
.len
, 0);
484 } else if (PSI_T_ARRAY
== iarg
->type
->type
) {
485 /* handled as _zv in let or set */
488 error_code
= ZPP_ERROR_FAILURE
;
492 if (_i
< _max_num_args
) {
495 ZEND_PARSE_PARAMETERS_END_EX(return FAILURE
);
500 static inline void *psi_do_calloc(let_calloc
*alloc
)
502 decl_type
*type
= real_decl_type(alloc
->type
);
505 if (type
->type
== PSI_T_STRUCT
) {
506 /* psi_do_clean expects at least one NULL pointer after the struct */
507 size
= type
->strct
->size
+ sizeof(void *);
509 size
= psi_t_size(type
->type
);
512 return ecalloc(alloc
->n
, size
);
515 static inline void *psi_do_let(decl_arg
*darg
)
517 impl_arg
*iarg
= darg
->let
->arg
;
520 darg
->let
->ptr
= &darg
->let
->out
;
521 arg_val
= darg
->let
->ptr
;
524 /* let foo = calloc(1, long);
528 if (darg
->let
->val
->func
&& darg
->let
->val
->func
->type
== PSI_T_CALLOC
) {
529 arg_val
->ptr
= psi_do_calloc(darg
->let
->val
->func
->alloc
);
530 darg
->let
->mem
= arg_val
->ptr
;
531 } else if (darg
->var
->array_size
) {
532 arg_val
->ptr
= ecalloc(darg
->var
->array_size
, sizeof(*arg_val
));
533 darg
->let
->mem
= arg_val
->ptr
;
535 memset(arg_val
, 0, sizeof(*arg_val
));
539 switch (darg
->let
->val
->func
->type
) {
541 if (iarg
->type
->type
== PSI_T_BOOL
) {
542 arg_val
->cval
= iarg
->val
.zend
.bval
;
544 arg_val
->cval
= zend_is_true(iarg
->_zv
);
548 if (iarg
->type
->type
== PSI_T_INT
) {
549 arg_val
->lval
= iarg
->val
.zend
.lval
;
551 arg_val
->lval
= zval_get_long(iarg
->_zv
);
555 if (iarg
->type
->type
== PSI_T_STRING
) {
556 arg_val
->ptr
= estrdup(iarg
->val
.zend
.str
->val
);
557 darg
->let
->mem
= arg_val
->ptr
;
558 zend_string_release(iarg
->val
.zend
.str
);
560 zend_string
*zs
= zval_get_string(iarg
->_zv
);
561 arg_val
->ptr
= estrdup(zs
->val
);
562 darg
->let
->mem
= arg_val
->ptr
;
563 zend_string_release(zs
);
567 if (iarg
->type
->type
== PSI_T_STRING
) {
568 arg_val
->lval
= iarg
->val
.zend
.str
->len
;
569 zend_string_release(iarg
->val
.zend
.str
);
571 zend_string
*zs
= zval_get_string(iarg
->_zv
);
572 arg_val
->lval
= zs
->len
;
573 zend_string_release(zs
);
577 if (iarg
->type
->type
== PSI_T_ARRAY
) {
578 decl_type
*type
= real_decl_type(darg
->type
);
580 switch (type
->type
) {
582 arg_val
->ptr
= psi_array_to_struct(type
->strct
, HASH_OF(iarg
->_zv
));
583 darg
->let
->mem
= arg_val
->ptr
;
588 EMPTY_SWITCH_DEFAULT_CASE();
592 if (darg
->let
->val
&& darg
->let
->val
->is_reference
) {
593 return &darg
->let
->ptr
;
595 return darg
->let
->ptr
;
599 static inline void psi_do_set(zval
*return_value
, set_value
*set
)
601 impl_val
*val
= (impl_val
*) &set
->vars
->vars
[0]->arg
->let
->ptr
;
602 token_t t
= real_decl_type(set
->vars
->vars
[0]->arg
->type
)->type
;
604 ZVAL_DEREF(return_value
);
605 zval_dtor(return_value
);
607 set
->func
->handler(return_value
, t
, val
, set
, set
->vars
->vars
[0]);
610 static inline void psi_do_return(zval
*return_value
, return_stmt
*ret
, impl_val
*ret_val
)
612 token_t t
= real_decl_type(ret
->decl
->type
)->type
;
614 ret
->set
->func
->handler(return_value
, t
, ret_val
, ret
->set
, ret
->decl
->var
);
617 static inline void psi_do_free(free_stmt
*fre
)
622 for (i
= 0; i
< fre
->calls
->count
; ++i
) {
623 free_call
*f
= fre
->calls
->list
[i
];
625 for (j
= 0; j
< f
->vars
->count
; ++j
) {
626 decl_var
*dvar
= f
->vars
->vars
[j
];
627 decl_arg
*darg
= dvar
->arg
;
629 f
->decl
->call
.args
[j
] = &darg
->let
->out
;
632 PSI_ContextCall(&PSI_G(context
), &dummy
, f
->decl
);
636 static inline void psi_do_clean(impl
*impl
)
640 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
641 impl_arg
*iarg
= impl
->func
->args
->args
[i
];
643 switch (iarg
->type
->type
) {
645 if (iarg
->val
.zend
.str
) {
646 zend_string_release(iarg
->val
.zend
.str
);
652 if (impl
->decl
->args
) for (i
= 0; i
< impl
->decl
->args
->count
; ++i
) {
653 decl_arg
*darg
= impl
->decl
->args
->args
[i
];
655 if (darg
->let
&& darg
->let
->mem
) {
656 decl_type
*type
= real_decl_type(darg
->type
);
658 if (type
->type
== PSI_T_STRUCT
) {
659 void **ptr
= (void **) ((char *) darg
->let
->mem
+ type
->strct
->size
);
665 efree(darg
->let
->mem
);
666 darg
->let
->mem
= NULL
;
671 void psi_call(zend_execute_data
*execute_data
, zval
*return_value
, impl
*impl
)
676 if (SUCCESS
!= psi_parse_args(execute_data
, impl
)) {
680 if (impl
->decl
->args
) {
681 for (i
= 0; i
< impl
->decl
->args
->count
; ++i
) {
682 decl_arg
*darg
= impl
->decl
->args
->args
[i
];
684 impl
->decl
->call
.args
[i
] = psi_do_let(darg
);
688 memset(&ret_val
, 0, sizeof(ret_val
));
689 PSI_ContextCall(&PSI_G(context
), &ret_val
, impl
->decl
);
691 psi_do_return(return_value
, impl
->stmts
->ret
.list
[0], &ret_val
);
693 for (i
= 0; i
< impl
->stmts
->set
.count
; ++i
) {
694 set_stmt
*set
= impl
->stmts
->set
.list
[i
];
697 psi_do_set(set
->arg
->_zv
, set
->val
);
701 for (i
= 0; i
< impl
->stmts
->fre
.count
; ++i
) {
702 free_stmt
*fre
= impl
->stmts
->fre
.list
[i
];
710 PHP_MINIT_FUNCTION(psi
)
714 REGISTER_INI_ENTRIES();
716 if (!strcasecmp(PSI_G(engine
), "jit")) {
722 PSI_ContextInit(&PSI_G(context
), ops
, psi_error
);
723 PSI_ContextBuild(&PSI_G(context
), PSI_G(directory
));
727 PHP_MSHUTDOWN_FUNCTION(psi
)
729 PSI_ContextDtor(&PSI_G(context
));
731 UNREGISTER_INI_ENTRIES();
736 /* Remove if there's nothing to do at request start */
737 /* {{{ PHP_RINIT_FUNCTION
739 PHP_RINIT_FUNCTION(psi
)
741 #if defined(COMPILE_DL_PSI) && defined(ZTS)
742 ZEND_TSRMLS_CACHE_UPDATE();
748 /* Remove if there's nothing to do at request end */
749 /* {{{ PHP_RSHUTDOWN_FUNCTION
751 PHP_RSHUTDOWN_FUNCTION(psi
)
757 PHP_MINFO_FUNCTION(psi
)
759 php_info_print_table_start();
760 php_info_print_table_header(2, "psi support", "enabled");
761 php_info_print_table_end();
763 DISPLAY_INI_ENTRIES();
765 const zend_function_entry psi_functions
[] = {
769 zend_module_entry psi_module_entry
= {
770 STANDARD_MODULE_HEADER
,
775 PHP_RINIT(psi
), /* Replace with NULL if there's nothing to do at request start */
776 PHP_RSHUTDOWN(psi
), /* Replace with NULL if there's nothing to do at request end */
779 STANDARD_MODULE_PROPERTIES
782 #ifdef COMPILE_DL_PSI
784 ZEND_TSRMLS_CACHE_DEFINE();
794 * vim600: noet sw=4 ts=4 fdm=marker
795 * vim<600: noet sw=4 ts=4