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

Last change on this file since 1299 was 1299, checked in by moo, 9 months ago

Decompiler: fix warning

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