source: trunk/Decompiler.class.php @ 731

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

PHP_6: disassembler/decompiler: fix function static variable

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