1/*
2   +----------------------------------------------------------------------+
3   | Zend Engine                                                          |
4   +----------------------------------------------------------------------+
5   | Copyright (c) 1998-2015 Zend Technologies Ltd. (http://www.zend.com) |
6   +----------------------------------------------------------------------+
7   | This source file is subject to version 2.00 of the Zend license,     |
8   | that is bundled with this package in the file LICENSE, and is        |
9   | available through the world-wide-web at the following url:           |
10   | http://www.zend.com/license/2_00.txt.                                |
11   | If you did not receive a copy of the Zend license and are unable to  |
12   | obtain it through the world-wide-web, please send a note to          |
13   | license@zend.com so we can mail you a copy immediately.              |
14   +----------------------------------------------------------------------+
15   | Authors: Andi Gutmans <andi@zend.com>                                |
16   |          Zeev Suraski <zeev@zend.com>                                |
17   +----------------------------------------------------------------------+
18*/
19
20/* $Id$ */
21
22#ifndef ZEND_COMPILE_H
23#define ZEND_COMPILE_H
24
25#include "zend.h"
26#include "zend_ast.h"
27
28#ifdef HAVE_STDARG_H
29# include <stdarg.h>
30#endif
31
32#include "zend_llist.h"
33
34#define DEBUG_ZEND 0
35
36#define SET_UNUSED(op)  op ## _type = IS_UNUSED
37
38#define MAKE_NOP(opline) do { \
39    opline->opcode = ZEND_NOP; \
40    memset(&opline->result, 0, sizeof(opline->result)); \
41    memset(&opline->op1, 0, sizeof(opline->op1)); \
42    memset(&opline->op2, 0, sizeof(opline->op2)); \
43    opline->result_type = opline->op1_type = opline->op2_type = IS_UNUSED; \
44} while (0)
45
46#define RESET_DOC_COMMENT() do { \
47    if (CG(doc_comment)) { \
48        zend_string_release(CG(doc_comment)); \
49        CG(doc_comment) = NULL; \
50    } \
51} while (0)
52
53typedef struct _zend_op_array zend_op_array;
54typedef struct _zend_op zend_op;
55
56/* On 64-bit systems less optimal, but more compact VM code leads to better
57 * performance. So on 32-bit systems we use absolute addresses for jump
58 * targets and constants, but on 64-bit systems realtive 32-bit offsets */
59#if SIZEOF_SIZE_T == 4
60# define ZEND_USE_ABS_JMP_ADDR      1
61# define ZEND_USE_ABS_CONST_ADDR    1
62# define ZEND_EX_USE_LITERALS       0
63# define ZEND_EX_USE_RUN_TIME_CACHE 1
64#else
65# define ZEND_USE_ABS_JMP_ADDR      0
66# define ZEND_USE_ABS_CONST_ADDR    0
67# define ZEND_EX_USE_LITERALS       1
68# define ZEND_EX_USE_RUN_TIME_CACHE 1
69#endif
70
71typedef union _znode_op {
72    uint32_t      constant;
73    uint32_t      var;
74    uint32_t      num;
75    uint32_t      opline_num; /*  Needs to be signed */
76#if ZEND_USE_ABS_JMP_ADDR
77    zend_op       *jmp_addr;
78#else
79    uint32_t      jmp_offset;
80#endif
81#if ZEND_USE_ABS_CONST_ADDR
82    zval          *zv;
83#endif
84} znode_op;
85
86typedef struct _znode { /* used only during compilation */
87    zend_uchar op_type;
88    zend_uchar flag;
89    union {
90        znode_op op;
91        zval constant; /* replaced by literal/zv */
92    } u;
93} znode;
94
95/* Temporarily defined here, to avoid header ordering issues */
96typedef struct _zend_ast_znode {
97    zend_ast_kind kind;
98    zend_ast_attr attr;
99    uint32_t lineno;
100    znode node;
101} zend_ast_znode;
102ZEND_API zend_ast *zend_ast_create_znode(znode *node);
103
104static zend_always_inline znode *zend_ast_get_znode(zend_ast *ast) {
105    return &((zend_ast_znode *) ast)->node;
106}
107
108typedef struct _zend_declarables {
109    zend_long ticks;
110} zend_declarables;
111
112/* Compilation context that is different for each op array. */
113typedef struct _zend_oparray_context {
114    uint32_t   opcodes_size;
115    int        vars_size;
116    int        literals_size;
117    int        current_brk_cont;
118    int        backpatch_count;
119    int        in_finally;
120    uint32_t   fast_call_var;
121    HashTable *labels;
122} zend_oparray_context;
123
124/* Compilation context that is different for each file, but shared between op arrays. */
125typedef struct _zend_file_context {
126    zend_declarables declarables;
127    znode implementing_class;
128
129    zend_string *current_namespace;
130    zend_bool in_namespace;
131    zend_bool has_bracketed_namespaces;
132
133    HashTable *imports;
134    HashTable *imports_function;
135    HashTable *imports_const;
136} zend_file_context;
137
138typedef union _zend_parser_stack_elem {
139    zend_ast *ast;
140    zend_string *str;
141    zend_ulong num;
142} zend_parser_stack_elem;
143
144void zend_compile_top_stmt(zend_ast *ast);
145void zend_compile_stmt(zend_ast *ast);
146void zend_compile_expr(znode *node, zend_ast *ast);
147void zend_compile_var(znode *node, zend_ast *ast, uint32_t type);
148void zend_eval_const_expr(zend_ast **ast_ptr);
149void zend_const_expr_to_zval(zval *result, zend_ast *ast);
150
151typedef int (*user_opcode_handler_t) (zend_execute_data *execute_data);
152
153struct _zend_op {
154    const void *handler;
155    znode_op op1;
156    znode_op op2;
157    znode_op result;
158    uint32_t extended_value;
159    uint32_t lineno;
160    zend_uchar opcode;
161    zend_uchar op1_type;
162    zend_uchar op2_type;
163    zend_uchar result_type;
164};
165
166
167typedef struct _zend_brk_cont_element {
168    int start;
169    int cont;
170    int brk;
171    int parent;
172} zend_brk_cont_element;
173
174typedef struct _zend_label {
175    int brk_cont;
176    uint32_t opline_num;
177} zend_label;
178
179typedef struct _zend_try_catch_element {
180    uint32_t try_op;
181    uint32_t catch_op;  /* ketchup! */
182    uint32_t finally_op;
183    uint32_t finally_end;
184} zend_try_catch_element;
185
186/* method flags (types) */
187#define ZEND_ACC_STATIC         0x01
188#define ZEND_ACC_ABSTRACT       0x02
189#define ZEND_ACC_FINAL          0x04
190#define ZEND_ACC_IMPLEMENTED_ABSTRACT       0x08
191
192/* class flags (types) */
193/* ZEND_ACC_IMPLICIT_ABSTRACT_CLASS is used for abstract classes (since it is set by any abstract method even interfaces MAY have it set, too). */
194/* ZEND_ACC_EXPLICIT_ABSTRACT_CLASS denotes that a class was explicitly defined as abstract by using the keyword. */
195#define ZEND_ACC_IMPLICIT_ABSTRACT_CLASS    0x10
196#define ZEND_ACC_EXPLICIT_ABSTRACT_CLASS    0x20
197#define ZEND_ACC_INTERFACE                  0x40
198#define ZEND_ACC_TRAIT                      0x80
199#define ZEND_ACC_ANON_CLASS                 0x100
200#define ZEND_ACC_ANON_BOUND                 0x200
201
202/* method flags (visibility) */
203/* The order of those must be kept - public < protected < private */
204#define ZEND_ACC_PUBLIC     0x100
205#define ZEND_ACC_PROTECTED  0x200
206#define ZEND_ACC_PRIVATE    0x400
207#define ZEND_ACC_PPP_MASK  (ZEND_ACC_PUBLIC | ZEND_ACC_PROTECTED | ZEND_ACC_PRIVATE)
208
209#define ZEND_ACC_CHANGED    0x800
210#define ZEND_ACC_IMPLICIT_PUBLIC    0x1000
211
212/* method flags (special method detection) */
213#define ZEND_ACC_CTOR       0x2000
214#define ZEND_ACC_DTOR       0x4000
215#define ZEND_ACC_CLONE      0x8000
216
217/* method flag used by Closure::__invoke() */
218#define ZEND_ACC_USER_ARG_INFO 0x80
219
220/* method flag (bc only), any method that has this flag can be used statically and non statically. */
221#define ZEND_ACC_ALLOW_STATIC   0x10000
222
223/* shadow of parent's private method/property */
224#define ZEND_ACC_SHADOW 0x20000
225
226/* deprecation flag */
227#define ZEND_ACC_DEPRECATED 0x40000
228
229/* class implement interface(s) flag */
230#define ZEND_ACC_IMPLEMENT_INTERFACES 0x80000
231#define ZEND_ACC_IMPLEMENT_TRAITS     0x400000
232
233/* class constants updated */
234#define ZEND_ACC_CONSTANTS_UPDATED    0x100000
235
236/* user class has methods with static variables */
237#define ZEND_HAS_STATIC_IN_METHODS    0x800000
238
239
240#define ZEND_ACC_CLOSURE              0x100000
241#define ZEND_ACC_GENERATOR            0x800000
242
243#define ZEND_ACC_NO_RT_ARENA          0x80000
244
245/* call through user function trampoline. e.g. __call, __callstatic */
246#define ZEND_ACC_CALL_VIA_TRAMPOLINE  0x200000
247
248/* call through internal function handler. e.g. Closure::invoke() */
249#define ZEND_ACC_CALL_VIA_HANDLER     ZEND_ACC_CALL_VIA_TRAMPOLINE
250
251/* disable inline caching */
252#define ZEND_ACC_NEVER_CACHE          0x400000
253
254#define ZEND_ACC_VARIADIC               0x1000000
255
256#define ZEND_ACC_RETURN_REFERENCE       0x4000000
257#define ZEND_ACC_DONE_PASS_TWO          0x8000000
258
259/* class has magic methods __get/__set/__unset/__isset that use guards */
260#define ZEND_ACC_USE_GUARDS             0x1000000
261
262/* function has arguments with type hinting */
263#define ZEND_ACC_HAS_TYPE_HINTS         0x10000000
264
265/* op_array has finally blocks */
266#define ZEND_ACC_HAS_FINALLY_BLOCK      0x20000000
267
268/* internal function is allocated at arena */
269#define ZEND_ACC_ARENA_ALLOCATED        0x20000000
270
271/* Function has a return type hint (or class has such non-private function) */
272#define ZEND_ACC_HAS_RETURN_TYPE        0x40000000
273
274/* op_array uses strict mode types */
275#define ZEND_ACC_STRICT_TYPES           0x80000000
276
277char *zend_visibility_string(uint32_t fn_flags);
278
279typedef struct _zend_property_info {
280    uint32_t offset; /* property offset for object properties or
281                          property index for static properties */
282    uint32_t flags;
283    zend_string *name;
284    zend_string *doc_comment;
285    zend_class_entry *ce;
286} zend_property_info;
287
288#define OBJ_PROP(obj, offset) \
289    ((zval*)((char*)(obj) + offset))
290#define OBJ_PROP_NUM(obj, num) \
291    (&(obj)->properties_table[(num)])
292#define OBJ_PROP_TO_OFFSET(num) \
293    ((uint32_t)(zend_uintptr_t)OBJ_PROP_NUM(((zend_object*)NULL), num))
294#define OBJ_PROP_TO_NUM(offset) \
295    ((offset - OBJ_PROP_TO_OFFSET(0)) / sizeof(zval))
296
297/* arg_info for internal functions */
298typedef struct _zend_internal_arg_info {
299    const char *name;
300    const char *class_name;
301    zend_uchar type_hint;
302    zend_uchar pass_by_reference;
303    zend_bool allow_null;
304    zend_bool is_variadic;
305} zend_internal_arg_info;
306
307/* arg_info for user functions */
308typedef struct _zend_arg_info {
309    zend_string *name;
310    zend_string *class_name;
311    zend_uchar type_hint;
312    zend_uchar pass_by_reference;
313    zend_bool allow_null;
314    zend_bool is_variadic;
315} zend_arg_info;
316
317/* the following structure repeats the layout of zend_internal_arg_info,
318 * but its fields have different meaning. It's used as the first element of
319 * arg_info array to define properties of internal functions.
320 * It's also used for return type hinting.
321 */
322typedef struct _zend_internal_function_info {
323    zend_uintptr_t required_num_args;
324    const char *class_name;
325    zend_uchar type_hint;
326    zend_bool return_reference;
327    zend_bool allow_null;
328    zend_bool _is_variadic;
329} zend_internal_function_info;
330
331struct _zend_op_array {
332    /* Common elements */
333    zend_uchar type;
334    zend_uchar arg_flags[3]; /* bitset of arg_info.pass_by_reference */
335    uint32_t fn_flags;
336    zend_string *function_name;
337    zend_class_entry *scope;
338    zend_function *prototype;
339    uint32_t num_args;
340    uint32_t required_num_args;
341    zend_arg_info *arg_info;
342    /* END of common elements */
343
344    uint32_t *refcount;
345
346    uint32_t this_var;
347
348    uint32_t last;
349    zend_op *opcodes;
350
351    int last_var;
352    uint32_t T;
353    zend_string **vars;
354
355    int last_brk_cont;
356    int last_try_catch;
357    zend_brk_cont_element *brk_cont_array;
358    zend_try_catch_element *try_catch_array;
359
360    /* static variables support */
361    HashTable *static_variables;
362
363    zend_string *filename;
364    uint32_t line_start;
365    uint32_t line_end;
366    zend_string *doc_comment;
367    uint32_t early_binding; /* the linked list of delayed declarations */
368
369    int last_literal;
370    zval *literals;
371
372    int  cache_size;
373    void **run_time_cache;
374
375    void *reserved[ZEND_MAX_RESERVED_RESOURCES];
376};
377
378
379#define ZEND_RETURN_VALUE               0
380#define ZEND_RETURN_REFERENCE           1
381
382typedef struct _zend_internal_function {
383    /* Common elements */
384    zend_uchar type;
385    zend_uchar arg_flags[3]; /* bitset of arg_info.pass_by_reference */
386    uint32_t fn_flags;
387    zend_string* function_name;
388    zend_class_entry *scope;
389    zend_function *prototype;
390    uint32_t num_args;
391    uint32_t required_num_args;
392    zend_internal_arg_info *arg_info;
393    /* END of common elements */
394
395    void (*handler)(INTERNAL_FUNCTION_PARAMETERS);
396    struct _zend_module_entry *module;
397} zend_internal_function;
398
399#define ZEND_FN_SCOPE_NAME(function)  ((function) && (function)->common.scope ? ZSTR_VAL((function)->common.scope->name) : "")
400
401union _zend_function {
402    zend_uchar type;    /* MUST be the first element of this struct! */
403
404    struct {
405        zend_uchar type;  /* never used */
406        zend_uchar arg_flags[3]; /* bitset of arg_info.pass_by_reference */
407        uint32_t fn_flags;
408        zend_string *function_name;
409        zend_class_entry *scope;
410        union _zend_function *prototype;
411        uint32_t num_args;
412        uint32_t required_num_args;
413        zend_arg_info *arg_info;
414    } common;
415
416    zend_op_array op_array;
417    zend_internal_function internal_function;
418};
419
420typedef enum _zend_call_kind {
421    ZEND_CALL_NESTED_FUNCTION,  /* stackless VM call to function */
422    ZEND_CALL_NESTED_CODE,      /* stackless VM call to include/require/eval */
423    ZEND_CALL_TOP_FUNCTION,     /* direct VM call to function from external C code */
424    ZEND_CALL_TOP_CODE          /* direct VM call to "main" code from external C code */
425} zend_call_kind;
426
427struct _zend_execute_data {
428    const zend_op       *opline;           /* executed opline                */
429    zend_execute_data   *call;             /* current call                   */
430    zval                *return_value;
431    zend_function       *func;             /* executed op_array              */
432    zval                 This;
433#if ZEND_EX_USE_RUN_TIME_CACHE
434    void               **run_time_cache;
435#endif
436#if ZEND_EX_USE_LITERALS
437    zval                *literals;
438#endif
439    zend_class_entry    *called_scope;
440    zend_execute_data   *prev_execute_data;
441    zend_array          *symbol_table;
442};
443
444#define ZEND_CALL_FUNCTION           (0 << 0)
445#define ZEND_CALL_CODE               (1 << 0)
446#define ZEND_CALL_NESTED             (0 << 1)
447#define ZEND_CALL_TOP                (1 << 1)
448#define ZEND_CALL_FREE_EXTRA_ARGS    (1 << 2) /* equal to IS_TYPE_REFCOUNTED */
449#define ZEND_CALL_CTOR               (1 << 3)
450#define ZEND_CALL_CTOR_RESULT_UNUSED (1 << 4)
451#define ZEND_CALL_CLOSURE            (1 << 5)
452#define ZEND_CALL_RELEASE_THIS       (1 << 6)
453#define ZEND_CALL_ALLOCATED          (1 << 7)
454
455#define ZEND_CALL_INFO(call) \
456    (Z_TYPE_INFO((call)->This) >> 24)
457
458#define ZEND_CALL_KIND_EX(call_info) \
459    (call_info & (ZEND_CALL_CODE | ZEND_CALL_TOP))
460
461#define ZEND_CALL_KIND(call) \
462    ZEND_CALL_KIND_EX(ZEND_CALL_INFO(call))
463
464#define ZEND_SET_CALL_INFO(call, info) do { \
465        Z_TYPE_INFO((call)->This) = IS_OBJECT_EX | ((info) << 24); \
466    } while (0)
467
468#define ZEND_ADD_CALL_FLAG_EX(call_info, flag) do { \
469        call_info |= ((flag) << 24); \
470    } while (0)
471
472#define ZEND_ADD_CALL_FLAG(call, flag) do { \
473        ZEND_ADD_CALL_FLAG_EX(Z_TYPE_INFO((call)->This), flag); \
474    } while (0)
475
476#define ZEND_CALL_NUM_ARGS(call) \
477    (call)->This.u2.num_args
478
479#define ZEND_CALL_FRAME_SLOT \
480    ((int)((ZEND_MM_ALIGNED_SIZE(sizeof(zend_execute_data)) + ZEND_MM_ALIGNED_SIZE(sizeof(zval)) - 1) / ZEND_MM_ALIGNED_SIZE(sizeof(zval))))
481
482#define ZEND_CALL_VAR(call, n) \
483    ((zval*)(((char*)(call)) + ((int)(n))))
484
485#define ZEND_CALL_VAR_NUM(call, n) \
486    (((zval*)(call)) + (ZEND_CALL_FRAME_SLOT + ((int)(n))))
487
488#define ZEND_CALL_ARG(call, n) \
489    ZEND_CALL_VAR_NUM(call, ((int)(n)) - 1)
490
491#define EX(element)             ((execute_data)->element)
492
493#define EX_CALL_INFO()          ZEND_CALL_INFO(execute_data)
494#define EX_CALL_KIND()          ZEND_CALL_KIND(execute_data)
495#define EX_NUM_ARGS()           ZEND_CALL_NUM_ARGS(execute_data)
496
497#define ZEND_CALL_USES_STRICT_TYPES(call) \
498    (((call)->func->common.fn_flags & ZEND_ACC_STRICT_TYPES) != 0)
499
500#define EX_USES_STRICT_TYPES() \
501    ZEND_CALL_USES_STRICT_TYPES(execute_data)
502
503#define ZEND_ARG_USES_STRICT_TYPES() \
504    (EG(current_execute_data)->prev_execute_data && \
505     EG(current_execute_data)->prev_execute_data->func && \
506     ZEND_CALL_USES_STRICT_TYPES(EG(current_execute_data)->prev_execute_data))
507
508#define ZEND_RET_USES_STRICT_TYPES() \
509    ZEND_CALL_USES_STRICT_TYPES(EG(current_execute_data))
510
511#define EX_VAR(n)               ZEND_CALL_VAR(execute_data, n)
512#define EX_VAR_NUM(n)           ZEND_CALL_VAR_NUM(execute_data, n)
513
514#define EX_VAR_TO_NUM(n)        (ZEND_CALL_VAR(NULL, n) - ZEND_CALL_VAR_NUM(NULL, 0))
515
516#define ZEND_OPLINE_NUM_TO_OFFSET(op_array, opline, opline_num) \
517    ((char*)&(op_array)->opcodes[opline_num] - (char*)(opline))
518
519#define ZEND_OFFSET_TO_OPLINE(base, offset) \
520    ((zend_op*)(((char*)(base)) + (int)offset))
521
522#define ZEND_OFFSET_TO_OPLINE_NUM(op_array, base, offset) \
523    (ZEND_OFFSET_TO_OPLINE(base, offset) - op_array->opcodes)
524
525#if ZEND_USE_ABS_JMP_ADDR
526
527/* run-time jump target */
528# define OP_JMP_ADDR(opline, node) \
529    (node).jmp_addr
530
531/* convert jump target from compile-time to run-time */
532# define ZEND_PASS_TWO_UPDATE_JMP_TARGET(op_array, opline, node) do { \
533        (node).jmp_addr = (op_array)->opcodes + (node).opline_num; \
534    } while (0)
535
536/* convert jump target back from run-time to compile-time */
537# define ZEND_PASS_TWO_UNDO_JMP_TARGET(op_array, opline, node) do { \
538        (node).opline_num = (node).jmp_addr - (op_array)->opcodes; \
539    } while (0)
540
541#else
542
543/* run-time jump target */
544# define OP_JMP_ADDR(opline, node) \
545    ZEND_OFFSET_TO_OPLINE(opline, (node).jmp_offset)
546
547/* convert jump target from compile-time to run-time */
548# define ZEND_PASS_TWO_UPDATE_JMP_TARGET(op_array, opline, node) do { \
549        (node).jmp_offset = ZEND_OPLINE_NUM_TO_OFFSET(op_array, opline, (node).opline_num); \
550    } while (0)
551
552/* convert jump target back from run-time to compile-time */
553# define ZEND_PASS_TWO_UNDO_JMP_TARGET(op_array, opline, node) do { \
554        (node).opline_num = ZEND_OFFSET_TO_OPLINE_NUM(op_array, opline, (node).jmp_offset); \
555    } while (0)
556
557#endif
558
559/* constant-time constant */
560# define CT_CONSTANT_EX(op_array, num) \
561    ((op_array)->literals + (num))
562
563# define CT_CONSTANT(node) \
564    CT_CONSTANT_EX(CG(active_op_array), (node).constant)
565
566#if ZEND_USE_ABS_CONST_ADDR
567
568/* run-time constant */
569# define RT_CONSTANT_EX(base, node) \
570    (node).zv
571
572/* convert constant from compile-time to run-time */
573# define ZEND_PASS_TWO_UPDATE_CONSTANT(op_array, node) do { \
574        (node).zv = CT_CONSTANT_EX(op_array, (node).constant); \
575    } while (0)
576
577/* convert constant back from run-time to compile-time */
578# define ZEND_PASS_TWO_UNDO_CONSTANT(op_array, node) do { \
579        (node).constant = (node).zv - (op_array)->literals; \
580    } while (0)
581
582#else
583
584/* run-time constant */
585# define RT_CONSTANT_EX(base, node) \
586    ((zval*)(((char*)(base)) + (node).constant))
587
588/* convert constant from compile-time to run-time */
589# define ZEND_PASS_TWO_UPDATE_CONSTANT(op_array, node) do { \
590        (node).constant *= sizeof(zval); \
591    } while (0)
592
593/* convert constant back from run-time to compile-time (do nothing) */
594# define ZEND_PASS_TWO_UNDO_CONSTANT(op_array, node) do { \
595        (node).constant /= sizeof(zval); \
596    } while (0)
597
598#endif
599
600#if ZEND_EX_USE_LITERALS
601
602# define EX_LITERALS() \
603    EX(literals)
604
605# define EX_LOAD_LITERALS(op_array) do { \
606        EX(literals) = (op_array)->literals; \
607    } while (0)
608
609#else
610
611# define EX_LITERALS() \
612    EX(func)->op_array.literals
613
614# define EX_LOAD_LITERALS(op_array) do { \
615    } while (0)
616
617#endif
618
619/* run-time constant */
620#define RT_CONSTANT(op_array, node) \
621    RT_CONSTANT_EX((op_array)->literals, node)
622
623/* constant in currently executed function */
624#define EX_CONSTANT(node) \
625    RT_CONSTANT_EX(EX_LITERALS(), node)
626
627#if ZEND_EX_USE_RUN_TIME_CACHE
628
629# define EX_RUN_TIME_CACHE() \
630    EX(run_time_cache)
631
632# define EX_LOAD_RUN_TIME_CACHE(op_array) do { \
633        EX(run_time_cache) = (op_array)->run_time_cache; \
634    } while (0)
635
636#else
637
638# define EX_RUN_TIME_CACHE() \
639    EX(func)->op_array.run_time_cache
640
641# define EX_LOAD_RUN_TIME_CACHE(op_array) do { \
642    } while (0)
643
644#endif
645
646#define IS_CONST    (1<<0)
647#define IS_TMP_VAR  (1<<1)
648#define IS_VAR      (1<<2)
649#define IS_UNUSED   (1<<3)  /* Unused variable */
650#define IS_CV       (1<<4)  /* Compiled variable */
651
652#define EXT_TYPE_UNUSED (1<<5)
653
654#include "zend_globals.h"
655
656BEGIN_EXTERN_C()
657
658void init_compiler(void);
659void shutdown_compiler(void);
660void zend_init_compiler_data_structures(void);
661
662void zend_oparray_context_begin(zend_oparray_context *prev_context);
663void zend_oparray_context_end(zend_oparray_context *prev_context);
664void zend_file_context_begin(zend_file_context *prev_context);
665void zend_file_context_end(zend_file_context *prev_context);
666
667extern ZEND_API zend_op_array *(*zend_compile_file)(zend_file_handle *file_handle, int type);
668extern ZEND_API zend_op_array *(*zend_compile_string)(zval *source_string, char *filename);
669
670ZEND_API int lex_scan(zval *zendlval);
671void startup_scanner(void);
672void shutdown_scanner(void);
673
674ZEND_API zend_string *zend_set_compiled_filename(zend_string *new_compiled_filename);
675ZEND_API void zend_restore_compiled_filename(zend_string *original_compiled_filename);
676ZEND_API zend_string *zend_get_compiled_filename(void);
677ZEND_API int zend_get_compiled_lineno(void);
678ZEND_API size_t zend_get_scanned_file_offset(void);
679
680ZEND_API zend_string *zend_get_compiled_variable_name(const zend_op_array *op_array, uint32_t var);
681
682#ifdef ZTS
683const char *zend_get_zendtext(void);
684int zend_get_zendleng(void);
685#endif
686
687typedef int (ZEND_FASTCALL *unary_op_type)(zval *, zval *);
688typedef int (ZEND_FASTCALL *binary_op_type)(zval *, zval *, zval *);
689
690ZEND_API unary_op_type get_unary_op(int opcode);
691ZEND_API binary_op_type get_binary_op(int opcode);
692
693void zend_stop_lexing(void);
694void zend_emit_final_return(zval *zv);
695zend_ast *zend_ast_append_str(zend_ast *left, zend_ast *right);
696uint32_t zend_add_class_modifier(uint32_t flags, uint32_t new_flag);
697uint32_t zend_add_member_modifier(uint32_t flags, uint32_t new_flag);
698zend_ast *zend_ast_append_doc_comment(zend_ast *list);
699void zend_handle_encoding_declaration(zend_ast *ast);
700
701/* parser-driven code generators */
702void zend_do_free(znode *op1);
703
704ZEND_API int do_bind_function(const zend_op_array *op_array, const zend_op *opline, HashTable *function_table, zend_bool compile_time);
705ZEND_API zend_class_entry *do_bind_class(const zend_op_array *op_array, const zend_op *opline, HashTable *class_table, zend_bool compile_time);
706ZEND_API zend_class_entry *do_bind_inherited_class(const zend_op_array *op_array, const zend_op *opline, HashTable *class_table, zend_class_entry *parent_ce, zend_bool compile_time);
707ZEND_API void zend_do_delayed_early_binding(const zend_op_array *op_array);
708
709void zend_do_extended_info(void);
710void zend_do_extended_fcall_begin(void);
711void zend_do_extended_fcall_end(void);
712
713void zend_verify_namespace(void);
714
715void zend_resolve_goto_label(zend_op_array *op_array, znode *label_node, zend_op *pass2_opline);
716
717ZEND_API void function_add_ref(zend_function *function);
718
719#define INITIAL_OP_ARRAY_SIZE 64
720
721
722/* helper functions in zend_language_scanner.l */
723ZEND_API zend_op_array *compile_file(zend_file_handle *file_handle, int type);
724ZEND_API zend_op_array *compile_string(zval *source_string, char *filename);
725ZEND_API zend_op_array *compile_filename(int type, zval *filename);
726ZEND_API int zend_execute_scripts(int type, zval *retval, int file_count, ...);
727ZEND_API int open_file_for_scanning(zend_file_handle *file_handle);
728ZEND_API void init_op_array(zend_op_array *op_array, zend_uchar type, int initial_ops_size);
729ZEND_API zend_bool destroy_op_array(zend_op_array *op_array);
730ZEND_API void zend_destroy_file_handle(zend_file_handle *file_handle);
731ZEND_API void zend_cleanup_user_class_data(zend_class_entry *ce);
732ZEND_API void zend_cleanup_internal_class_data(zend_class_entry *ce);
733ZEND_API void zend_cleanup_internal_classes(void);
734ZEND_API void zend_cleanup_op_array_data(zend_op_array *op_array);
735ZEND_API int clean_non_persistent_function_full(zval *zv);
736ZEND_API int clean_non_persistent_class_full(zval *zv);
737
738ZEND_API void destroy_zend_function(zend_function *function);
739ZEND_API void zend_function_dtor(zval *zv);
740ZEND_API void destroy_zend_class(zval *zv);
741void zend_class_add_ref(zval *zv);
742
743ZEND_API zend_string *zend_mangle_property_name(const char *src1, size_t src1_length, const char *src2, size_t src2_length, int internal);
744#define zend_unmangle_property_name(mangled_property, class_name, prop_name) \
745        zend_unmangle_property_name_ex(mangled_property, class_name, prop_name, NULL)
746ZEND_API int zend_unmangle_property_name_ex(const zend_string *name, const char **class_name, const char **prop_name, size_t *prop_len);
747
748#define ZEND_FUNCTION_DTOR zend_function_dtor
749#define ZEND_CLASS_DTOR destroy_zend_class
750
751zend_op *get_next_op(zend_op_array *op_array);
752void init_op(zend_op *op);
753int get_next_op_number(zend_op_array *op_array);
754int print_class(zend_class_entry *class_entry);
755void print_op_array(zend_op_array *op_array, int optimizations);
756ZEND_API int pass_two(zend_op_array *op_array);
757zend_brk_cont_element *get_next_brk_cont_element(zend_op_array *op_array);
758ZEND_API zend_bool zend_is_compiling(void);
759ZEND_API char *zend_make_compiled_string_description(const char *name);
760ZEND_API void zend_initialize_class_data(zend_class_entry *ce, zend_bool nullify_handlers);
761uint32_t zend_get_class_fetch_type(zend_string *name);
762ZEND_API zend_uchar zend_get_call_op(zend_uchar init_op, zend_function *fbc);
763
764typedef zend_bool (*zend_auto_global_callback)(zend_string *name);
765typedef struct _zend_auto_global {
766    zend_string *name;
767    zend_auto_global_callback auto_global_callback;
768    zend_bool jit;
769    zend_bool armed;
770} zend_auto_global;
771
772ZEND_API int zend_register_auto_global(zend_string *name, zend_bool jit, zend_auto_global_callback auto_global_callback);
773ZEND_API void zend_activate_auto_globals(void);
774ZEND_API zend_bool zend_is_auto_global(zend_string *name);
775ZEND_API zend_bool zend_is_auto_global_str(char *name, size_t len);
776ZEND_API size_t zend_dirname(char *path, size_t len);
777ZEND_API void zend_set_function_arg_flags(zend_function *func);
778
779int zendlex(zend_parser_stack_elem *elem);
780
781int zend_add_literal(zend_op_array *op_array, zval *zv);
782
783ZEND_API void zend_assert_valid_class_name(const zend_string *const_name);
784
785/* BEGIN: OPCODES */
786
787#include "zend_vm_opcodes.h"
788
789/* END: OPCODES */
790
791/* class fetches */
792#define ZEND_FETCH_CLASS_DEFAULT    0
793#define ZEND_FETCH_CLASS_SELF       1
794#define ZEND_FETCH_CLASS_PARENT     2
795#define ZEND_FETCH_CLASS_STATIC     3
796#define ZEND_FETCH_CLASS_AUTO       4
797#define ZEND_FETCH_CLASS_INTERFACE  5
798#define ZEND_FETCH_CLASS_TRAIT      6
799#define ZEND_FETCH_CLASS_MASK        0x0f
800#define ZEND_FETCH_CLASS_NO_AUTOLOAD 0x80
801#define ZEND_FETCH_CLASS_SILENT      0x0100
802#define ZEND_FETCH_CLASS_EXCEPTION   0x0200
803
804/* variable parsing type (compile-time) */
805#define ZEND_PARSED_MEMBER              (1<<0)
806#define ZEND_PARSED_METHOD_CALL         (1<<1)
807#define ZEND_PARSED_STATIC_MEMBER       (1<<2)
808#define ZEND_PARSED_FUNCTION_CALL       (1<<3)
809#define ZEND_PARSED_VARIABLE            (1<<4)
810#define ZEND_PARSED_REFERENCE_VARIABLE  (1<<5)
811#define ZEND_PARSED_NEW                 (1<<6)
812#define ZEND_PARSED_LIST_EXPR           (1<<7)
813
814#define ZEND_PARAM_REF      (1<<0)
815#define ZEND_PARAM_VARIADIC (1<<1)
816
817#define ZEND_NAME_FQ       0
818#define ZEND_NAME_NOT_FQ   1
819#define ZEND_NAME_RELATIVE 2
820
821/* unset types */
822#define ZEND_UNSET_REG 0
823
824/* var status for backpatching */
825#define BP_VAR_R            0
826#define BP_VAR_W            1
827#define BP_VAR_RW           2
828#define BP_VAR_IS           3
829#define BP_VAR_FUNC_ARG     4
830#define BP_VAR_UNSET        5
831#define BP_VAR_REF          6   /* right-hand side of by-ref assignment */
832
833/* Bottom 3 bits are the type, top bits are arg num for BP_VAR_FUNC_ARG */
834#define BP_VAR_SHIFT 3
835#define BP_VAR_MASK  7
836
837
838#define ZEND_INTERNAL_FUNCTION              1
839#define ZEND_USER_FUNCTION                  2
840#define ZEND_OVERLOADED_FUNCTION            3
841#define ZEND_EVAL_CODE                      4
842#define ZEND_OVERLOADED_FUNCTION_TEMPORARY  5
843
844/* A quick check (type == ZEND_USER_FUNCTION || type == ZEND_EVAL_CODE) */
845#define ZEND_USER_CODE(type) ((type & 1) == 0)
846
847#define ZEND_INTERNAL_CLASS         1
848#define ZEND_USER_CLASS             2
849
850#define ZEND_EVAL               (1<<0)
851#define ZEND_INCLUDE            (1<<1)
852#define ZEND_INCLUDE_ONCE       (1<<2)
853#define ZEND_REQUIRE            (1<<3)
854#define ZEND_REQUIRE_ONCE       (1<<4)
855
856#define ZEND_CT (1<<0)
857#define ZEND_RT (1<<1)
858
859/* global/local fetches */
860#define ZEND_FETCH_GLOBAL           0x00000000
861#define ZEND_FETCH_LOCAL            0x10000000
862#define ZEND_FETCH_STATIC           0x20000000
863#define ZEND_FETCH_STATIC_MEMBER    0x30000000
864#define ZEND_FETCH_GLOBAL_LOCK      0x40000000
865#define ZEND_FETCH_LEXICAL          0x50000000
866
867#define ZEND_FETCH_TYPE_MASK        0x70000000
868
869#define ZEND_FETCH_STANDARD         0x00000000
870
871#define ZEND_ISSET                  0x02000000
872#define ZEND_ISEMPTY                0x01000000
873#define ZEND_ISSET_ISEMPTY_MASK     (ZEND_ISSET | ZEND_ISEMPTY)
874#define ZEND_QUICK_SET              0x00800000
875
876#define ZEND_FETCH_ARG_MASK         0x000fffff
877
878#define ZEND_FREE_ON_RETURN     (1<<0)
879
880#define ZEND_MEMBER_FUNC_CALL   (1<<0)
881
882#define ZEND_ARG_SEND_BY_REF (1<<0)
883#define ZEND_ARG_COMPILE_TIME_BOUND (1<<1)
884#define ZEND_ARG_SEND_FUNCTION (1<<2)
885#define ZEND_ARG_SEND_SILENT   (1<<3)
886
887#define ZEND_SEND_BY_VAL     0
888#define ZEND_SEND_BY_REF     1
889#define ZEND_SEND_PREFER_REF 2
890
891static zend_always_inline int zend_check_arg_send_type(const zend_function *zf, uint32_t arg_num, uint32_t mask)
892{
893    arg_num--;
894    if (UNEXPECTED(arg_num >= zf->common.num_args)) {
895        if (EXPECTED((zf->common.fn_flags & ZEND_ACC_VARIADIC) == 0)) {
896            return 0;
897        }
898        arg_num = zf->common.num_args;
899    }
900    return UNEXPECTED((zf->common.arg_info[arg_num].pass_by_reference & mask) != 0);
901}
902
903#define ARG_MUST_BE_SENT_BY_REF(zf, arg_num) \
904    zend_check_arg_send_type(zf, arg_num, ZEND_SEND_BY_REF)
905
906#define ARG_SHOULD_BE_SENT_BY_REF(zf, arg_num) \
907    zend_check_arg_send_type(zf, arg_num, ZEND_SEND_BY_REF|ZEND_SEND_PREFER_REF)
908
909#define ARG_MAY_BE_SENT_BY_REF(zf, arg_num) \
910    zend_check_arg_send_type(zf, arg_num, ZEND_SEND_PREFER_REF)
911
912/* Quick API to check firat 12 arguments */
913#define MAX_ARG_FLAG_NUM 12
914
915#ifdef WORDS_BIGENDIAN
916# define ZEND_SET_ARG_FLAG(zf, arg_num, mask) do { \
917        *(uint32_t*)&(zf)->type |= ((mask) << ((arg_num) - 1) * 2); \
918    } while (0)
919# define ZEND_CHECK_ARG_FLAG(zf, arg_num, mask) \
920    (((*((uint32_t*)&((zf)->type))) >> (((arg_num) - 1) * 2)) & (mask))
921#else
922# define ZEND_SET_ARG_FLAG(zf, arg_num, mask) do { \
923        *(uint32_t*)&(zf)->type |= (((mask) << 6) << (arg_num) * 2); \
924    } while (0)
925# define ZEND_CHECK_ARG_FLAG(zf, arg_num, mask) \
926    (((*(uint32_t*)&(zf)->type) >> (((arg_num) + 3) * 2)) & (mask))
927#endif
928
929#define QUICK_ARG_MUST_BE_SENT_BY_REF(zf, arg_num) \
930    ZEND_CHECK_ARG_FLAG(zf, arg_num, ZEND_SEND_BY_REF)
931
932#define QUICK_ARG_SHOULD_BE_SENT_BY_REF(zf, arg_num) \
933    ZEND_CHECK_ARG_FLAG(zf, arg_num, ZEND_SEND_BY_REF|ZEND_SEND_PREFER_REF)
934
935#define QUICK_ARG_MAY_BE_SENT_BY_REF(zf, arg_num) \
936    ZEND_CHECK_ARG_FLAG(zf, arg_num, ZEND_SEND_PREFER_REF)
937
938#define ZEND_RETURN_VAL 0
939#define ZEND_RETURN_REF 1
940
941
942#define ZEND_RETURNS_FUNCTION 1<<0
943#define ZEND_RETURNS_VALUE    1<<1
944
945#define ZEND_FAST_RET_TO_CATCH      1
946#define ZEND_FAST_RET_TO_FINALLY    2
947
948#define ZEND_FAST_CALL_FROM_FINALLY 1
949
950#define ZEND_ARRAY_ELEMENT_REF      (1<<0)
951#define ZEND_ARRAY_NOT_PACKED       (1<<1)
952#define ZEND_ARRAY_SIZE_SHIFT       2
953
954/* Pseudo-opcodes that are used only temporarily during compilation */
955#define ZEND_GOTO 253
956#define ZEND_BRK  254
957#define ZEND_CONT 255
958
959
960END_EXTERN_C()
961
962#define ZEND_CLONE_FUNC_NAME        "__clone"
963#define ZEND_CONSTRUCTOR_FUNC_NAME  "__construct"
964#define ZEND_DESTRUCTOR_FUNC_NAME   "__destruct"
965#define ZEND_GET_FUNC_NAME          "__get"
966#define ZEND_SET_FUNC_NAME          "__set"
967#define ZEND_UNSET_FUNC_NAME        "__unset"
968#define ZEND_ISSET_FUNC_NAME        "__isset"
969#define ZEND_CALL_FUNC_NAME         "__call"
970#define ZEND_CALLSTATIC_FUNC_NAME   "__callstatic"
971#define ZEND_TOSTRING_FUNC_NAME     "__tostring"
972#define ZEND_AUTOLOAD_FUNC_NAME     "__autoload"
973#define ZEND_INVOKE_FUNC_NAME       "__invoke"
974#define ZEND_DEBUGINFO_FUNC_NAME    "__debuginfo"
975
976/* The following constants may be combined in CG(compiler_options)
977 * to change the default compiler behavior */
978
979/* generate extended debug information */
980#define ZEND_COMPILE_EXTENDED_INFO              (1<<0)
981
982/* call op_array handler of extendions */
983#define ZEND_COMPILE_HANDLE_OP_ARRAY            (1<<1)
984
985/* generate ZEND_INIT_FCALL_BY_NAME for internal functions instead of ZEND_INIT_FCALL */
986#define ZEND_COMPILE_IGNORE_INTERNAL_FUNCTIONS  (1<<2)
987
988/* don't perform early binding for classes inherited form internal ones;
989 * in namespaces assume that internal class that doesn't exist at compile-time
990 * may apper in run-time */
991#define ZEND_COMPILE_IGNORE_INTERNAL_CLASSES    (1<<3)
992
993/* generate ZEND_DECLARE_INHERITED_CLASS_DELAYED opcode to delay early binding */
994#define ZEND_COMPILE_DELAYED_BINDING            (1<<4)
995
996/* disable constant substitution at compile-time */
997#define ZEND_COMPILE_NO_CONSTANT_SUBSTITUTION   (1<<5)
998
999/* disable usage of builtin instruction for strlen() */
1000#define ZEND_COMPILE_NO_BUILTIN_STRLEN          (1<<6)
1001
1002/* disable substitution of persistent constants at compile-time */
1003#define ZEND_COMPILE_NO_PERSISTENT_CONSTANT_SUBSTITUTION    (1<<7)
1004
1005/* generate ZEND_INIT_FCALL_BY_NAME for userland functions instead of ZEND_INIT_FCALL */
1006#define ZEND_COMPILE_IGNORE_USER_FUNCTIONS      (1<<8)
1007
1008/* The default value for CG(compiler_options) */
1009#define ZEND_COMPILE_DEFAULT                    ZEND_COMPILE_HANDLE_OP_ARRAY
1010
1011/* The default value for CG(compiler_options) during eval() */
1012#define ZEND_COMPILE_DEFAULT_FOR_EVAL           0
1013
1014#endif /* ZEND_COMPILE_H */
1015
1016/*
1017 * Local variables:
1018 * tab-width: 4
1019 * c-basic-offset: 4
1020 * indent-tabs-mode: t
1021 * End:
1022 */
1023