source: trunk/mod_optimizer/xc_optimizer.c @ 1398

Last change on this file since 1398 was 1398, checked in by moo, 10 months ago

fix optimizer for try/catch/finally when either catch/finally is omitted

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