source: trunk/lib/Decompiler.class.php @ 1319

Last change on this file since 1319 was 1319, checked in by moo, 13 months ago

Decompiler, disassembler: fix unset for PHP 5.0

  • Property svn:eol-style set to native
File size: 74.5 KB
Line 
1<?php
2
3define('INDENT', "\t");
4ini_set('error_reporting', E_ALL);
5
6function color($str, $color = 33)
7{
8    return "\x1B[{$color}m$str\x1B[0m";
9}
10
11function printBacktrace() // {{{
12{
13    $backtrace = debug_backtrace();
14    foreach ($backtrace as $stack) {
15        $args = array();
16        foreach ($stack['args'] as $arg) {
17            if (is_scalar($arg)) {
18                $args[] = var_export($arg, true);
19            }
20            else if (is_array($arg)) {
21                $array = array();
22                foreach ($arg as $key => $value) {
23                    $array[] = var_export($key, true) . " => " . (is_scalar($value) ? var_export($value, true) : gettype($value));
24                    if (count($array) >= 5) {
25                        $array[] = '...';
26                        break;
27                    }
28                }
29                $args[] = 'array(' . implode(', ', $array) . ')';
30            }
31            else {
32                $args[] = gettype($arg);
33            }
34        }
35        printf("%d: %s::%s(%s)" . PHP_EOL
36                , $stack['line']
37                , isset($stack['class']) ? $stack['class'] : ''
38                , $stack['function']
39                , implode(', ', $args)
40                );
41    }
42}
43// }}}
44
45function str($code, $indent = '') // {{{
46{
47    if (is_array($code)) {
48        $array = array();
49        foreach ($code as $key => $value) {
50            $array[$key] = str($value, $indent);
51        }
52        return $array;
53    }
54    if (is_object($code)) {
55        $code = foldToCode($code, $indent);
56        return $code->toCode($indent);
57    }
58
59    return (string) $code;
60}
61// }}}
62function unsetArray(&$array, $name) // {{{
63{
64    unset($array[$name]);
65}
66// }}}
67
68function foldToCode($src, $indent = '') // {{{ wrap or rewrap anything to Decompiler_Code
69{
70    if (is_array($indent)) {
71        $indent = $indent['indent'];
72    }
73
74    if (!is_object($src)) {
75        return new Decompiler_Code($src);
76    }
77
78    if (!method_exists($src, 'toCode')) {
79        var_dump($src);
80        exit('no toCode');
81    }
82    if (get_class($src) != 'Decompiler_Code') {
83        // rewrap it
84        $src = new Decompiler_Code($src->toCode($indent));
85    }
86
87    return $src;
88}
89// }}}
90function value($value, &$EX) // {{{
91{
92    $spec = xcache_get_special_value($value);
93    if (isset($spec)) {
94        $value = $spec;
95        if (!is_array($value)) {
96            // constant
97            return $value;
98        }
99    }
100
101    if (is_a($value, 'Decompiler_Object')) {
102        // use as is
103    }
104    else if (is_array($value)) {
105        $value = new Decompiler_ConstArray($value, $EX);
106    }
107    else {
108        if (isset($EX['value2constant'][$value])) {
109            $value = new Decompiler_Code($EX['value2constant'][$value]);
110        }
111        else {
112            $value = new Decompiler_Value($value);
113        }
114    }
115    return $value;
116}
117// }}}
118function unquoteName_($str, $asVariableName, $indent = '') // {{{
119{
120    $str = str($str, $indent);
121    if (preg_match("!^'[\\w_][\\w\\d_\\\\]*'\$!", $str)) {
122        return str_replace('\\\\', '\\', substr($str, 1, -1));
123    }
124    else if ($asVariableName) {
125        return "{" . $str . "}";
126    }
127    else {
128        return $str;
129    }
130}
131// }}}
132function unquoteVariableName($str, $indent = '') // {{{
133{
134    return unquoteName_($str, true, $indent);
135}
136// }}}
137function unquoteName($str, $indent = '') // {{{
138{
139    return unquoteName_($str, false, $indent);
140}
141// }}}
142class Decompiler_Object // {{{
143{
144}
145// }}}
146class Decompiler_Value extends Decompiler_Object // {{{
147{
148    public $value;
149
150    function Decompiler_Value($value = null)
151    {
152        $this->value = $value;
153    }
154
155    function toCode($indent)
156    {
157        $code = var_export($this->value, true);
158        if (gettype($this->value) == 'string') {
159            switch ($this->value) {
160            case "\r":
161                return '"\\r"';
162            case "\n":
163                return '"\\n"';
164            case "\r\n":
165                return '"\\r\\n"';
166            }
167            $code = str_replace("\r\n", '\' . "\\r\\n" . \'', $code);
168            $code = str_replace("\r", '\' . "\\r" . \'', $code);
169            $code = str_replace("\n", '\' . "\\n" . \'', $code);
170        }
171        return $code;
172    }
173}
174// }}}
175class Decompiler_Code extends Decompiler_Object // {{{
176{
177    public $src;
178
179    function Decompiler_Code($src)
180    {
181        if (!assert('isset($src)')) {
182            printBacktrace();
183        }
184        $this->src = $src;
185    }
186
187    function toCode($indent)
188    {
189        return $this->src;
190    }
191}
192// }}}
193class Decompiler_Binop extends Decompiler_Code // {{{
194{
195    public $opc;
196    public $op1;
197    public $op2;
198    public $parent;
199
200    function Decompiler_Binop($parent, $op1, $opc, $op2)
201    {
202        $this->parent = &$parent;
203        $this->opc = $opc;
204        $this->op1 = $op1;
205        $this->op2 = $op2;
206    }
207
208    function toCode($indent)
209    {
210        $opstr = $this->parent->binops[$this->opc];
211
212        if (is_a($this->op1, 'Decompiler_TriOp') || is_a($this->op1, 'Decompiler_Binop') && $this->op1->opc != $this->opc) {
213            $op1 = "(" . str($this->op1, $indent) . ")";
214        }
215        else {
216            $op1 = $this->op1;
217        }
218
219        if (is_a($this->op2, 'Decompiler_TriOp') || is_a($this->op2, 'Decompiler_Binop') && $this->op2->opc != $this->opc && substr($opstr, -1) != '=') {
220            $op2 = "(" . str($this->op2, $indent) . ")";
221        }
222        else {
223            $op2 = $this->op2;
224        }
225
226        if (str($op1) == '0' && ($this->opc == XC_ADD || $this->opc == XC_SUB)) {
227            return $opstr . str($op2, $indent);
228        }
229
230        return str($op1, $indent) . ' ' . $opstr . ($this->opc == XC_ASSIGN_REF ? '' : ' ') . str($op2, $indent);
231    }
232}
233// }}}
234class Decompiler_TriOp extends Decompiler_Code // {{{
235{
236    public $condition;
237    public $trueValue;
238    public $falseValue;
239
240    function Decompiler_TriOp($condition, $trueValue, $falseValue)
241    {
242        $this->condition = $condition;
243        $this->trueValue = $trueValue;
244        $this->falseValue = $falseValue;
245    }
246
247    function toCode($indent)
248    {
249        $trueValue = $this->trueValue;
250        if (is_a($this->trueValue, 'Decompiler_TriOp')) {
251            $trueValue = "(" . str($trueValue, $indent) . ")";
252        }
253        $falseValue = $this->falseValue;
254        if (is_a($this->falseValue, 'Decompiler_TriOp')) {
255            $falseValue = "(" . str($falseValue, $indent) . ")";
256        }
257
258        return str($this->condition) . ' ? ' . str($trueValue) . ' : ' . str($falseValue);
259    }
260}
261// }}}
262class Decompiler_Fetch extends Decompiler_Code // {{{
263{
264    public $src;
265    public $fetchType;
266
267    function Decompiler_Fetch($src, $type, $globalSrc)
268    {
269        $this->src = $src;
270        $this->fetchType = $type;
271        $this->globalSrc = $globalSrc;
272    }
273
274    function toCode($indent)
275    {
276        switch ($this->fetchType) {
277        case ZEND_FETCH_LOCAL:
278            return '$' . $this->src;
279        case ZEND_FETCH_STATIC:
280            if (ZEND_ENGINE_2_3) {
281                // closure local variable?
282                return str($this->src);
283            }
284            die('static fetch cant to string');
285        case ZEND_FETCH_GLOBAL:
286        case ZEND_FETCH_GLOBAL_LOCK:
287            return $this->globalSrc;
288        default:
289            var_dump($this->fetchType);
290            assert(0);
291        }
292    }
293}
294// }}}
295class Decompiler_Box // {{{
296{
297    public $obj;
298
299    function Decompiler_Box(&$obj)
300    {
301        $this->obj = &$obj;
302    }
303
304    function toCode($indent)
305    {
306        return $this->obj->toCode($indent);
307    }
308}
309// }}}
310class Decompiler_Dim extends Decompiler_Value // {{{
311{
312    public $offsets = array();
313    public $isLast = false;
314    public $isObject = false;
315    public $assign = null;
316
317    function toCode($indent)
318    {
319        if (is_a($this->value, 'Decompiler_ListBox')) {
320            $exp = str($this->value->obj->src, $indent);
321        }
322        else {
323            $exp = str($this->value, $indent);
324        }
325        $last = count($this->offsets) - 1;
326        foreach ($this->offsets as $i => $dim) {
327            if ($this->isObject && $i == $last) {
328                $exp .= '->' . unquoteVariableName($dim, $indent);
329            }
330            else {
331                $exp .= '[' . str($dim, $indent) . ']';
332            }
333        }
334        return $exp;
335    }
336}
337// }}}
338class Decompiler_DimBox extends Decompiler_Box // {{{
339{
340}
341// }}}
342class Decompiler_List extends Decompiler_Code // {{{
343{
344    public $src;
345    public $dims = array();
346    public $everLocked = false;
347
348    function toCode($indent)
349    {
350        if (count($this->dims) == 1 && !$this->everLocked) {
351            $dim = $this->dims[0];
352            unset($dim->value);
353            $dim->value = $this->src;
354            if (!isset($dim->assign)) {
355                return str($dim, $indent);
356            }
357            return str($this->dims[0]->assign, $indent) . ' = ' . str($dim, $indent);
358        }
359        /* flatten dims */
360        $assigns = array();
361        foreach ($this->dims as $dim) {
362            $assign = &$assigns;
363            foreach ($dim->offsets as $offset) {
364                $assign = &$assign[$offset];
365            }
366            $assign = foldToCode($dim->assign, $indent);
367        }
368        return str($this->toList($assigns)) . ' = ' . str($this->src, $indent);
369    }
370
371    function toList($assigns)
372    {
373        $keys = array_keys($assigns);
374        if (count($keys) < 2) {
375            $keys[] = 0;
376        }
377        $max = call_user_func_array('max', $keys);
378        $list = 'list(';
379        for ($i = 0; $i <= $max; $i ++) {
380            if ($i) {
381                $list .= ', ';
382            }
383            if (!isset($assigns[$i])) {
384                continue;
385            }
386            if (is_array($assigns[$i])) {
387                $list .= $this->toList($assigns[$i]);
388            }
389            else {
390                $list .= $assigns[$i];
391            }
392        }
393        return $list . ')';
394    }
395}
396// }}}
397class Decompiler_ListBox extends Decompiler_Box // {{{
398{
399}
400// }}}
401class Decompiler_Array extends Decompiler_Value // {{{
402{
403    // emenets
404    function Decompiler_Array()
405    {
406        $this->value = array();
407    }
408
409    function toCode($indent)
410    {
411        $subindent = $indent . INDENT;
412
413        $elementsCode = array();
414        $index = 0;
415        foreach ($this->value as $element) {
416            list($key, $value) = $element;
417            if (!isset($key)) {
418                $key = $index++;
419            }
420            $elementsCode[] = array(str($key, $subindent), str($value, $subindent), $key, $value);
421        }
422
423        $exp = "array(";
424        $indent = $indent . INDENT;
425        $assocWidth = 0;
426        $multiline = 0;
427        $i = 0;
428        foreach ($elementsCode as $element) {
429            list($keyCode, $valueCode) = $element;
430            if ((string) $i !== $keyCode) {
431                $assocWidth = 1;
432                break;
433            }
434            ++$i;
435        }
436        foreach ($elementsCode as $element) {
437            list($keyCode, $valueCode, $key, $value) = $element;
438            if ($assocWidth) {
439                $len = strlen($keyCode);
440                if ($assocWidth < $len) {
441                    $assocWidth = $len;
442                }
443            }
444            if (is_array($value) || is_a($value, 'Decompiler_Array')) {
445                $multiline ++;
446            }
447        }
448
449        $i = 0;
450        foreach ($elementsCode as $element) {
451            list($keyCode, $value) = $element;
452            if ($multiline) {
453                if ($i) {
454                    $exp .= ",";
455                }
456                $exp .= "\n";
457                $exp .= $indent;
458            }
459            else {
460                if ($i) {
461                    $exp .= ", ";
462                }
463            }
464
465            if ($assocWidth) {
466                if ($multiline) {
467                    $exp .= sprintf("%-{$assocWidth}s => ", $keyCode);
468                }
469                else {
470                    $exp .= $keyCode . ' => ';
471                }
472            }
473
474            $exp .= $value;
475
476            $i ++;
477        }
478        if ($multiline) {
479            $exp .= "\n$indent)";
480        }
481        else {
482            $exp .= ")";
483        }
484        return $exp;
485    }
486}
487// }}}
488class Decompiler_ConstArray extends Decompiler_Array // {{{
489{
490    function Decompiler_ConstArray($array, &$EX)
491    {
492        $elements = array();
493        foreach ($array as $key => $value) {
494            $elements[] = array(value($key, $EX), value($value, $EX));
495        }
496        $this->value = $elements;
497    }
498}
499// }}}
500class Decompiler_ForeachBox extends Decompiler_Box // {{{
501{
502    public $iskey;
503
504    function toCode($indent)
505    {
506        return '#foreachBox#';
507    }
508}
509// }}}
510
511class Decompiler
512{
513    public $namespace;
514    public $namespaceDecided;
515    public $activeFile;
516    public $activeClass;
517    public $activeMethod;
518    public $activeFunction;
519
520    function Decompiler()
521    {
522        // {{{ testing
523        // XC_UNDEF XC_OP_DATA
524        $this->test = !empty($_ENV['XCACHE_DECOMPILER_TEST']);
525        $this->usedOps = array();
526
527        if ($this->test) {
528            $content = file_get_contents(__FILE__);
529            for ($i = 0; $opname = xcache_get_opcode($i); $i ++) {
530                if (!preg_match("/\\bXC_" . $opname . "\\b(?!')/", $content)) {
531                    echo "not recognized opcode ", $opname, "\n";
532                }
533            }
534        }
535        // }}}
536        // {{{ opinfo
537        $this->unaryops = array(
538                XC_BW_NOT   => '~',
539                XC_BOOL_NOT => '!',
540                );
541        $this->binops = array(
542                XC_ADD                 => "+",
543                XC_ASSIGN_ADD          => "+=",
544                XC_SUB                 => "-",
545                XC_ASSIGN_SUB          => "-=",
546                XC_MUL                 => "*",
547                XC_ASSIGN_MUL          => "*=",
548                XC_DIV                 => "/",
549                XC_ASSIGN_DIV          => "/=",
550                XC_MOD                 => "%",
551                XC_ASSIGN_MOD          => "%=",
552                XC_SL                  => "<<",
553                XC_ASSIGN_SL           => "<<=",
554                XC_SR                  => ">>",
555                XC_ASSIGN_SR           => ">>=",
556                XC_CONCAT              => ".",
557                XC_ASSIGN_CONCAT       => ".=",
558                XC_IS_IDENTICAL        => "===",
559                XC_IS_NOT_IDENTICAL    => "!==",
560                XC_IS_EQUAL            => "==",
561                XC_IS_NOT_EQUAL        => "!=",
562                XC_IS_SMALLER          => "<",
563                XC_IS_SMALLER_OR_EQUAL => "<=",
564                XC_BW_OR               => "|",
565                XC_ASSIGN_BW_OR        => "|=",
566                XC_BW_AND              => "&",
567                XC_ASSIGN_BW_AND       => "&=",
568                XC_BW_XOR              => "^",
569                XC_ASSIGN_BW_XOR       => "^=",
570                XC_BOOL_XOR            => "xor",
571                XC_ASSIGN              => "=",
572                XC_ASSIGN_REF          => "= &",
573                XC_JMP_SET             => "?:",
574                XC_JMP_SET_VAR         => "?:",
575                XC_JMPZ_EX             => "&&",
576                XC_JMPNZ_EX            => "||",
577                );
578        // }}}
579        $this->includeTypes = array( // {{{
580                ZEND_EVAL         => 'eval',
581                ZEND_INCLUDE      => 'include',
582                ZEND_INCLUDE_ONCE => 'include_once',
583                ZEND_REQUIRE      => 'require',
584                ZEND_REQUIRE_ONCE => 'require_once',
585                );
586                // }}}
587    }
588    function detectNamespace($name) // {{{
589    {
590        if ($this->namespaceDecided) {
591            return;
592        }
593
594        if (strpos($name, '\\') !== false) {
595            $this->namespace = strtok($name, '\\');
596            echo 'namespace ', $this->namespace, ";\n\n";
597        }
598
599        $this->namespaceDecided = true;
600    }
601    // }}}
602    function stripNamespace($name) // {{{
603    {
604        $name = str($name);
605        $len = strlen($this->namespace) + 1;
606        if (substr($name, 0, $len) == $this->namespace . '\\') {
607            return substr($name, $len);
608        }
609        else {
610            return $name;
611        }
612    }
613    // }}}
614    function outputPhp(&$EX, $range) // {{{
615    {
616        $needBlankline = isset($EX['lastBlock']);
617        $indent = $EX['indent'];
618        $curticks = 0;
619        for ($i = $range[0]; $i <= $range[1]; $i ++) {
620            $op = $EX['opcodes'][$i];
621            if (isset($op['gofrom'])) {
622                if ($needBlankline) {
623                    $needBlankline = false;
624                    echo PHP_EOL;
625                }
626                echo 'label' . $i, ":\n";
627            }
628            if (isset($op['php'])) {
629                $toticks = isset($op['ticks']) ? (int) str($op['ticks']) : 0;
630                if ($curticks != $toticks) {
631                    $oldticks = $curticks;
632                    $curticks = $toticks;
633                    if (!$curticks) {
634                        echo $EX['indent'], "}\n\n";
635                        $indent = $EX['indent'];
636                    }
637                    else {
638                        if ($oldticks) {
639                            echo $EX['indent'], "}\n\n";
640                        }
641                        else if (!$oldticks) {
642                            $indent .= INDENT;
643                        }
644                        if ($needBlankline) {
645                            $needBlankline = false;
646                            echo PHP_EOL;
647                        }
648                        echo $EX['indent'], "declare (ticks=$curticks) {\n";
649                    }
650                }
651                if ($needBlankline) {
652                    $needBlankline = false;
653                    echo PHP_EOL;
654                }
655                echo $indent, str($op['php'], $indent), ";\n";
656                $EX['lastBlock'] = 'basic';
657            }
658        }
659        if ($curticks) {
660            echo $EX['indent'], "}\n";
661        }
662    }
663    // }}}
664    function getOpVal($op, &$EX, $free = false) // {{{
665    {
666        switch ($op['op_type']) {
667        case XC_IS_CONST:
668            return value($op['constant'], $EX);
669
670        case XC_IS_VAR:
671        case XC_IS_TMP_VAR:
672            $T = &$EX['Ts'];
673            if (!isset($T[$op['var']])) {
674                printBacktrace();
675            }
676            $ret = $T[$op['var']];
677            if ($free && empty($this->keepTs)) {
678                unset($T[$op['var']]);
679            }
680            return $ret;
681
682        case XC_IS_CV:
683            $var = $op['var'];
684            $var = $EX['op_array']['vars'][$var];
685            return '$' . $var['name'];
686
687        case XC_IS_UNUSED:
688            return null;
689        }
690    }
691    // }}}
692    function removeKeyPrefix($array, $prefix) // {{{
693    {
694        $prefixLen = strlen($prefix);
695        $ret = array();
696        foreach ($array as $key => $value) {
697            if (substr($key, 0, $prefixLen) == $prefix) {
698                $key = substr($key, $prefixLen);
699            }
700            $ret[$key] = $value;
701        }
702        return $ret;
703    }
704    // }}}
705    function &fixOpcode($opcodes, $removeTailing = false, $defaultReturnValue = null) // {{{
706    {
707        $last = count($opcodes) - 1;
708        for ($i = 0; $i <= $last; $i ++) {
709            if (function_exists('xcache_get_fixed_opcode')) {
710                $opcodes[$i]['opcode'] = xcache_get_fixed_opcode($opcodes[$i]['opcode'], $i);
711            }
712            if (isset($opcodes[$i]['op1'])) {
713                $opcodes[$i]['op1'] = $this->removeKeyPrefix($opcodes[$i]['op1'], 'u.');
714                $opcodes[$i]['op2'] = $this->removeKeyPrefix($opcodes[$i]['op2'], 'u.');
715                $opcodes[$i]['result'] = $this->removeKeyPrefix($opcodes[$i]['result'], 'u.');
716            }
717            else {
718                $op = array(
719                    'op1' => array(),
720                    'op2' => array(),
721                    'result' => array(),
722                );
723                foreach ($opcodes[$i] as $name => $value) {
724                    if (preg_match('!^(op1|op2|result)\\.(.*)!', $name, $m)) {
725                        list(, $which, $field) = $m;
726                        $op[$which][$field] = $value;
727                    }
728                    else if (preg_match('!^(op1|op2|result)_type$!', $name, $m)) {
729                        list(, $which) = $m;
730                        $op[$which]['op_type'] = $value;
731                    }
732                    else {
733                        $op[$name] = $value;
734                    }
735                }
736                $opcodes[$i] = $op;
737            }
738        }
739
740        if ($removeTailing) {
741            $last = count($opcodes) - 1;
742            if ($opcodes[$last]['opcode'] == XC_HANDLE_EXCEPTION) {
743                $this->usedOps[XC_HANDLE_EXCEPTION] = true;
744                $opcodes[$last]['opcode'] = XC_NOP;
745                --$last;
746            }
747            if ($opcodes[$last]['opcode'] == XC_RETURN) {
748                $op1 = $opcodes[$last]['op1'];
749                if ($op1['op_type'] == XC_IS_CONST && array_key_exists('constant', $op1) && $op1['constant'] === $defaultReturnValue) {
750                    $opcodes[$last]['opcode'] = XC_NOP;
751                    --$last;
752                }
753            }
754        }
755        return $opcodes;
756    }
757    // }}}
758    function decompileBasicBlock(&$EX, $range, $unhandled = false) // {{{
759    {
760        $this->dasmBasicBlock($EX, $range);
761        if ($unhandled) {
762            $this->dumpRange($EX, $range);
763        }
764        $this->outputPhp($EX, $range);
765    }
766    // }}}
767    function isIfCondition(&$EX, $range) // {{{
768    {
769        $opcodes = &$EX['opcodes'];
770        $firstOp = &$opcodes[$range[0]];
771        return $firstOp['opcode'] == XC_JMPZ && !empty($firstOp['jmpouts']) && $opcodes[$firstOp['jmpouts'][0] - 1]['opcode'] == XC_JMP
772         && !empty($opcodes[$firstOp['jmpouts'][0] - 1]['jmpouts'])
773         && $opcodes[$firstOp['jmpouts'][0] - 1]['jmpouts'][0] == $range[1] + 1;
774    }
775    // }}}
776    function removeJmpInfo(&$EX, $line) // {{{
777    {
778        $opcodes = &$EX['opcodes'];
779        if (!isset($opcodes[$line]['jmpouts'])) {
780            printBacktrace();
781        }
782        foreach ($opcodes[$line]['jmpouts'] as $jmpTo) {
783            $jmpins = &$opcodes[$jmpTo]['jmpins'];
784            $jmpins = array_flip($jmpins);
785            unset($jmpins[$line]);
786            $jmpins = array_keys($jmpins);
787        }
788        // $opcodes[$line]['opcode'] = XC_NOP;
789        unset($opcodes[$line]['jmpouts']);
790    }
791    // }}}
792    function beginScope(&$EX, $doIndent = true) // {{{
793    {
794        array_push($EX['scopeStack'], array($EX['lastBlock'], $EX['indent']));
795        if ($doIndent) {
796            $EX['indent'] .= INDENT;
797        }
798        $EX['lastBlock'] = null;
799    }
800    // }}}
801    function endScope(&$EX) // {{{
802    {
803        list($EX['lastBlock'], $EX['indent']) = array_pop($EX['scopeStack']);
804    }
805    // }}}
806    function beginComplexBlock(&$EX) // {{{
807    {
808        if (isset($EX['lastBlock'])) {
809            echo PHP_EOL;
810            $EX['lastBlock'] = null;
811        }
812    }
813    // }}}
814    function endComplexBlock(&$EX) // {{{
815    {
816        $EX['lastBlock'] = 'complex';
817    }
818    // }}}
819    function decompileComplexBlock(&$EX, $range) // {{{
820    {
821        $T = &$EX['Ts'];
822        $opcodes = &$EX['opcodes'];
823        $indent = $EX['indent'];
824
825        $firstOp = &$opcodes[$range[0]];
826        $lastOp = &$opcodes[$range[1]];
827
828        // {{{ && || and or
829        if (($firstOp['opcode'] == XC_JMPZ_EX || $firstOp['opcode'] == XC_JMPNZ_EX) && !empty($firstOp['jmpouts'])
830         && $firstOp['jmpouts'][0] == $range[1] + 1
831         && $lastOp['opcode'] == XC_BOOL
832         && $firstOp['opcode']['result']['var'] == $lastOp['opcode']['result']['var']
833        ) {
834            $this->removeJmpInfo($EX, $range[0]);
835
836            $this->recognizeAndDecompileClosedBlocks($EX, array($range[0], $range[0]));
837            $op1 = $this->getOpVal($firstOp['result'], $EX, true);
838
839            $this->recognizeAndDecompileClosedBlocks($EX, array($range[0] + 1, $range[1]));
840            $op2 = $this->getOpVal($lastOp['result'], $EX, true);
841
842            $T[$firstOp['result']['var']] = new Decompiler_Binop($this, $op1, $firstOp['opcode'], $op2);
843            return false;
844        }
845        // }}}
846        // {{{ ?: excluding JMP_SET/JMP_SET_VAR
847        if ($firstOp['opcode'] == XC_JMPZ && !empty($firstOp['jmpouts'])
848         && $range[1] >= $range[0] + 3
849         && ($opcodes[$firstOp['jmpouts'][0] - 2]['opcode'] == XC_QM_ASSIGN || $opcodes[$firstOp['jmpouts'][0] - 2]['opcode'] == XC_QM_ASSIGN_VAR)
850         && $opcodes[$firstOp['jmpouts'][0] - 1]['opcode'] == XC_JMP && $opcodes[$firstOp['jmpouts'][0] - 1]['jmpouts'][0] == $range[1] + 1
851         && ($lastOp['opcode'] == XC_QM_ASSIGN || $lastOp['opcode'] == XC_QM_ASSIGN_VAR)
852        ) {
853            $trueRange = array($range[0] + 1, $firstOp['jmpouts'][0] - 2);
854            $falseRange = array($firstOp['jmpouts'][0], $range[1]);
855            $this->removeJmpInfo($EX, $range[0]);
856
857            $condition = $this->getOpVal($firstOp['op1'], $EX);
858            $this->recognizeAndDecompileClosedBlocks($EX, $trueRange);
859            $trueValue = $this->getOpVal($opcodes[$trueRange[1]]['result'], $EX, true);
860            $this->recognizeAndDecompileClosedBlocks($EX, $falseRange);
861            $falseValue = $this->getOpVal($opcodes[$falseRange[1]]['result'], $EX, true);
862            $T[$opcodes[$trueRange[1]]['result']['var']] = new Decompiler_TriOp($condition, $trueValue, $falseValue);
863            return false;
864        }
865        // }}}
866        // {{{ goto (TODO: recognize BRK which is translated to JMP by optimizer)
867        if ($firstOp['opcode'] == XC_JMP && !empty($firstOp['jmpouts']) && $firstOp['jmpouts'][0] == $range[1] + 1) {
868            $this->removeJmpInfo($EX, $range[0]);
869            assert(XC_GOTO != -1);
870            $firstOp['opcode'] = XC_GOTO;
871            $target = $firstOp['op1']['var'];
872            $firstOp['goto'] = $target;
873            $opcodes[$target]['gofrom'][] = $range[0];
874
875            $this->recognizeAndDecompileClosedBlocks($EX, $range);
876            return false;
877        }
878        // }}}
879        // {{{ for
880        if (!empty($firstOp['jmpins']) && $opcodes[$firstOp['jmpins'][0]]['opcode'] == XC_JMP
881         && $lastOp['opcode'] == XC_JMP && !empty($lastOp['jmpouts']) && $lastOp['jmpouts'][0] <= $firstOp['jmpins'][0]
882         && !empty($opcodes[$range[1] + 1]['jmpins']) && $opcodes[$opcodes[$range[1] + 1]['jmpins'][0]]['opcode'] == XC_JMPZNZ
883        ) {
884            $nextRange = array($lastOp['jmpouts'][0], $firstOp['jmpins'][0]);
885            $conditionRange = array($range[0], $nextRange[0] - 1);
886            $this->removeJmpInfo($EX, $conditionRange[1]);
887            $bodyRange = array($nextRange[1], $range[1]);
888            $this->removeJmpInfo($EX, $bodyRange[1]);
889
890            $initial = '';
891            $this->beginScope($EX);
892            $this->dasmBasicBlock($EX, $conditionRange);
893            $conditionCodes = array();
894            for ($i = $conditionRange[0]; $i <= $conditionRange[1]; ++$i) {
895                if (isset($opcodes[$i]['php'])) {
896                    $conditionCodes[] = str($opcodes[$i]['php'], $EX);
897                }
898            }
899            $conditionCodes[] = str($this->getOpVal($opcodes[$conditionRange[1]]['op1'], $EX), $EX);
900            if (implode(',', $conditionCodes) == 'true') {
901                $conditionCodes = array();
902            }
903            $this->endScope($EX);
904
905            $this->beginScope($EX);
906            $this->dasmBasicBlock($EX, $nextRange);
907            $nextCodes = array();
908            for ($i = $nextRange[0]; $i <= $nextRange[1]; ++$i) {
909                if (isset($opcodes[$i]['php'])) {
910                    $nextCodes[] = str($opcodes[$i]['php'], $EX);
911                }
912            }
913            $this->endScope($EX);
914
915            $this->beginComplexBlock($EX);
916            echo $indent, 'for (', str($initial, $EX), '; ', implode(', ', $conditionCodes), '; ', implode(', ', $nextCodes), ') ', '{', PHP_EOL;
917            $this->beginScope($EX);
918            $this->recognizeAndDecompileClosedBlocks($EX, $bodyRange);
919            $this->endScope($EX);
920            echo $indent, '}', PHP_EOL;
921            $this->endComplexBlock($EX);
922            return;
923        }
924        // }}}
925        // {{{ if/elseif/else
926        if ($this->isIfCondition($EX, $range)) {
927            $this->beginComplexBlock($EX);
928            $isElseIf = false;
929            do {
930                $ifRange = array($range[0], $opcodes[$range[0]]['jmpouts'][0] - 1);
931                $this->removeJmpInfo($EX, $ifRange[0]);
932                $this->removeJmpInfo($EX, $ifRange[1]);
933                $condition = $this->getOpVal($opcodes[$ifRange[0]]['op1'], $EX);
934
935                echo $indent, $isElseIf ? 'else if' : 'if', ' (', str($condition, $EX), ') ', '{', PHP_EOL;
936                $this->beginScope($EX);
937                $this->recognizeAndDecompileClosedBlocks($EX, $ifRange);
938                $this->endScope($EX);
939                $EX['lastBlock'] = null;
940                echo $indent, '}', PHP_EOL;
941
942                $isElseIf = true;
943                // search for else if
944                $range[0] = $ifRange[1] + 1;
945                for ($i = $ifRange[1] + 1; $i <= $range[1]; ++$i) {
946                    // find first jmpout
947                    if (!empty($opcodes[$i]['jmpouts'])) {
948                        if ($this->isIfCondition($EX, array($i, $range[1]))) {
949                            $this->dasmBasicBlock($EX, array($range[0], $i));
950                            $range[0] = $i;
951                        }
952                        break;
953                    }
954                }
955            } while ($this->isIfCondition($EX, $range));
956            if ($ifRange[1] < $range[1]) {
957                $elseRange = array($ifRange[1], $range[1]);
958                echo $indent, 'else ', '{', PHP_EOL;
959                $this->beginScope($EX);
960                $this->recognizeAndDecompileClosedBlocks($EX, $elseRange);
961                $this->endScope($EX);
962                $EX['lastBlock'] = null;
963                echo $indent, '}', PHP_EOL;
964            }
965            $this->endComplexBlock($EX);
966            return;
967        }
968        if ($firstOp['opcode'] == XC_JMPZ && !empty($firstOp['jmpouts'])
969         && $firstOp['jmpouts'][0] - 1 == $range[1] && $opcodes[$firstOp['jmpouts'][0] - 1]['opcode'] == XC_RETURN) {
970            $this->beginComplexBlock($EX);
971            $this->removeJmpInfo($EX, $range[0]);
972            $condition = $this->getOpVal($opcodes[$range[0]]['op1'], $EX);
973
974            echo $indent, 'if (', str($condition, $EX), ') ', '{', PHP_EOL;
975            $this->beginScope($EX);
976            $this->recognizeAndDecompileClosedBlocks($EX, $range);
977            $this->endScope($EX);
978            echo $indent, '}', PHP_EOL;
979            $this->endComplexBlock($EX);
980            return;
981        }
982        // }}}
983        // {{{ try/catch
984        if (!empty($firstOp['jmpins']) && !empty($opcodes[$firstOp['jmpins'][0]]['isCatchBegin'])) {
985            $catchBlocks = array();
986            $catchFirst = $firstOp['jmpins'][0];
987
988            $tryRange = array($range[0], $catchFirst - 1);
989
990            // search for XC_CATCH
991            for ($i = $catchFirst; $i <= $range[1]; ) {
992                if ($opcodes[$i]['opcode'] == XC_CATCH) {
993                    $catchOpLine = $i;
994                    $this->removeJmpInfo($EX, $catchFirst);
995
996                    $catchNext = $opcodes[$catchOpLine]['extended_value'];
997                    $catchBodyLast = $catchNext - 1;
998                    if ($opcodes[$catchBodyLast]['opcode'] == XC_JMP) {
999                        --$catchBodyLast;
1000                    }
1001
1002                    $catchBlocks[$catchFirst] = array($catchOpLine, $catchBodyLast);
1003
1004                    $i = $catchFirst = $catchNext;
1005                }
1006                else {
1007                    ++$i;
1008                }
1009            }
1010
1011            if ($opcodes[$tryRange[1]]['opcode'] == XC_JMP) {
1012                --$tryRange[1];
1013            }
1014
1015            $this->beginComplexBlock($EX);
1016            echo $indent, "try {", PHP_EOL;
1017            $this->beginScope($EX);
1018            $this->recognizeAndDecompileClosedBlocks($EX, $tryRange);
1019            $this->endScope($EX);
1020            echo $indent, '}', PHP_EOL;
1021            if (!$catchBlocks) {
1022                printBacktrace();
1023                assert($catchBlocks);
1024            }
1025            foreach ($catchBlocks as $catchFirst => $catchInfo) {
1026                list($catchOpLine, $catchBodyLast) = $catchInfo;
1027                $catchBodyFirst = $catchOpLine + 1;
1028                $this->dasmBasicBlock($EX, array($catchFirst, $catchOpLine));
1029                $catchOp = &$opcodes[$catchOpLine];
1030                echo $indent, 'catch ('
1031                        , $this->stripNamespace(isset($catchOp['op1']['constant']) ? $catchOp['op1']['constant'] : str($this->getOpVal($catchOp['op1'], $EX)))
1032                        , ' '
1033                        , isset($catchOp['op2']['constant']) ? '$' . $catchOp['op2']['constant'] : str($this->getOpVal($catchOp['op2'], $EX))
1034                        , ") {", PHP_EOL;
1035                unset($catchOp);
1036
1037                $EX['lastBlock'] = null;
1038                $this->beginScope($EX);
1039                $this->recognizeAndDecompileClosedBlocks($EX, array($catchBodyFirst, $catchBodyLast));
1040                $this->endScope($EX);
1041                echo $indent, '}', PHP_EOL;
1042            }
1043            $this->endComplexBlock($EX);
1044            return;
1045        }
1046        // }}}
1047        // {{{ switch/case
1048        if ($firstOp['opcode'] == XC_SWITCH_FREE && isset($T[$firstOp['op1']['var']])) {
1049            // TODO: merge this code to CASE code. use SWITCH_FREE to detect begin of switch by using $Ts if possible
1050            $this->beginComplexBlock($EX);
1051            echo $indent, 'switch (', str($this->getOpVal($firstOp['op1'], $EX)), ") {", PHP_EOL;
1052            echo $indent, '}', PHP_EOL;
1053            $this->endComplexBlock($EX);
1054            return;
1055        }
1056
1057        if (
1058            ($firstOp['opcode'] == XC_CASE
1059            || $firstOp['opcode'] == XC_JMP && !empty($firstOp['jmpouts']) && $opcodes[$firstOp['jmpouts'][0]]['opcode'] == XC_CASE
1060            )
1061             && !empty($lastOp['jmpouts'])
1062        ) {
1063            $cases = array();
1064            $caseDefault = null;
1065            $caseOp = null;
1066            for ($i = $range[0]; $i <= $range[1]; ) {
1067                $op = $opcodes[$i];
1068                if ($op['opcode'] == XC_CASE) {
1069                    if (!isset($caseOp)) {
1070                        $caseOp = $op;
1071                    }
1072                    $jmpz = $opcodes[$i + 1];
1073                    assert('$jmpz["opcode"] == XC_JMPZ');
1074                    $caseNext = $jmpz['jmpouts'][0];
1075                    $cases[$i] = $caseNext - 1;
1076                    $i = $caseNext;
1077                }
1078                else if ($op['opcode'] == XC_JMP && $op['jmpouts'][0] >= $i) {
1079                    // default
1080                    $caseNext = $op['jmpouts'][0];
1081                    $caseDefault = $i;
1082                    $cases[$i] = $caseNext - 1;
1083                    $i = $caseNext;
1084                }
1085                else {
1086                    ++$i;
1087                }
1088            }
1089
1090            $this->beginComplexBlock($EX);
1091
1092            echo $indent, 'switch (', str($this->getOpVal($caseOp['op1'], $EX), $EX), ") {", PHP_EOL;
1093            $caseIsOut = false;
1094            foreach ($cases as $caseFirst => $caseLast) {
1095                if ($caseIsOut && empty($lastCaseFall)) {
1096                    echo PHP_EOL;
1097                }
1098
1099                $caseOp = $opcodes[$caseFirst];
1100
1101                echo $indent;
1102                if ($caseOp['opcode'] == XC_CASE) {
1103                    echo 'case ';
1104                    echo str($this->getOpVal($caseOp['op2'], $EX), $EX);
1105                    echo ':', PHP_EOL;
1106
1107                    $this->removeJmpInfo($EX, $caseFirst);
1108                    ++$caseFirst;
1109
1110                    assert('$opcodes[$caseFirst]["opcode"] == XC_JMPZ');
1111                    $this->removeJmpInfo($EX, $caseFirst);
1112                    ++$caseFirst;
1113                }
1114                else {
1115                    echo 'default';
1116                    echo ':', PHP_EOL;
1117
1118                    assert('$opcodes[$caseFirst]["opcode"] == XC_JMP');
1119                    $this->removeJmpInfo($EX, $caseFirst);
1120                    ++$caseFirst;
1121                }
1122
1123                assert('$opcodes[$caseLast]["opcode"] == XC_JMP');
1124                $this->removeJmpInfo($EX, $caseLast);
1125                --$caseLast;
1126                switch ($opcodes[$caseLast]['opcode']) {
1127                case XC_BRK:
1128                case XC_CONT:
1129                case XC_GOTO:
1130                    $lastCaseFall = false;
1131                    break;
1132
1133                default:
1134                    $lastCaseFall = true;
1135                }
1136
1137                $this->beginScope($EX);
1138                $this->recognizeAndDecompileClosedBlocks($EX, array($caseFirst, $caseLast));
1139                $this->endScope($EX);
1140                $caseIsOut = true;
1141            }
1142            echo $indent, '}', PHP_EOL;
1143
1144            $this->endComplexBlock($EX);
1145            return;
1146        }
1147        // }}}
1148        // {{{ do/while
1149        if ($lastOp['opcode'] == XC_JMPNZ && !empty($lastOp['jmpouts'])
1150         && $lastOp['jmpouts'][0] == $range[0]) {
1151            $this->removeJmpInfo($EX, $range[1]);
1152            $this->beginComplexBlock($EX);
1153
1154            echo $indent, "do {", PHP_EOL;
1155            $this->beginScope($EX);
1156            $this->recognizeAndDecompileClosedBlocks($EX, $range);
1157            $this->endScope($EX);
1158            echo $indent, "} while (", str($this->getOpVal($lastOp['op1'], $EX)), ');', PHP_EOL;
1159
1160            $this->endComplexBlock($EX);
1161            return;
1162        }
1163        // }}}
1164
1165        // {{{ search firstJmpOp
1166        $firstJmp = null;
1167        $firstJmpOp = null;
1168        for ($i = $range[0]; $i <= $range[1]; ++$i) {
1169            if (!empty($opcodes[$i]['jmpouts'])) {
1170                $firstJmp = $i;
1171                $firstJmpOp = &$opcodes[$firstJmp];
1172                break;
1173            }
1174        }
1175        // }}}
1176
1177        // {{{ while
1178        if (isset($firstJmpOp)
1179         && $firstJmpOp['opcode'] == XC_JMPZ
1180         && $firstJmpOp['jmpouts'][0] > $range[1]
1181         && $lastOp['opcode'] == XC_JMP && !empty($lastOp['jmpouts'])
1182         && $lastOp['jmpouts'][0] == $range[0]) {
1183            $this->removeJmpInfo($EX, $firstJmp);
1184            $this->removeJmpInfo($EX, $range[1]);
1185            $this->beginComplexBlock($EX);
1186
1187            ob_start();
1188            $this->beginScope($EX);
1189            $this->recognizeAndDecompileClosedBlocks($EX, $range);
1190            $this->endScope($EX);
1191            $body = ob_get_clean();
1192
1193            echo $indent, 'while (', str($this->getOpVal($firstJmpOp['op1'], $EX)), ") {", PHP_EOL;
1194            echo $body;
1195            echo $indent, '}', PHP_EOL;
1196
1197            $this->endComplexBlock($EX);
1198            return;
1199        }
1200        // }}}
1201        // {{{ foreach
1202        if (isset($firstJmpOp)
1203         && $firstJmpOp['opcode'] == XC_FE_FETCH
1204         && $firstJmpOp['jmpouts'][0] > $range[1]
1205         && $lastOp['opcode'] == XC_JMP && !empty($lastOp['jmpouts'])
1206         && $lastOp['jmpouts'][0] == $firstJmp) {
1207            $this->removeJmpInfo($EX, $firstJmp);
1208            $this->removeJmpInfo($EX, $range[1]);
1209            $this->beginComplexBlock($EX);
1210
1211            ob_start();
1212            $this->beginScope($EX);
1213            $this->recognizeAndDecompileClosedBlocks($EX, $range);
1214            $this->endScope($EX);
1215            $body = ob_get_clean();
1216
1217            $as = str(foldToCode($firstJmpOp['fe_as'], $EX), $EX);
1218            if (isset($firstJmpOp['fe_key'])) {
1219                $as = str($firstJmpOp['fe_key'], $EX) . ' => ' . $as;
1220            }
1221
1222            echo $indent, 'foreach (', str($firstJmpOp['fe_src'], $EX), " as $as) {", PHP_EOL;
1223            echo $body;
1224            echo $indent, '}', PHP_EOL;
1225
1226            $this->endComplexBlock($EX);
1227            if ($opcodes[$range[1] + 1]['opcode'] == XC_SWITCH_FREE) {
1228                $this->removeJmpInfo($EX, $range[1] + 1);
1229            }
1230            return;
1231        }
1232        // }}}
1233
1234        $this->decompileBasicBlock($EX, $range, true);
1235    }
1236    // }}}
1237    function recognizeAndDecompileClosedBlocks(&$EX, $range) // {{{ decompile in a tree way
1238    {
1239        $opcodes = &$EX['opcodes'];
1240
1241        $starti = $range[0];
1242        for ($i = $starti; $i <= $range[1]; ) {
1243            if (!empty($opcodes[$i]['jmpins']) || !empty($opcodes[$i]['jmpouts'])) {
1244                $blockFirst = $i;
1245                $blockLast = -1;
1246                $j = $blockFirst;
1247                do {
1248                    $op = $opcodes[$j];
1249                    if (!empty($op['jmpins'])) {
1250                        // care about jumping from blocks behind, not before
1251                        foreach ($op['jmpins'] as $oplineNumber) {
1252                            if ($oplineNumber <= $range[1] && $blockLast < $oplineNumber) {
1253                                $blockLast = $oplineNumber;
1254                            }
1255                        }
1256                    }
1257                    if (!empty($op['jmpouts'])) {
1258                        $blockLast = max($blockLast, max($op['jmpouts']) - 1);
1259                    }
1260                    ++$j;
1261                } while ($j <= $blockLast);
1262                if (!assert('$blockLast <= $range[1]')) {
1263                    var_dump($blockLast, $range[1]);
1264                    printBacktrace();
1265                }
1266
1267                if ($blockLast >= $blockFirst) {
1268                    if ($blockFirst > $starti) {
1269                        $this->decompileBasicBlock($EX, array($starti, $blockFirst - 1));
1270                    }
1271                    if ($this->decompileComplexBlock($EX, array($blockFirst, $blockLast)) === false) {
1272                        if ($EX['lastBlock'] == 'complex') {
1273                            echo PHP_EOL;
1274                        }
1275                        $EX['lastBlock'] = null;
1276                    }
1277                    $starti = $blockLast + 1;
1278                    $i = $starti;
1279                }
1280                else {
1281                    ++$i;
1282                }
1283            }
1284            else {
1285                ++$i;
1286            }
1287        }
1288        if ($starti <= $range[1]) {
1289            $this->decompileBasicBlock($EX, array($starti, $range[1]));
1290        }
1291    }
1292    // }}}
1293    function &dop_array($op_array, $indent = '') // {{{
1294    {
1295        $op_array['opcodes'] = $this->fixOpcode($op_array['opcodes'], true, $indent == '' ? 1 : null);
1296        $opcodes = &$op_array['opcodes'];
1297        $last = count($opcodes) - 1;
1298        // {{{ build jmpins/jmpouts to op_array
1299        for ($i = 0; $i <= $last; $i ++) {
1300            $op = &$opcodes[$i];
1301            $op['line'] = $i;
1302            switch ($op['opcode']) {
1303            case XC_CONT:
1304            case XC_BRK:
1305                $op['jmpouts'] = array();
1306                break;
1307
1308            case XC_GOTO:
1309                $target = $op['op1']['var'];
1310                $op['goto'] = $target;
1311                $opcodes[$target]['gofrom'][] = $i;
1312                break;
1313
1314            case XC_JMP:
1315                $target = $op['op1']['var'];
1316                $op['jmpouts'] = array($target);
1317                $opcodes[$target]['jmpins'][] = $i;
1318                break;
1319
1320            case XC_JMPZNZ:
1321                $jmpz = $op['op2']['opline_num'];
1322                $jmpnz = $op['extended_value'];
1323                $op['jmpouts'] = array($jmpz, $jmpnz);
1324                $opcodes[$jmpz]['jmpins'][] = $i;
1325                $opcodes[$jmpnz]['jmpins'][] = $i;
1326                break;
1327
1328            case XC_JMPZ:
1329            case XC_JMPNZ:
1330            case XC_JMPZ_EX:
1331            case XC_JMPNZ_EX:
1332            // case XC_JMP_SET:
1333            // case XC_JMP_SET_VAR:
1334            // case XC_FE_RESET:
1335            case XC_FE_FETCH:
1336            // case XC_JMP_NO_CTOR:
1337                $target = $op['op2']['opline_num'];
1338                //if (!isset($target)) {
1339                //  $this->dumpop($op, $EX);
1340                //  var_dump($op); exit;
1341                //}
1342                $op['jmpouts'] = array($target);
1343                $opcodes[$target]['jmpins'][] = $i;
1344                break;
1345
1346            /*
1347            case XC_RETURN:
1348                $op['jmpouts'] = array();
1349                break;
1350            */
1351
1352            case XC_SWITCH_FREE:
1353                $op['jmpouts'] = array($i + 1);
1354                $opcodes[$i + 1]['jmpins'][] = $i;
1355                break;
1356
1357            case XC_CASE:
1358                // just to link together
1359                $op['jmpouts'] = array($i + 2);
1360                $opcodes[$i + 2]['jmpins'][] = $i;
1361                break;
1362
1363            case XC_CATCH:
1364                $catchNext = $op['extended_value'];
1365                $catchBegin = $opcodes[$i - 1]['opcode'] == XC_FETCH_CLASS ? $i - 1 : $i;
1366                $opcodes[$catchBegin]['jmpouts'] = array($catchNext);
1367                $opcodes[$catchNext]['jmpins'][] = $catchBegin;
1368                break;
1369            }
1370            /*
1371            if (!empty($op['jmpouts']) || !empty($op['jmpins'])) {
1372                echo $i, "\t", xcache_get_opcode($op['opcode']), PHP_EOL;
1373            }
1374            // */
1375        }
1376        unset($op);
1377        if ($op_array['try_catch_array']) {
1378            foreach ($op_array['try_catch_array'] as $try_catch_element) {
1379                $catch_op = $try_catch_element['catch_op'];
1380                $try_op = $try_catch_element['try_op'];
1381                $opcodes[$try_op]['jmpins'][] = $catch_op;
1382                $opcodes[$catch_op]['jmpouts'][] = $try_op;
1383                $opcodes[$catch_op]['isCatchBegin'] = true;
1384            }
1385        }
1386        // }}}
1387        // build semi-basic blocks
1388        $nextbbs = array();
1389        $starti = 0;
1390        for ($i = 1; $i <= $last; $i ++) {
1391            if (isset($opcodes[$i]['jmpins'])
1392             || isset($opcodes[$i - 1]['jmpouts'])) {
1393                $nextbbs[$starti] = $i;
1394                $starti = $i;
1395            }
1396        }
1397        $nextbbs[$starti] = $last + 1;
1398
1399        $EX = array();
1400        $EX['Ts'] = array();
1401        $EX['indent'] = $indent;
1402        $EX['nextbbs'] = $nextbbs;
1403        $EX['op_array'] = &$op_array;
1404        $EX['opcodes'] = &$opcodes;
1405        $EX['range'] = array(0, count($opcodes) - 1);
1406        // func call
1407        $EX['object'] = null;
1408        $EX['called_scope'] = null;
1409        $EX['fbc'] = null;
1410        $EX['argstack'] = array();
1411        $EX['arg_types_stack'] = array();
1412        $EX['scopeStack'] = array();
1413        $EX['silence'] = 0;
1414        $EX['recvs'] = array();
1415        $EX['uses'] = array();
1416        $EX['lastBlock'] = null;
1417        $EX['value2constant'] = array();
1418        if (isset($this->activeFile)) {
1419            $EX['value2constant'][$this->activeFile] = '__FILE__';
1420        }
1421        if (isset($this->activeClass)) {
1422            $EX['value2constant'][$this->activeClass] = '__CLASS__';
1423        }
1424        if (isset($this->activeMethod)) {
1425            $EX['value2constant'][$this->activeMethod] = '__METHOD__';
1426        }
1427        if (isset($this->activeFunction)) {
1428            $EX['value2constant'][$this->activeFunction] = '__FUNCTION__';
1429        }
1430
1431        /* dump whole array
1432        $this->keepTs = true;
1433        $this->dasmBasicBlock($EX, $range);
1434        for ($i = $range[0]; $i <= $range[1]; ++$i) {
1435            echo $i, "\t", $this->dumpop($opcodes[$i], $EX);
1436        }
1437        // */
1438        // decompile in a tree way
1439        $this->recognizeAndDecompileClosedBlocks($EX, $EX['range'], $EX['indent']);
1440        return $EX;
1441    }
1442    // }}}
1443    function dasmBasicBlock(&$EX, $range) // {{{
1444    {
1445        $T = &$EX['Ts'];
1446        $opcodes = &$EX['opcodes'];
1447        $lastphpop = null;
1448        $currentSourceLine = null;
1449
1450        for ($i = $range[0]; $i <= $range[1]; $i ++, unsetArray($EX['value2constant'], $currentSourceLine)) {
1451            // {{{ prepair
1452            $op = &$opcodes[$i];
1453            $opc = $op['opcode'];
1454            if ($opc == XC_NOP) {
1455                $this->usedOps[$opc] = true;
1456                continue;
1457            }
1458
1459            $op1 = $op['op1'];
1460            $op2 = $op['op2'];
1461            $res = $op['result'];
1462            $ext = $op['extended_value'];
1463            $currentSourceLine = $op['lineno'];
1464            $EX['value2constant'][$currentSourceLine] = '__LINE__';
1465
1466            $opname = xcache_get_opcode($opc);
1467
1468            if ($opname == 'UNDEF' || !isset($opname)) {
1469                echo 'UNDEF OP:';
1470                $this->dumpop($op, $EX);
1471                continue;
1472            }
1473            // echo $i, ' '; $this->dumpop($op, $EX); //var_dump($op);
1474
1475            $resvar = null;
1476            unset($curResVar);
1477            if (array_key_exists($res['var'], $T)) {
1478                $curResVar = &$T[$res['var']];
1479            }
1480            if ((ZEND_ENGINE_2_4 ? ($res['op_type'] & EXT_TYPE_UNUSED) : ($res['EA.type'] & EXT_TYPE_UNUSED)) || $res['op_type'] == XC_IS_UNUSED) {
1481                $istmpres = false;
1482            }
1483            else {
1484                $istmpres = true;
1485            }
1486            // }}}
1487            // echo $opname, "\n";
1488
1489            $notHandled = false;
1490            switch ($opc) {
1491            case XC_NEW: // {{{
1492                array_push($EX['arg_types_stack'], array($EX['fbc'], $EX['object'], $EX['called_scope']));
1493                $EX['object'] = (int) $res['var'];
1494                $EX['called_scope'] = null;
1495                $EX['fbc'] = 'new ' . $this->stripNamespace($this->getOpVal($op1, $EX));
1496                break;
1497                // }}}
1498            case XC_THROW: // {{{
1499                $resvar = 'throw ' . str($this->getOpVal($op1, $EX));
1500                break;
1501                // }}}
1502            case XC_CLONE: // {{{
1503                $resvar = 'clone ' . str($this->getOpVal($op1, $EX));
1504                break;
1505                // }}}
1506            case XC_CATCH: // {{{
1507                break;
1508                // }}}
1509            case XC_INSTANCEOF: // {{{
1510                $resvar = str($this->getOpVal($op1, $EX)) . ' instanceof ' . $this->stripNamespace($this->getOpVal($op2, $EX));
1511                break;
1512                // }}}
1513            case XC_FETCH_CLASS: // {{{
1514                if ($op2['op_type'] == XC_IS_UNUSED) {
1515                    switch (($ext & (defined('ZEND_FETCH_CLASS_MASK') ? ZEND_FETCH_CLASS_MASK : 0xFF))) {
1516                    case ZEND_FETCH_CLASS_SELF:
1517                        $class = 'self';
1518                        break;
1519                    case ZEND_FETCH_CLASS_PARENT:
1520                        $class = 'parent';
1521                        break;
1522                    case ZEND_FETCH_CLASS_STATIC:
1523                        $class = 'static';
1524                        break;
1525                    }
1526                    $istmpres = true;
1527                }
1528                else {
1529                    $class = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1530                }
1531                $resvar = $class;
1532                break;
1533                // }}}
1534            case XC_FETCH_CONSTANT: // {{{
1535                if ($op1['op_type'] == XC_IS_UNUSED) {
1536                    $resvar = $this->stripNamespace($op2['constant']);
1537                    break;
1538                }
1539
1540                if ($op1['op_type'] == XC_IS_CONST) {
1541                    $resvar = $this->stripNamespace($op1['constant']);
1542                }
1543                else {
1544                    $resvar = $this->getOpVal($op1, $EX);
1545                }
1546
1547                $resvar = str($resvar) . '::' . unquoteName($this->getOpVal($op2, $EX));
1548                break;
1549                // }}}
1550                // {{{ case FETCH_*
1551            case XC_FETCH_R:
1552            case XC_FETCH_W:
1553            case XC_FETCH_RW:
1554            case XC_FETCH_FUNC_ARG:
1555            case XC_FETCH_UNSET:
1556            case XC_FETCH_IS:
1557                $fetchType = defined('ZEND_FETCH_TYPE_MASK') ? ($ext & ZEND_FETCH_TYPE_MASK) : $op2['EA.type'];
1558                $name = isset($op1['constant']) ? $op1['constant'] : unquoteName($this->getOpVal($op1, $EX), $EX);
1559                if ($fetchType == ZEND_FETCH_STATIC_MEMBER) {
1560                    $class = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1561                    $rvalue = $this->stripNamespace($class) . '::$' . $name;
1562                }
1563                else {
1564                    $rvalue = isset($op1['constant']) ? $op1['constant'] : $this->getOpVal($op1, $EX);
1565                    $globalName = xcache_is_autoglobal($name) ? "\$$name" : "\$GLOBALS[" . str($this->getOpVal($op1, $EX), $EX) . "]";
1566                    $rvalue = new Decompiler_Fetch($rvalue, $fetchType, $globalName);
1567                }
1568
1569                if ($res['op_type'] != XC_IS_UNUSED) {
1570                    $resvar = $rvalue;
1571                }
1572                break;
1573                // }}}
1574            case XC_UNSET_VAR: // {{{
1575                $fetchType = defined('ZEND_FETCH_TYPE_MASK') ? ($ext & ZEND_FETCH_TYPE_MASK) : $op2['EA.type'];
1576                if ($fetchType == ZEND_FETCH_STATIC_MEMBER) {
1577                    $class = isset($op2['constant']) ? $op2['constant'] /* PHP5.3- */ : $this->getOpVal($op2, $EX);
1578                    $rvalue = $this->stripNamespace($class) . '::$' . $op1['constant'];
1579                }
1580                else {
1581                    $rvalue = isset($op1['constant']) ? '$' . $op1['constant'] /* PHP5.1- */ : $this->getOpVal($op1, $EX);
1582                }
1583
1584                $op['php'] = "unset(" . str($rvalue, $EX) . ")";
1585                $lastphpop = &$op;
1586                break;
1587                // }}}
1588                // {{{ case FETCH_DIM_*
1589            case XC_FETCH_DIM_TMP_VAR:
1590            case XC_FETCH_DIM_R:
1591            case XC_FETCH_DIM_W:
1592            case XC_FETCH_DIM_RW:
1593            case XC_FETCH_DIM_FUNC_ARG:
1594            case XC_FETCH_DIM_UNSET:
1595            case XC_FETCH_DIM_IS:
1596            case XC_ASSIGN_DIM:
1597            case XC_UNSET_DIM:
1598            case XC_UNSET_DIM_OBJ:
1599            case XC_UNSET_OBJ:
1600                $src = $this->getOpVal($op1, $EX);
1601                if (is_a($src, "Decompiler_ForeachBox")) {
1602                    assert($opc == XC_FETCH_DIM_TMP_VAR);
1603                    $src = clone $src;
1604                    $src->iskey = $op2['constant'];
1605                    $resvar = $src;
1606                    break;
1607                }
1608
1609                if (is_a($src, "Decompiler_DimBox")) {
1610                    $dimbox = $src;
1611                }
1612                else {
1613                    if (!is_a($src, "Decompiler_ListBox")) {
1614                        $op1val = $this->getOpVal($op1, $EX);
1615                        $list = new Decompiler_List(isset($op1val) ? $op1val : '$this');
1616
1617                        $src = new Decompiler_ListBox($list);
1618                        if (!isset($op1['var'])) {
1619                            $this->dumpop($op, $EX);
1620                            var_dump($op);
1621                            die('missing var');
1622                        }
1623                        $T[$op1['var']] = $src;
1624                        unset($list);
1625                    }
1626                    $dim = new Decompiler_Dim($src);
1627                    $src->obj->dims[] = &$dim;
1628
1629                    $dimbox = new Decompiler_DimBox($dim);
1630                }
1631                $dim = &$dimbox->obj;
1632                $dim->offsets[] = $this->getOpVal($op2, $EX);
1633                /* TODO: use type mask */
1634                if ($ext == ZEND_FETCH_ADD_LOCK) {
1635                    $src->obj->everLocked = true;
1636                }
1637                else if ($ext == ZEND_FETCH_STANDARD) {
1638                    $dim->isLast = true;
1639                }
1640                if ($opc == XC_UNSET_OBJ) {
1641                    $dim->isObject = true;
1642                }
1643                else if ($opc == XC_UNSET_DIM_OBJ) {
1644                    $dim->isObject = $ext == ZEND_UNSET_OBJ;
1645                }
1646                unset($dim);
1647                $rvalue = $dimbox;
1648                unset($dimbox);
1649
1650                if ($opc == XC_ASSIGN_DIM) {
1651                    $lvalue = $rvalue;
1652                    ++ $i;
1653                    $rvalue = $this->getOpVal($opcodes[$i]['op1'], $EX);
1654                    $resvar = str($lvalue, $EX) . ' = ' . str($rvalue);
1655                }
1656                else if ($opc == XC_UNSET_DIM || $opc == XC_UNSET_OBJ || $opc == XC_UNSET_DIM_OBJ) {
1657                    $op['php'] = "unset(" . str($rvalue, $EX) . ")";
1658                    $lastphpop = &$op;
1659                }
1660                else if ($res['op_type'] != XC_IS_UNUSED) {
1661                    $resvar = $rvalue;
1662                }
1663                break;
1664                // }}}
1665            case XC_ASSIGN: // {{{
1666                $lvalue = $this->getOpVal($op1, $EX);
1667                $rvalue = $this->getOpVal($op2, $EX);
1668                if (is_a($rvalue, 'Decompiler_ForeachBox')) {
1669                    $type = $rvalue->iskey ? 'fe_key' : 'fe_as';
1670                    $rvalue->obj[$type] = $lvalue;
1671                    unset($T[$op2['var']]);
1672                    break;
1673                }
1674                if (is_a($rvalue, "Decompiler_DimBox")) {
1675                    $dim = &$rvalue->obj;
1676                    $dim->assign = $lvalue;
1677                    if ($dim->isLast) {
1678                        $resvar = foldToCode($dim->value, $EX);
1679                    }
1680                    unset($dim);
1681                    break;
1682                }
1683                if (is_a($rvalue, 'Decompiler_Fetch')) {
1684                    $src = str($rvalue->src, $EX);
1685                    if ('$' . unquoteName($src) == $lvalue) {
1686                        switch ($rvalue->fetchType) {
1687                        case ZEND_FETCH_STATIC:
1688                            $statics = &$EX['op_array']['static_variables'];
1689                            if ((xcache_get_type($statics[$name]) & IS_LEXICAL_VAR)) {
1690                                $EX['uses'][] = str($lvalue);
1691                                unset($statics);
1692                                break 2;
1693                            }
1694                            unset($statics);
1695                        }
1696                    }
1697                }
1698                $resvar = new Decompiler_Binop($this, $lvalue, XC_ASSIGN, $rvalue);
1699                break;
1700                // }}}
1701            case XC_ASSIGN_REF: // {{{
1702                $lvalue = $this->getOpVal($op1, $EX);
1703                $rvalue = $this->getOpVal($op2, $EX);
1704                if (is_a($rvalue, 'Decompiler_Fetch')) {
1705                    $src = str($rvalue->src, $EX);
1706                    if ('$' . unquoteName($src) == $lvalue) {
1707                        switch ($rvalue->fetchType) {
1708                        case ZEND_FETCH_GLOBAL:
1709                        case ZEND_FETCH_GLOBAL_LOCK:
1710                            $resvar = 'global ' . $lvalue;
1711                            break 2;
1712                        case ZEND_FETCH_STATIC:
1713                            $statics = &$EX['op_array']['static_variables'];
1714                            if ((xcache_get_type($statics[$name]) & IS_LEXICAL_REF)) {
1715                                $EX['uses'][] = '&' . str($lvalue);
1716                                unset($statics);
1717                                break 2;
1718                            }
1719
1720                            $resvar = 'static ' . $lvalue;
1721                            $name = unquoteName($src);
1722                            if (isset($statics[$name])) {
1723                                $var = $statics[$name];
1724                                $resvar .= ' = ';
1725                                $resvar .= str(value($var, $EX), $EX);
1726                            }
1727                            unset($statics);
1728                            break 2;
1729                        default:
1730                        }
1731                    }
1732                }
1733                // TODO: PHP_6 global
1734                $resvar = new Decompiler_Binop($this, $lvalue, XC_ASSIGN_REF, $rvalue);
1735                break;
1736                // }}}
1737            // {{{ case FETCH_OBJ_*
1738            case XC_FETCH_OBJ_R:
1739            case XC_FETCH_OBJ_W:
1740            case XC_FETCH_OBJ_RW:
1741            case XC_FETCH_OBJ_FUNC_ARG:
1742            case XC_FETCH_OBJ_UNSET:
1743            case XC_FETCH_OBJ_IS:
1744            case XC_ASSIGN_OBJ:
1745                $obj = $this->getOpVal($op1, $EX);
1746                if (!isset($obj)) {
1747                    $obj = '$this';
1748                }
1749                $rvalue = str($obj) . "->" . unquoteVariableName($this->getOpVal($op2, $EX), $EX);
1750                if ($res['op_type'] != XC_IS_UNUSED) {
1751                    $resvar = $rvalue;
1752                }
1753                if ($opc == XC_ASSIGN_OBJ) {
1754                    ++ $i;
1755                    $lvalue = $rvalue;
1756                    $rvalue = $this->getOpVal($opcodes[$i]['op1'], $EX);
1757                    $resvar = "$lvalue = " . str($rvalue);
1758                }
1759                break;
1760                // }}}
1761            case XC_ISSET_ISEMPTY_DIM_OBJ:
1762            case XC_ISSET_ISEMPTY_PROP_OBJ:
1763            case XC_ISSET_ISEMPTY:
1764            case XC_ISSET_ISEMPTY_VAR: // {{{
1765                if ($opc == XC_ISSET_ISEMPTY_VAR) {
1766                    $rvalue = $this->getOpVal($op1, $EX);
1767                    // for < PHP_5_3
1768                    if ($op1['op_type'] == XC_IS_CONST) {
1769                        $rvalue = '$' . unquoteVariableName($this->getOpVal($op1, $EX));
1770                    }
1771                    $fetchtype = defined('ZEND_FETCH_TYPE_MASK') ? ($ext & ZEND_FETCH_TYPE_MASK) : $op2['EA.type'];
1772                    if ($fetchtype == ZEND_FETCH_STATIC_MEMBER) {
1773                        $class = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1774                        $rvalue = $this->stripNamespace($class) . '::' . unquoteName($rvalue, $EX);
1775                    }
1776                }
1777                else if ($opc == XC_ISSET_ISEMPTY) {
1778                    $rvalue = $this->getOpVal($op1, $EX);
1779                }
1780                else {
1781                    $container = $this->getOpVal($op1, $EX);
1782                    $dim = $this->getOpVal($op2, $EX);
1783                    if ($opc == XC_ISSET_ISEMPTY_PROP_OBJ) {
1784                        if (!isset($container)) {
1785                            $container = '$this';
1786                        }
1787                        $rvalue = str($container, $EX) . "->" . unquoteVariableName($dim);
1788                    }
1789                    else {
1790                        $rvalue = str($container, $EX) . '[' . str($dim) .']';
1791                    }
1792                }
1793
1794                /* TODO: use type mask */
1795                switch (($ext & ZEND_ISSET_ISEMPTY_MASK)) {
1796                case ZEND_ISSET:
1797                    $rvalue = "isset(" . str($rvalue) . ")";
1798                    break;
1799                case ZEND_ISEMPTY:
1800                    $rvalue = "empty(" . str($rvalue) . ")";
1801                    break;
1802                }
1803                $resvar = $rvalue;
1804                break;
1805                // }}}
1806            case XC_SEND_VAR_NO_REF:
1807            case XC_SEND_VAL:
1808            case XC_SEND_REF:
1809            case XC_SEND_VAR: // {{{
1810                $ref = ($opc == XC_SEND_REF ? '&' : '');
1811                $EX['argstack'][] = $ref . str($this->getOpVal($op1, $EX));
1812                break;
1813                // }}}
1814            case XC_INIT_STATIC_METHOD_CALL:
1815            case XC_INIT_METHOD_CALL: // {{{
1816                array_push($EX['arg_types_stack'], array($EX['fbc'], $EX['object'], $EX['called_scope']));
1817                if ($opc == XC_INIT_STATIC_METHOD_CALL || $opc == XC_INIT_METHOD_CALL || $op1['op_type'] != XC_IS_UNUSED) {
1818                    $obj = $this->getOpVal($op1, $EX);
1819                    if (!isset($obj)) {
1820                        $obj = '$this';
1821                    }
1822                    if ($opc == XC_INIT_STATIC_METHOD_CALL || /* PHP4 */ isset($op1['constant'])) {
1823                        $EX['object'] = null;
1824                        $EX['called_scope'] = $this->stripNamespace(unquoteName($obj, $EX));
1825                    }
1826                    else {
1827                        $EX['object'] = $obj;
1828                        $EX['called_scope'] = null;
1829                    }
1830                    if ($res['op_type'] != XC_IS_UNUSED) {
1831                        $resvar = '$obj call$';
1832                    }
1833                }
1834                else {
1835                    $EX['object'] = null;
1836                    $EX['called_scope'] = null;
1837                }
1838
1839                $EX['fbc'] = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1840                if (($opc == XC_INIT_STATIC_METHOD_CALL || $opc == XC_INIT_METHOD_CALL) && !isset($EX['fbc'])) {
1841                    $EX['fbc'] = '__construct';
1842                }
1843                break;
1844                // }}}
1845            case XC_INIT_NS_FCALL_BY_NAME:
1846            case XC_INIT_FCALL_BY_NAME: // {{{
1847                array_push($EX['arg_types_stack'], array($EX['fbc'], $EX['object'], $EX['called_scope']));
1848                $EX['object'] = null;
1849                $EX['called_scope'] = null;
1850                $EX['fbc'] = $this->getOpVal($op2, $EX);
1851                break;
1852                // }}}
1853            case XC_INIT_FCALL_BY_FUNC: // {{{ deprecated even in PHP 4?
1854                $EX['object'] = null;
1855                $EX['called_scope'] = null;
1856                $which = $op1['var'];
1857                $EX['fbc'] = $EX['op_array']['funcs'][$which]['name'];
1858                break;
1859                // }}}
1860            case XC_DO_FCALL_BY_FUNC:
1861                $which = $op1['var'];
1862                $fname = $EX['op_array']['funcs'][$which]['name'];
1863                $args = $this->popargs($EX, $ext);
1864                $resvar = $fname . "($args)";
1865                break;
1866            case XC_DO_FCALL:
1867                $fname = unquoteName($this->getOpVal($op1, $EX), $EX);
1868                $args = $this->popargs($EX, $ext);
1869                $resvar = $fname . "($args)";
1870                break;
1871            case XC_DO_FCALL_BY_NAME: // {{{
1872                $object = null;
1873
1874                $fname = unquoteName($EX['fbc'], $EX);
1875                if (!is_int($EX['object'])) {
1876                    $object = $EX['object'];
1877                }
1878
1879                $args = $this->popargs($EX, $ext);
1880
1881                $prefix = (isset($object) ? $object . '->' : '' )
1882                    . (isset($EX['called_scope']) ? $EX['called_scope'] . '::' : '' );
1883                $resvar = $prefix
1884                    . (!$prefix ? $this->stripNamespace($fname) : $fname)
1885                    . "($args)";
1886                unset($args);
1887
1888                if (is_int($EX['object'])) {
1889                    $T[$EX['object']] = $resvar;
1890                    $resvar = null;
1891                }
1892                list($EX['fbc'], $EX['object'], $EX['called_scope']) = array_pop($EX['arg_types_stack']);
1893                break;
1894                // }}}
1895            case XC_VERIFY_ABSTRACT_CLASS: // {{{
1896                //unset($T[$op1['var']]);
1897                break;
1898                // }}}
1899            case XC_DECLARE_CLASS: 
1900            case XC_DECLARE_INHERITED_CLASS:
1901            case XC_DECLARE_INHERITED_CLASS_DELAYED: // {{{
1902                $key = $op1['constant'];
1903                if (!isset($this->dc['class_table'][$key])) {
1904                    echo 'class not found: ', $key, 'existing classes are:', "\n";
1905                    var_dump(array_keys($this->dc['class_table']));
1906                    exit;
1907                }
1908                $class = &$this->dc['class_table'][$key];
1909                if (!isset($class['name'])) {
1910                    $class['name'] = unquoteName($this->getOpVal($op2, $EX), $EX);
1911                }
1912                if ($opc == XC_DECLARE_INHERITED_CLASS || $opc == XC_DECLARE_INHERITED_CLASS_DELAYED) {
1913                    $ext /= XC_SIZEOF_TEMP_VARIABLE;
1914                    $class['parent'] = $T[$ext];
1915                    unset($T[$ext]);
1916                }
1917                else {
1918                    $class['parent'] = null;
1919                }
1920
1921                for (;;) {
1922                    if ($i + 1 <= $range[1]
1923                     && $opcodes[$i + 1]['opcode'] == XC_ADD_INTERFACE
1924                     && $opcodes[$i + 1]['op1']['var'] == $res['var']) {
1925                        // continue
1926                    }
1927                    else if ($i + 2 <= $range[1]
1928                     && $opcodes[$i + 2]['opcode'] == XC_ADD_INTERFACE
1929                     && $opcodes[$i + 2]['op1']['var'] == $res['var']
1930                     && $opcodes[$i + 1]['opcode'] == XC_FETCH_CLASS) {
1931                        // continue
1932                    }
1933                    else {
1934                        break;
1935                    }
1936                    $this->usedOps[XC_ADD_INTERFACE] = true;
1937
1938                    $fetchop = &$opcodes[$i + 1];
1939                    $interface = $this->stripNamespace(unquoteName($this->getOpVal($fetchop['op2'], $EX), $EX));
1940                    $addop = &$opcodes[$i + 2];
1941                    $class['interfaces'][$addop['extended_value']] = $interface;
1942                    unset($fetchop, $addop);
1943                    $i += 2;
1944                }
1945                $this->activeClass = $class['name'];
1946                $this->dclass($class, $EX['indent']);
1947                $this->activeClass = null;
1948                echo "\n";
1949                unset($class);
1950                break;
1951                // }}}
1952            case XC_INIT_STRING: // {{{
1953                $resvar = "''";
1954                break;
1955                // }}}
1956            case XC_ADD_CHAR:
1957            case XC_ADD_STRING:
1958            case XC_ADD_VAR: // {{{
1959                $op1val = $this->getOpVal($op1, $EX);
1960                $op2val = $this->getOpVal($op2, $EX);
1961                switch ($opc) {
1962                case XC_ADD_CHAR:
1963                    $op2val = value(chr(str($op2val)), $EX);
1964                    break;
1965                case XC_ADD_STRING:
1966                    break;
1967                case XC_ADD_VAR:
1968                    break;
1969                }
1970                if (str($op1val) == "''") {
1971                    $rvalue = $op2val;
1972                }
1973                else if (str($op2val) == "''") {
1974                    $rvalue = $op1val;
1975                }
1976                else {
1977                    $rvalue = str($op1val) . ' . ' . str($op2val);
1978                }
1979                $resvar = $rvalue;
1980                // }}}
1981                break;
1982            case XC_PRINT: // {{{
1983                $op1val = $this->getOpVal($op1, $EX);
1984                $resvar = "print(" . str($op1val) . ")";
1985                break;
1986                // }}}
1987            case XC_ECHO: // {{{
1988                $op1val = $this->getOpVal($op1, $EX);
1989                $resvar = "echo " . str($op1val);
1990                break;
1991                // }}}
1992            case XC_EXIT: // {{{
1993                $op1val = $this->getOpVal($op1, $EX);
1994                $resvar = "exit($op1val)";
1995                break;
1996                // }}}
1997            case XC_INIT_ARRAY:
1998            case XC_ADD_ARRAY_ELEMENT: // {{{
1999                $rvalue = $this->getOpVal($op1, $EX, true);
2000
2001                if ($opc == XC_ADD_ARRAY_ELEMENT) {
2002                    $assoc = $this->getOpVal($op2, $EX);
2003                    if (isset($assoc)) {
2004                        $curResVar->value[] = array($assoc, $rvalue);
2005                    }
2006                    else {
2007                        $curResVar->value[] = array(null, $rvalue);
2008                    }
2009                }
2010                else {
2011                    if ($opc == XC_INIT_ARRAY) {
2012                        $resvar = new Decompiler_Array();
2013                        if (!isset($rvalue)) {
2014                            continue;
2015                        }
2016                    }
2017
2018                    $assoc = $this->getOpVal($op2, $EX);
2019                    if (isset($assoc)) {
2020                        $resvar->value[] = array($assoc, $rvalue);
2021                    }
2022                    else {
2023                        $resvar->value[] = array(null, $rvalue);
2024                    }
2025                }
2026                break;
2027                // }}}
2028            case XC_QM_ASSIGN:
2029            case XC_QM_ASSIGN_VAR: // {{{
2030                if (isset($curResVar) && is_a($curResVar, 'Decompiler_Binop')) {
2031                    $curResVar->op2 = $this->getOpVal($op1, $EX);
2032                }
2033                else {
2034                    $resvar = $this->getOpVal($op1, $EX);
2035                }
2036                break;
2037                // }}}
2038            case XC_BOOL: // {{{
2039                $resvar = /*'(bool) ' .*/ $this->getOpVal($op1, $EX);
2040                break;
2041                // }}}
2042            case XC_RETURN: // {{{
2043                $resvar = "return " . str($this->getOpVal($op1, $EX));
2044                break;
2045                // }}}
2046            case XC_INCLUDE_OR_EVAL: // {{{
2047                $type = ZEND_ENGINE_2_4 ? $ext : $op2['var']; // hack
2048                $keyword = $this->includeTypes[$type];
2049                $resvar = "$keyword " . str($this->getOpVal($op1, $EX));
2050                break;
2051                // }}}
2052            case XC_FE_RESET: // {{{
2053                $resvar = $this->getOpVal($op1, $EX);
2054                break;
2055                // }}}
2056            case XC_FE_FETCH: // {{{
2057                $op['fe_src'] = $this->getOpVal($op1, $EX, true);
2058                $fe = new Decompiler_ForeachBox($op);
2059                $fe->iskey = false;
2060
2061                if (ZEND_ENGINE_2_1) {
2062                    // save current first
2063                    $T[$res['var']] = $fe;
2064
2065                    // move to next opcode
2066                    ++ $i;
2067                    assert($opcodes[$i]['opcode'] == XC_OP_DATA);
2068                    $fe = new Decompiler_ForeachBox($op);
2069                    $fe->iskey = true;
2070
2071                    $res = $opcodes[$i]['result'];
2072                }
2073
2074                $resvar = $fe;
2075                break;
2076                // }}}
2077            case XC_SWITCH_FREE: // {{{
2078                break;
2079                // }}}
2080            case XC_FREE: // {{{
2081                $free = $T[$op1['var']];
2082                if (!is_a($free, 'Decompiler_Array') && !is_a($free, 'Decompiler_Box')) {
2083                    $op['php'] = is_object($free) ? $free : $this->unquote($free, '(', ')');
2084                    $lastphpop = &$op;
2085                }
2086                unset($T[$op1['var']], $free);
2087                break;
2088                // }}}
2089            case XC_JMP_NO_CTOR:
2090                break;
2091            case XC_JMPZ_EX: // and
2092            case XC_JMPNZ_EX: // or
2093                $resvar = $this->getOpVal($op1, $EX);
2094                break;
2095
2096            case XC_JMPNZ: // while
2097            case XC_JMPZNZ: // for
2098            case XC_JMPZ: // {{{
2099                break;
2100                // }}}
2101            case XC_CONT:
2102            case XC_BRK:
2103                $resvar = $opc == XC_CONT ? 'continue' : 'break';
2104                $count = str($this->getOpVal($op2, $EX));
2105                if ($count != '1') {
2106                    $resvar .= ' ' . $count;
2107                }
2108                break;
2109            case XC_GOTO:
2110                $resvar = 'goto label' . $op['op1']['var'];
2111                $istmpres = false;
2112                break;
2113
2114            case XC_JMP: // {{{
2115                break;
2116                // }}}
2117            case XC_CASE:
2118                // $switchValue = $this->getOpVal($op1, $EX);
2119                $caseValue = $this->getOpVal($op2, $EX);
2120                $resvar = $caseValue;
2121                break;
2122            case XC_RECV_INIT:
2123            case XC_RECV:
2124                $offset = isset($op1['var']) ? $op1['var'] : $op1['constant'];
2125                $lvalue = $this->getOpVal($op['result'], $EX);
2126                if ($opc == XC_RECV_INIT) {
2127                    $default = value($op['op2']['constant'], $EX);
2128                }
2129                else {
2130                    $default = null;
2131                }
2132                $EX['recvs'][$offset] = array($lvalue, $default);
2133                break;
2134            case XC_POST_DEC:
2135            case XC_POST_INC:
2136            case XC_POST_DEC_OBJ:
2137            case XC_POST_INC_OBJ:
2138            case XC_PRE_DEC:
2139            case XC_PRE_INC:
2140            case XC_PRE_DEC_OBJ:
2141            case XC_PRE_INC_OBJ: // {{{
2142                $flags = array_flip(explode('_', $opname));
2143                if (isset($flags['OBJ'])) {
2144                    $resvar = str($this->getOpVal($op1, $EX)) . '->' . $op2['constant'];
2145                }
2146                else {
2147                    $resvar = str($this->getOpVal($op1, $EX));
2148                }
2149                $opstr = isset($flags['DEC']) ? '--' : '++';
2150                if (isset($flags['POST'])) {
2151                    $resvar .= $opstr;
2152                }
2153                else {
2154                    $resvar = "$opstr$resvar";
2155                }
2156                break;
2157                // }}}
2158
2159            case XC_BEGIN_SILENCE: // {{{
2160                $EX['silence'] ++;
2161                break;
2162                // }}}
2163            case XC_END_SILENCE: // {{{
2164                $EX['silence'] --;
2165                $lastresvar = '@' . str($lastresvar, $EX);
2166                break;
2167                // }}}
2168            case XC_CAST: // {{{
2169                $type = $ext;
2170                static $type2cast = array(
2171                        IS_LONG   => '(int)',
2172                        IS_DOUBLE => '(double)',
2173                        IS_STRING => '(string)',
2174                        IS_ARRAY  => '(array)',
2175                        IS_OBJECT => '(object)',
2176                        IS_BOOL   => '(bool)',
2177                        IS_NULL   => '(unset)',
2178                        );
2179                assert(isset($type2cast[$type]));
2180                $cast = $type2cast[$type];
2181                $resvar = $cast . ' ' . str($this->getOpVal($op1, $EX));
2182                break;
2183                // }}}
2184            case XC_EXT_STMT:
2185            case XC_EXT_FCALL_BEGIN:
2186            case XC_EXT_FCALL_END:
2187            case XC_EXT_NOP:
2188            case XC_INIT_CTOR_CALL:
2189                break;
2190            case XC_DECLARE_FUNCTION:
2191                $this->dfunction($this->dc['function_table'][$op1['constant']], $EX['indent']);
2192                break;
2193            case XC_DECLARE_LAMBDA_FUNCTION: // {{{
2194                ob_start();
2195                $this->dfunction($this->dc['function_table'][$op1['constant']], $EX['indent']);
2196                $resvar = ob_get_clean();
2197                $istmpres = true;
2198                break;
2199                // }}}
2200            case XC_DECLARE_CONST:
2201                $name = $this->stripNamespace(unquoteName($this->getOpVal($op1, $EX), $EX));
2202                $value = str($this->getOpVal($op2, $EX));
2203                $resvar = 'const ' . $name . ' = ' . $value;
2204                break;
2205            case XC_DECLARE_FUNCTION_OR_CLASS:
2206                /* always removed by compiler */
2207                break;
2208            case XC_TICKS:
2209                $lastphpop['ticks'] = ZEND_ENGINE_2_4 ? $ext : $this->getOpVal($op1, $EX);
2210                // $EX['tickschanged'] = true;
2211                break;
2212            case XC_RAISE_ABSTRACT_ERROR:
2213                // abstract function body is empty, don't need this code
2214                break;
2215            case XC_USER_OPCODE:
2216                echo '// ZEND_USER_OPCODE, impossible to decompile';
2217                break;
2218            case XC_OP_DATA:
2219                break;
2220            default: // {{{
2221                $call = array(&$this, $opname);
2222                if (is_callable($call)) {
2223                    $this->usedOps[$opc] = true;
2224                    $this->{$opname}($op, $EX);
2225                }
2226                else if (isset($this->binops[$opc])) { // {{{
2227                    $this->usedOps[$opc] = true;
2228                    $op1val = $this->getOpVal($op1, $EX);
2229                    $op2val = $this->getOpVal($op2, $EX);
2230                    $rvalue = new Decompiler_Binop($this, $op1val, $opc, $op2val);
2231                    $resvar = $rvalue;
2232                    // }}}
2233                }
2234                else if (isset($this->unaryops[$opc])) { // {{{
2235                    $this->usedOps[$opc] = true;
2236                    $op1val = $this->getOpVal($op1, $EX);
2237                    $myop = $this->unaryops[$opc];
2238                    $rvalue = $myop . str($op1val);
2239                    $resvar = $rvalue;
2240                    // }}}
2241                }
2242                else {
2243                    $notHandled = true;
2244                }
2245                // }}}
2246            }
2247            if ($notHandled) {
2248                echo "\x1B[31m * TODO ", $opname, "\x1B[0m\n";
2249            }
2250            else {
2251                $this->usedOps[$opc] = true;
2252            }
2253
2254            if (isset($resvar)) {
2255                if ($istmpres) {
2256                    $T[$res['var']] = $resvar;
2257                    $lastresvar = &$T[$res['var']];
2258                }
2259                else {
2260                    $op['php'] = $resvar;
2261                    $lastphpop = &$op;
2262                    $lastresvar = &$op['php'];
2263                }
2264            }
2265        }
2266        return $T;
2267    }
2268    // }}}
2269    function unquote($str, $st, $ed) // {{{
2270    {
2271        $l1 = strlen($st);
2272        $l2 = strlen($ed);
2273        if (substr($str, 0, $l1) === $st && substr($str, -$l2) === $ed) {
2274            $str = substr($str, $l1, -$l2);
2275        }
2276        return $str;
2277    }
2278    // }}}
2279    function popargs(&$EX, $n) // {{{
2280    {
2281        $args = array();
2282        for ($i = 0; $i < $n; $i ++) {
2283            $a = array_pop($EX['argstack']);
2284            if (is_array($a)) {
2285                array_unshift($args, foldToCode($a, $EX));
2286            }
2287            else {
2288                array_unshift($args, $a);
2289            }
2290        }
2291        return implode(', ', $args);
2292    }
2293    // }}}
2294    function dumpop($op, &$EX) // {{{
2295    {
2296        assert('isset($op)');
2297        $op1 = $op['op1'];
2298        $op2 = $op['op2'];
2299        $d = array(xcache_get_opcode($op['opcode']), $op['opcode']);
2300
2301        foreach (array('op1' => '1:', 'op2' => '2:', 'result' => '>') as $k => $kk) {
2302            switch ($op[$k]['op_type']) {
2303            case XC_IS_UNUSED:
2304                $d[$kk] = 'U:' . $op[$k]['opline_num'];
2305                break;
2306
2307            case XC_IS_VAR:
2308                $d[$kk] = '$' . $op[$k]['var'];
2309                if ($k != 'result') {
2310                    $d[$kk] .= ':' . str($this->getOpVal($op[$k], $EX));
2311                }
2312                break;
2313
2314            case XC_IS_TMP_VAR:
2315                $d[$kk] = '#' . $op[$k]['var'];
2316                if ($k != 'result') {
2317                    $d[$kk] .= ':' . str($this->getOpVal($op[$k], $EX));
2318                }
2319                break;
2320
2321            case XC_IS_CV:
2322                $d[$kk] = $this->getOpVal($op[$k], $EX);
2323                break;
2324
2325            default:
2326                $d[$kk] = $this->getOpVal($op[$k], $EX);
2327            }
2328        }
2329        $d[';'] = $op['extended_value'];
2330        if (!empty($op['jmpouts'])) {
2331            $d['>>'] = implode(',', $op['jmpouts']);
2332        }
2333        if (!empty($op['jmpins'])) {
2334            $d['<<'] = implode(',', $op['jmpins']);
2335        }
2336
2337        foreach ($d as $k => $v) {
2338            echo is_int($k) ? '' : $k, str($v), "\t";
2339        }
2340        echo PHP_EOL;
2341    }
2342    // }}}
2343    function dumpRange(&$EX, $range) // {{{
2344    {
2345        for ($i = $range[0]; $i <= $range[1]; ++$i) {
2346            echo $EX['indent'], $i, "\t"; $this->dumpop($EX['opcodes'][$i], $EX);
2347        }
2348        echo $EX['indent'], "==", PHP_EOL;
2349    }
2350    // }}}
2351    function dargs(&$EX) // {{{
2352    {
2353        $op_array = &$EX['op_array'];
2354
2355        if (isset($op_array['num_args'])) {
2356            $c = $op_array['num_args'];
2357        }
2358        else if (!empty($op_array['arg_types'])) {
2359            $c = count($op_array['arg_types']);
2360        }
2361        else {
2362            // php4
2363            $c = count($EX['recvs']);
2364        }
2365
2366        $refrest = false;
2367        for ($i = 0; $i < $c; $i ++) {
2368            if ($i) {
2369                echo ', ';
2370            }
2371            $arg = $EX['recvs'][$i + 1];
2372            if (isset($op_array['arg_info'])) {
2373                $ai = $op_array['arg_info'][$i];
2374                if (isset($ai['type_hint']) ? ($ai['type_hint'] == IS_CALLABLE || $ai['type_hint'] == IS_OBJECT) : !empty($ai['class_name'])) {
2375                    echo $this->stripNamespace($ai['class_name']), ' ';
2376                    if (!ZEND_ENGINE_2_2 && $ai['allow_null']) {
2377                        echo 'or NULL ';
2378                    }
2379                }
2380                else if (isset($ai['type_hint']) ? $ai['type_hint'] == IS_ARRAY : !empty($ai['array_type_hint'])) {
2381                    echo 'array ';
2382                    if (!ZEND_ENGINE_2_2 && $ai['allow_null']) {
2383                        echo 'or NULL ';
2384                    }
2385                }
2386                if ($ai['pass_by_reference']) {
2387                    echo '&';
2388                }
2389                printf("\$%s", $ai['name']);
2390            }
2391            else {
2392                if ($refrest) {
2393                    echo '&';
2394                }
2395                else if (!empty($op_array['arg_types']) && isset($op_array['arg_types'][$i])) {
2396                    switch ($op_array['arg_types'][$i]) {
2397                    case BYREF_FORCE_REST:
2398                        $refrest = true;
2399                        /* fall */
2400                    case BYREF_FORCE:
2401                        echo '&';
2402                        break;
2403
2404                    case BYREF_NONE:
2405                    case BYREF_ALLOW:
2406                        break;
2407                    default:
2408                        assert(0);
2409                    }
2410                }
2411                echo str($arg[0], $EX);
2412            }
2413            if (isset($arg[1])) {
2414                echo ' = ', str($arg[1], $EX);
2415            }
2416        }
2417    }
2418    // }}}
2419    function duses(&$EX) // {{{
2420    {
2421        if ($EX['uses']) {
2422            echo ' use(', implode(', ', $EX['uses']), ')';
2423        }
2424    }
2425    // }}}
2426    function dfunction($func, $indent = '', $decorations = array(), $nobody = false) // {{{
2427    {
2428        $this->detectNamespace($func['op_array']['function_name']);
2429
2430        if ($nobody) {
2431            $EX = array();
2432            $EX['op_array'] = &$func['op_array'];
2433            $EX['recvs'] = array();
2434            $EX['uses'] = array();
2435        }
2436        else {
2437            ob_start();
2438            $EX = &$this->dop_array($func['op_array'], $indent . INDENT);
2439            $body = ob_get_clean();
2440        }
2441
2442        $functionName = $this->stripNamespace($func['op_array']['function_name']);
2443        $isExpression = false;
2444        if ($functionName == '{closure}') {
2445            $functionName = '';
2446            $isExpression = true;
2447        }
2448        echo $isExpression ? '' : $indent;
2449        if ($decorations) {
2450            echo implode(' ', $decorations), ' ';
2451        }
2452        echo 'function', $functionName ? ' ' . $functionName : '', '(';
2453        $this->dargs($EX);
2454        echo ")";
2455        $this->duses($EX);
2456        if ($nobody) {
2457            echo ";\n";
2458        }
2459        else {
2460            if (!$isExpression) {
2461                echo "\n";
2462                echo $indent, "{\n";
2463            }
2464            else {
2465                echo " {\n";
2466            }
2467
2468            echo $body;
2469            echo "$indent}";
2470            if (!$isExpression) {
2471                echo "\n";
2472            }
2473        }
2474    }
2475    // }}}
2476    function dclass($class, $indent = '') // {{{
2477    {
2478        $this->detectNamespace($class['name']);
2479
2480        // {{{ class decl
2481        if (!empty($class['doc_comment'])) {
2482            echo $indent;
2483            echo $class['doc_comment'];
2484            echo "\n";
2485        }
2486        $isInterface = false;
2487        $decorations = array();
2488        if (!empty($class['ce_flags'])) {
2489            if ($class['ce_flags'] & ZEND_ACC_INTERFACE) {
2490                $isInterface = true;
2491            }
2492            else {
2493                if ($class['ce_flags'] & ZEND_ACC_IMPLICIT_ABSTRACT_CLASS) {
2494                    $decorations[] = "abstract";
2495                }
2496                if ($class['ce_flags'] & ZEND_ACC_FINAL_CLASS) {
2497                    $decorations[] = "final";
2498                }
2499            }
2500        }
2501
2502        echo $indent;
2503        if ($decorations) {
2504            echo implode(' ', $decorations), ' ';
2505        }
2506        echo $isInterface ? 'interface ' : 'class ', $this->stripNamespace($class['name']);
2507        if ($class['parent']) {
2508            echo ' extends ', $this->stripNamespace($class['parent']);
2509        }
2510        /* TODO */
2511        if (!empty($class['interfaces'])) {
2512            echo ' implements ';
2513            echo implode(', ', $class['interfaces']);
2514        }
2515        echo "\n";
2516        echo $indent, "{";
2517        // }}}
2518        $newindent = INDENT . $indent;
2519        // {{{ const
2520        if (!empty($class['constants_table'])) {
2521            echo "\n";
2522            foreach ($class['constants_table'] as $name => $v) {
2523                echo $newindent;
2524                echo 'const ', $name, ' = ';
2525                echo str(value($v, $EX), $newindent);
2526                echo ";\n";
2527            }
2528        }
2529        // }}}
2530        // {{{ properties
2531        if (!ZEND_ENGINE_2_4) {
2532            $default_static_members = $class[ZEND_ENGINE_2_1 ? 'default_static_members' : 'static_members'];
2533        }
2534        $member_variables = $class['properties_info'];
2535        if ($member_variables) {
2536            echo "\n";
2537            foreach ($member_variables as $name => $info) {
2538                if (!empty($info['doc_comment'])) {
2539                    echo $newindent;
2540                    echo $info['doc_comment'];
2541                    echo "\n";
2542                }
2543
2544                echo $newindent;
2545                $static = ($info['flags'] & ZEND_ACC_STATIC);
2546
2547                if ($static) {
2548                    echo "static ";
2549                }
2550
2551                $mangleSuffix = '';
2552                if (!isset($info)) {
2553                    echo 'public ';
2554                }
2555                else {
2556                    if ($info['flags'] & ZEND_ACC_SHADOW) {
2557                        continue;
2558                    }
2559                    switch ($info['flags'] & ZEND_ACC_PPP_MASK) {
2560                    case ZEND_ACC_PUBLIC:
2561                        echo "public ";
2562                        break;
2563                    case ZEND_ACC_PRIVATE:
2564                        echo "private ";
2565                        $mangleSuffix = "\000";
2566                        break;
2567                    case ZEND_ACC_PROTECTED:
2568                        echo "protected ";
2569                        $mangleSuffix = "\000";
2570                        break;
2571                    }
2572                }
2573
2574                echo '$', $name;
2575
2576                if (ZEND_ENGINE_2_4) {
2577                    $value = $class[$static ? 'default_static_members_table' : 'default_properties_table'][$info['offset']];
2578                }
2579                else {
2580                    $key = $info['name'] . $mangleSuffix;
2581                    if ($static) {
2582                        $value = $default_static_members[$key];
2583                    }
2584                    else {
2585                        $value = $class['default_properties'][$key];
2586                    }
2587                }
2588                if (isset($value)) {
2589                    echo ' = ';
2590                    echo str(value($value, $EX), $newindent);
2591                }
2592                echo ";\n";
2593            }
2594        }
2595        // }}}
2596        // {{{ function_table
2597        if (isset($class['function_table'])) {
2598            foreach ($class['function_table'] as $func) {
2599                if (!isset($func['scope']) || $func['scope'] == $class['name']) {
2600                    // TODO: skip shadow here
2601                    echo "\n";
2602                    $opa = $func['op_array'];
2603                    if (!empty($opa['doc_comment'])) {
2604                        echo $newindent;
2605                        echo $opa['doc_comment'];
2606                        echo "\n";
2607                    }
2608                    $isAbstractMethod = false;
2609                    $decorations = array();
2610                    if (isset($opa['fn_flags'])) {
2611                        if (($opa['fn_flags'] & ZEND_ACC_ABSTRACT) && !$isInterface) {
2612                            $decorations[] = "abstract";
2613                            $isAbstractMethod = true;
2614                        }
2615                        if ($opa['fn_flags'] & ZEND_ACC_FINAL) {
2616                            $decorations[] = "final";
2617                        }
2618                        if ($opa['fn_flags'] & ZEND_ACC_STATIC) {
2619                            $decorations[] = "static";
2620                        }
2621
2622                        switch ($opa['fn_flags'] & ZEND_ACC_PPP_MASK) {
2623                            case ZEND_ACC_PUBLIC:
2624                                $decorations[] = "public";
2625                                break;
2626                            case ZEND_ACC_PRIVATE:
2627                                $decorations[] = "private";
2628                                break;
2629                            case ZEND_ACC_PROTECTED:
2630                                $decorations[] = "protected";
2631                                break;
2632                            default:
2633                                $decorations[] = "<visibility error>";
2634                                break;
2635                        }
2636                    }
2637                    $this->activeMethod = $this->activeClass . '::' . $opa['function_name'];
2638                    $this->activeFunction = $opa['function_name'];
2639                    $this->dfunction($func, $newindent, $decorations, $isInterface || $isAbstractMethod);
2640                    $this->activeFunction = null;
2641                    $this->activeMethod = null;
2642                    if ($opa['function_name'] == 'Decompiler') {
2643                        //exit;
2644                    }
2645                }
2646            }
2647        }
2648        // }}}
2649        echo $indent, "}\n";
2650    }
2651    // }}}
2652    function decompileString($string) // {{{
2653    {
2654        $this->dc = xcache_dasm_string($string);
2655        if ($this->dc === false) {
2656            echo "error compling string\n";
2657            return false;
2658        }
2659        $this->activeFile = null;
2660        return true;
2661    }
2662    // }}}
2663    function decompileFile($file) // {{{
2664    {
2665        $this->dc = xcache_dasm_file($file);
2666        if ($this->dc === false) {
2667            echo "error compling $file\n";
2668            return false;
2669        }
2670        $this->activeFile = realpath($file);
2671        return true;
2672    }
2673    // }}}
2674    function decompileDasm($content) // {{{
2675    {
2676        $this->dc = $content;
2677        $this->activeFile = null;
2678        return true;
2679    }
2680    // }}}
2681    function output() // {{{
2682    {
2683        echo "<?". "php\n\n";
2684        foreach ($this->dc['class_table'] as $key => $class) {
2685            if ($key{0} != "\0") {
2686                $this->activeClass = $class['name'];
2687                $this->dclass($class);
2688                $this->activeClass = null;
2689                echo "\n";
2690            }
2691        }
2692
2693        foreach ($this->dc['function_table'] as $key => $func) {
2694            if ($key{0} != "\0") {
2695                $this->activeFunction = $key;
2696                $this->dfunction($func);
2697                $this->activeFunction = null;
2698                echo "\n";
2699            }
2700        }
2701
2702        $this->dop_array($this->dc['op_array']);
2703        echo "\n?" . ">\n";
2704
2705        if (!empty($this->test)) {
2706            $this->outputUnusedOp();
2707        }
2708        return true;
2709    }
2710    // }}}
2711    function outputUnusedOp() // {{{
2712    {
2713        for ($i = 0; $opname = xcache_get_opcode($i); $i ++) {
2714            if ($opname == 'UNDEF')  {
2715                continue;
2716            }
2717
2718            if (!isset($this->usedOps[$i])) {
2719                echo "not covered opcode ", $opname, "\n";
2720            }
2721        }
2722    }
2723    // }}}
2724}
2725
2726// {{{ defines
2727define('ZEND_ENGINE_2_4', PHP_VERSION >= "5.4");
2728define('ZEND_ENGINE_2_3', ZEND_ENGINE_2_4 || PHP_VERSION >= "5.3.");
2729define('ZEND_ENGINE_2_2', ZEND_ENGINE_2_3 || PHP_VERSION >= "5.2.");
2730define('ZEND_ENGINE_2_1', ZEND_ENGINE_2_2 || PHP_VERSION >= "5.1.");
2731
2732define('ZEND_ACC_STATIC',         0x01);
2733define('ZEND_ACC_ABSTRACT',       0x02);
2734define('ZEND_ACC_FINAL',          0x04);
2735define('ZEND_ACC_IMPLEMENTED_ABSTRACT',       0x08);
2736
2737define('ZEND_ACC_IMPLICIT_ABSTRACT_CLASS',    0x10);
2738define('ZEND_ACC_EXPLICIT_ABSTRACT_CLASS',    0x20);
2739define('ZEND_ACC_FINAL_CLASS',                0x40);
2740define('ZEND_ACC_INTERFACE',                  0x80);
2741if (ZEND_ENGINE_2_4) {
2742    define('ZEND_ACC_TRAIT',                  0x120);
2743}
2744define('ZEND_ACC_PUBLIC',     0x100);
2745define('ZEND_ACC_PROTECTED',  0x200);
2746define('ZEND_ACC_PRIVATE',    0x400);
2747define('ZEND_ACC_PPP_MASK',  (ZEND_ACC_PUBLIC | ZEND_ACC_PROTECTED | ZEND_ACC_PRIVATE));
2748
2749define('ZEND_ACC_CHANGED',    0x800);
2750define('ZEND_ACC_IMPLICIT_PUBLIC',    0x1000);
2751
2752define('ZEND_ACC_CTOR',       0x2000);
2753define('ZEND_ACC_DTOR',       0x4000);
2754define('ZEND_ACC_CLONE',      0x8000);
2755
2756define('ZEND_ACC_ALLOW_STATIC',   0x10000);
2757
2758define('ZEND_ACC_SHADOW', 0x2000);
2759
2760if (ZEND_ENGINE_2_4) {
2761    define('ZEND_FETCH_GLOBAL',           0x00000000);
2762    define('ZEND_FETCH_LOCAL',            0x10000000);
2763    define('ZEND_FETCH_STATIC',           0x20000000);
2764    define('ZEND_FETCH_STATIC_MEMBER',    0x30000000);
2765    define('ZEND_FETCH_GLOBAL_LOCK',      0x40000000);
2766    define('ZEND_FETCH_LEXICAL',          0x50000000);
2767
2768    define('ZEND_FETCH_TYPE_MASK',        0x70000000);
2769
2770    define('ZEND_FETCH_STANDARD',         0x00000000);
2771    define('ZEND_FETCH_ADD_LOCK',         0x08000000);
2772    define('ZEND_FETCH_MAKE_REF',         0x04000000);
2773}
2774else {
2775    define('ZEND_FETCH_GLOBAL',           0);
2776    define('ZEND_FETCH_LOCAL',            1);
2777    define('ZEND_FETCH_STATIC',           2);
2778    define('ZEND_FETCH_STATIC_MEMBER',    3);
2779    define('ZEND_FETCH_GLOBAL_LOCK',      4);
2780
2781    define('ZEND_FETCH_STANDARD',         0);
2782    define('ZEND_FETCH_ADD_LOCK',         1);
2783}
2784
2785if (ZEND_ENGINE_2_4) {
2786    define('ZEND_ISSET',                  0x02000000);
2787    define('ZEND_ISEMPTY',                0x01000000);
2788    define('ZEND_ISSET_ISEMPTY_MASK',     (ZEND_ISSET | ZEND_ISEMPTY));
2789    define('ZEND_QUICK_SET',              0x00800000);
2790}
2791else {
2792    define('ZEND_ISSET',                  (1<<0));
2793    define('ZEND_ISEMPTY',                (1<<1));
2794
2795    define('ZEND_ISSET_ISEMPTY_MASK',     (ZEND_ISSET | ZEND_ISEMPTY));
2796}
2797
2798define('ZEND_FETCH_CLASS_DEFAULT',    0);
2799define('ZEND_FETCH_CLASS_SELF',       1);
2800define('ZEND_FETCH_CLASS_PARENT',     2);
2801define('ZEND_FETCH_CLASS_MAIN',       3);
2802define('ZEND_FETCH_CLASS_GLOBAL',     4);
2803define('ZEND_FETCH_CLASS_AUTO',       5);
2804define('ZEND_FETCH_CLASS_INTERFACE',  6);
2805define('ZEND_FETCH_CLASS_STATIC',     7);
2806if (ZEND_ENGINE_2_4) {
2807    define('ZEND_FETCH_CLASS_TRAIT',     14);
2808}
2809if (ZEND_ENGINE_2_3) {
2810    define('ZEND_FETCH_CLASS_MASK',     0xF);
2811}
2812
2813define('ZEND_EVAL',               (1<<0));
2814define('ZEND_INCLUDE',            (1<<1));
2815define('ZEND_INCLUDE_ONCE',       (1<<2));
2816define('ZEND_REQUIRE',            (1<<3));
2817define('ZEND_REQUIRE_ONCE',       (1<<4));
2818
2819if (ZEND_ENGINE_2_4) {
2820    define('EXT_TYPE_UNUSED',     (1<<5));
2821}
2822else {
2823    define('EXT_TYPE_UNUSED',     (1<<0));
2824}
2825
2826if (ZEND_ENGINE_2_1) {
2827    define('ZEND_FE_FETCH_BYREF',     1);
2828    define('ZEND_FE_FETCH_WITH_KEY',  2);
2829}
2830else {
2831    define('ZEND_UNSET_DIM',          1);
2832    define('ZEND_UNSET_OBJ',          2);
2833}
2834
2835define('ZEND_MEMBER_FUNC_CALL',   1<<0);
2836define('ZEND_CTOR_CALL',          1<<1);
2837
2838define('ZEND_ARG_SEND_BY_REF',        (1<<0));
2839define('ZEND_ARG_COMPILE_TIME_BOUND', (1<<1));
2840define('ZEND_ARG_SEND_FUNCTION',      (1<<2));
2841
2842define('BYREF_NONE',       0);
2843define('BYREF_FORCE',      1);
2844define('BYREF_ALLOW',      2);
2845define('BYREF_FORCE_REST', 3);
2846define('IS_NULL',     0);
2847define('IS_LONG',     1);
2848define('IS_DOUBLE',   2);
2849define('IS_BOOL',     ZEND_ENGINE_2_1 ? 3 : 6);
2850define('IS_ARRAY',    4);
2851define('IS_OBJECT',   5);
2852define('IS_STRING',   ZEND_ENGINE_2_1 ? 6 : 3);
2853define('IS_RESOURCE', 7);
2854define('IS_CONSTANT', 8);
2855define('IS_CONSTANT_ARRAY',   9);
2856if (ZEND_ENGINE_2_4) {
2857    define('IS_CALLABLE', 10);
2858}
2859/* Ugly hack to support constants as static array indices */
2860define('IS_CONSTANT_TYPE_MASK',   0x0f);
2861define('IS_CONSTANT_UNQUALIFIED', 0x10);
2862define('IS_CONSTANT_INDEX',       0x80);
2863define('IS_LEXICAL_VAR',          0x20);
2864define('IS_LEXICAL_REF',          0x40);
2865
2866@define('XC_IS_CV', 16);
2867
2868/*
2869if (preg_match_all('!XC_[A-Z_]+!', file_get_contents(__FILE__), $ms)) {
2870    $verdiff = array();
2871    foreach ($ms[0] as $k) {
2872        if (!defined($k)) {
2873            $verdiff[$k] = -1;
2874            define($k, -1);
2875        }
2876    }
2877    var_export($verdiff);
2878    exit;
2879}
2880//*/
2881foreach (array (
2882    'XC_DECLARE_CONST' => -1,
2883    'XC_DECLARE_FUNCTION_OR_CLASS' => -1,
2884    'XC_DECLARE_INHERITED_CLASS_DELAYED' => -1,
2885    'XC_DECLARE_LAMBDA_FUNCTION' => -1,
2886    'XC_DO_FCALL_BY_FUNC' => -1,
2887    'XC_GOTO' => -1,
2888    'XC_INIT_CTOR_CALL' => -1,
2889    'XC_INIT_FCALL_BY_FUNC' => -1,
2890    'XC_INIT_NS_FCALL_BY_NAME' => -1,
2891    'XC_ISSET_ISEMPTY' => -1,
2892    'XC_JMP_NO_CTOR' => -1,
2893    'XC_JMP_SET' => -1,
2894    'XC_JMP_SET_VAR' => -1,
2895    'XC_QM_ASSIGN_VAR' => -1,
2896    'XC_UNSET_DIM' => -1,
2897    'XC_UNSET_DIM_OBJ' => -1,
2898    'XC_UNSET_OBJ' => -1,
2899    'XC_USER_OPCODE' => -1,
2900) as $k => $v) {
2901    if (!defined($k)) {
2902        define($k, $v);
2903    }
2904}
2905// }}}
2906
Note: See TracBrowser for help on using the repository browser.