source: trunk/Decompiler.class.php @ 802

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