source: trunk/mod_optimizer/xc_optimizer.c @ 1281

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

remove php 4 support completely

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