source: trunk/Decompiler.class.php @ 781

Last change on this file since 781 was 781, checked in by moo, 4 years ago

Decompiler: handle closure use()

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