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

Last change on this file since 1305 was 1305, checked in by moo, 16 months ago

Decompiler: adds simple backtrace print, fix warning for catch

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