source: trunk/mod_optimizer/xc_optimizer.c @ 1003

Last change on this file since 1003 was 1003, checked in by moo, 2 years ago

refactor: fix build for optimizer, use mod_* directories

  • Property svn:eol-style set to native
File size: 13.8 KB
RevLine 
[338]1#if 0
[543]2#   define XCACHE_DEBUG
[308]3#endif
4
[1003]5#include "xcache/xc_utils.h"
6#include "xc_optimizer.h"
[308]7/* the "vector" stack */
[1003]8#include "util/xc_stack.h"
9#include "util/xc_trace.h"
[477]10#include "xcache_globals.h"
[1]11
[543]12#ifdef XCACHE_DEBUG
[1003]13#error 1
14#   include "xc_processor.h"
15#   include "xcache/xc_const_string.h"
[331]16#   include "ext/standard/php_var.h"
[308]17#endif
18
[331]19#ifdef IS_CV
20#   define XCACHE_IS_CV IS_CV
21#else
22#   define XCACHE_IS_CV 16
23#endif
24
[822]25#ifdef ZEND_ENGINE_2_4
26#   undef Z_OP_CONSTANT
27/* Z_OP_CONSTANT is used before pass_two is applied */
28#   define Z_OP_CONSTANT(op) op_array->literals[op.constant].constant
29#endif
30
[308]31typedef int bbid_t;
32enum {
[877]33    BBID_INVALID = -1
[308]34};
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
[326]49
50    int        opnum; /* opnum after joining basic block */
[308]51} bb_t;
52/* }}} */
53
54/* basic blocks */
55typedef xc_stack_t bbs_t;
56
[326]57/* op array helper functions */
[308]58static int op_array_convert_switch(zend_op_array *op_array) /* {{{ */
59{
60    int i;
61
62    if (op_array->brk_cont_array == NULL) {
63        return SUCCESS;
64    }
65
66    for (i = 0; i < op_array->last; i ++) {
67        zend_op *opline = &op_array->opcodes[i];
68        zend_brk_cont_element *jmp_to;
[834]69        zend_bool can_convert = 1;
[308]70        int array_offset, nest_levels, original_nest_levels;
71
[834]72        switch (opline->opcode) {
73        case ZEND_BRK:
74        case ZEND_CONT:
75            break;
76
77#ifdef ZEND_GOTO
78        case ZEND_GOTO:
79#endif
[845]80            continue;
[834]81
82        default:
83            continue;
[308]84        }
[834]85
[716]86        if (Z_OP_TYPE(opline->op2) != IS_CONST
87         || Z_OP_CONSTANT(opline->op2).type != IS_LONG) {
[308]88            return FAILURE;
89        }
90
[716]91        nest_levels = Z_OP_CONSTANT(opline->op2).value.lval;
[308]92        original_nest_levels = nest_levels;
93
[716]94        array_offset = Z_OP(opline->op1).opline_num;
[308]95        do {
96            if (array_offset == -1) {
97                /* this is a runtime error in ZE
98                zend_error(E_ERROR, "Cannot break/continue %d level%s", original_nest_levels, (original_nest_levels == 1) ? "" : "s");
99                */
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 {
142    XC_OPNUM_INVALID = -1,
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
[312]160    /* break=will fall */
[308]161    switch (opline->opcode) {
[657]162#ifdef ZEND_HANDLE_EXCEPTION
[326]163    case ZEND_HANDLE_EXCEPTION:
[657]164#endif
[308]165    case ZEND_RETURN:
166    case ZEND_EXIT:
[312]167        return SUCCESS; /* no fall */
[308]168
169    case ZEND_JMP:
[716]170        fi->jmpout_op1 = Z_OP(opline->op1).opline_num;
[312]171        return SUCCESS; /* no fall */
[308]172
173    case ZEND_JMPZNZ:
[716]174        fi->jmpout_op2 = Z_OP(opline->op2).opline_num;
[326]175        fi->jmpout_ext = (int) opline->extended_value;
176        return SUCCESS; /* no fall */
[308]177
178    case ZEND_JMPZ:
179    case ZEND_JMPNZ:
180    case ZEND_JMPZ_EX:
181    case ZEND_JMPNZ_EX:
[485]182#ifdef ZEND_JMP_SET
183    case ZEND_JMP_SET:
184#endif
[326]185#ifdef ZEND_JMP_NO_CTOR
[308]186    case ZEND_JMP_NO_CTOR:
[326]187#endif
188#ifdef ZEND_NEW
[308]189    case ZEND_NEW:
[326]190#endif
191#ifdef ZEND_FE_RESET
[308]192    case ZEND_FE_RESET:
193#endif     
194    case ZEND_FE_FETCH:
[716]195        fi->jmpout_op2 = Z_OP(opline->op2).opline_num;
[308]196        break;
197
[326]198#ifdef ZEND_CATCH
199    case ZEND_CATCH:
200        fi->jmpout_ext = (int) opline->extended_value;
201        break;
202#endif
203
[308]204    default:
205        return FAILURE;
206    }
207
[326]208    fi->fall = 1;
[308]209    return SUCCESS;
210}
211/* }}} */
[543]212#ifdef XCACHE_DEBUG
[716]213static void op_snprint(char *buf, int size, zend_uchar op_type, znode_op *op) /* {{{ */
[331]214{
[716]215    switch (op_type) {
[331]216    case IS_CONST:
217        {
218            zval result;
[716]219            zval *zv = &Z_OP_CONSTANT(*op);
[331]220            TSRMLS_FETCH();
[308]221
[716]222            /* TODO: update for PHP 6 */
[331]223            php_start_ob_buffer(NULL, 0, 1 TSRMLS_CC);
224            php_var_export(&zv, 1 TSRMLS_CC);
225
226            php_ob_get_buffer(&result TSRMLS_CC); 
227            php_end_ob_buffer(0, 0 TSRMLS_CC);
228            snprintf(buf, size, Z_STRVAL(result));
229            zval_dtor(&result);
230        }
231        break;
232
233    case IS_TMP_VAR:
[716]234        snprintf(buf, size, "t@%d", Z_OP(*op).var);
[331]235        break;
236
237    case XCACHE_IS_CV:
238    case IS_VAR:
[716]239        snprintf(buf, size, "v@%d", Z_OP(*op).var);
[331]240        break;
241
242    case IS_UNUSED:
[716]243        if (Z_OP(*op).opline_num) {
244            snprintf(buf, size, "u#%d", Z_OP(op).opline_num);
[331]245        }
246        else {
247            snprintf(buf, size, "-");
248        }
249        break;
250
251    default:
[716]252        snprintf(buf, size, "%d %d", op->op_type, Z_OP(op).var);
[331]253    }
254}
255/* }}} */
256static void op_print(int line, zend_op *first, zend_op *end) /* {{{ */
257{
258    zend_op *opline;
259    for (opline = first; opline < end; opline ++) {
260        char buf_r[20];
261        char buf_1[20];
262        char buf_2[20];
[716]263        op_snprint(buf_r, sizeof(buf_r), Z_OP_TYPE(opline->result), &opline->result);
264        op_snprint(buf_1, sizeof(buf_1), Z_OP_TYPE(opline->op1),    &opline->op1);
265        op_snprint(buf_2, sizeof(buf_2), Z_OP_TYPE(opline->op2),    &opline->op2);
[333]266        fprintf(stderr,
267                "%3d %3d"
268                " %-25s%-5s%-20s%-20s%5lu\r\n"
269                , opline->lineno, opline - first + line
270                , xc_get_opcode(opline->opcode), buf_r, buf_1, buf_2, opline->extended_value);
[331]271    }
272}
273/* }}} */
274#endif
275
[308]276/*
277 * basic block functions
278 */
279
280static bb_t *bb_new_ex(zend_op *opcodes, int count) /* {{{ */
281{
282    bb_t *bb = (bb_t *) ecalloc(sizeof(bb_t), 1);
283
[312]284    bb->fall       = BBID_INVALID;
[657]285#ifdef ZEND_ENGINE_2
[326]286    bb->catch      = BBID_INVALID;
[657]287#endif
[308]288
289    if (opcodes) {
290        bb->alloc   = 0;
291        bb->size    = bb->count = count;
292        bb->opcodes = opcodes;
293    }
294    else {
295        bb->alloc   = 1;
296        bb->size    = bb->count = 8;
297        bb->opcodes = ecalloc(sizeof(zend_op), bb->size);
298    }
299
300    return bb;
301}
302/* }}} */
303#define bb_new() bb_new_ex(NULL, 0)
304static void bb_destroy(bb_t *bb) /* {{{ */
305{
306    if (bb->alloc) {
307        efree(bb->opcodes);
308    }
309    efree(bb);
310}
311/* }}} */
[543]312#ifdef XCACHE_DEBUG
[312]313static void bb_print(bb_t *bb, zend_op *opcodes) /* {{{ */
314{
[331]315    int line = bb->opcodes - opcodes;
[326]316    op_flowinfo_t fi;
317    zend_op *last = bb->opcodes + bb->count - 1;
[657]318    bbid_t catchbbid;
319#ifdef ZEND_ENGINE_2
320    catchbbid = BBID_INVALID;
321#else
322    catchbbid = bb->catch;
323#endif
[326]324
325    op_get_flowinfo(&fi, last);
326
[312]327    fprintf(stderr,
[333]328            "\r\n==== #%-3d cnt:%-3d lno:%-3d"
[312]329            " %c%c"
[333]330            " op1:%-3d op2:%-3d ext:%-3d fal:%-3d cat:%-3d %s ====\r\n"
[331]331            , bb->id, bb->count, bb->alloc ? -1 : line
[312]332            , bb->used ? 'U' : ' ', bb->alloc ? 'A' : ' '
[657]333            , fi.jmpout_op1, fi.jmpout_op2, fi.jmpout_ext, bb->fall, catchbbid, xc_get_opcode(last->opcode)
[312]334            );
[331]335    op_print(line, bb->opcodes, last + 1);
[312]336}
337/* }}} */
338#endif
339
[330]340static bb_t *bbs_get(bbs_t *bbs, int n) /* {{{ */
341{
342    return (bb_t *) xc_stack_get(bbs, n);
343}
344/* }}} */
345static int bbs_count(bbs_t *bbs) /* {{{ */
346{
347    return xc_stack_count(bbs);
348}
349/* }}} */
[308]350static void bbs_destroy(bbs_t *bbs) /* {{{ */
351{
352    bb_t *bb;
[326]353    while (bbs_count(bbs)) {
[308]354        bb = (bb_t *) xc_stack_pop(bbs);
355        bb_destroy(bb);
356    }
[313]357    xc_stack_destroy(bbs);
[308]358}
359/* }}} */
[543]360#ifdef XCACHE_DEBUG
[312]361static void bbs_print(bbs_t *bbs, zend_op *opcodes) /* {{{ */
362{
363    int i;
364    for (i = 0; i < xc_stack_count(bbs); i ++) {
365        bb_print(bbs_get(bbs, i), opcodes);
366    }
367}
368/* }}} */
369#endif
[308]370#define bbs_init(bbs) xc_stack_init_ex(bbs, 16)
371static bb_t *bbs_add_bb(bbs_t *bbs, bb_t *bb) /* {{{ */
372{
373    bb->id = (bbid_t) xc_stack_count(bbs);
374    xc_stack_push(bbs, (void *) bb);
375    return bb;
376}
377/* }}} */
378static bb_t *bbs_new_bb_ex(bbs_t *bbs, zend_op *opcodes, int count) /* {{{ */
379{
380    return bbs_add_bb(bbs, bb_new_ex(opcodes, count));
381}
382/* }}} */
[326]383static int bbs_build_from(bbs_t *bbs, zend_op_array *op_array, int count) /* {{{ */
[308]384{
[326]385    int i, start;
[312]386    bb_t *pbb;
387    bbid_t id;
[326]388    op_flowinfo_t fi;
389    zend_op *opline;
[485]390    ALLOCA_FLAG(use_heap_bbids)
391    ALLOCA_FLAG(use_heap_catchbbids)
392    ALLOCA_FLAG(use_heap_markbbhead)
393    bbid_t *bbids          = my_do_alloca(count * sizeof(bbid_t),    use_heap_bbids);
[657]394#ifdef ZEND_ENGINE_2
[485]395    bbid_t *catchbbids     = my_do_alloca(count * sizeof(bbid_t),    use_heap_catchbbids);
[657]396#endif
[485]397    zend_bool *markbbhead  = my_do_alloca(count * sizeof(zend_bool), use_heap_markbbhead);
[308]398
[312]399    /* {{{ mark jmpin/jumpout */
[326]400    memset(markbbhead,  0, count * sizeof(zend_bool));
[308]401
[326]402    markbbhead[0] = 1;
[308]403    for (i = 0; i < count; i ++) {
[326]404        if (op_get_flowinfo(&fi, &op_array->opcodes[i]) == SUCCESS) {
405            if (fi.jmpout_op1 != XC_OPNUM_INVALID) {
406                markbbhead[fi.jmpout_op1] = 1;
[308]407            }
[326]408            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
409                markbbhead[fi.jmpout_op2] = 1;
[308]410            }
[326]411            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
412                markbbhead[fi.jmpout_ext] = 1;
[308]413            }
[326]414            if (i + 1 < count) {
415                markbbhead[i + 1] = 1;
416            }
[308]417        }
418    }
[657]419#ifdef ZEND_ENGINE_2
[326]420    /* mark try start */
421    for (i = 0; i < op_array->last_try_catch; i ++) {
422        markbbhead[op_array->try_catch_array[i].try_op] = 1;
423    }
[657]424#endif
[312]425    /* }}} */
[326]426    /* {{{ fill op lines with newly allocated id */
[312]427    for (i = 0; i < count; i ++) {
428        bbids[i] = BBID_INVALID;
429    }
[308]430
[326]431    id = -1;
432    for (i = 0; i < count; i ++) {
433        if (markbbhead[i]) {
434            id ++;
[312]435        }
[326]436        bbids[i] = id;
437        TRACE("bbids[%d] = %d", i, id);
[308]438    }
[312]439    /* }}} */
[657]440#ifdef ZEND_ENGINE_2
[326]441    /* {{{ fill op lines with catch id */
442    for (i = 0; i < count; i ++) {
443        catchbbids[i] = BBID_INVALID;
444    }
445
446    for (i = 0; i < op_array->last_try_catch; i ++) {
447        int j;
448        zend_try_catch_element *e = &op_array->try_catch_array[i];
449        for (j = e->try_op; j < e->catch_op; j ++) {
450            catchbbids[j] = bbids[e->catch_op];
451        }
452    }
[543]453#ifdef XCACHE_DEBUG
[326]454    for (i = 0; i < count; i ++) {
455        TRACE("catchbbids[%d] = %d", i, catchbbids[i]);
456    }
457#endif
458    /* }}} */
[657]459#endif
[312]460    /* {{{ create basic blocks */
[326]461    start = 0;
[312]462    id = 0;
[326]463    /* loop over to deal with the last block */
464    for (i = 1; i <= count; i ++) {
465        if (i < count && id == bbids[i]) {
[312]466            continue;
467        }
[308]468
[326]469        opline = op_array->opcodes + start;
470        pbb = bbs_new_bb_ex(bbs, opline, i - start);
[657]471#ifdef ZEND_ENGINE_2
[326]472        pbb->catch = catchbbids[start];
[657]473#endif
[326]474
475        /* last */
476        opline = pbb->opcodes + pbb->count - 1;
477        if (op_get_flowinfo(&fi, opline) == SUCCESS) {
478            if (fi.jmpout_op1 != XC_OPNUM_INVALID) {
[716]479                Z_OP(opline->op1).opline_num = bbids[fi.jmpout_op1];
480                assert(Z_OP(opline->op1).opline_num != BBID_INVALID);
[312]481            }
[326]482            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
[716]483                Z_OP(opline->op2).opline_num = bbids[fi.jmpout_op2];
484                assert(Z_OP(opline->op2).opline_num != BBID_INVALID);
[312]485            }
[326]486            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
487                opline->extended_value = bbids[fi.jmpout_ext];
488                assert(opline->extended_value != BBID_INVALID);
[312]489            }
[326]490            if (fi.fall && i + 1 < count) {
[312]491                pbb->fall = bbids[i + 1];
[326]492                TRACE("fall %d", pbb->fall);
[312]493                assert(pbb->fall != BBID_INVALID);
494            }
495        }
[326]496        if (i >= count) {
497            break;
498        }
[332]499        start = i;
[326]500        id = bbids[i];
[312]501    }
502    /* }}} */
503
[485]504    my_free_alloca(markbbhead, use_heap_markbbhead);
[657]505#ifdef ZEND_ENGINE_2
[485]506    my_free_alloca(catchbbids, use_heap_catchbbids);
[657]507#endif
[485]508    my_free_alloca(bbids,      use_heap_bbids);
[308]509    return SUCCESS;
510}
511/* }}} */
[330]512static void bbs_restore_opnum(bbs_t *bbs, zend_op_array *op_array) /* {{{ */
[326]513{
514    int i;
[657]515#ifdef ZEND_ENGINE_2
[330]516    bbid_t lasttrybbid;
[369]517    bbid_t lastcatchbbid;
[657]518#endif
[330]519
[326]520    for (i = 0; i < bbs_count(bbs); i ++) {
521        op_flowinfo_t fi;
522        bb_t *bb = bbs_get(bbs, i);
523        zend_op *last = bb->opcodes + bb->count - 1;
[308]524
[326]525        if (op_get_flowinfo(&fi, last) == SUCCESS) {
526            if (fi.jmpout_op1 != XC_OPNUM_INVALID) {
[716]527                Z_OP(last->op1).opline_num = bbs_get(bbs, fi.jmpout_op1)->opnum;
528                assert(Z_OP(last->op1).opline_num != BBID_INVALID);
[326]529            }
530            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
[716]531                Z_OP(last->op2).opline_num = bbs_get(bbs, fi.jmpout_op2)->opnum;
532                assert(Z_OP(last->op2).opline_num != BBID_INVALID);
[326]533            }
534            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
535                last->extended_value = bbs_get(bbs, fi.jmpout_ext)->opnum;
536                assert(last->extended_value != BBID_INVALID);
537            }
538        }
539    }
540
[657]541#ifdef ZEND_ENGINE_2
[369]542    lasttrybbid   = BBID_INVALID;
543    lastcatchbbid = BBID_INVALID;
[330]544    op_array->last_try_catch = 0;
545    for (i = 0; i < bbs_count(bbs); i ++) {
546        bb_t *bb = bbs_get(bbs, i);
547
[369]548        if (lastcatchbbid != bb->catch) {
549            if (lasttrybbid != BBID_INVALID && lastcatchbbid != BBID_INVALID) {
[330]550                int try_catch_offset = op_array->last_try_catch ++;
551
552                op_array->try_catch_array = erealloc(op_array->try_catch_array, sizeof(zend_try_catch_element) * op_array->last_try_catch);
553                op_array->try_catch_array[try_catch_offset].try_op = bbs_get(bbs, lasttrybbid)->opnum;
[369]554                op_array->try_catch_array[try_catch_offset].catch_op = bbs_get(bbs, lastcatchbbid)->opnum;
[330]555            }
[369]556            lasttrybbid   = i;
557            lastcatchbbid = bb->catch;
[330]558        }
559    }
560    /* it is impossible to have last bb catched */
[657]561#endif
[326]562}
563/* }}} */
564
[308]565/*
566 * optimize
567 */
[1]568static int xc_optimize_op_array(zend_op_array *op_array TSRMLS_DC) /* {{{ */
569{
[308]570    bbs_t bbs;
571
[1]572    if (op_array->type != ZEND_USER_FUNCTION) {
573        return 0;
574    }
[335]575
[543]576#ifdef XCACHE_DEBUG
[312]577#   if 0
[308]578    TRACE("optimize file: %s", op_array->filename);
579    xc_dprint_zend_op_array(op_array, 0 TSRMLS_CC);
[312]580#   endif
[331]581    op_print(0, op_array->opcodes, op_array->opcodes + op_array->last);
[308]582#endif
583
[312]584    if (op_array_convert_switch(op_array) == SUCCESS) {
[308]585        bbs_init(&bbs);
[326]586        if (bbs_build_from(&bbs, op_array, op_array->last) == SUCCESS) {
587            int i;
[543]588#ifdef XCACHE_DEBUG
[312]589            bbs_print(&bbs, op_array->opcodes);
590#endif
[326]591            /* TODO: calc opnum after basic block move */
592            for (i = 0; i < bbs_count(&bbs); i ++) {
593                bb_t *bb = bbs_get(&bbs, i);
594                bb->opnum = bb->opcodes - op_array->opcodes;
595            }
[330]596            bbs_restore_opnum(&bbs, op_array);
[308]597        }
598        bbs_destroy(&bbs);
599    }
600
[543]601#ifdef XCACHE_DEBUG
[312]602#   if 0
[308]603    TRACE("%s", "after compiles");
604    xc_dprint_zend_op_array(op_array, 0 TSRMLS_CC);
[312]605#   endif
[369]606    op_print(0, op_array->opcodes, op_array->opcodes + op_array->last);
[308]607#endif
[1]608    return 0;
609}
610/* }}} */
[477]611void xc_optimizer_op_array_handler(zend_op_array *op_array) /* {{{ */
[335]612{
[477]613    TSRMLS_FETCH();
614    if (XG(optimizer)) {
615        xc_optimize_op_array(op_array TSRMLS_CC);
[316]616    }
[1]617}
618/* }}} */
Note: See TracBrowser for help on using the repository browser.