source: trunk/mod_optimizer/xc_optimizer.c @ 1278

Last change on this file since 1278 was 1278, checked in by moo, 15 months ago

disable optimizer for PHP 5.5 for now. TODO: support for finally_op/finally_end

  • Property svn:eol-style set to native
File size: 17.0 KB
RevLine 
[338]1#if 0
[543]2#   define XCACHE_DEBUG
[308]3#endif
4
[1026]5#include "xc_optimizer.h"
6#include "xcache/xc_extension.h"
7#include "xcache/xc_ini.h"
[1003]8#include "xcache/xc_utils.h"
9#include "util/xc_stack.h"
10#include "util/xc_trace.h"
[477]11#include "xcache_globals.h"
[1]12
[1026]13#include "ext/standard/info.h"
14
[543]15#ifdef XCACHE_DEBUG
[1003]16#   include "xc_processor.h"
17#   include "xcache/xc_const_string.h"
[331]18#   include "ext/standard/php_var.h"
[308]19#endif
20
[331]21#ifdef IS_CV
22#   define XCACHE_IS_CV IS_CV
23#else
24#   define XCACHE_IS_CV 16
25#endif
26
[822]27#ifdef ZEND_ENGINE_2_4
28#   undef Z_OP_CONSTANT
29/* Z_OP_CONSTANT is used before pass_two is applied */
[1276]30#   define Z_OP_CONSTANT(op) op_array->literals[(op).constant].constant
[822]31#endif
32
[1008]33typedef zend_uint bbid_t;
34#define BBID_INVALID ((bbid_t) -1)
[308]35/* {{{ basic block */
36typedef struct _bb_t {
37    bbid_t     id;
38    zend_bool  used;
39
40    zend_bool  alloc;
41    zend_op   *opcodes;
42    int        count;
43    int        size;
44
[312]45    bbid_t     fall;
[657]46#ifdef ZEND_ENGINE_2
[326]47    bbid_t     catch;
[657]48#endif
[1278]49#ifdef ZEND_ENGINE_2_5
50    bbid_t     finally;
51#endif
[326]52
[1008]53    zend_uint  opnum; /* opnum after joining basic block */
[308]54} bb_t;
55/* }}} */
56
57/* basic blocks */
58typedef xc_stack_t bbs_t;
59
[326]60/* op array helper functions */
[308]61static int op_array_convert_switch(zend_op_array *op_array) /* {{{ */
62{
[1008]63    zend_uint i;
[308]64
65    if (op_array->brk_cont_array == NULL) {
66        return SUCCESS;
67    }
68
69    for (i = 0; i < op_array->last; i ++) {
70        zend_op *opline = &op_array->opcodes[i];
71        zend_brk_cont_element *jmp_to;
[834]72        zend_bool can_convert = 1;
[1249]73        int array_offset, nest_levels;
[308]74
[834]75        switch (opline->opcode) {
76        case ZEND_BRK:
77        case ZEND_CONT:
78            break;
79
80#ifdef ZEND_GOTO
81        case ZEND_GOTO:
82#endif
[845]83            continue;
[834]84
85        default:
86            continue;
[308]87        }
[834]88
[716]89        if (Z_OP_TYPE(opline->op2) != IS_CONST
90         || Z_OP_CONSTANT(opline->op2).type != IS_LONG) {
[308]91            return FAILURE;
92        }
93
[716]94        nest_levels = Z_OP_CONSTANT(opline->op2).value.lval;
[308]95
[716]96        array_offset = Z_OP(opline->op1).opline_num;
[308]97        do {
98            if (array_offset == -1) {
99                return FAILURE;
100            }
101            jmp_to = &op_array->brk_cont_array[array_offset];
102            if (nest_levels > 1) {
103                zend_op *brk_opline = &op_array->opcodes[jmp_to->brk];
104
105                switch (brk_opline->opcode) {
106                case ZEND_SWITCH_FREE:
107                case ZEND_FREE:
[847]108#ifdef EXT_TYPE_FREE_ON_RETURN
109                    if (!(brk_opline->extended_value & EXT_TYPE_FREE_ON_RETURN))
110#endif
111                    {
[834]112                        can_convert = 0;
113                    }
[308]114                    break;
115                }
116            }
117            array_offset = jmp_to->parent;
118        } while (--nest_levels > 0);
119
[834]120        if (can_convert) {
121            /* rewrite to jmp */
122            switch (opline->opcode) {
123            case ZEND_BRK:
124                Z_OP(opline->op1).opline_num = jmp_to->brk;
125                break;
126
127            case ZEND_CONT:
128                Z_OP(opline->op1).opline_num = jmp_to->cont;
129                break;
130            }
131            Z_OP_TYPE(opline->op2) = IS_UNUSED;
132            opline->opcode = ZEND_JMP;
[308]133        }
134    }
135
136    return SUCCESS;
137}
138/* }}} */
[326]139/* {{{ op_flowinfo helper func */
140enum {
[1112]141    XC_OPNUM_INVALID = -1
[326]142};
143typedef struct {
144    int       jmpout_op1;
145    int       jmpout_op2;
146    int       jmpout_ext;
147    zend_bool fall;
148} op_flowinfo_t;
149static void op_flowinfo_init(op_flowinfo_t *fi)
[308]150{
[326]151    fi->jmpout_op1 = fi->jmpout_op2 = fi->jmpout_ext = XC_OPNUM_INVALID;
152    fi->fall = 0;
153}
154/* }}} */
155static int op_get_flowinfo(op_flowinfo_t *fi, zend_op *opline) /* {{{ */
156{
157    op_flowinfo_init(fi);
158
[308]159    switch (opline->opcode) {
[657]160#ifdef ZEND_HANDLE_EXCEPTION
[326]161    case ZEND_HANDLE_EXCEPTION:
[657]162#endif
[308]163    case ZEND_RETURN:
[1213]164#ifdef ZEND_FAST_RET
165    case ZEND_FAST_RET:
166#endif
167#ifdef ZEND_GENERATOR_RETURN
168    case ZEND_GENERATOR_RETURN:
169#endif
[308]170    case ZEND_EXIT:
[312]171        return SUCCESS; /* no fall */
[308]172
[1213]173#ifdef ZEND_GOTO
174    case ZEND_GOTO:
175#endif
[308]176    case ZEND_JMP:
[1213]177#ifdef ZEND_FAST_CALL
178    case ZEND_FAST_CALL:
179#endif
[716]180        fi->jmpout_op1 = Z_OP(opline->op1).opline_num;
[312]181        return SUCCESS; /* no fall */
[308]182
183    case ZEND_JMPZNZ:
[716]184        fi->jmpout_op2 = Z_OP(opline->op2).opline_num;
[326]185        fi->jmpout_ext = (int) opline->extended_value;
186        return SUCCESS; /* no fall */
[308]187
188    case ZEND_JMPZ:
189    case ZEND_JMPNZ:
190    case ZEND_JMPZ_EX:
191    case ZEND_JMPNZ_EX:
[485]192#ifdef ZEND_JMP_SET
193    case ZEND_JMP_SET:
194#endif
[1208]195#ifdef ZEND_JMP_SET_VAR
196    case ZEND_JMP_SET_VAR:
197#endif
[326]198#ifdef ZEND_JMP_NO_CTOR
[308]199    case ZEND_JMP_NO_CTOR:
[326]200#endif
201#ifdef ZEND_NEW
[308]202    case ZEND_NEW:
[326]203#endif
204#ifdef ZEND_FE_RESET
[308]205    case ZEND_FE_RESET:
206#endif     
207    case ZEND_FE_FETCH:
[716]208        fi->jmpout_op2 = Z_OP(opline->op2).opline_num;
[1278]209        fi->fall = 1;
210        return SUCCESS;
[308]211
[326]212#ifdef ZEND_CATCH
213    case ZEND_CATCH:
214        fi->jmpout_ext = (int) opline->extended_value;
[1278]215        fi->fall = 1;
216        return SUCCESS;
[326]217#endif
218
[308]219    default:
220        return FAILURE;
221    }
222}
223/* }}} */
[543]224#ifdef XCACHE_DEBUG
[1276]225static void op_snprint(zend_op_array *op_array, char *buf, int size, zend_uchar op_type, znode_op *op) /* {{{ */
[331]226{
[716]227    switch (op_type) {
[331]228    case IS_CONST:
229        {
230            zval result;
[716]231            zval *zv = &Z_OP_CONSTANT(*op);
[331]232            TSRMLS_FETCH();
[308]233
[1276]234            php_output_start_default(TSRMLS_C);
[331]235            php_var_export(&zv, 1 TSRMLS_CC);
[1276]236            php_output_get_contents(&result TSRMLS_CC); 
237            php_output_end(TSRMLS_C);
[331]238
239            snprintf(buf, size, Z_STRVAL(result));
240            zval_dtor(&result);
241        }
242        break;
243
244    case IS_TMP_VAR:
[716]245        snprintf(buf, size, "t@%d", Z_OP(*op).var);
[331]246        break;
247
248    case XCACHE_IS_CV:
249    case IS_VAR:
[716]250        snprintf(buf, size, "v@%d", Z_OP(*op).var);
[331]251        break;
252
253    case IS_UNUSED:
[716]254        if (Z_OP(*op).opline_num) {
[1250]255            snprintf(buf, size, "u#%d", Z_OP(*op).opline_num);
[331]256        }
257        else {
258            snprintf(buf, size, "-");
259        }
260        break;
261
262    default:
[1276]263        snprintf(buf, size, "%d %d", op_type, Z_OP(*op).var);
[331]264    }
265}
266/* }}} */
[1276]267static void op_print(zend_op_array *op_array, int line, zend_op *first, zend_op *end) /* {{{ */
[331]268{
269    zend_op *opline;
270    for (opline = first; opline < end; opline ++) {
271        char buf_r[20];
272        char buf_1[20];
273        char buf_2[20];
[1276]274        op_snprint(op_array, buf_r, sizeof(buf_r), Z_OP_TYPE(opline->result), &opline->result);
275        op_snprint(op_array, buf_1, sizeof(buf_1), Z_OP_TYPE(opline->op1),    &opline->op1);
276        op_snprint(op_array, buf_2, sizeof(buf_2), Z_OP_TYPE(opline->op2),    &opline->op2);
[333]277        fprintf(stderr,
[1276]278                "%3d %3lu"
[333]279                " %-25s%-5s%-20s%-20s%5lu\r\n"
[1276]280                , opline->lineno, (long) (opline - first + line)
[333]281                , xc_get_opcode(opline->opcode), buf_r, buf_1, buf_2, opline->extended_value);
[331]282    }
283}
284/* }}} */
285#endif
286
[308]287/*
288 * basic block functions
289 */
290
291static bb_t *bb_new_ex(zend_op *opcodes, int count) /* {{{ */
292{
293    bb_t *bb = (bb_t *) ecalloc(sizeof(bb_t), 1);
294
[312]295    bb->fall       = BBID_INVALID;
[657]296#ifdef ZEND_ENGINE_2
[326]297    bb->catch      = BBID_INVALID;
[657]298#endif
[1278]299#ifdef ZEND_ENGINE_2_5
300    bb->finally    = BBID_INVALID;
301#endif
[308]302
303    if (opcodes) {
304        bb->alloc   = 0;
305        bb->size    = bb->count = count;
306        bb->opcodes = opcodes;
307    }
308    else {
309        bb->alloc   = 1;
310        bb->size    = bb->count = 8;
311        bb->opcodes = ecalloc(sizeof(zend_op), bb->size);
312    }
313
314    return bb;
315}
316/* }}} */
317#define bb_new() bb_new_ex(NULL, 0)
318static void bb_destroy(bb_t *bb) /* {{{ */
319{
320    if (bb->alloc) {
321        efree(bb->opcodes);
322    }
323    efree(bb);
324}
325/* }}} */
[543]326#ifdef XCACHE_DEBUG
[1276]327static void bb_print(bb_t *bb, zend_op_array *op_array) /* {{{ */
[312]328{
[1276]329    int line = bb->opcodes - op_array->opcodes;
[326]330    op_flowinfo_t fi;
331    zend_op *last = bb->opcodes + bb->count - 1;
[1278]332    bbid_t catchbbid = ZESW(BBID_INVALID, bb->catch);
333    bbid_t finallybbid;
334#ifdef ZEND_ENGINE_2_5
335    finallybbid = BBID_INVALID;
[657]336#else
[1278]337    finallybbid = bb->finally;
[657]338#endif
[326]339
340    op_get_flowinfo(&fi, last);
341
[312]342    fprintf(stderr,
[333]343            "\r\n==== #%-3d cnt:%-3d lno:%-3d"
[312]344            " %c%c"
[333]345            " op1:%-3d op2:%-3d ext:%-3d fal:%-3d cat:%-3d %s ====\r\n"
[331]346            , bb->id, bb->count, bb->alloc ? -1 : line
[312]347            , bb->used ? 'U' : ' ', bb->alloc ? 'A' : ' '
[657]348            , fi.jmpout_op1, fi.jmpout_op2, fi.jmpout_ext, bb->fall, catchbbid, xc_get_opcode(last->opcode)
[312]349            );
[1276]350    op_print(op_array, line, bb->opcodes, last + 1);
[312]351}
352/* }}} */
353#endif
354
[330]355static bb_t *bbs_get(bbs_t *bbs, int n) /* {{{ */
356{
357    return (bb_t *) xc_stack_get(bbs, n);
358}
359/* }}} */
360static int bbs_count(bbs_t *bbs) /* {{{ */
361{
362    return xc_stack_count(bbs);
363}
364/* }}} */
[308]365static void bbs_destroy(bbs_t *bbs) /* {{{ */
366{
367    bb_t *bb;
[326]368    while (bbs_count(bbs)) {
[308]369        bb = (bb_t *) xc_stack_pop(bbs);
370        bb_destroy(bb);
371    }
[313]372    xc_stack_destroy(bbs);
[308]373}
374/* }}} */
[543]375#ifdef XCACHE_DEBUG
[1276]376static void bbs_print(bbs_t *bbs, zend_op_array *op_array) /* {{{ */
[312]377{
378    int i;
379    for (i = 0; i < xc_stack_count(bbs); i ++) {
[1276]380        bb_print(bbs_get(bbs, i), op_array);
[312]381    }
382}
383/* }}} */
384#endif
[308]385#define bbs_init(bbs) xc_stack_init_ex(bbs, 16)
386static bb_t *bbs_add_bb(bbs_t *bbs, bb_t *bb) /* {{{ */
387{
388    bb->id = (bbid_t) xc_stack_count(bbs);
389    xc_stack_push(bbs, (void *) bb);
390    return bb;
391}
392/* }}} */
393static bb_t *bbs_new_bb_ex(bbs_t *bbs, zend_op *opcodes, int count) /* {{{ */
394{
395    return bbs_add_bb(bbs, bb_new_ex(opcodes, count));
396}
397/* }}} */
[326]398static int bbs_build_from(bbs_t *bbs, zend_op_array *op_array, int count) /* {{{ */
[308]399{
[326]400    int i, start;
[312]401    bb_t *pbb;
402    bbid_t id;
[326]403    op_flowinfo_t fi;
404    zend_op *opline;
[485]405    ALLOCA_FLAG(use_heap_bbids)
[1278]406#ifdef ZEND_ENGINE_2
[485]407    ALLOCA_FLAG(use_heap_catchbbids)
[1278]408#endif
409#ifdef ZEND_ENGINE_2_5
410    ALLOCA_FLAG(use_heap_finallybbids)
411#endif
[485]412    ALLOCA_FLAG(use_heap_markbbhead)
[1151]413    bbid_t *bbids          = xc_do_alloca(count * sizeof(bbid_t),    use_heap_bbids);
[657]414#ifdef ZEND_ENGINE_2
[1151]415    bbid_t *catchbbids     = xc_do_alloca(count * sizeof(bbid_t),    use_heap_catchbbids);
[657]416#endif
[1278]417#ifdef ZEND_ENGINE_2_5
418    bbid_t *finallybbids   = xc_do_alloca(count * sizeof(bbid_t),    use_heap_finallybbids);
419#endif
[1151]420    zend_bool *markbbhead  = xc_do_alloca(count * sizeof(zend_bool), use_heap_markbbhead);
[308]421
[312]422    /* {{{ mark jmpin/jumpout */
[326]423    memset(markbbhead,  0, count * sizeof(zend_bool));
[308]424
[326]425    markbbhead[0] = 1;
[308]426    for (i = 0; i < count; i ++) {
[326]427        if (op_get_flowinfo(&fi, &op_array->opcodes[i]) == SUCCESS) {
428            if (fi.jmpout_op1 != XC_OPNUM_INVALID) {
429                markbbhead[fi.jmpout_op1] = 1;
[308]430            }
[326]431            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
432                markbbhead[fi.jmpout_op2] = 1;
[308]433            }
[326]434            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
435                markbbhead[fi.jmpout_ext] = 1;
[308]436            }
[326]437            if (i + 1 < count) {
438                markbbhead[i + 1] = 1;
439            }
[308]440        }
441    }
[657]442#ifdef ZEND_ENGINE_2
[326]443    /* mark try start */
444    for (i = 0; i < op_array->last_try_catch; i ++) {
445        markbbhead[op_array->try_catch_array[i].try_op] = 1;
446    }
[657]447#endif
[312]448    /* }}} */
[326]449    /* {{{ fill op lines with newly allocated id */
[312]450    for (i = 0; i < count; i ++) {
451        bbids[i] = BBID_INVALID;
452    }
[308]453
[326]454    id = -1;
455    for (i = 0; i < count; i ++) {
456        if (markbbhead[i]) {
457            id ++;
[312]458        }
[326]459        bbids[i] = id;
460        TRACE("bbids[%d] = %d", i, id);
[308]461    }
[312]462    /* }}} */
[657]463#ifdef ZEND_ENGINE_2
[326]464    /* {{{ fill op lines with catch id */
465    for (i = 0; i < count; i ++) {
466        catchbbids[i] = BBID_INVALID;
467    }
468
469    for (i = 0; i < op_array->last_try_catch; i ++) {
[1008]470        zend_uint j;
[326]471        zend_try_catch_element *e = &op_array->try_catch_array[i];
472        for (j = e->try_op; j < e->catch_op; j ++) {
473            catchbbids[j] = bbids[e->catch_op];
474        }
475    }
[543]476#ifdef XCACHE_DEBUG
[326]477    for (i = 0; i < count; i ++) {
478        TRACE("catchbbids[%d] = %d", i, catchbbids[i]);
479    }
480#endif
481    /* }}} */
[657]482#endif
[312]483    /* {{{ create basic blocks */
[326]484    start = 0;
[312]485    id = 0;
[326]486    /* loop over to deal with the last block */
487    for (i = 1; i <= count; i ++) {
488        if (i < count && id == bbids[i]) {
[312]489            continue;
490        }
[308]491
[326]492        opline = op_array->opcodes + start;
493        pbb = bbs_new_bb_ex(bbs, opline, i - start);
[657]494#ifdef ZEND_ENGINE_2
[326]495        pbb->catch = catchbbids[start];
[657]496#endif
[326]497
498        /* last */
499        opline = pbb->opcodes + pbb->count - 1;
500        if (op_get_flowinfo(&fi, opline) == SUCCESS) {
501            if (fi.jmpout_op1 != XC_OPNUM_INVALID) {
[716]502                Z_OP(opline->op1).opline_num = bbids[fi.jmpout_op1];
503                assert(Z_OP(opline->op1).opline_num != BBID_INVALID);
[312]504            }
[326]505            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
[716]506                Z_OP(opline->op2).opline_num = bbids[fi.jmpout_op2];
507                assert(Z_OP(opline->op2).opline_num != BBID_INVALID);
[312]508            }
[326]509            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
510                opline->extended_value = bbids[fi.jmpout_ext];
511                assert(opline->extended_value != BBID_INVALID);
[312]512            }
[326]513            if (fi.fall && i + 1 < count) {
[312]514                pbb->fall = bbids[i + 1];
[326]515                TRACE("fall %d", pbb->fall);
[312]516                assert(pbb->fall != BBID_INVALID);
517            }
518        }
[326]519        if (i >= count) {
520            break;
521        }
[332]522        start = i;
[326]523        id = bbids[i];
[312]524    }
525    /* }}} */
526
[1151]527    xc_free_alloca(markbbhead, use_heap_markbbhead);
[657]528#ifdef ZEND_ENGINE_2
[1151]529    xc_free_alloca(catchbbids, use_heap_catchbbids);
[657]530#endif
[1278]531#ifdef ZEND_ENGINE_2_5
532    xc_free_alloca(finallybbids, use_heap_finallybbids);
533#endif
[1151]534    xc_free_alloca(bbids,      use_heap_bbids);
[308]535    return SUCCESS;
536}
537/* }}} */
[330]538static void bbs_restore_opnum(bbs_t *bbs, zend_op_array *op_array) /* {{{ */
[326]539{
540    int i;
[657]541#ifdef ZEND_ENGINE_2
[330]542    bbid_t lasttrybbid;
[369]543    bbid_t lastcatchbbid;
[657]544#endif
[1278]545#ifdef ZEND_ENGINE_2_5
546    bbid_t lastfinallybbid;
547#endif
[330]548
[326]549    for (i = 0; i < bbs_count(bbs); i ++) {
550        op_flowinfo_t fi;
551        bb_t *bb = bbs_get(bbs, i);
552        zend_op *last = bb->opcodes + bb->count - 1;
[308]553
[326]554        if (op_get_flowinfo(&fi, last) == SUCCESS) {
555            if (fi.jmpout_op1 != XC_OPNUM_INVALID) {
[716]556                Z_OP(last->op1).opline_num = bbs_get(bbs, fi.jmpout_op1)->opnum;
557                assert(Z_OP(last->op1).opline_num != BBID_INVALID);
[326]558            }
559            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
[716]560                Z_OP(last->op2).opline_num = bbs_get(bbs, fi.jmpout_op2)->opnum;
561                assert(Z_OP(last->op2).opline_num != BBID_INVALID);
[326]562            }
563            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
564                last->extended_value = bbs_get(bbs, fi.jmpout_ext)->opnum;
565                assert(last->extended_value != BBID_INVALID);
566            }
567        }
568    }
569
[657]570#ifdef ZEND_ENGINE_2
[369]571    lasttrybbid   = BBID_INVALID;
572    lastcatchbbid = BBID_INVALID;
[1278]573#ifdef ZEND_ENGINE_2_5
574    lastfinallybbid = BBID_INVALID;
575#endif
[330]576    op_array->last_try_catch = 0;
577    for (i = 0; i < bbs_count(bbs); i ++) {
578        bb_t *bb = bbs_get(bbs, i);
579
[369]580        if (lastcatchbbid != bb->catch) {
[1278]581            if (lasttrybbid != BBID_INVALID) {
[330]582                int try_catch_offset = op_array->last_try_catch ++;
583
584                op_array->try_catch_array = erealloc(op_array->try_catch_array, sizeof(zend_try_catch_element) * op_array->last_try_catch);
585                op_array->try_catch_array[try_catch_offset].try_op = bbs_get(bbs, lasttrybbid)->opnum;
[1278]586                op_array->try_catch_array[try_catch_offset].catch_op = lastcatchbbid != BBID_INVALID ? bbs_get(bbs, lastcatchbbid)->opnum : 0;
587#ifdef ZEND_ENGINE_2_5
588                op_array->try_catch_array[try_catch_offset].finally_op = lastfinallybbid != BBID_INVALID ? bbs_get(bbs, lastfinallybbid)->opnum : 0;
589#endif
[330]590            }
[369]591            lasttrybbid   = i;
592            lastcatchbbid = bb->catch;
[1278]593#ifdef ZEND_ENGINE_2_5
594            lastfinallybbid = bb->finally;
595#endif
[330]596        }
597    }
598    /* it is impossible to have last bb catched */
[657]599#endif
[326]600}
601/* }}} */
602
[308]603/*
604 * optimize
605 */
[1]606static int xc_optimize_op_array(zend_op_array *op_array TSRMLS_DC) /* {{{ */
607{
[308]608    bbs_t bbs;
609
[1]610    if (op_array->type != ZEND_USER_FUNCTION) {
611        return 0;
612    }
[335]613
[543]614#ifdef XCACHE_DEBUG
[312]615#   if 0
[308]616    TRACE("optimize file: %s", op_array->filename);
617    xc_dprint_zend_op_array(op_array, 0 TSRMLS_CC);
[312]618#   endif
[1276]619    op_print(op_array, 0, op_array->opcodes, op_array->opcodes + op_array->last);
[308]620#endif
621
[312]622    if (op_array_convert_switch(op_array) == SUCCESS) {
[308]623        bbs_init(&bbs);
[326]624        if (bbs_build_from(&bbs, op_array, op_array->last) == SUCCESS) {
625            int i;
[543]626#ifdef XCACHE_DEBUG
[1276]627            bbs_print(&bbs, op_array);
[312]628#endif
[326]629            /* TODO: calc opnum after basic block move */
630            for (i = 0; i < bbs_count(&bbs); i ++) {
631                bb_t *bb = bbs_get(&bbs, i);
632                bb->opnum = bb->opcodes - op_array->opcodes;
633            }
[330]634            bbs_restore_opnum(&bbs, op_array);
[308]635        }
636        bbs_destroy(&bbs);
637    }
638
[543]639#ifdef XCACHE_DEBUG
[312]640#   if 0
[308]641    TRACE("%s", "after compiles");
642    xc_dprint_zend_op_array(op_array, 0 TSRMLS_CC);
[312]643#   endif
[1276]644    op_print(op_array, 0, op_array->opcodes, op_array->opcodes + op_array->last);
[308]645#endif
[1]646    return 0;
647}
648/* }}} */
[1026]649static void xc_optimizer_op_array_handler(zend_op_array *op_array) /* {{{ */
[335]650{
[477]651    TSRMLS_FETCH();
652    if (XG(optimizer)) {
653        xc_optimize_op_array(op_array TSRMLS_CC);
[316]654    }
[1]655}
656/* }}} */
[1026]657
[1033]658static int xc_coverager_zend_startup(zend_extension *extension) /* {{{ */
[1026]659{
660    return SUCCESS;
661}
662/* }}} */
[1033]663static void xc_coverager_zend_shutdown(zend_extension *extension) /* {{{ */
[1026]664{
665}
666/* }}} */
667/* {{{ zend extension definition structure */
668static zend_extension xc_optimizer_zend_extension_entry = {
669    XCACHE_NAME " Optimizer",
670    XCACHE_VERSION,
671    XCACHE_AUTHOR,
672    XCACHE_URL,
673    XCACHE_COPYRIGHT,
[1033]674    xc_coverager_zend_startup,
675    xc_coverager_zend_shutdown,
[1026]676    NULL,           /* activate_func_t */
677    NULL,           /* deactivate_func_t */
678    NULL,           /* message_handler_func_t */
679    xc_optimizer_op_array_handler,
680    NULL,           /* statement_handler_func_t */
681    NULL,           /* fcall_begin_handler_func_t */
682    NULL,           /* fcall_end_handler_func_t */
683    NULL,           /* op_array_ctor_func_t */
684    NULL,           /* op_array_dtor_func_t */
685    STANDARD_ZEND_EXTENSION_PROPERTIES
686};
687/* }}} */
688
689/* {{{ ini */
690PHP_INI_BEGIN()
691    STD_PHP_INI_BOOLEAN("xcache.optimizer",              "0", PHP_INI_ALL,    OnUpdateBool,        optimizer,         zend_xcache_globals, xcache_globals)
692PHP_INI_END()
693/* }}} */
694static PHP_MINFO_FUNCTION(xcache_optimizer) /* {{{ */
695{
696    php_info_print_table_start();
[1043]697    php_info_print_table_row(2, "XCache Optimizer Module", "enabled");
[1026]698    php_info_print_table_end();
699
700    DISPLAY_INI_ENTRIES();
701}
702/* }}} */
703static PHP_MINIT_FUNCTION(xcache_optimizer) /* {{{ */
704{
705    REGISTER_INI_ENTRIES();
[1047]706    return xcache_zend_extension_add(&xc_optimizer_zend_extension_entry, 0);
[1026]707}
708/* }}} */
709static PHP_MSHUTDOWN_FUNCTION(xcache_optimizer) /* {{{ */
710{
711    UNREGISTER_INI_ENTRIES();
[1045]712    return xcache_zend_extension_remove(&xc_optimizer_zend_extension_entry);
[1026]713}
714/* }}} */
715static zend_module_entry xcache_optimizer_module_entry = { /* {{{ */
716    STANDARD_MODULE_HEADER,
[1043]717    XCACHE_NAME " Optimizer",
[1026]718    NULL,
719    PHP_MINIT(xcache_optimizer),
720    PHP_MSHUTDOWN(xcache_optimizer),
721    NULL,
722    NULL,
723    PHP_MINFO(xcache_optimizer),
724    XCACHE_VERSION,
725#ifdef PHP_GINIT
726    NO_MODULE_GLOBALS,
727#endif
728#ifdef ZEND_ENGINE_2
729    NULL,
730#else
731    NULL,
732    NULL,
733#endif
734    STANDARD_MODULE_PROPERTIES_EX
735};
736/* }}} */
737int xc_optimizer_startup_module() /* {{{ */
738{
739    return zend_startup_module(&xcache_optimizer_module_entry);
740}
741/* }}} */
Note: See TracBrowser for help on using the repository browser.