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

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

disassembler, Decompiler: fix catch, ticks

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