8 #include "ext/standard/info.h"
9 #include "zend_exceptions.h"
10 #include "zend_constants.h"
11 #include "zend_operators.h"
18 # define PSI_ENGINE "jit"
23 # define PSI_ENGINE "ffi"
26 ZEND_DECLARE_MODULE_GLOBALS(psi
);
29 STD_PHP_INI_ENTRY("psi.engine", PSI_ENGINE
, PHP_INI_SYSTEM
, OnUpdateString
, engine
, zend_psi_globals
, psi_globals
)
30 STD_PHP_INI_ENTRY("psi.directory", "psi.d", PHP_INI_SYSTEM
, OnUpdateString
, directory
, zend_psi_globals
, psi_globals
)
33 static zend_object_handlers psi_object_handlers
;
34 static zend_class_entry
*psi_class_entry
;
36 void psi_error_wrapper(PSI_Token
*t
, int type
, const char *msg
, ...)
41 psi_verror(type
, t
?t
->file
:"Unknown", t
?*t
->line
:0, msg
, argv
);
44 void psi_error(int type
, const char *fn
, unsigned ln
, const char *msg
, ...)
49 psi_verror(type
, fn
, ln
, msg
, argv
);
52 void psi_verror(int type
, const char *fn
, unsigned ln
, const char *msg
, va_list argv
)
54 zend_error_cb(type
, fn
, ln
, msg
, argv
);
57 size_t psi_t_alignment(token_t t
)
59 #define PSI_ALIGNOF(T) case PSI_T_## T: return ALIGNOF_## T ##_T;
72 return ALIGNOF_DOUBLE
;
74 return ALIGNOF_VOID_P
;
75 EMPTY_SWITCH_DEFAULT_CASE();
80 size_t psi_t_size(token_t t
)
82 #define PSI_SIZEOF(T) case PSI_T_## T : return SIZEOF_## T ##_T;
98 EMPTY_SWITCH_DEFAULT_CASE();
103 size_t psi_t_align(token_t t
, size_t s
)
105 size_t a
= psi_t_alignment(t
);
106 return ((s
- 1) | (a
- 1)) + 1;
109 int psi_internal_type(impl_type
*type
)
111 switch (type
->type
) {
128 zend_internal_arg_info
*psi_internal_arginfo(impl
*impl
)
131 zend_internal_arg_info
*aip
;
132 zend_internal_function_info
*fi
;
134 aip
= calloc(impl
->func
->args
->count
+ 1 + !!impl
->func
->args
->vararg
.name
, sizeof(*aip
));
136 fi
= (zend_internal_function_info
*) &aip
[0];
138 fi
->required_num_args
= psi_num_min_args(impl
);
139 fi
->return_reference
= impl
->func
->return_reference
;
140 fi
->type_hint
= psi_internal_type(impl
->func
->return_type
);
142 if (impl
->func
->args
->vararg
.name
) {
143 impl_arg
*vararg
= impl
->func
->args
->vararg
.name
;
144 zend_internal_arg_info
*ai
= &aip
[impl
->func
->args
->count
];
146 ai
->name
= vararg
->var
->name
;
147 ai
->type_hint
= psi_internal_type(vararg
->type
);
148 if (vararg
->var
->reference
) {
149 ai
->pass_by_reference
= 1;
154 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
155 impl_arg
*iarg
= impl
->func
->args
->args
[i
];
156 zend_internal_arg_info
*ai
= &aip
[i
+1];
158 ai
->name
= iarg
->var
->name
;
159 ai
->type_hint
= psi_internal_type(iarg
->type
);
160 if (iarg
->var
->reference
) {
161 ai
->pass_by_reference
= 1;
163 if (iarg
->var
->reference
|| (iarg
->def
&& iarg
->def
->type
== PSI_T_NULL
)) {
171 size_t psi_num_min_args(impl
*impl
)
173 size_t i
, n
= impl
->func
->args
->count
;
175 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
176 if (impl
->func
->args
->args
[i
]->def
) {
183 void psi_to_void(zval
*return_value
, set_value
*set
, impl_val
*ret_val
)
188 void psi_to_bool(zval
*return_value
, set_value
*set
, impl_val
*ret_val
)
190 psi_to_int(return_value
, set
, ret_val
);
191 convert_to_boolean(return_value
);
194 void psi_to_int(zval
*return_value
, set_value
*set
, impl_val
*ret_val
)
196 decl_var
*var
= set
->vars
->vars
[0];
197 token_t t
= real_decl_type(var
->arg
->type
)->type
;
198 impl_val
*v
= deref_impl_val(ret_val
, var
);
202 RETVAL_DOUBLE((double) v
->fval
);
203 convert_to_long(return_value
);
206 RETVAL_DOUBLE(v
->dval
);
207 convert_to_long(return_value
);
225 #if UINT32_MAX >= ZEND_LONG_MAX
226 if (v
->u32
> ZEND_LONG_MAX
) {
229 RETVAL_STRING(zend_print_ulong_to_buf(&d
[10], v
->u32
));
233 #if UINT32_MAX >= ZEND_LONG_MAX
241 if (v
->u64
> ZEND_LONG_MAX
) {
244 RETVAL_STRING(zend_print_ulong_to_buf(&d
[22], v
->u64
));
249 EMPTY_SWITCH_DEFAULT_CASE();
253 void psi_to_double(zval
*return_value
, set_value
*set
, impl_val
*ret_val
)
255 decl_var
*var
= set
->vars
->vars
[0];
256 token_t t
= real_decl_type(var
->arg
->type
)->type
;
257 impl_val
*v
= deref_impl_val(ret_val
, var
);
261 RETVAL_DOUBLE((double) v
->fval
);
264 RETVAL_DOUBLE(v
->dval
);
267 RETVAL_DOUBLE((double) v
->i8
);
270 RETVAL_DOUBLE((double) v
->u8
);
273 RETVAL_DOUBLE((double) v
->i16
);
276 RETVAL_DOUBLE((double) v
->u16
);
279 RETVAL_DOUBLE((double) v
->i32
);
282 RETVAL_DOUBLE((double) v
->u32
);
285 RETVAL_DOUBLE((double) v
->i64
);
288 RETVAL_DOUBLE((double) v
->u64
);
290 EMPTY_SWITCH_DEFAULT_CASE();
294 void psi_to_string(zval
*return_value
, set_value
*set
, impl_val
*ret_val
)
296 decl_var
*var
= set
->vars
->vars
[0];
297 token_t t
= real_decl_type(var
->arg
->type
)->type
;
301 RETVAL_DOUBLE((double) deref_impl_val(ret_val
, var
)->fval
);
304 RETVAL_DOUBLE(deref_impl_val(ret_val
, var
)->dval
);
310 if (!var
->arg
->var
->pointer_level
) {
311 RETVAL_STRINGL(&ret_val
->cval
, 1);
313 ret_val
= deref_impl_val(ret_val
, var
);
314 if (ret_val
&& ret_val
->ptr
) {
316 RETVAL_STRINGL(ret_val
->ptr
, psi_long_num_exp(set
->num
, set
->outer
.val
));
318 RETVAL_STRING(ret_val
->ptr
);
321 RETVAL_EMPTY_STRING();
325 psi_to_int(return_value
, set
, ret_val
);
328 convert_to_string(return_value
);
332 static impl_val
*iterate(impl_val
*val
, size_t size
, unsigned i
, impl_val
*tmp
)
334 memset(tmp
, 0, sizeof(*tmp
));
335 memcpy(tmp
, ((void*) val
->ptr
) + size
* i
, size
);
339 void psi_from_zval(impl_val
*mem
, decl_arg
*spec
, zval
*zv
, void **tmp
)
341 decl_type
*type
= real_decl_type(spec
->type
);
343 switch (type
->type
) {
345 mem
->fval
= (float) zval_get_double(zv
);
348 mem
->dval
= zval_get_double(zv
);
352 if (spec
->var
->pointer_level
) {
353 zend_string
*zs
= zval_get_string(zv
);
354 *tmp
= mem
->ptr
= estrndup(zs
->val
, zs
->len
);
355 zend_string_release(zs
);
360 mem
->zend
.lval
= zval_get_long(zv
);
365 void *psi_array_to_struct(decl_struct
*s
, HashTable
*arr
)
368 char *mem
= ecalloc(1, s
->size
+ s
->args
->count
* sizeof(void *));
370 if (arr
) for (i
= 0; i
< s
->args
->count
; ++i
) {
371 decl_arg
*darg
= s
->args
->args
[i
];
372 zval
*entry
= zend_hash_str_find_ind(arr
, darg
->var
->name
, strlen(darg
->var
->name
));
378 memset(&tmp
, 0, sizeof(tmp
));
379 psi_from_zval(&val
, darg
, entry
, &tmp
);
380 memcpy(mem
+ darg
->layout
->pos
, &val
, darg
->layout
->len
);
382 ((void **)(mem
+ s
->size
))[j
++] = tmp
;
389 void psi_to_recursive(zval
*return_value
, set_value
*set
, impl_val
*r_val
)
391 set
->outer
.set
->func
->handler(return_value
, set
->outer
.set
, r_val
->ptr
);
394 void psi_to_array(zval
*return_value
, set_value
*set
, impl_val
*r_val
)
397 decl_var
*var
= set
->vars
->vars
[0];
398 token_t t
= real_decl_type(var
->arg
->type
)->type
;
399 impl_val tmp
, *ret_val
= deref_impl_val(r_val
, var
);
401 if ((intptr_t) ret_val
->ptr
<= (intptr_t) 0) {
405 array_init(return_value
);
407 if (t
== PSI_T_STRUCT
) {
408 // decl_struct *s = real_decl_type(var->arg->type)->strct;
411 /* explicit member casts */
412 for (i
= 0; i
< set
->count
; ++i
) {
413 set_value
*sub_set
= set
->inner
[i
];
414 decl_var
*sub_var
= sub_set
->vars
->vars
[0];
416 sub_set
->outer
.val
= r_val
;
419 impl_val
*tmp
= NULL
, *val
;
422 val
= deref_impl_val(struct_member_ref(sub_var
->arg
, ret_val
, &tmp
), sub_var
);
423 sub_set
->func
->handler(&ztmp
, sub_set
, val
);
424 add_assoc_zval(return_value
, sub_var
->name
, &ztmp
);
435 if (var
->arg
->var
->array_size
) {
436 /* to_array(foo[NUMBER]) */
437 for (i
= 0; i
< var
->arg
->var
->array_size
; ++i
) {
438 size_t size
= psi_t_size(var
->arg
->var
->pointer_level
> 1 ? PSI_T_POINTER
: t
);
439 impl_val
*ptr
= iterate(ret_val
, size
, i
, &tmp
);
444 ZVAL_DOUBLE(&ele
, (double) ptr
->fval
);
447 ZVAL_DOUBLE(&ele
, ptr
->dval
);
450 ZVAL_LONG(&ele
, ptr
->lval
);
454 add_next_index_zval(return_value
, &ele
);
457 } else if (set
->num
) {
458 /* to_array(arr_var, num_expr, to_int(*arr_var))
461 zend_long i
, n
= psi_long_num_exp(set
->num
, set
->outer
.val
);
463 for (i
= 0; i
< n
; ++i
) {
464 size_t size
= psi_t_size(var
->arg
->var
->pointer_level
? PSI_T_POINTER
: t
);
465 impl_val
*ptr
= iterate(ret_val
, size
, i
, &tmp
);
467 set
->inner
[0]->func
->handler(&ele
, set
->inner
[0], ptr
);
468 add_next_index_zval(return_value
, &ele
);
475 void psi_to_object(zval
*return_value
, set_value
*set
, impl_val
*r_val
)
477 decl_var
*var
= set
->vars
->vars
[0];
478 impl_val
*ret_val
= deref_impl_val(r_val
, var
);
481 if ((intptr_t) ret_val
->ptr
> (intptr_t) 0) {
482 object_init_ex(return_value
, psi_class_entry
);
483 obj
= PSI_OBJ(return_value
, NULL
);
484 obj
->data
= ret_val
->ptr
;
490 static inline ZEND_RESULT_CODE
psi_parse_args(zend_execute_data
*execute_data
, impl
*impl
)
494 zend_error_handling zeh
;
496 zend_replace_error_handling(EH_THROW
, zend_exception_get_default(), &zeh
);
498 if (!impl
->func
->args
->count
) {
501 rv
= zend_parse_parameters_none();
502 zend_restore_error_handling(&zeh
);
506 ZEND_PARSE_PARAMETERS_START(psi_num_min_args(impl
), impl
->func
->args
->vararg
.name
? -1 : impl
->func
->args
->count
)
508 if (impl
->func
->args
->vararg
.name
&& _i
>= impl
->func
->args
->count
) {
509 impl_arg
*varg
= impl
->func
->args
->vararg
.name
;
510 iarg
= init_impl_arg(
511 init_impl_type(varg
->type
->type
, varg
->type
->name
),
512 init_impl_var(varg
->var
->name
, varg
->var
->reference
),
516 if (_i
== impl
->func
->args
->count
) {
517 impl
->func
->args
->vararg
.args
= init_impl_args(iarg
);
519 add_impl_arg(impl
->func
->args
->vararg
.args
, iarg
);
522 iarg
= impl
->func
->args
->args
[_i
];
527 if (PSI_T_BOOL
== iarg
->type
->type
) {
528 Z_PARAM_BOOL(iarg
->val
.zend
.bval
);
529 } else if (PSI_T_INT
== iarg
->type
->type
) {
530 Z_PARAM_LONG(iarg
->val
.zend
.lval
);
531 } else if (PSI_T_FLOAT
== iarg
->type
->type
|| PSI_T_DOUBLE
== iarg
->type
->type
) {
532 Z_PARAM_DOUBLE(iarg
->val
.dval
);
533 } else if (PSI_T_STRING
== iarg
->type
->type
) {
534 Z_PARAM_STR_EX(iarg
->val
.zend
.str
, 1, iarg
->var
->reference
);
535 if (iarg
->val
.zend
.str
) {
536 zend_string_addref(iarg
->val
.zend
.str
);
538 } else if (PSI_T_ARRAY
== iarg
->type
->type
) {
540 } else if (PSI_T_OBJECT
== iarg
->type
->type
) {
542 } else if (PSI_T_MIXED
== iarg
->type
->type
) {
545 error_code
= ZPP_ERROR_FAILURE
;
549 ZVAL_DEREF(iarg
->_zv
);
550 if (_i
< _num_args
) {
553 ZEND_PARSE_PARAMETERS_END_EX(
554 zend_restore_error_handling(&zeh
);
558 /* set up defaults */
559 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
560 if (i
>= EX_NUM_ARGS() && iarg
->def
) {
561 iarg
= impl
->func
->args
->args
[i
];
563 switch (iarg
->type
->type
) {
565 iarg
->val
.zend
.bval
= iarg
->def
->type
== PSI_T_TRUE
? 1 : 0;
568 iarg
->val
.zend
.lval
= zend_atol(iarg
->def
->text
, strlen(iarg
->def
->text
));
572 iarg
->val
.dval
= zend_strtod(iarg
->def
->text
, NULL
);
576 iarg
->val
.zend
.str
= zend_string_init(&iarg
->def
->text
[1], strlen(iarg
->def
->text
) - 2, 0);
582 zend_restore_error_handling(&zeh
);
586 static inline void *psi_do_calloc(let_calloc
*alloc
)
588 zend_long n
= psi_long_num_exp(alloc
->nmemb
, NULL
), s
= psi_long_num_exp(alloc
->size
, NULL
);
589 void *mem
= safe_emalloc(n
, s
, sizeof(void *));
590 memset(mem
, 0, n
* s
+ sizeof(void *));
594 static inline ZEND_RESULT_CODE
psi_let_val(token_t let_func
, impl_arg
*iarg
, impl_val
*arg_val
, decl_struct
*strct
, void **to_free
)
598 if (iarg
->type
->type
== PSI_T_BOOL
) {
599 arg_val
->cval
= iarg
->val
.zend
.bval
;
601 arg_val
->cval
= zend_is_true(iarg
->_zv
);
605 if (iarg
->type
->type
== PSI_T_INT
) {
606 arg_val
->lval
= iarg
->val
.zend
.lval
;
608 arg_val
->lval
= zval_get_long(iarg
->_zv
);
612 if (iarg
->type
->type
== PSI_T_FLOAT
|| iarg
->type
->type
== PSI_T_DOUBLE
) {
613 arg_val
->dval
= iarg
->val
.dval
;
615 arg_val
->dval
= zval_get_double(iarg
->_zv
);
620 if (iarg
->type
->type
== PSI_T_STRING
) {
621 if (iarg
->val
.zend
.str
) {
622 arg_val
->ptr
= estrdup(iarg
->val
.zend
.str
->val
);
623 *to_free
= arg_val
->ptr
;
628 zend_string
*zs
= zval_get_string(iarg
->_zv
);
629 arg_val
->ptr
= estrdup(zs
->val
);
630 *to_free
= arg_val
->ptr
;
631 zend_string_release(zs
);
633 if (PSI_T_PATHVAL
== let_func
) {
634 if (SUCCESS
!= php_check_open_basedir(arg_val
->ptr
)) {
641 if (iarg
->type
->type
== PSI_T_STRING
) {
642 if (iarg
->val
.zend
.str
) {
643 arg_val
->lval
= iarg
->val
.zend
.str
->len
;
648 zend_string
*zs
= zval_get_string(iarg
->_zv
);
649 arg_val
->lval
= zs
->len
;
650 zend_string_release(zs
);
654 if (iarg
->type
->type
== PSI_T_ARRAY
) {
655 arg_val
->ptr
= psi_array_to_struct(strct
, HASH_OF(iarg
->_zv
));
656 *to_free
= arg_val
->ptr
;
660 if (iarg
->type
->type
== PSI_T_OBJECT
) {
663 if (!instanceof_function(Z_OBJCE_P(iarg
->_zv
), psi_class_entry
)) {
667 obj
= PSI_OBJ(iarg
->_zv
, NULL
);
668 arg_val
->ptr
= obj
->data
;
671 EMPTY_SWITCH_DEFAULT_CASE();
676 static inline void *psi_do_let(let_stmt
*let
)
678 decl_arg
*darg
= let
->var
->arg
;
679 impl_val
*arg_val
= darg
->ptr
;
682 switch (let
->val
? let
->val
->kind
: PSI_LET_NULL
) {
684 arg_val
->ptr
= deref_impl_val(let
->val
->data
.var
->arg
->val
.ptr
, let
->var
);
687 if (darg
->var
->array_size
) {
688 arg_val
->ptr
= ecalloc(darg
->var
->array_size
, sizeof(*arg_val
));
689 darg
->mem
= arg_val
->ptr
;
691 memset(arg_val
, 0, sizeof(*arg_val
));
695 arg_val
->ptr
= psi_do_calloc(let
->val
->data
.alloc
);
696 darg
->mem
= arg_val
->ptr
;
699 arg_val
->zend
.lval
= psi_long_num_exp(let
->val
->data
.num
, NULL
);
702 iarg
= let
->val
->data
.func
->arg
;
704 if (SUCCESS
!= psi_let_val(let
->val
->data
.func
->type
, iarg
, darg
->ptr
, real_decl_type(darg
->type
)->strct
, &darg
->mem
)) {
709 if (let
->val
&& let
->val
->flags
.one
.is_reference
) {
710 return let
->ptr
= &darg
->ptr
;
712 return let
->ptr
= darg
->ptr
;
716 static inline void psi_do_set(zval
*return_value
, set_value
*set
)
718 zval_dtor(return_value
);
719 set
->func
->handler(return_value
, set
, set
->vars
->vars
[0]->arg
->ptr
);
722 static inline void psi_do_return(zval
*return_value
, return_stmt
*ret
)
724 ret
->set
->func
->handler(return_value
, ret
->set
, ret
->set
->vars
->vars
[0]->arg
->ptr
);
727 static inline void psi_do_free(free_stmt
*fre
)
731 for (i
= 0; i
< fre
->calls
->count
; ++i
) {
732 free_call
*f
= fre
->calls
->list
[i
];
734 for (j
= 0; j
< f
->vars
->count
; ++j
) {
735 decl_var
*dvar
= f
->vars
->vars
[j
];
736 decl_arg
*darg
= dvar
->arg
;
738 f
->decl
->call
.args
[j
] = &darg
->val
;
741 /* FIXME: check in validate_* that free functions return scalar */
742 PSI_ContextCall(&PSI_G(context
), &f
->decl
->call
, NULL
);
746 static inline void psi_do_clean(impl
*impl
)
750 for (i
= 0; i
< impl
->func
->args
->count
; ++i
) {
751 impl_arg
*iarg
= impl
->func
->args
->args
[i
];
753 switch (iarg
->type
->type
) {
755 if (iarg
->val
.zend
.str
) {
756 zend_string_release(iarg
->val
.zend
.str
);
762 if (impl
->decl
->args
) for (i
= 0; i
< impl
->decl
->args
->count
; ++i
) {
763 decl_arg
*darg
= impl
->decl
->args
->args
[i
];
766 decl_type
*type
= real_decl_type(darg
->type
);
768 if (type
->type
== PSI_T_STRUCT
) {
769 void **ptr
= (void **) ((char *) darg
->mem
+ type
->strct
->size
);
780 if (impl
->func
->args
->vararg
.args
) {
781 free_impl_args(impl
->func
->args
->vararg
.args
);
782 impl
->func
->args
->vararg
.args
= NULL
;
784 if (impl
->func
->args
->vararg
.types
) {
785 efree(impl
->func
->args
->vararg
.types
);
786 impl
->func
->args
->vararg
.types
= NULL
;
788 if (impl
->func
->args
->vararg
.values
) {
789 efree(impl
->func
->args
->vararg
.values
);
790 impl
->func
->args
->vararg
.values
= NULL
;
792 if (impl
->func
->args
->vararg
.free_list
) {
793 void **list
= impl
->func
->args
->vararg
.free_list
;
799 efree(impl
->func
->args
->vararg
.free_list
);
800 impl
->func
->args
->vararg
.free_list
= NULL
;
804 static inline int psi_calc_num_exp_value(num_exp
*exp
, impl_val
*strct
, impl_val
*res
) {
805 impl_val
*ref
, *tmp
= NULL
;
809 switch (is_numeric_string(exp
->u
.numb
, strlen(exp
->u
.numb
), (zend_long
*) res
, (double *) res
, 0)) {
818 switch (exp
->u
.cnst
->type
->type
) {
820 res
->i64
= zend_get_constant_str(exp
->u
.cnst
->name
, strlen(exp
->u
.cnst
->name
))->value
.lval
;
823 res
->dval
= zend_get_constant_str(exp
->u
.cnst
->name
, strlen(exp
->u
.cnst
->name
))->value
.dval
;
832 ref
= struct_member_ref(exp
->u
.dvar
->arg
, strct
, &tmp
);
834 ref
= exp
->u
.dvar
->arg
->ptr
;
836 switch (real_decl_type(exp
->u
.dvar
->arg
->type
)->type
) {
845 memcpy(res
, deref_impl_val(ref
, exp
->u
.dvar
), sizeof(*res
));
849 return real_decl_type(exp
->u
.dvar
->arg
->type
)->type
;
853 memcpy(res
, deref_impl_val(ref
, exp
->u
.dvar
), sizeof(*res
));
857 return real_decl_type(exp
->u
.dvar
->arg
->type
)->type
;
859 EMPTY_SWITCH_DEFAULT_CASE();
863 EMPTY_SWITCH_DEFAULT_CASE();
868 int psi_calc_num_exp(num_exp
*exp
, impl_val
*strct
, impl_val
*res
) {
870 int num_type
= psi_calc_num_exp_value(exp
, strct
, &num
);
874 int tmp_type
= psi_calc_num_exp(exp
->operand
, strct
, &tmp
);
876 return exp
->calculator(num_type
, &num
, tmp_type
, &tmp
, res
);
879 memcpy(res
, &num
, sizeof(*res
));
886 #define PSI_CALC_OP(var) do { \
887 const char *fmt = "calc %" PRI##var ", %" PRI##var ": %" PRI##var "\n"; \
888 res->var = PSI_CALC(v1->var, v2->var); \
889 if (!res->var) fprintf(stderr, fmt, v1->var, v2->var, res->var); \
891 #define PSI_CALC_OP2(vres, var1, var2) do { \
892 const char *fmt = "calc %" PRI##var1 ", %" PRI##var2 ": %" PRI##vres "\n"; \
893 res->vres = PSI_CALC(v1->var1, v2->var2); \
894 if (!res->vres) fprintf(stderr, fmt, v1->var1, v2->var2, res->vres); \
896 #define PSI_CALC_FN(op) int psi_calc_##op(int t1, impl_val *v1, int t2, impl_val *v2, impl_val *res) \
900 case PSI_T_FLOAT: PSI_CALC_OP(fval); break; \
901 case PSI_T_DOUBLE: PSI_CALC_OP(dval); break; \
902 case PSI_T_INT8: PSI_CALC_OP(i8); break; \
903 case PSI_T_UINT8: PSI_CALC_OP(u8); break; \
904 case PSI_T_INT16: PSI_CALC_OP(i16); break; \
905 case PSI_T_UINT16: PSI_CALC_OP(u16); break; \
906 case PSI_T_INT32: PSI_CALC_OP(i32); break; \
907 case PSI_T_UINT32: PSI_CALC_OP(u32); break; \
908 case PSI_T_INT64: PSI_CALC_OP(i64); break; \
909 case PSI_T_UINT64: PSI_CALC_OP(u64); break; \
910 EMPTY_SWITCH_DEFAULT_CASE(); \
913 } else if (t1 == PSI_T_DOUBLE) { \
915 case PSI_T_FLOAT: PSI_CALC_OP2(dval, dval, fval); break; \
916 case PSI_T_INT8: PSI_CALC_OP2(dval, dval, i8); break; \
917 case PSI_T_UINT8: PSI_CALC_OP2(dval, dval, u8); break; \
918 case PSI_T_INT16: PSI_CALC_OP2(dval, dval, i16); break; \
919 case PSI_T_UINT16: PSI_CALC_OP2(dval, dval, u16); break; \
920 case PSI_T_INT32: PSI_CALC_OP2(dval, dval, i32); break; \
921 case PSI_T_UINT32: PSI_CALC_OP2(dval, dval, u32); break; \
922 case PSI_T_INT64: PSI_CALC_OP2(dval, dval, i64); break; \
923 case PSI_T_UINT64: PSI_CALC_OP2(dval, dval, u64); break; \
924 EMPTY_SWITCH_DEFAULT_CASE(); \
927 } else if (t2 == PSI_T_DOUBLE) { \
929 case PSI_T_FLOAT: PSI_CALC_OP2(dval, fval, dval); break; \
930 case PSI_T_INT8: PSI_CALC_OP2(dval, i8, dval); break; \
931 case PSI_T_UINT8: PSI_CALC_OP2(dval, u8, dval); break; \
932 case PSI_T_INT16: PSI_CALC_OP2(dval, i16, dval); break; \
933 case PSI_T_UINT16: PSI_CALC_OP2(dval, u16, dval); break; \
934 case PSI_T_INT32: PSI_CALC_OP2(dval, i32, dval); break; \
935 case PSI_T_UINT32: PSI_CALC_OP2(dval, u32, dval); break; \
936 case PSI_T_INT64: PSI_CALC_OP2(dval, i64, dval); break; \
937 case PSI_T_UINT64: PSI_CALC_OP2(dval, u64, dval); break; \
938 EMPTY_SWITCH_DEFAULT_CASE(); \
941 } else if (t1 == PSI_T_FLOAT) { \
943 case PSI_T_DOUBLE: PSI_CALC_OP2(dval, fval, dval); return t2; \
944 case PSI_T_INT8: PSI_CALC_OP2(fval, fval, i8); break; \
945 case PSI_T_UINT8: PSI_CALC_OP2(fval, fval, u8); break; \
946 case PSI_T_INT16: PSI_CALC_OP2(fval, fval, i16); break; \
947 case PSI_T_UINT16: PSI_CALC_OP2(fval, fval, u16); break; \
948 case PSI_T_INT32: PSI_CALC_OP2(fval, fval, i32); break; \
949 case PSI_T_UINT32: PSI_CALC_OP2(fval, fval, u32); break; \
950 case PSI_T_INT64: PSI_CALC_OP2(fval, fval, i64); break; \
951 case PSI_T_UINT64: PSI_CALC_OP2(fval, fval, u64); break; \
952 EMPTY_SWITCH_DEFAULT_CASE(); \
955 } else if (t2 == PSI_T_FLOAT) { \
957 case PSI_T_DOUBLE: PSI_CALC_OP2(dval, dval, fval); return t1; \
958 case PSI_T_INT8: PSI_CALC_OP2(fval, i8, fval); break; \
959 case PSI_T_UINT8: PSI_CALC_OP2(fval, u8, fval); break; \
960 case PSI_T_INT16: PSI_CALC_OP2(fval, i16, fval); break; \
961 case PSI_T_UINT16: PSI_CALC_OP2(fval, u16, fval); break; \
962 case PSI_T_INT32: PSI_CALC_OP2(fval, i32, fval); break; \
963 case PSI_T_UINT32: PSI_CALC_OP2(fval, u32, fval); break; \
964 case PSI_T_INT64: PSI_CALC_OP2(fval, i64, fval); break; \
965 case PSI_T_UINT64: PSI_CALC_OP2(fval, u64, fval); break; \
966 EMPTY_SWITCH_DEFAULT_CASE(); \
970 int64_t sval1 = v1->i64, sval2 = v2->i64; \
971 uint64_t uval1 = v1->u64, uval2 = v2->u64; \
973 case PSI_T_INT8: sval1 >>= 8; \
974 case PSI_T_INT16: sval1 >>= 8; \
975 case PSI_T_INT32: sval1 >>= 8; \
978 case PSI_T_INT8: sval2 >>= 8; \
979 case PSI_T_INT16: sval2 >>= 8; \
980 case PSI_T_INT32: sval2 >>= 8; \
982 res->i64 = PSI_CALC(sval1 , sval2); \
983 return PSI_T_INT64; \
984 case PSI_T_UINT8: uval2 >>= 8; \
985 case PSI_T_UINT16: uval2 >>= 8; \
986 case PSI_T_UINT32: uval2 >>= 8; \
988 res->i64 = PSI_CALC(sval1, uval2); \
989 return PSI_T_INT64; \
992 case PSI_T_UINT8: uval1 >>= 8; \
993 case PSI_T_UINT16: uval1 >>= 8; \
994 case PSI_T_UINT32: uval1 >>= 8; \
997 case PSI_T_INT8: sval2 >>= 8; \
998 case PSI_T_INT16: sval2 >>= 8; \
999 case PSI_T_INT32: sval2 >>= 8; \
1001 res->i64 = PSI_CALC(uval1, sval2); \
1002 return PSI_T_INT64; \
1003 case PSI_T_UINT8: uval2 >>= 8; \
1004 case PSI_T_UINT16: uval2 >>= 8; \
1005 case PSI_T_UINT32: uval2 >>= 8; \
1006 case PSI_T_UINT64: \
1007 res->u64 = PSI_CALC(uval1, uval2); \
1008 return PSI_T_UINT64; \
1018 #define PSI_CALC(var1, var2) (var1) + (var2)
1021 #define PSI_CALC(var1, var2) (var1) * (var2)
1024 #define PSI_CALC(var1, var2) (var1) - (var2)
1027 #define PSI_CALC(var1, var2) (var1) / (var2)
1030 static inline void psi_do_args(impl
*impl
) {
1033 for (i
= 0; i
< impl
->decl
->args
->count
; ++i
) {
1034 impl
->decl
->call
.args
[i
] = impl
->decl
->args
->args
[i
]->let
->ptr
;
1038 static inline impl_vararg
*psi_do_varargs(impl
*impl
) {
1040 impl_vararg
*va
= &impl
->func
->args
->vararg
;
1041 size_t vacount
= va
->args
->count
;
1048 va
->types
= ecalloc(vacount
, sizeof(*va
->types
));
1049 va
->values
= ecalloc(vacount
, sizeof(*va
->values
));
1051 for (i
= 0, j
= 0; i
< vacount
; ++i
) {
1052 impl_arg
*vaarg
= va
->args
->args
[i
];
1053 void *to_free
= NULL
;
1054 token_t let_fn
, vatype
= va
->name
->type
->type
;
1056 if (vatype
== PSI_T_MIXED
) {
1057 switch (Z_TYPE_P(vaarg
->_zv
)) {
1059 case IS_FALSE
: vatype
= PSI_T_BOOL
; break;
1060 case IS_LONG
: vatype
= PSI_T_INT
; break;
1061 case IS_DOUBLE
: vatype
= PSI_T_FLOAT
; break;
1062 default: vatype
= PSI_T_STRING
; break;
1068 case PSI_T_BOOL
: let_fn
= PSI_T_BOOLVAL
; break;
1069 case PSI_T_INT
: let_fn
= PSI_T_INTVAL
; break;
1071 case PSI_T_DOUBLE
: let_fn
= PSI_T_FLOATVAL
;break;
1072 case PSI_T_STRING
: let_fn
= PSI_T_STRVAL
; break;
1073 EMPTY_SWITCH_DEFAULT_CASE();
1076 va
->types
[i
] = vatype
;
1077 psi_let_val(let_fn
, vaarg
, &va
->values
[i
], NULL
, &to_free
);
1080 if (!va
->free_list
) {
1081 va
->free_list
= ecalloc(vacount
- i
+ 1, sizeof(*va
->free_list
));
1083 va
->free_list
[j
++] = to_free
;
1090 void psi_call(zend_execute_data
*execute_data
, zval
*return_value
, impl
*impl
)
1093 impl_vararg
*va
= NULL
;
1095 memset(impl
->decl
->func
->ptr
, 0, sizeof(impl_val
));
1097 if (SUCCESS
!= psi_parse_args(execute_data
, impl
)) {
1101 for (i
= 0; i
< impl
->stmts
->let
.count
; ++i
) {
1102 let_stmt
*let
= impl
->stmts
->let
.list
[i
];
1104 if (!psi_do_let(let
)) {
1105 psi_do_return(return_value
, impl
->stmts
->ret
.list
[0]);
1111 if (impl
->decl
->args
) {
1114 if (impl
->func
->args
->vararg
.args
) {
1115 va
= psi_do_varargs(impl
);
1119 PSI_ContextCall(&PSI_G(context
), &impl
->decl
->call
, va
);
1120 psi_do_return(return_value
, impl
->stmts
->ret
.list
[0]);
1122 for (i
= 0; i
< impl
->stmts
->set
.count
; ++i
) {
1123 set_stmt
*set
= impl
->stmts
->set
.list
[i
];
1125 if (set
->arg
->_zv
) {
1126 psi_do_set(set
->arg
->_zv
, set
->val
);
1130 for (i
= 0; i
< impl
->stmts
->fre
.count
; ++i
) {
1131 free_stmt
*fre
= impl
->stmts
->fre
.list
[i
];
1138 static void psi_object_free(zend_object
*o
)
1140 psi_object
*obj
= PSI_OBJ(NULL
, o
);
1146 zend_object_std_dtor(o
);
1149 static zend_object
*psi_object_init(zend_class_entry
*ce
)
1151 psi_object
*o
= ecalloc(1, sizeof(*o
) + zend_object_properties_size(ce
));
1153 zend_object_std_init(&o
->std
, ce
);
1154 object_properties_init(&o
->std
, ce
);
1155 o
->std
.handlers
= &psi_object_handlers
;
1159 PHP_MINIT_FUNCTION(psi
)
1161 PSI_ContextOps
*ops
= NULL
;
1162 zend_class_entry ce
= {0};
1164 REGISTER_INI_ENTRIES();
1166 INIT_NS_CLASS_ENTRY(ce
, "psi", "object", NULL
);
1167 psi_class_entry
= zend_register_internal_class_ex(&ce
, NULL
);
1168 psi_class_entry
->create_object
= psi_object_init
;
1170 memcpy(&psi_object_handlers
, zend_get_std_object_handlers(), sizeof(zend_object_handlers
));
1171 psi_object_handlers
.offset
= XtOffsetOf(psi_object
, std
);
1172 psi_object_handlers
.free_obj
= psi_object_free
;
1173 psi_object_handlers
.clone_obj
= NULL
;
1176 if (!strcasecmp(PSI_G(engine
), "jit")) {
1185 php_error(E_WARNING
, "No PSI engine found");
1189 PSI_ContextInit(&PSI_G(context
), ops
, psi_error_wrapper
);
1190 PSI_ContextBuild(&PSI_G(context
), PSI_G(directory
));
1192 if (psi_check_env("PSI_DUMP")) {
1193 PSI_ContextDump(&PSI_G(context
), STDOUT_FILENO
);
1199 PHP_MSHUTDOWN_FUNCTION(psi
)
1201 PSI_ContextDtor(&PSI_G(context
));
1203 UNREGISTER_INI_ENTRIES();
1208 #if defined(COMPILE_DL_PSI) && defined(ZTS)
1209 PHP_RINIT_FUNCTION(psi
)
1211 ZEND_TSRMLS_CACHE_UPDATE();
1216 PHP_MINFO_FUNCTION(psi
)
1218 php_info_print_table_start();
1219 php_info_print_table_header(2, "psi support", "enabled");
1220 php_info_print_table_end();
1222 DISPLAY_INI_ENTRIES();
1224 const zend_function_entry psi_functions
[] = {
1228 zend_module_entry psi_module_entry
= {
1229 STANDARD_MODULE_HEADER
,
1234 #if defined(COMPILE_DL_PSI) && defined(ZTS)
1235 PHP_RINIT(psi
), /* Replace with NULL if there's nothing to do at request start */
1242 STANDARD_MODULE_PROPERTIES
1245 #ifdef COMPILE_DL_PSI
1247 ZEND_TSRMLS_CACHE_DEFINE();
1249 ZEND_GET_MODULE(psi
)
1257 * vim600: noet sw=4 ts=4 fdm=marker
1258 * vim<600: noet sw=4 ts=4