source: trunk/Decompiler.class.php @ 800

Last change on this file since 800 was 800, checked in by moo, 3 years ago

Decompiler: use range to simplify calling

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