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
Line 
1#if 0
2#   define XCACHE_DEBUG
3#endif
4
5#include "xcache/xc_utils.h"
6#include "xc_optimizer.h"
7/* the "vector" stack */
8#include "util/xc_stack.h"
9#include "util/xc_trace.h"
10#include "xcache_globals.h"
11
12#ifdef XCACHE_DEBUG
13#error 1
14#   include "xc_processor.h"
15#   include "xcache/xc_const_string.h"
16#   include "ext/standard/php_var.h"
17#endif
18
19#ifdef IS_CV
20#   define XCACHE_IS_CV IS_CV
21#else
22#   define XCACHE_IS_CV 16
23#endif
24
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
31typedef int bbid_t;
32enum {
33    BBID_INVALID = -1
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
45    bbid_t     fall;
46#ifdef ZEND_ENGINE_2
47    bbid_t     catch;
48#endif
49
50    int        opnum; /* opnum after joining basic block */
51} bb_t;
52/* }}} */
53
54/* basic blocks */
55typedef xc_stack_t bbs_t;
56
57/* op array helper functions */
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;
69        zend_bool can_convert = 1;
70        int array_offset, nest_levels, original_nest_levels;
71
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
80            continue;
81
82        default:
83            continue;
84        }
85
86        if (Z_OP_TYPE(opline->op2) != IS_CONST
87         || Z_OP_CONSTANT(opline->op2).type != IS_LONG) {
88            return FAILURE;
89        }
90
91        nest_levels = Z_OP_CONSTANT(opline->op2).value.lval;
92        original_nest_levels = nest_levels;
93
94        array_offset = Z_OP(opline->op1).opline_num;
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:
109#ifdef EXT_TYPE_FREE_ON_RETURN
110                    if (!(brk_opline->extended_value & EXT_TYPE_FREE_ON_RETURN))
111#endif
112                    {
113                        can_convert = 0;
114                    }
115                    break;
116                }
117            }
118            array_offset = jmp_to->parent;
119        } while (--nest_levels > 0);
120
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;
134        }
135    }
136
137    return SUCCESS;
138}
139/* }}} */
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)
151{
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
160    /* break=will fall */
161    switch (opline->opcode) {
162#ifdef ZEND_HANDLE_EXCEPTION
163    case ZEND_HANDLE_EXCEPTION:
164#endif
165    case ZEND_RETURN:
166    case ZEND_EXIT:
167        return SUCCESS; /* no fall */
168
169    case ZEND_JMP:
170        fi->jmpout_op1 = Z_OP(opline->op1).opline_num;
171        return SUCCESS; /* no fall */
172
173    case ZEND_JMPZNZ:
174        fi->jmpout_op2 = Z_OP(opline->op2).opline_num;
175        fi->jmpout_ext = (int) opline->extended_value;
176        return SUCCESS; /* no fall */
177
178    case ZEND_JMPZ:
179    case ZEND_JMPNZ:
180    case ZEND_JMPZ_EX:
181    case ZEND_JMPNZ_EX:
182#ifdef ZEND_JMP_SET
183    case ZEND_JMP_SET:
184#endif
185#ifdef ZEND_JMP_NO_CTOR
186    case ZEND_JMP_NO_CTOR:
187#endif
188#ifdef ZEND_NEW
189    case ZEND_NEW:
190#endif
191#ifdef ZEND_FE_RESET
192    case ZEND_FE_RESET:
193#endif     
194    case ZEND_FE_FETCH:
195        fi->jmpout_op2 = Z_OP(opline->op2).opline_num;
196        break;
197
198#ifdef ZEND_CATCH
199    case ZEND_CATCH:
200        fi->jmpout_ext = (int) opline->extended_value;
201        break;
202#endif
203
204    default:
205        return FAILURE;
206    }
207
208    fi->fall = 1;
209    return SUCCESS;
210}
211/* }}} */
212#ifdef XCACHE_DEBUG
213static void op_snprint(char *buf, int size, zend_uchar op_type, znode_op *op) /* {{{ */
214{
215    switch (op_type) {
216    case IS_CONST:
217        {
218            zval result;
219            zval *zv = &Z_OP_CONSTANT(*op);
220            TSRMLS_FETCH();
221
222            /* TODO: update for PHP 6 */
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:
234        snprintf(buf, size, "t@%d", Z_OP(*op).var);
235        break;
236
237    case XCACHE_IS_CV:
238    case IS_VAR:
239        snprintf(buf, size, "v@%d", Z_OP(*op).var);
240        break;
241
242    case IS_UNUSED:
243        if (Z_OP(*op).opline_num) {
244            snprintf(buf, size, "u#%d", Z_OP(op).opline_num);
245        }
246        else {
247            snprintf(buf, size, "-");
248        }
249        break;
250
251    default:
252        snprintf(buf, size, "%d %d", op->op_type, Z_OP(op).var);
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];
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);
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);
271    }
272}
273/* }}} */
274#endif
275
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
284    bb->fall       = BBID_INVALID;
285#ifdef ZEND_ENGINE_2
286    bb->catch      = BBID_INVALID;
287#endif
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/* }}} */
312#ifdef XCACHE_DEBUG
313static void bb_print(bb_t *bb, zend_op *opcodes) /* {{{ */
314{
315    int line = bb->opcodes - opcodes;
316    op_flowinfo_t fi;
317    zend_op *last = bb->opcodes + bb->count - 1;
318    bbid_t catchbbid;
319#ifdef ZEND_ENGINE_2
320    catchbbid = BBID_INVALID;
321#else
322    catchbbid = bb->catch;
323#endif
324
325    op_get_flowinfo(&fi, last);
326
327    fprintf(stderr,
328            "\r\n==== #%-3d cnt:%-3d lno:%-3d"
329            " %c%c"
330            " op1:%-3d op2:%-3d ext:%-3d fal:%-3d cat:%-3d %s ====\r\n"
331            , bb->id, bb->count, bb->alloc ? -1 : line
332            , bb->used ? 'U' : ' ', bb->alloc ? 'A' : ' '
333            , fi.jmpout_op1, fi.jmpout_op2, fi.jmpout_ext, bb->fall, catchbbid, xc_get_opcode(last->opcode)
334            );
335    op_print(line, bb->opcodes, last + 1);
336}
337/* }}} */
338#endif
339
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/* }}} */
350static void bbs_destroy(bbs_t *bbs) /* {{{ */
351{
352    bb_t *bb;
353    while (bbs_count(bbs)) {
354        bb = (bb_t *) xc_stack_pop(bbs);
355        bb_destroy(bb);
356    }
357    xc_stack_destroy(bbs);
358}
359/* }}} */
360#ifdef XCACHE_DEBUG
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
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/* }}} */
383static int bbs_build_from(bbs_t *bbs, zend_op_array *op_array, int count) /* {{{ */
384{
385    int i, start;
386    bb_t *pbb;
387    bbid_t id;
388    op_flowinfo_t fi;
389    zend_op *opline;
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);
394#ifdef ZEND_ENGINE_2
395    bbid_t *catchbbids     = my_do_alloca(count * sizeof(bbid_t),    use_heap_catchbbids);
396#endif
397    zend_bool *markbbhead  = my_do_alloca(count * sizeof(zend_bool), use_heap_markbbhead);
398
399    /* {{{ mark jmpin/jumpout */
400    memset(markbbhead,  0, count * sizeof(zend_bool));
401
402    markbbhead[0] = 1;
403    for (i = 0; i < count; i ++) {
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;
407            }
408            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
409                markbbhead[fi.jmpout_op2] = 1;
410            }
411            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
412                markbbhead[fi.jmpout_ext] = 1;
413            }
414            if (i + 1 < count) {
415                markbbhead[i + 1] = 1;
416            }
417        }
418    }
419#ifdef ZEND_ENGINE_2
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    }
424#endif
425    /* }}} */
426    /* {{{ fill op lines with newly allocated id */
427    for (i = 0; i < count; i ++) {
428        bbids[i] = BBID_INVALID;
429    }
430
431    id = -1;
432    for (i = 0; i < count; i ++) {
433        if (markbbhead[i]) {
434            id ++;
435        }
436        bbids[i] = id;
437        TRACE("bbids[%d] = %d", i, id);
438    }
439    /* }}} */
440#ifdef ZEND_ENGINE_2
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    }
453#ifdef XCACHE_DEBUG
454    for (i = 0; i < count; i ++) {
455        TRACE("catchbbids[%d] = %d", i, catchbbids[i]);
456    }
457#endif
458    /* }}} */
459#endif
460    /* {{{ create basic blocks */
461    start = 0;
462    id = 0;
463    /* loop over to deal with the last block */
464    for (i = 1; i <= count; i ++) {
465        if (i < count && id == bbids[i]) {
466            continue;
467        }
468
469        opline = op_array->opcodes + start;
470        pbb = bbs_new_bb_ex(bbs, opline, i - start);
471#ifdef ZEND_ENGINE_2
472        pbb->catch = catchbbids[start];
473#endif
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) {
479                Z_OP(opline->op1).opline_num = bbids[fi.jmpout_op1];
480                assert(Z_OP(opline->op1).opline_num != BBID_INVALID);
481            }
482            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
483                Z_OP(opline->op2).opline_num = bbids[fi.jmpout_op2];
484                assert(Z_OP(opline->op2).opline_num != BBID_INVALID);
485            }
486            if (fi.jmpout_ext != XC_OPNUM_INVALID) {
487                opline->extended_value = bbids[fi.jmpout_ext];
488                assert(opline->extended_value != BBID_INVALID);
489            }
490            if (fi.fall && i + 1 < count) {
491                pbb->fall = bbids[i + 1];
492                TRACE("fall %d", pbb->fall);
493                assert(pbb->fall != BBID_INVALID);
494            }
495        }
496        if (i >= count) {
497            break;
498        }
499        start = i;
500        id = bbids[i];
501    }
502    /* }}} */
503
504    my_free_alloca(markbbhead, use_heap_markbbhead);
505#ifdef ZEND_ENGINE_2
506    my_free_alloca(catchbbids, use_heap_catchbbids);
507#endif
508    my_free_alloca(bbids,      use_heap_bbids);
509    return SUCCESS;
510}
511/* }}} */
512static void bbs_restore_opnum(bbs_t *bbs, zend_op_array *op_array) /* {{{ */
513{
514    int i;
515#ifdef ZEND_ENGINE_2
516    bbid_t lasttrybbid;
517    bbid_t lastcatchbbid;
518#endif
519
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;
524
525        if (op_get_flowinfo(&fi, last) == SUCCESS) {
526            if (fi.jmpout_op1 != XC_OPNUM_INVALID) {
527                Z_OP(last->op1).opline_num = bbs_get(bbs, fi.jmpout_op1)->opnum;
528                assert(Z_OP(last->op1).opline_num != BBID_INVALID);
529            }
530            if (fi.jmpout_op2 != XC_OPNUM_INVALID) {
531                Z_OP(last->op2).opline_num = bbs_get(bbs, fi.jmpout_op2)->opnum;
532                assert(Z_OP(last->op2).opline_num != BBID_INVALID);
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
541#ifdef ZEND_ENGINE_2
542    lasttrybbid   = BBID_INVALID;
543    lastcatchbbid = BBID_INVALID;
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
548        if (lastcatchbbid != bb->catch) {
549            if (lasttrybbid != BBID_INVALID && lastcatchbbid != BBID_INVALID) {
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;
554                op_array->try_catch_array[try_catch_offset].catch_op = bbs_get(bbs, lastcatchbbid)->opnum;
555            }
556            lasttrybbid   = i;
557            lastcatchbbid = bb->catch;
558        }
559    }
560    /* it is impossible to have last bb catched */
561#endif
562}
563/* }}} */
564
565/*
566 * optimize
567 */
568static int xc_optimize_op_array(zend_op_array *op_array TSRMLS_DC) /* {{{ */
569{
570    bbs_t bbs;
571
572    if (op_array->type != ZEND_USER_FUNCTION) {
573        return 0;
574    }
575
576#ifdef XCACHE_DEBUG
577#   if 0
578    TRACE("optimize file: %s", op_array->filename);
579    xc_dprint_zend_op_array(op_array, 0 TSRMLS_CC);
580#   endif
581    op_print(0, op_array->opcodes, op_array->opcodes + op_array->last);
582#endif
583
584    if (op_array_convert_switch(op_array) == SUCCESS) {
585        bbs_init(&bbs);
586        if (bbs_build_from(&bbs, op_array, op_array->last) == SUCCESS) {
587            int i;
588#ifdef XCACHE_DEBUG
589            bbs_print(&bbs, op_array->opcodes);
590#endif
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            }
596            bbs_restore_opnum(&bbs, op_array);
597        }
598        bbs_destroy(&bbs);
599    }
600
601#ifdef XCACHE_DEBUG
602#   if 0
603    TRACE("%s", "after compiles");
604    xc_dprint_zend_op_array(op_array, 0 TSRMLS_CC);
605#   endif
606    op_print(0, op_array->opcodes, op_array->opcodes + op_array->last);
607#endif
608    return 0;
609}
610/* }}} */
611void xc_optimizer_op_array_handler(zend_op_array *op_array) /* {{{ */
612{
613    TSRMLS_FETCH();
614    if (XG(optimizer)) {
615        xc_optimize_op_array(op_array TSRMLS_CC);
616    }
617}
618/* }}} */
Note: See TracBrowser for help on using the repository browser.