source: trunk/optimizer.c @ 716

Last change on this file since 716 was 716, checked in by moo, 3 years ago

PHP 6: initial catch up with php 6 literals and trait

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