source: trunk/mod_optimizer/xc_optimizer.c @ 1310

Last change on this file since 1310 was 1310, checked in by moo, 17 months ago

optimizer: fix recalc of catch_op/finally_op

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