source: trunk/xcache/xc_utils.c @ 1017

Last change on this file since 1017 was 1017, checked in by moo, 21 months ago

remove unused func

  • Property svn:eol-style set to native
File size: 16.2 KB
Line 
1
2#include "xcache.h"
3#include "xcache_globals.h"
4#include "xc_utils.h"
5#ifdef ZEND_ENGINE_2_1
6#include "zend_vm.h"
7#endif
8#include "xc_opcode_spec.h"
9#include "util/xc_trace.h"
10
11#ifndef max
12#define max(a, b) ((a) < (b) ? (b) : (a))
13#endif
14
15#ifndef ZEND_VM_SET_OPCODE_HANDLER
16#   define ZEND_VM_SET_OPCODE_HANDLER(opline) do { } while (0)
17#endif
18
19#ifdef ZEND_ENGINE_2_4
20#   define OP_ZVAL_DTOR(op) do { } while(0)
21#else
22#   define OP_ZVAL_DTOR(op) do { \
23        Z_UNSET_ISREF(Z_OP_CONSTANT(op)); \
24        zval_dtor(&Z_OP_CONSTANT(op)); \
25    } while(0)
26#endif
27
28/* }}} */
29
30xc_compile_result_t *xc_compile_result_init(xc_compile_result_t *cr, /* {{{ */
31        zend_op_array *op_array,
32        HashTable *function_table,
33        HashTable *class_table)
34{
35    assert(cr);
36    cr->op_array       = op_array;
37    cr->function_table = function_table;
38    cr->class_table    = class_table;
39    return cr;
40}
41/* }}} */
42xc_compile_result_t *xc_compile_result_init_cur(xc_compile_result_t *cr, zend_op_array *op_array TSRMLS_DC) /* {{{ */
43{
44    assert(cr);
45    return xc_compile_result_init(cr, op_array, CG(function_table), CG(class_table));
46}
47/* }}} */
48void xc_compile_result_free(xc_compile_result_t *cr) /* {{{ */
49{
50}
51/* }}} */
52
53static int xc_apply_function(zend_function *zf, apply_func_t applyer TSRMLS_DC) /* {{{ */
54{
55    switch (zf->type) {
56    case ZEND_USER_FUNCTION:
57    case ZEND_EVAL_CODE:
58        return applyer(&zf->op_array TSRMLS_CC);
59        break;
60
61    case ZEND_INTERNAL_FUNCTION:
62    case ZEND_OVERLOADED_FUNCTION:
63        break;
64
65    EMPTY_SWITCH_DEFAULT_CASE();
66    }
67    return 0;
68}
69/* }}} */
70typedef struct {
71    apply_func_t applyer;
72    zend_class_entry *ce;
73} xc_apply_method_info;
74int xc_apply_method(zend_function *zf, xc_apply_method_info *mi TSRMLS_DC) /* {{{ */
75{
76    /* avoid duplicate apply for shadowed method */
77#ifdef ZEND_ENGINE_2
78    if (mi->ce != zf->common.scope) {
79        /* fprintf(stderr, "avoided duplicate %s\n", zf->common.function_name); */
80        return 0;
81    }
82#else
83    char *name = zf->common.function_name;
84    int name_s = strlen(name) + 1;
85    zend_class_entry *ce;
86    zend_function *ptr;
87
88    for (ce = mi->ce->parent; ce; ce = ce->parent) {
89        if (zend_hash_find(&ce->function_table, name, name_s, (void **) &ptr) == SUCCESS) {
90            if (ptr->op_array.refcount == zf->op_array.refcount) {
91                return 0;
92            }
93        }
94    }
95#endif
96    return xc_apply_function(zf, mi->applyer TSRMLS_CC);
97}
98/* }}} */
99static int xc_apply_cest(xc_cest_t *cest, apply_func_t applyer TSRMLS_DC) /* {{{ */
100{
101    xc_apply_method_info mi;
102
103    mi.applyer = applyer;
104    mi.ce      = CestToCePtr(*cest);
105    zend_hash_apply_with_argument(&(CestToCePtr(*cest)->function_table), (apply_func_arg_t) xc_apply_method, &mi TSRMLS_CC);
106    return 0;
107}
108/* }}} */
109int xc_apply_op_array(xc_compile_result_t *cr, apply_func_t applyer TSRMLS_DC) /* {{{ */
110{
111    zend_hash_apply_with_argument(cr->function_table, (apply_func_arg_t) xc_apply_function, (void *) applyer TSRMLS_CC);
112    zend_hash_apply_with_argument(cr->class_table, (apply_func_arg_t) xc_apply_cest, (void *) applyer TSRMLS_CC);
113
114    return applyer(cr->op_array TSRMLS_CC);
115}
116/* }}} */
117int xc_undo_pass_two(zend_op_array *op_array TSRMLS_DC) /* {{{ */
118{
119    zend_op *opline, *opline_end;
120
121#ifdef ZEND_ENGINE_2_4
122    if (!(op_array->fn_flags & ZEND_ACC_DONE_PASS_TWO)) {
123        return 0;
124    }
125#else
126    if (!op_array->done_pass_two) {
127        return 0;
128    }
129#endif
130
131    opline = op_array->opcodes;
132    opline_end = opline + op_array->last;
133    while (opline < opline_end) {
134#ifdef ZEND_ENGINE_2_4
135        if (opline->op1_type == IS_CONST) {
136            opline->op1.constant = opline->op1.literal - op_array->literals;
137        }
138        if (opline->op2_type == IS_CONST) {
139            opline->op2.constant = opline->op2.literal - op_array->literals;
140        }
141#endif
142
143#ifdef ZEND_ENGINE_2_1
144        switch (opline->opcode) {
145#ifdef ZEND_GOTO
146            case ZEND_GOTO:
147#endif
148            case ZEND_JMP:
149                assert(Z_OP(opline->op1).jmp_addr >= op_array->opcodes && (zend_uint) (Z_OP(opline->op1).jmp_addr - op_array->opcodes) < op_array->last);
150                Z_OP(opline->op1).opline_num = Z_OP(opline->op1).jmp_addr - op_array->opcodes;
151                break;
152            case ZEND_JMPZ:
153            case ZEND_JMPNZ:
154            case ZEND_JMPZ_EX:
155            case ZEND_JMPNZ_EX:
156#ifdef ZEND_JMP_SET
157            case ZEND_JMP_SET:
158#endif
159#ifdef ZEND_JMP_SET_VAR
160            case ZEND_JMP_SET_VAR:
161#endif
162                assert(Z_OP(opline->op2).jmp_addr >= op_array->opcodes && (zend_uint) (Z_OP(opline->op2).jmp_addr - op_array->opcodes) < op_array->last);
163                Z_OP(opline->op2).opline_num = Z_OP(opline->op2).jmp_addr - op_array->opcodes;
164                break;
165        }
166#endif
167        opline++;
168    }
169#ifdef ZEND_ENGINE_2_4
170    op_array->fn_flags &= ~ZEND_ACC_DONE_PASS_TWO;
171#else
172    op_array->done_pass_two = 0;
173#endif
174
175    return 0;
176}
177/* }}} */
178int xc_redo_pass_two(zend_op_array *op_array TSRMLS_DC) /* {{{ */
179{
180    zend_op *opline, *opline_end;
181#ifdef ZEND_ENGINE_2_4
182    zend_literal *literal = op_array->literals;
183#endif
184
185#ifdef ZEND_ENGINE_2_4
186    if ((op_array->fn_flags & ZEND_ACC_DONE_PASS_TWO)) {
187        return 0;
188    }
189#else
190    if (op_array->done_pass_two) {
191        return 0;
192    }
193#endif
194
195    /*
196    op_array->opcodes = (zend_op *) erealloc(op_array->opcodes, sizeof(zend_op)*op_array->last);
197    op_array->size = op_array->last;
198    */
199#ifdef ZEND_ENGINE_2_4
200    if (literal) {
201        zend_literal *literal_end = literal + op_array->last_literal;
202        while (literal < literal_end) {
203            Z_SET_ISREF(literal->constant);
204            Z_SET_REFCOUNT(literal->constant, 2); /* Make sure is_ref won't be reset */
205            literal++;
206        }
207    }
208#endif
209
210    opline = op_array->opcodes;
211    opline_end = opline + op_array->last;
212    while (opline < opline_end) {
213#ifdef ZEND_ENGINE_2_4
214        if (opline->op1_type == IS_CONST) {
215            opline->op1.literal = op_array->literals + opline->op1.constant;
216        }
217        if (opline->op2_type == IS_CONST) {
218            opline->op2.literal = op_array->literals + opline->op2.constant;
219        }
220#else
221        if (Z_OP_TYPE(opline->op1) == IS_CONST) {
222            Z_SET_ISREF(Z_OP_CONSTANT(opline->op1));
223            Z_SET_REFCOUNT(Z_OP_CONSTANT(opline->op1), 2); /* Make sure is_ref won't be reset */
224        }
225        if (Z_OP_TYPE(opline->op2) == IS_CONST) {
226            Z_SET_ISREF(Z_OP_CONSTANT(opline->op2));
227            Z_SET_REFCOUNT(Z_OP_CONSTANT(opline->op2), 2);
228        }
229#endif
230#ifdef ZEND_ENGINE_2_1
231        switch (opline->opcode) {
232#ifdef ZEND_GOTO
233            case ZEND_GOTO:
234#endif
235            case ZEND_JMP:
236                assert(Z_OP(opline->op1).opline_num < op_array->last);
237                Z_OP(opline->op1).jmp_addr = op_array->opcodes + Z_OP(opline->op1).opline_num;
238                break;
239            case ZEND_JMPZ:
240            case ZEND_JMPNZ:
241            case ZEND_JMPZ_EX:
242            case ZEND_JMPNZ_EX:
243#ifdef ZEND_JMP_SET
244            case ZEND_JMP_SET:
245#endif
246                assert(Z_OP(opline->op2).opline_num < op_array->last);
247                Z_OP(opline->op2).jmp_addr = op_array->opcodes + Z_OP(opline->op2).opline_num;
248                break;
249        }
250        ZEND_VM_SET_OPCODE_HANDLER(opline);
251#endif
252        opline++;
253    }
254
255#ifdef ZEND_ENGINE_2_4
256    op_array->fn_flags |= ZEND_ACC_DONE_PASS_TWO;
257#else
258    op_array->done_pass_two = 1;
259#endif
260    return 0;
261}
262/* }}} */
263
264static void xc_fix_opcode_ex_znode(int tofix, xc_op_spec_t spec, Z_OP_TYPEOF_TYPE *op_type, znode_op *op, int type TSRMLS_DC) /* {{{ */
265{
266#ifdef ZEND_ENGINE_2
267    if ((*op_type != IS_UNUSED && (spec == OPSPEC_UCLASS || spec == OPSPEC_CLASS)) ||
268            spec == OPSPEC_FETCH) {
269        if (tofix) {
270            switch (*op_type) {
271            case IS_VAR:
272            case IS_TMP_VAR:
273                break;
274
275            default:
276                /* TODO: data lost, find a way to keep it */
277                /* assert(*op_type == IS_CONST); */
278                *op_type = IS_TMP_VAR;
279            }
280        }
281    }
282    switch (*op_type) {
283    case IS_TMP_VAR:
284    case IS_VAR:
285        if (tofix) {
286            Z_OP(*op).var /= sizeof(temp_variable);
287        }
288        else {
289            Z_OP(*op).var *= sizeof(temp_variable);
290        }
291    }
292#endif
293}
294/* }}} */
295
296static void xc_fix_opcode_ex(zend_op_array *op_array, int tofix TSRMLS_DC) /* {{{ */
297{
298    zend_op *opline;
299    zend_uint i;
300
301    opline = op_array->opcodes;
302    for (i = 0; i < op_array->last; i ++, opline ++) {
303        /* 3rd optimizer may have ... */
304        if (opline->opcode < xc_get_opcode_spec_count()) {
305            const xc_opcode_spec_t *spec;
306            spec = xc_get_opcode_spec(opline->opcode);
307
308            xc_fix_opcode_ex_znode(tofix, spec->op1, &Z_OP_TYPE(opline->op1),    &opline->op1, 0 TSRMLS_CC);
309            xc_fix_opcode_ex_znode(tofix, spec->op2, &Z_OP_TYPE(opline->op2),    &opline->op2, 1 TSRMLS_CC);
310            xc_fix_opcode_ex_znode(tofix, spec->res, &Z_OP_TYPE(opline->result), &opline->result, 2 TSRMLS_CC);
311        }
312    }
313}
314/* }}} */
315int xc_fix_opcode(zend_op_array *op_array TSRMLS_DC) /* {{{ */
316{
317    xc_fix_opcode_ex(op_array, 1 TSRMLS_CC);
318    return 0;
319}
320/* }}} */
321int xc_undo_fix_opcode(zend_op_array *op_array TSRMLS_DC) /* {{{ */
322{
323    xc_fix_opcode_ex(op_array, 0 TSRMLS_CC);
324
325    return 0;
326}
327/* }}} */
328
329int xc_foreach_early_binding_class(zend_op_array *op_array, xc_foreach_early_binding_class_cb callback, void *data TSRMLS_DC) /* {{{ */
330{
331    zend_op *opline, *begin, *opline_end, *next = NULL;
332
333    opline = begin = op_array->opcodes;
334    opline_end = opline + op_array->last;
335    while (opline < opline_end) {
336        switch (opline->opcode) {
337#ifdef ZEND_GOTO
338            case ZEND_GOTO:
339#endif
340            case ZEND_JMP:
341                next = begin + Z_OP(opline->op1).opline_num;
342                break;
343
344            case ZEND_JMPZNZ:
345                next = begin + max(Z_OP(opline->op2).opline_num, opline->extended_value);
346                break;
347
348            case ZEND_JMPZ:
349            case ZEND_JMPNZ:
350            case ZEND_JMPZ_EX:
351            case ZEND_JMPNZ_EX:
352#ifdef ZEND_JMP_SET
353            case ZEND_JMP_SET:
354#endif
355                next = begin + Z_OP(opline->op2).opline_num;
356                break;
357
358            case ZEND_RETURN:
359                opline = opline_end;
360                break;
361
362#ifdef ZEND_ENGINE_2
363            case ZEND_DECLARE_INHERITED_CLASS:
364                callback(opline, opline - begin, data TSRMLS_CC);
365                break;
366#else
367            case ZEND_DECLARE_FUNCTION_OR_CLASS:
368                if (opline->extended_value == ZEND_DECLARE_INHERITED_CLASS) {
369                    callback(opline, opline - begin, data TSRMLS_CC);
370                }
371                break;
372#endif
373        }
374
375        if (opline < next) {
376            opline = next;
377        }
378        else {
379            opline ++;
380        }
381    }
382    return SUCCESS;
383}
384/* }}} */
385#ifndef ZEND_COMPILE_DELAYED_BINDING
386int xc_do_early_binding(zend_op_array *op_array, HashTable *class_table, int oplineno TSRMLS_DC) /* {{{ */
387{
388    zend_op *opline;
389
390    TRACE("binding %d", oplineno);
391    assert(oplineno >= 0);
392
393    /* do early binding */
394    opline = &(op_array->opcodes[oplineno]);
395
396    switch (opline->opcode) {
397#ifdef ZEND_ENGINE_2
398    case ZEND_DECLARE_INHERITED_CLASS:
399        {
400            zval *parent_name;
401            zend_class_entry **pce;
402
403            /* don't early-bind classes that implement interfaces */
404            if ((opline + 1)->opcode == ZEND_FETCH_CLASS && (opline + 2)->opcode == ZEND_ADD_INTERFACE) {
405                return FAILURE;
406            }
407
408            parent_name = &(Z_OP_CONSTANT((opline - 1)->op2));
409            TRACE("binding with parent %s", Z_STRVAL_P(parent_name));
410            if (zend_lookup_class(Z_STRVAL_P(parent_name), Z_STRLEN_P(parent_name), &pce TSRMLS_CC) == FAILURE) {
411                return FAILURE;
412            }
413
414            if (do_bind_inherited_class(opline, class_table, *pce, 1 TSRMLS_CC) == NULL) {
415                return FAILURE;
416            }
417        }
418
419        /* clear unnecessary ZEND_FETCH_CLASS opcode */
420        if (opline > op_array->opcodes
421         && (opline - 1)->opcode == ZEND_FETCH_CLASS) {
422            zend_op *fetch_class_opline = opline - 1;
423
424            TRACE("%s %p", Z_STRVAL(Z_OP_CONSTANT(fetch_class_opline->op2)), Z_STRVAL(Z_OP_CONSTANT(fetch_class_opline->op2)));
425            OP_ZVAL_DTOR(fetch_class_opline->op2);
426            fetch_class_opline->opcode = ZEND_NOP;
427            ZEND_VM_SET_OPCODE_HANDLER(fetch_class_opline);
428            memset(&fetch_class_opline->op1, 0, sizeof(znode));
429            memset(&fetch_class_opline->op2, 0, sizeof(znode));
430            SET_UNUSED(fetch_class_opline->op1);
431            SET_UNUSED(fetch_class_opline->op2);
432            SET_UNUSED(fetch_class_opline->result);
433        }
434
435        /* clear unnecessary ZEND_VERIFY_ABSTRACT_CLASS opcode */
436        if ((opline + 1)->opcode == ZEND_VERIFY_ABSTRACT_CLASS) {
437            zend_op *abstract_op = opline + 1;
438            memset(abstract_op, 0, sizeof(abstract_op[0]));
439            abstract_op->lineno = 0;
440            SET_UNUSED(abstract_op->op1);
441            SET_UNUSED(abstract_op->op2);
442            SET_UNUSED(abstract_op->result);
443            abstract_op->opcode = ZEND_NOP;
444            ZEND_VM_SET_OPCODE_HANDLER(abstract_op);
445        }
446#else
447    case ZEND_DECLARE_FUNCTION_OR_CLASS:
448        if (do_bind_function_or_class(opline, NULL, class_table, 1) == FAILURE) {
449            return FAILURE;
450        }
451#endif
452        break;
453
454    default:
455        return FAILURE;
456    }
457
458    zend_hash_del(class_table, Z_OP_CONSTANT(opline->op1).value.str.val, Z_OP_CONSTANT(opline->op1).value.str.len);
459    OP_ZVAL_DTOR(opline->op1);
460    OP_ZVAL_DTOR(opline->op2);
461    opline->opcode = ZEND_NOP;
462    ZEND_VM_SET_OPCODE_HANDLER(opline);
463    memset(&opline->op1, 0, sizeof(znode));
464    memset(&opline->op2, 0, sizeof(znode));
465    SET_UNUSED(opline->op1);
466    SET_UNUSED(opline->op2);
467    return SUCCESS;
468}
469/* }}} */
470#endif
471
472#ifdef HAVE_XCACHE_CONSTANT
473void xc_install_constant(ZEND_24(NOTHING, const) char *filename, zend_constant *constant, zend_uchar type, const24_zstr key, uint len, ulong h TSRMLS_DC) /* {{{ */
474{
475    if (zend_u_hash_add(EG(zend_constants), type, key, len,
476                constant, sizeof(zend_constant),
477                NULL
478                ) == FAILURE) {
479        CG(zend_lineno) = 0;
480#ifdef IS_UNICODE
481        zend_error(E_NOTICE, "Constant %R already defined", type, key);
482#else
483        zend_error(E_NOTICE, "Constant %s already defined", key);
484#endif
485        free(ZSTR_V(constant->name));
486        if (!(constant->flags & CONST_PERSISTENT)) {
487            zval_dtor(&constant->value);
488        }
489    }
490}
491/* }}} */
492#endif
493void xc_install_function(ZEND_24(NOTHING, const) char *filename, zend_function *func, zend_uchar type, const24_zstr key, uint len, ulong h TSRMLS_DC) /* {{{ */
494{
495    zend_bool istmpkey;
496
497    if (func->type == ZEND_USER_FUNCTION) {
498#ifdef IS_UNICODE
499        istmpkey = (type == IS_STRING && ZSTR_S(key)[0] == 0) || ZSTR_U(key)[0] == 0;
500#else
501        istmpkey = ZSTR_S(key)[0] == 0;
502#endif
503        if (istmpkey) {
504            zend_u_hash_update(CG(function_table), type, key, len,
505                        func, sizeof(zend_op_array),
506                        NULL
507                        );
508        }
509        else if (zend_u_hash_add(CG(function_table), type, key, len,
510                    func, sizeof(zend_op_array),
511                    NULL
512                    ) == FAILURE) {
513            CG(zend_lineno) = ZESW(func->op_array.opcodes[0].lineno, func->op_array.line_start);
514#ifdef IS_UNICODE
515            zend_error(E_ERROR, "Cannot redeclare %R()", type, key);
516#else
517            zend_error(E_ERROR, "Cannot redeclare %s()", key);
518#endif
519        }
520    }
521}
522/* }}} */
523ZESW(xc_cest_t *, void) xc_install_class(ZEND_24(NOTHING, const) char *filename, xc_cest_t *cest, int oplineno, zend_uchar type, const24_zstr key, uint len, ulong h TSRMLS_DC) /* {{{ */
524{
525    zend_bool istmpkey;
526    zend_class_entry *cep = CestToCePtr(*cest);
527    ZESW(void *stored_ce_ptr, NOTHING);
528
529#ifdef IS_UNICODE
530    istmpkey = (type == IS_STRING && ZSTR_S(key)[0] == 0) || ZSTR_U(key)[0] == 0;
531#else
532    istmpkey = ZSTR_S(key)[0] == 0;
533#endif
534    if (istmpkey) {
535        zend_u_hash_quick_update(CG(class_table), type, key, len, h,
536                    cest, sizeof(xc_cest_t),
537                    ZESW(&stored_ce_ptr, NULL)
538                    );
539#ifndef ZEND_COMPILE_DELAYED_BINDING
540        if (oplineno != -1) {
541            xc_do_early_binding(CG(active_op_array), CG(class_table), oplineno TSRMLS_CC);
542        }
543#endif
544    }
545    else if (zend_u_hash_quick_add(CG(class_table), type, key, len, h,
546                cest, sizeof(xc_cest_t),
547                ZESW(&stored_ce_ptr, NULL)
548                ) == FAILURE) {
549        CG(zend_lineno) = ZESW(0, Z_CLASS_INFO(*cep).line_start);
550#ifdef IS_UNICODE
551        zend_error(E_ERROR, "Cannot redeclare class %R", type, cep->name);
552#else
553        zend_error(E_ERROR, "Cannot redeclare class %s", cep->name);
554#endif
555        assert(oplineno == -1);
556    }
557    ZESW(return (xc_cest_t *) stored_ce_ptr, NOTHING);
558}
559/* }}} */
560
561void xc_hash_copy_if(HashTable *target, HashTable *source, copy_ctor_func_t pCopyConstructor, void *tmp, uint size, xc_if_func_t checker) /* {{{ */
562{
563    Bucket *p;
564    void *new_entry;
565    zend_bool setTargetPointer;
566
567    setTargetPointer = !target->pInternalPointer;
568    p = source->pListHead;
569    while (p) {
570        if (checker(p->pData)) {
571            if (setTargetPointer && source->pInternalPointer == p) {
572                target->pInternalPointer = NULL;
573            }
574            if (p->nKeyLength) {
575                zend_u_hash_quick_update(target, p->key.type, ZSTR(BUCKET_KEY_S(p)), p->nKeyLength, p->h, p->pData, size, &new_entry);
576            } else {
577                zend_hash_index_update(target, p->h, p->pData, size, &new_entry);
578            }
579            if (pCopyConstructor) {
580                pCopyConstructor(new_entry);
581            }
582        }
583        p = p->pListNext;
584    }
585    if (!target->pInternalPointer) {
586        target->pInternalPointer = target->pListHead;
587    }
588}
589/* }}} */
590#ifdef HAVE_XCACHE_CONSTANT
591static zend_bool xc_is_internal_zend_constant(zend_constant *c) /* {{{ */
592{
593    return (c->flags & CONST_PERSISTENT) ? 1 : 0;
594}
595/* }}} */
596void xc_zend_constant_ctor(zend_constant *c) /* {{{ */
597{
598    assert((c->flags & CONST_PERSISTENT));
599    ZSTR_U(c->name) = UNISW(zend_strndup, zend_ustrndup)(ZSTR_U(c->name), c->name_len - 1);
600}
601/* }}} */
602void xc_zend_constant_dtor(zend_constant *c) /* {{{ */
603{
604    free(ZSTR_V(c->name));
605}
606/* }}} */
607void xc_copy_internal_zend_constants(HashTable *target, HashTable *source) /* {{{ */
608{
609    zend_constant tmp_const;
610    xc_hash_copy_if(target, source, (copy_ctor_func_t) xc_zend_constant_ctor, (void *) &tmp_const, sizeof(zend_constant), (xc_if_func_t) xc_is_internal_zend_constant);
611}
612/* }}} */
613#endif
Note: See TracBrowser for help on using the repository browser.