root/Zend/zend_vm_gen.php

/* [<][>][^][v][top][bottom][index][help] */

DEFINITIONS

This source file includes following definitions.
  1. out
  2. out_line
  3. helper_name
  4. gen_code
  5. gen_handler
  6. gen_helper
  7. gen_labels
  8. gen_null_handler
  9. gen_executor_code
  10. skip_blanks
  11. gen_executor
  12. gen_vm
  13. usage

<?php
/*
   +----------------------------------------------------------------------+
   | Zend Engine                                                          |
   +----------------------------------------------------------------------+
   | Copyright (c) 1998-2015 Zend Technologies Ltd. (http://www.zend.com) |
   +----------------------------------------------------------------------+
   | This source file is subject to version 2.00 of the Zend license,     |
   | that is bundled with this package in the file LICENSE, and is        |
   | available through the world-wide-web at the following url:           |
   | http://www.zend.com/license/2_00.txt.                                |
   | If you did not receive a copy of the Zend license and are unable to  |
   | obtain it through the world-wide-web, please send a note to          |
   | license@zend.com so we can mail you a copy immediately.              |
   +----------------------------------------------------------------------+
   | Authors: Dmitry Stogov <dmitry@zend.com>                             |
   +----------------------------------------------------------------------+

         $Id$
*/

$header_text = <<< DATA
/*
   +----------------------------------------------------------------------+
   | Zend Engine                                                          |
   +----------------------------------------------------------------------+
   | Copyright (c) 1998-2015 Zend Technologies Ltd. (http://www.zend.com) |
   +----------------------------------------------------------------------+
   | This source file is subject to version 2.00 of the Zend license,     |
   | that is bundled with this package in the file LICENSE, and is        |
   | available through the world-wide-web at the following url:           |
   | http://www.zend.com/license/2_00.txt.                                |
   | If you did not receive a copy of the Zend license and are unable to  |
   | obtain it through the world-wide-web, please send a note to          |
   | license@zend.com so we can mail you a copy immediately.              |
   +----------------------------------------------------------------------+
   | Authors: Andi Gutmans <andi@zend.com>                                |
   |          Zeev Suraski <zeev@zend.com>                                |
   |          Dmitry Stogov <dmitry@zend.com>                             |
   +----------------------------------------------------------------------+
*/


DATA;

/*
        This script creates zend_vm_execute.h and zend_vm_opcodes.h
        from existing zend_vm_def.h and zend_vm_execute.skl
*/

error_reporting(E_ALL);

define("ZEND_VM_KIND_CALL",   1);
define("ZEND_VM_KIND_SWITCH", 2);
define("ZEND_VM_KIND_GOTO",   3);

$op_types = array(
        "ANY",
        "CONST",
        "TMP",
        "VAR",
        "UNUSED",
        "CV"
);

$prefix = array(
        "ANY"    => "",
        "TMP"    => "_TMP",
        "VAR"    => "_VAR",
        "CONST"  => "_CONST",
        "UNUSED" => "_UNUSED",
        "CV"     => "_CV",
);

$typecode = array(
        "ANY"    => 0,
        "TMP"    => 1,
        "VAR"    => 2,
        "CONST"  => 0,
        "UNUSED" => 3,
        "CV"     => 4,
);

$op1_type = array(
        "ANY"    => "opline->op1_type",
        "TMP"    => "IS_TMP_VAR",
        "VAR"    => "IS_VAR",
        "CONST"  => "IS_CONST",
        "UNUSED" => "IS_UNUSED",
        "CV"     => "IS_CV",
);

$op2_type = array(
        "ANY"    => "opline->op2_type",
        "TMP"    => "IS_TMP_VAR",
        "VAR"    => "IS_VAR",
        "CONST"  => "IS_CONST",
        "UNUSED" => "IS_UNUSED",
        "CV"     => "IS_CV",
);

$op1_free = array(
        "ANY"    => "(free_op1.var != NULL)",
        "TMP"    => "1",
        "VAR"    => "(free_op1.var != NULL)",
        "CONST"  => "0",
        "UNUSED" => "0",
        "CV"     => "0",
);

$op2_free = array(
        "ANY"    => "(free_op2.var != NULL)",
        "TMP"    => "1",
        "VAR"    => "(free_op2.var != NULL)",
        "CONST"  => "0",
        "UNUSED" => "0",
        "CV"     => "0",
);

$op1_get_zval_ptr = array(
        "ANY"    => "get_zval_ptr(opline->op1_type, &opline->op1, execute_data, &free_op1, \\1)",
        "TMP"    => "_get_zval_ptr_tmp(opline->op1.var, execute_data, &free_op1 TSRMLS_CC)",
        "VAR"    => "_get_zval_ptr_var(opline->op1.var, execute_data, &free_op1 TSRMLS_CC)",
        "CONST"  => "opline->op1.zv",
        "UNUSED" => "NULL",
        "CV"     => "_get_zval_ptr_cv_\\1(execute_data, opline->op1.var TSRMLS_CC)",
);

$op2_get_zval_ptr = array(
        "ANY"    => "get_zval_ptr(opline->op2_type, &opline->op2, execute_data, &free_op2, \\1)",
        "TMP"    => "_get_zval_ptr_tmp(opline->op2.var, execute_data, &free_op2 TSRMLS_CC)",
        "VAR"    => "_get_zval_ptr_var(opline->op2.var, execute_data, &free_op2 TSRMLS_CC)",
        "CONST"  => "opline->op2.zv",
        "UNUSED" => "NULL",
        "CV"     => "_get_zval_ptr_cv_\\1(execute_data, opline->op2.var TSRMLS_CC)",
);

$op1_get_zval_ptr_ptr = array(
        "ANY"    => "get_zval_ptr_ptr(opline->op1_type, &opline->op1, execute_data, &free_op1, \\1)",
        "TMP"    => "NULL",
        "VAR"    => "_get_zval_ptr_ptr_var(opline->op1.var, execute_data, &free_op1 TSRMLS_CC)",
        "CONST"  => "NULL",
        "UNUSED" => "NULL",
        "CV"     => "_get_zval_ptr_ptr_cv_\\1(execute_data, opline->op1.var TSRMLS_CC)",
);

$op2_get_zval_ptr_ptr = array(
        "ANY"    => "get_zval_ptr_ptr(opline->op2_type, &opline->op2, execute_data, &free_op2, \\1)",
        "TMP"    => "NULL",
        "VAR"    => "_get_zval_ptr_ptr_var(opline->op2.var, execute_data, &free_op2 TSRMLS_CC)",
        "CONST"  => "NULL",
        "UNUSED" => "NULL",
        "CV"     => "_get_zval_ptr_ptr_cv_\\1(execute_data, opline->op2.var TSRMLS_CC)",
);

$op1_get_obj_zval_ptr = array(
        "ANY"    => "get_obj_zval_ptr(opline->op1_type, &opline->op1, execute_data, &free_op1, \\1)",
        "TMP"    => "_get_zval_ptr_tmp(opline->op1.var, execute_data, &free_op1 TSRMLS_CC)",
        "VAR"    => "_get_zval_ptr_var(opline->op1.var, execute_data, &free_op1 TSRMLS_CC)",
        "CONST"  => "opline->op1.zv",
        "UNUSED" => "_get_obj_zval_ptr_unused(TSRMLS_C)",
        "CV"     => "_get_zval_ptr_cv_\\1(execute_data, opline->op1.var TSRMLS_CC)",
);

$op2_get_obj_zval_ptr = array(
        "ANY"    => "get_obj_zval_ptr(opline->op2_type, &opline->op2, execute_data, &free_op2, \\1)",
        "TMP"    => "_get_zval_ptr_tmp(opline->op2.var, execute_data, &free_op2 TSRMLS_CC)",
        "VAR"    => "_get_zval_ptr_var(opline->op2.var, execute_data, &free_op2 TSRMLS_CC)",
        "CONST"  => "opline->op2.zv",
        "UNUSED" => "_get_obj_zval_ptr_unused(TSRMLS_C)",
        "CV"     => "_get_zval_ptr_cv_\\1(execute_data, opline->op2.var TSRMLS_CC)",
);

$op1_get_obj_zval_ptr_ptr = array(
        "ANY"    => "get_obj_zval_ptr_ptr(opline->op1_type, &opline->op1, execute_data, &free_op1, \\1)",
        "TMP"    => "NULL",
        "VAR"    => "_get_zval_ptr_ptr_var(opline->op1.var, execute_data, &free_op1 TSRMLS_CC)",
        "CONST"  => "NULL",
        "UNUSED" => "_get_obj_zval_ptr_ptr_unused(TSRMLS_C)",
        "CV"     => "_get_zval_ptr_ptr_cv_\\1(execute_data, opline->op1.var TSRMLS_CC)",
);

$op2_get_obj_zval_ptr_ptr = array(
        "ANY"    => "get_obj_zval_ptr_ptr(opline->op2_type, &opline->op2, execute_data, &free_op2, \\1)",
        "TMP"    => "NULL",
        "VAR"    => "_get_zval_ptr_ptr_var(opline->op2.var, execute_data, &free_op2 TSRMLS_CC)",
        "CONST"  => "NULL",
        "UNUSED" => "_get_obj_zval_ptr_ptr_unused(TSRMLS_C)",
        "CV"     => "_get_zval_ptr_ptr_cv_\\1(execute_data, opline->op2.var TSRMLS_CC)",
);

$op1_is_tmp_free = array(
        "ANY"    => "IS_TMP_FREE(free_op1)",
        "TMP"    => "1",
        "VAR"    => "0",
        "CONST"  => "0",
        "UNUSED" => "0",
        "CV"     => "0",
);

$op2_is_tmp_free = array(
        "ANY"    => "IS_TMP_FREE(free_op2)",
        "TMP"    => "1",
        "VAR"    => "0",
        "CONST"  => "0",
        "UNUSED" => "0",
        "CV"     => "0",
);

$op1_free_op = array(
        "ANY"    => "FREE_OP(free_op1)",
        "TMP"    => "zval_dtor(free_op1.var)",
        "VAR"    => "if (free_op1.var) {zval_ptr_dtor(&free_op1.var);}",
        "CONST"  => "",
        "UNUSED" => "",
        "CV"     => "",
);

$op2_free_op = array(
        "ANY"    => "FREE_OP(free_op2)",
        "TMP"    => "zval_dtor(free_op2.var)",
        "VAR"    => "if (free_op2.var) {zval_ptr_dtor(&free_op2.var);}",
        "CONST"  => "",
        "UNUSED" => "",
        "CV"     => "",
);

$op1_free_op_if_var = array(
        "ANY"    => "FREE_OP_IF_VAR(free_op1)",
        "TMP"    => "",
        "VAR"    => "if (free_op1.var) {zval_ptr_dtor(&free_op1.var);}",
        "CONST"  => "",
        "UNUSED" => "",
        "CV"     => "",
);

$op2_free_op_if_var = array(
        "ANY"    => "FREE_OP_IF_VAR(free_op2)",
        "TMP"    => "",
        "VAR"    => "if (free_op2.var) {zval_ptr_dtor(&free_op2.var);}",
        "CONST"  => "",
        "UNUSED" => "",
        "CV"     => "",
);

$op1_free_op_var_ptr = array(
        "ANY"    => "if (free_op1.var) {zval_ptr_dtor(&free_op1.var);}",
        "TMP"    => "",
        "VAR"    => "if (free_op1.var) {zval_ptr_dtor(&free_op1.var);}",
        "CONST"  => "",
        "UNUSED" => "",
        "CV"     => "",
);

$op2_free_op_var_ptr = array(
        "ANY"    => "if (free_op2.var) {zval_ptr_dtor(&free_op2.var);}",
        "TMP"    => "",
        "VAR"    => "if (free_op2.var) {zval_ptr_dtor(&free_op2.var);}",
        "CONST"  => "",
        "UNUSED" => "",
        "CV"     => "",
);

$list    = array(); // list of opcode handlers and helpers in original order
$opcodes = array(); // opcode handlers by code
$helpers = array(); // opcode helpers by name
$params  = array(); // parameters of helpers
$opnames = array(); // opcode name to code mapping
$line_no = 1;

// Writes $s into resulting executor
function out($f, $s) {
        global $line_no;

        fputs($f,$s);
        $line_no += substr_count($s, "\n");
}

// Resets #line directives in resulting executor
function out_line($f) {
        global $line_no, $executor_file;

        fputs($f,"#line ".($line_no+1)." \"".$executor_file."\"\n");
        ++$line_no;
}

// Returns name of specialized helper
function helper_name($name, $spec, $op1, $op2) {
        global $prefix, $helpers;

        if (isset($helpers[$name])) {
                // If we haven't helper with specified spicialized operands then
                // using unspecialized helper
                if (!isset($helpers[$name]["op1"][$op1]) &&
                    isset($helpers[$name]["op1"]["ANY"])) {
                        $op1 = "ANY";
                }
                if (!isset($helpers[$name]["op2"][$op2]) &&
                    isset($helpers[$name]["op2"]["ANY"])) {
                        $op2 = "ANY";
                }
        }
        return $name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2];
}

// Generates code for opcode handler or helper
function gen_code($f, $spec, $kind, $export, $code, $op1, $op2, $name) {
        global $op1_type, $op2_type, $op1_get_zval_ptr, $op2_get_zval_ptr,
                $op1_get_zval_ptr_ptr, $op2_get_zval_ptr_ptr,
                $op1_get_obj_zval_ptr, $op2_get_obj_zval_ptr,
                $op1_get_obj_zval_ptr_ptr, $op2_get_obj_zval_ptr_ptr,
                $op1_is_tmp_free, $op2_is_tmp_free, $op1_free, $op2_free,
                $op1_free_op, $op2_free_op, $op1_free_op_if_var, $op2_free_op_if_var,
                $op1_free_op_var_ptr, $op2_free_op_var_ptr, $prefix;

        // Specializing
        $code = preg_replace(
                array(
                        "/OP1_TYPE/",
                        "/OP2_TYPE/",
                        "/OP1_FREE/",
                        "/OP2_FREE/",
                        "/GET_OP1_ZVAL_PTR\(([^)]*)\)/",
                        "/GET_OP2_ZVAL_PTR\(([^)]*)\)/",
                        "/GET_OP1_ZVAL_PTR_PTR\(([^)]*)\)/",
                        "/GET_OP2_ZVAL_PTR_PTR\(([^)]*)\)/",
                        "/GET_OP1_OBJ_ZVAL_PTR\(([^)]*)\)/",
                        "/GET_OP2_OBJ_ZVAL_PTR\(([^)]*)\)/",
                        "/GET_OP1_OBJ_ZVAL_PTR_PTR\(([^)]*)\)/",
                        "/GET_OP2_OBJ_ZVAL_PTR_PTR\(([^)]*)\)/",
                        "/IS_OP1_TMP_FREE\(\)/",
                        "/IS_OP2_TMP_FREE\(\)/",
                        "/FREE_OP1\(\)/",
                        "/FREE_OP2\(\)/",
                        "/FREE_OP1_IF_VAR\(\)/",
                        "/FREE_OP2_IF_VAR\(\)/",
                        "/FREE_OP1_VAR_PTR\(\)/",
                        "/FREE_OP2_VAR_PTR\(\)/",
                        "/^#ifdef\s+ZEND_VM_SPEC\s*\n/m",
                        "/^#ifndef\s+ZEND_VM_SPEC\s*\n/m",
                        "/\!defined\(ZEND_VM_SPEC\)/m",
                        "/defined\(ZEND_VM_SPEC\)/m",
                        "/ZEND_VM_C_LABEL\(\s*([A-Za-z_]*)\s*\)/m",
                        "/ZEND_VM_C_GOTO\(\s*([A-Za-z_]*)\s*\)/m",
                        "/^#if\s+1\s*\\|\\|.*[^\\\\]$/m",
                        "/^#if\s+0\s*&&.*[^\\\\]$/m",
                        "/^#ifdef\s+ZEND_VM_EXPORT\s*\n/m",
                        "/^#ifndef\s+ZEND_VM_EXPORT\s*\n/m"
                ),
                array(
                        $op1_type[$op1],
                        $op2_type[$op2],
                        $op1_free[$op1],
                        $op2_free[$op2],
                        $op1_get_zval_ptr[$op1],
                        $op2_get_zval_ptr[$op2],
                        $op1_get_zval_ptr_ptr[$op1],
                        $op2_get_zval_ptr_ptr[$op2],
                        $op1_get_obj_zval_ptr[$op1],
                        $op2_get_obj_zval_ptr[$op2],
                        $op1_get_obj_zval_ptr_ptr[$op1],
                        $op2_get_obj_zval_ptr_ptr[$op2],
                        $op1_is_tmp_free[$op1],
                        $op2_is_tmp_free[$op2],
                        $op1_free_op[$op1],
                        $op2_free_op[$op2],
                        $op1_free_op_if_var[$op1],
                        $op2_free_op_if_var[$op2],
                        $op1_free_op_var_ptr[$op1],
                        $op2_free_op_var_ptr[$op2],
                        ($op1!="ANY"||$op2!="ANY")?"#if 1\n":"#if 0\n",
                        ($op1!="ANY"||$op2!="ANY")?"#if 0\n":"#if 1\n",
                        ($op1!="ANY"||$op2!="ANY")?"0":"1",
                        ($op1!="ANY"||$op2!="ANY")?"1":"0",
                        "\\1".(($spec && $kind != ZEND_VM_KIND_CALL)?("_SPEC".$prefix[$op1].$prefix[$op2]):""),
                        "goto \\1".(($spec && $kind != ZEND_VM_KIND_CALL)?("_SPEC".$prefix[$op1].$prefix[$op2]):""),
                        "#if 1",
                        "#if 0",
                        $export?"#if 1\n":"#if 0\n",
                        $export?"#if 0\n":"#if 1\n"
                ),
                $code);

        if (0 && strpos($code, '{') === 0) {
                $code = "{\n\tfprintf(stderr, \"$name\\n\");\n" . substr($code, 1);
        }
        // Updating code according to selected threading model
        switch($kind) {
                case ZEND_VM_KIND_CALL:
                        $code = preg_replace_callback(
                                array(
                                        "/EXECUTE_DATA/m",
                                        "/ZEND_VM_DISPATCH_TO_HANDLER\(\s*([A-Z_]*)\s*\)/m",
                                        "/ZEND_VM_DISPATCH_TO_HELPER\(\s*([A-Za-z_]*)\s*\)/m",
                                        "/ZEND_VM_DISPATCH_TO_HELPER_EX\(\s*([A-Za-z_]*)\s*,\s*[A-Za-z_]*\s*,\s*(.*)\s*\);/m",
                                ),
                                function($matches) use ($spec, $prefix, $op1, $op2) {
                                        if (strncasecmp($matches[0], "EXECUTE_DATA", strlen("EXECUTE_DATA")) == 0) {
                                                return "execute_data";
                                        } else if (strncasecmp($matches[0], "ZEND_VM_DISPATCH_TO_HANDLER", strlen("ZEND_VM_DISPATCH_TO_HANDLER")) == 0) {
                                                return "return " . $matches[1] . ($spec?"_SPEC":"") . $prefix[$op1] . $prefix[$op2] . "_HANDLER(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU)";
                                        } else if (strncasecmp($matches[0], "ZEND_VM_DISPATCH_TO_HELPER_EX", strlen("ZEND_VM_DISPATCH_TO_HELPER_EX")) == 0) {
                                                return "return " . helper_name($matches[1], $spec, $op1, $op2) . "(" . $matches[2]. ", ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);";
                                        } else {
                                                return "return " . helper_name($matches[1], $spec, $op1, $op2) . "(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU)";
                                        }
                                },
                                $code);
                        break;
                case ZEND_VM_KIND_SWITCH:
                        $code = preg_replace_callback(
                                array(
                                        "/EXECUTE_DATA/m",
                                        "/ZEND_VM_DISPATCH_TO_HANDLER\(\s*([A-Z_]*)\s*\)/m",
                                        "/ZEND_VM_DISPATCH_TO_HELPER\(\s*([A-Za-z_]*)\s*\)/m",
                                        "/ZEND_VM_DISPATCH_TO_HELPER_EX\(\s*([A-Za-z_]*)\s*,\s*([A-Za-z_]*)\s*,\s*(.*)\s*\);/m",
                                ),
                                function($matches) use ($spec, $prefix, $op1, $op2) {
                                        if (strncasecmp($matches[0], "EXECUTE_DATA", strlen("EXECUTE_DATA")) == 0) {
                                                return "execute_data";
                                        } else if (strncasecmp($matches[0], "ZEND_VM_DISPATCH_TO_HANDLER", strlen("ZEND_VM_DISPATCH_TO_HANDLER")) == 0) {
                                                return "goto " . $matches[1] . ($spec?"_SPEC":"") . $prefix[$op1] . $prefix[$op2] . "_LABEL";
                                        } else if (strncasecmp($matches[0], "ZEND_VM_DISPATCH_TO_HELPER_EX", strlen("ZEND_VM_DISPATCH_TO_HELPER_EX")) == 0) {
                                                return $matches[2] . " = " . $matches[3] .  "; goto " . helper_name($matches[1], $spec, $op1, $op2) . ";";
                                        } else {
                                                return "goto " . helper_name($matches[1], $spec, $op1, $op2);
                                        }
                                },
                                        $code);
                        break;
                case ZEND_VM_KIND_GOTO:
                        $code = preg_replace_callback(
                                array(
                                        "/EXECUTE_DATA/m",
                                        "/ZEND_VM_DISPATCH_TO_HANDLER\(\s*([A-Z_]*)\s*\)/m",
                                        "/ZEND_VM_DISPATCH_TO_HELPER\(\s*([A-Za-z_]*)\s*\)/m",
                                        "/ZEND_VM_DISPATCH_TO_HELPER_EX\(\s*([A-Za-z_]*)\s*,\s*([A-Za-z_]*)\s*,\s*(.*)\s*\);/m",
                                ),
                                function($matches) use ($spec, $prefix, $op1, $op2) {
                                        if (strncasecmp($matches[0], "EXECUTE_DATA", strlen("EXECUTE_DATA")) == 0) {
                                                return "execute_data";
                                        } else if (strncasecmp($matches[0], "ZEND_VM_DISPATCH_TO_HANDLER", strlen("ZEND_VM_DISPATCH_TO_HANDLER")) == 0) {
                                                return "goto " . $matches[1] . ($spec?"_SPEC":"") . $prefix[$op1] . $prefix[$op2] . "_HANDLER";
                                        } else if (strncasecmp($matches[0], "ZEND_VM_DISPATCH_TO_HELPER_EX", strlen("ZEND_VM_DISPATCH_TO_HELPER_EX")) == 0) {
                                                return $matches[2] . " = " . $matches[3] .  "; goto " . helper_name($matches[1], $spec, $op1, $op2) . ";";
                                        } else {
                                                return "goto " . helper_name($matches[1], $spec, $op1, $op2);
                                        }
                                },
                                        $code);
                        break;
        }

        /* Remove unused free_op1 and free_op2 declarations */
        if ($spec && preg_match_all('/^\s*zend_free_op\s+[^;]+;\s*$/me', $code, $matches, PREG_SET_ORDER)) {
                $n = 0;
                foreach ($matches as $match) {
                  $code = preg_replace('/'.preg_quote($match[0],'/').'/', "\$D$n", $code);
                  ++$n;
                }
                $del_free_op1 = (strpos($code, "free_op1") === false);
                $del_free_op2 = (strpos($code, "free_op2") === false);
                $n = 0;
                foreach ($matches as $match) {
                        $dcl = $match[0];
                        $changed = 0;
                        if ($del_free_op1 && strpos($dcl, "free_op1") !== false) {
                                $dcl = preg_replace("/free_op1\s*,\s*/", "", $dcl);
                                $dcl = preg_replace("/free_op1\s*;/", ";", $dcl);
                                $changed = 1;
                        }
                        if ($del_free_op2 && strpos($dcl, "free_op2") !== false) {
                                $dcl = preg_replace("/free_op2\s*,\s*/", "", $dcl);
                                $dcl = preg_replace("/free_op2\s*;/", ";", $dcl);
                                $changed = 1;
                        }
                        if ($changed) {
                                $dcl = preg_replace("/,\s*;/", ";", $dcl);
                                $dcl = preg_replace("/zend_free_op\s*;/", "", $dcl);
                        }
                  $code = preg_replace("/\\\$D$n/", $dcl, $code);
                  ++$n;
                }
        }

        /* Remove unnecessary ';' */
        $code = preg_replace('/^\s*;\s*$/m', '', $code);

        /* Remove WS */
        $code = preg_replace('/[ \t]+\n/m', "\n", $code);

        out($f, $code);
}

// Generates opcode handler
function gen_handler($f, $spec, $kind, $name, $op1, $op2, $use, $code, $lineno) {
        global $definition_file, $prefix, $typecode, $opnames;

        if (ZEND_VM_LINES) {
                out($f, "#line $lineno \"$definition_file\"\n");
        }

        // Generate opcode handler's entry point according to selected threading model
        switch($kind) {
                case ZEND_VM_KIND_CALL:
                        out($f,"static int ZEND_FASTCALL  ".$name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2]."_HANDLER(ZEND_OPCODE_HANDLER_ARGS)\n");
                        break;
                case ZEND_VM_KIND_SWITCH:
                        if ($spec) {
                                out($f,"case ".((string)($opnames[$name]*25+($typecode[$op1]*5)+$typecode[$op2])).": /*".$name."_SPEC".$prefix[$op1].$prefix[$op2]."_HANDLER*/");
                        } else {
                                out($f,"case ".$name.":");
                        }
                        if ($use) {
                                // This handler is used by other handlers. We will add label to call it.
                                out($f," ".$name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2]."_LABEL:\n");
                        } else {
                                out($f,"\n");
                        }
                        break;
                case ZEND_VM_KIND_GOTO:
                        out($f,$name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2]."_HANDLER: ZEND_VM_GUARD(".$name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2].");\n");
                        break;
        }

        // Generate opcode handler's code
        gen_code($f, $spec, $kind, 0, $code, $op1, $op2, $name);
}

// Generates helper
function gen_helper($f, $spec, $kind, $name, $op1, $op2, $param, $code, $lineno) {
        global $definition_file, $prefix;

        if (ZEND_VM_LINES) {
                out($f, "#line $lineno \"$definition_file\"\n");
        }

        // Generate helper's entry point according to selected threading model
        switch($kind) {
                case ZEND_VM_KIND_CALL:
                        if ($param == null) {
                          // Helper without parameters
                                out($f, "static int ZEND_FASTCALL ".$name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2]."(ZEND_OPCODE_HANDLER_ARGS)\n");
                        } else {
                          // Helper with parameter
                                out($f, "static int ZEND_FASTCALL ".$name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2]."(".$param.", ZEND_OPCODE_HANDLER_ARGS)\n");
                        }
                        break;
                case ZEND_VM_KIND_SWITCH:
                        out($f, $name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2].":\n");
                        break;
                case ZEND_VM_KIND_GOTO:
                        out($f, $name.($spec?"_SPEC":"").$prefix[$op1].$prefix[$op2].":\n");
                        break;
        }

        // Generate helper's code
        gen_code($f, $spec, $kind, 0, $code, $op1, $op2, $name);
}

// Generates array of opcode handlers (specialized or unspecialized)
function gen_labels($f, $spec, $kind, $prolog) {
        global $opcodes, $op_types, $prefix, $typecode;

        $next = 0;
        if ($spec) {
          // Emit labels for specialized executor

          // For each opcode in opcode number order
                foreach($opcodes as $num => $dsc) {
                        while ($next != $num) {
                          // If some opcode numbers are not used then fill hole with pointers
                          // to handler of undefined opcode
                                $op1t = $op_types;
                                // For each op1.op_type except ANY
                                foreach($op1t as $op1) {
                                        if ($op1 != "ANY") {
                                                $op2t = $op_types;
                                                // For each op2.op_type except ANY
                                                foreach($op2t as $op2) {
                                                        if ($op2 != "ANY") {
                                                          // Emit pointer to handler of undefined opcode
                                                                switch ($kind) {
                                                                        case ZEND_VM_KIND_CALL:
                                                                                out($f,$prolog."ZEND_NULL_HANDLER,\n");
                                                                                break;
                                                                        case ZEND_VM_KIND_SWITCH:
                                                                                out($f,$prolog."(opcode_handler_t)-1,\n");
                                                                                break;
                                                                        case ZEND_VM_KIND_GOTO:
                                                                                out($f,$prolog."(opcode_handler_t)&&ZEND_NULL_HANDLER,\n");
                                                                                break;
                                                                }
                                                        }
                                                }
                                        }
                                }
                                $next++;
                        }
                        $next = $num + 1;
                        $op1t = $op_types;
                        // For each op1.op_type except ANY
                        foreach($op1t as $op1) {
                                if ($op1 != "ANY") {
                                        if (!isset($dsc["op1"][$op1])) {
                                                // Try to use unspecialized handler
                                                $op1 = "ANY";
                                        }
                                        $op2t = $op_types;
                                        // For each op2.op_type except ANY
                                        foreach($op2t as $op2) {
                                                if ($op2 != "ANY") {
                                                        if (!isset($dsc["op2"][$op2])) {
                                                                // Try to use unspecialized handler
                                                                $op2 = "ANY";
                                                        }
                                                        // Check if specialized handler is defined
                                                        if (isset($dsc["op1"][$op1]) &&
                                                            isset($dsc["op2"][$op2])) {
                                                          // Emit pointer to specialized handler
                                                                switch ($kind) {
                                                                        case ZEND_VM_KIND_CALL:
                                                                                out($f,$prolog.$dsc["op"]."_SPEC".$prefix[$op1].$prefix[$op2]."_HANDLER,\n");
                                                                                break;
                                                                        case ZEND_VM_KIND_SWITCH:
                                                                                out($f,$prolog."(opcode_handler_t)".((string)($num*25+$typecode[$op1]*5+$typecode[$op2])).",\n");
                                                                                break;
                                                                        case ZEND_VM_KIND_GOTO:
                                                                                out($f,$prolog."(opcode_handler_t)&&".$dsc["op"]."_SPEC".$prefix[$op1].$prefix[$op2]."_HANDLER,\n");
                                                                                break;
                                                                }
                                                        } else {
                                                          // Emit pinter to handler of undefined opcode
                                                                switch ($kind) {
                                                                        case ZEND_VM_KIND_CALL:
                                                                                out($f,$prolog."ZEND_NULL_HANDLER,\n");
                                                                                break;
                                                                        case ZEND_VM_KIND_SWITCH:
                                                                                out($f,$prolog."(opcode_handler_t)-1,\n");
                                                                                break;
                                                                        case ZEND_VM_KIND_GOTO:
                                                                                out($f,$prolog."(opcode_handler_t)&&ZEND_NULL_HANDLER,\n");
                                                                                break;
                                                                }
                                                        }
                                                }
                                        }
                                }
                        }
                }
        } else {
          // Emit labels for unspecialized executor

          // For each opcode in opcode number order
                foreach($opcodes as $num => $dsc) {
                        while ($next != $num) {
                          // If some opcode numbers are not used then fill hole with pointers
                          // to handler of undefined opcode
                                switch ($kind) {
                                        case ZEND_VM_KIND_CALL:
                                                out($f,$prolog."ZEND_NULL_HANDLER,\n");
                                                break;
                                        case ZEND_VM_KIND_SWITCH:
                                                out($f,$prolog."(opcode_handler_t)-1,\n");
                                                break;
                                        case ZEND_VM_KIND_GOTO:
                                                out($f,$prolog."(opcode_handler_t)&&ZEND_NULL_HANDLER,\n");
                                                break;
                                }
                                $next++;
                        }
                        $next = $num+1;
                  // Emit pointer to unspecialized handler
                        switch ($kind) {
                                case ZEND_VM_KIND_CALL:
                                        out($f,$prolog.$dsc["op"]."_HANDLER,\n");
                                        break;
                                case ZEND_VM_KIND_SWITCH:
                                        out($f,$prolog."(opcode_handler_t)".((string)$num).",\n");
                                        break;
                                case ZEND_VM_KIND_GOTO:
                                        out($f,$prolog."(opcode_handler_t)&&".$dsc["op"]."_HANDLER,\n");
                                        break;
                        }
                }
        }

        // Emit last handler's label (undefined opcode)
        switch ($kind) {
                case ZEND_VM_KIND_CALL:
                        out($f,$prolog."ZEND_NULL_HANDLER\n");
                        break;
                case ZEND_VM_KIND_SWITCH:
                        out($f,$prolog."(opcode_handler_t)-1\n");
                        break;
                case ZEND_VM_KIND_GOTO:
                        out($f,$prolog."(opcode_handler_t)&&ZEND_NULL_HANDLER\n");
                        break;
        }
}

// Generates handler for undefined opcodes (CALL threading model)
function gen_null_handler($f) {
        static $done = 0;

        // New and all executors with CALL threading model can use the same handler
        // for undefined opcodes, do we emit code for it only once
        if (!$done) {
                $done = 1;
                out($f,"static int ZEND_FASTCALL ZEND_NULL_HANDLER(ZEND_OPCODE_HANDLER_ARGS)\n");
                out($f,"{\n");
                out($f,"\tzend_error_noreturn(E_ERROR, \"Invalid opcode %d/%d/%d.\", OPLINE->opcode, OPLINE->op1_type, OPLINE->op2_type);\n");
                out($f,"\tZEND_VM_NEXT_OPCODE(); /* Never reached */\n");
                out($f,"}\n\n");
        }
}

// Generates all opcode handlers and helpers (specialized or unspecilaized)
function gen_executor_code($f, $spec, $kind, $prolog) {
        global $list, $opcodes, $helpers, $op_types;

        if ($spec) {
                // Produce specialized executor
                $op1t = $op_types;
                // for each op1.op_type
                foreach($op1t as $op1) {
                        $op2t = $op_types;
                        // for each op2.op_type
                        foreach($op2t as $op2) {
                                // for each handlers in helpers in original order
                                foreach ($list as $lineno => $dsc) {
                                        if (isset($dsc["handler"])) {
                                                $num = $dsc["handler"];
                                                // Check if handler accepts such types of operands (op1 and op2)
                                                if (isset($opcodes[$num]["op1"][$op1]) &&
                                                    isset($opcodes[$num]["op2"][$op2])) {
                                                  // Generate handler code
                                                        gen_handler($f, 1, $kind, $opcodes[$num]["op"], $op1, $op2, isset($opcodes[$num]["use"]), $opcodes[$num]["code"], $lineno);
                                                }
                                        } else if (isset($dsc["helper"])) {
                                                $num = $dsc["helper"];
                                                // Check if handler accepts such types of operands (op1 and op2)
                                                if (isset($helpers[$num]["op1"][$op1]) &&
                                                    isset($helpers[$num]["op2"][$op2])) {
                                                  // Generate helper code
                                                        gen_helper($f, 1, $kind, $num, $op1, $op2, $helpers[$num]["param"], $helpers[$num]["code"], $lineno);
                                                }
                                        } else {
                                                var_dump($dsc);
                                                die("??? $kind:$num\n");
                                        }
                                }
                        }
                }
        } else {
                // Produce unspecialized executor

                // for each handlers in helpers in original order
                foreach ($list as $lineno => $dsc) {
                        if (isset($dsc["handler"])) {
                                $num = $dsc["handler"];
                          // Generate handler code
                                gen_handler($f, 0, $kind, $opcodes[$num]["op"], "ANY", "ANY", isset($opcodes[$num]["use"]), $opcodes[$num]["code"], $lineno);
                        } else if (isset($dsc["helper"])) {
                                $num = $dsc["helper"];
                          // Generate helper code
                                gen_helper($f, 0, $kind, $num, "ANY", "ANY", $helpers[$num]["param"], $helpers[$num]["code"], $lineno);
                        } else {
                                var_dump($dsc);
                                die("??? $kind:$num\n");
                        }
                }
        }

        if (ZEND_VM_LINES) {
                // Reset #line directives
                out_line($f);
        }

        // Generate handler for undefined opcodes
        switch ($kind) {
                case ZEND_VM_KIND_CALL:
                        gen_null_handler($f);
                        break;
                case ZEND_VM_KIND_SWITCH:
                        out($f,"default:\n");
                        out($f,"\tzend_error_noreturn(E_ERROR, \"Invalid opcode %d/%d/%d.\", OPLINE->opcode, OPLINE->op1_type, OPLINE->op2_type);\n");
                        out($f,"\tZEND_VM_NEXT_OPCODE(); /* Never reached */\n");
                        break;
                case ZEND_VM_KIND_GOTO:
                        out($f,"ZEND_NULL_HANDLER:\n");
                        out($f,"\tzend_error_noreturn(E_ERROR, \"Invalid opcode %d/%d/%d.\", OPLINE->opcode, OPLINE->op1_type, OPLINE->op2_type);\n");
                        out($f,"\tZEND_VM_NEXT_OPCODE(); /* Never reached */\n");
                        break;
        }
}

function skip_blanks($f, $prolog, $epilog) {
        if (trim($prolog) != "" || trim($epilog) != "") {
                out($f, $prolog.$epilog);
        }
}

// Generates executor from skeleton file and definition (specialized or unspecialized)
function gen_executor($f, $skl, $spec, $kind, $executor_name, $initializer_name, $old) {
        global $params, $skeleton_file, $line_no;

        $lineno      = 0;
        foreach ($skl as $line) {
          // Skeleton file contains special markers in form %NAME% those are
          // substituted by custom code
                if (preg_match("/(.*)[{][%]([A-Z_]*)[%][}](.*)/", $line, $m)) {
                        switch ($m[2]) {
                                case "DEFINES":
                                        if (ZEND_VM_OLD_EXECUTOR && $spec) {
                                                out($f,"static int zend_vm_old_executor = 0;\n\n");
                                        }
                                        out($f,"static opcode_handler_t zend_vm_get_opcode_handler(zend_uchar opcode, zend_op* op);\n\n");
                                        switch ($kind) {
                                                case ZEND_VM_KIND_CALL:
                                                        out($f,"\n");                                                           
                                                        out($f,"#undef OPLINE\n");
                                                        out($f,"#undef DCL_OPLINE\n");
                                                        out($f,"#undef USE_OPLINE\n");
                                                        out($f,"#undef LOAD_OPLINE\n");
                                                        out($f,"#undef SAVE_OPLINE\n");
                                                        out($f,"#define OPLINE EX(opline)\n");
                                                        out($f,"#define DCL_OPLINE\n");
                                                        out($f,"#define USE_OPLINE zend_op *opline = EX(opline);\n");
                                                        out($f,"#define LOAD_OPLINE()\n");
                                                        out($f,"#define SAVE_OPLINE()\n");
                                                        out($f,"#undef CHECK_EXCEPTION\n");
                                                        out($f,"#undef HANDLE_EXCEPTION\n");
                                                        out($f,"#undef HANDLE_EXCEPTION_LEAVE\n");
                                                        out($f,"#define CHECK_EXCEPTION() LOAD_OPLINE()\n");
                                                        out($f,"#define HANDLE_EXCEPTION() LOAD_OPLINE(); ZEND_VM_CONTINUE()\n");
                                                        out($f,"#define HANDLE_EXCEPTION_LEAVE() LOAD_OPLINE(); ZEND_VM_LEAVE()\n");
                                                        out($f,"#define LOAD_REGS()\n");
                                                        out($f,"#define ZEND_VM_CONTINUE()         return 0\n");
                                                        out($f,"#define ZEND_VM_RETURN()           return 1\n");
                                                        out($f,"#define ZEND_VM_ENTER()            return 2\n");
                                                        out($f,"#define ZEND_VM_LEAVE()            return 3\n");
                                                        out($f,"#define ZEND_VM_DISPATCH(opcode, opline) return zend_vm_get_opcode_handler(opcode, opline)(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);\n\n");
                                                        out($f,"#define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_INTERNAL execute_data TSRMLS_CC\n");
                                                        break;
                                                case ZEND_VM_KIND_SWITCH:
                                                        out($f,"\n");
                                                        out($f,"#undef OPLINE\n");
                                                        out($f,"#undef DCL_OPLINE\n");
                                                        out($f,"#undef USE_OPLINE\n");
                                                        out($f,"#undef LOAD_OPLINE\n");
                                                        out($f,"#undef SAVE_OPLINE\n");
                                                        out($f,"#define OPLINE opline\n");
                                                        out($f,"#define DCL_OPLINE zend_op *opline;\n");
                                                        out($f,"#define USE_OPLINE\n");
                                                        out($f,"#define LOAD_OPLINE() opline = EX(opline)\n");
                                                        out($f,"#define SAVE_OPLINE() EX(opline) = opline\n");
                                                        out($f,"#undef CHECK_EXCEPTION\n");
                                                        out($f,"#undef HANDLE_EXCEPTION\n");
                                                        out($f,"#undef HANDLE_EXCEPTION_LEAVE\n");
                                                        out($f,"#define CHECK_EXCEPTION() LOAD_OPLINE()\n");
                                                        out($f,"#define HANDLE_EXCEPTION() LOAD_OPLINE(); ZEND_VM_CONTINUE()\n");
                                                        out($f,"#define HANDLE_EXCEPTION_LEAVE() LOAD_OPLINE(); ZEND_VM_LEAVE()\n");
                                                        out($f,"#define LOAD_REGS()\n");
                                                        out($f,"#define ZEND_VM_CONTINUE() goto zend_vm_continue\n");
                                                        out($f,"#define ZEND_VM_RETURN()   EG(in_execution) = original_in_execution; return\n");
                                                        out($f,"#define ZEND_VM_ENTER()    goto zend_vm_enter\n");
                                                        out($f,"#define ZEND_VM_LEAVE()    ZEND_VM_CONTINUE()\n");
                                                        out($f,"#define ZEND_VM_DISPATCH(opcode, opline) dispatch_handler = zend_vm_get_opcode_handler(opcode, opline); goto zend_vm_dispatch;\n\n");
                                                        out($f,"#define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_INTERNAL execute_data TSRMLS_CC\n");
                                                        break;
                                                case ZEND_VM_KIND_GOTO:
                                                        out($f,"\n");
                                                        out($f,"#undef OPLINE\n");
                                                        out($f,"#undef DCL_OPLINE\n");
                                                        out($f,"#undef USE_OPLINE\n");
                                                        out($f,"#undef LOAD_OPLINE\n");
                                                        out($f,"#undef SAVE_OPLINE\n");
                                                        out($f,"#define OPLINE opline\n");
                                                        out($f,"#define DCL_OPLINE zend_op *opline;\n");
                                                        out($f,"#define USE_OPLINE\n");
                                                        out($f,"#define LOAD_OPLINE() opline = EX(opline)\n");
                                                        out($f,"#define SAVE_OPLINE() EX(opline) = opline\n");
                                                        out($f,"#undef CHECK_EXCEPTION\n");
                                                        out($f,"#undef HANDLE_EXCEPTION\n");
                                                        out($f,"#undef HANDLE_EXCEPTION_LEAVE\n");
                                                        if (ZEND_VM_SPEC) {
                                                                out($f,"#define CHECK_EXCEPTION() if (UNEXPECTED(EG(exception) != NULL)) goto ZEND_HANDLE_EXCEPTION_SPEC_HANDLER\n");
                                                                out($f,"#define HANDLE_EXCEPTION() goto ZEND_HANDLE_EXCEPTION_SPEC_HANDLER\n");
                                                                out($f,"#define HANDLE_EXCEPTION_LEAVE() goto ZEND_HANDLE_EXCEPTION_SPEC_HANDLER\n");
                                                        } else {
                                                                out($f,"#define CHECK_EXCEPTION() if (UNEXPECTED(EG(exception) != NULL)) goto ZEND_HANDLE_EXCEPTION_HANDLER\n");
                                                                out($f,"#define HANDLE_EXCEPTION() goto ZEND_HANDLE_EXCEPTION_HANDLER\n");
                                                                out($f,"#define HANDLE_EXCEPTION_LEAVE() goto ZEND_HANDLE_EXCEPTION_HANDLER\n");
                                                        }
                                                        out($f,"#define LOAD_REGS()\n");
                                                        out($f,"#define ZEND_VM_CONTINUE() goto *(void**)(OPLINE->handler)\n");
                                                        out($f,"#define ZEND_VM_RETURN()   EG(in_execution) = original_in_execution; return\n");
                                                        out($f,"#define ZEND_VM_ENTER()    goto zend_vm_enter\n");
                                                        out($f,"#define ZEND_VM_LEAVE()    ZEND_VM_CONTINUE()\n");
                                                        out($f,"#define ZEND_VM_DISPATCH(opcode, opline) goto *(void**)(zend_vm_get_opcode_handler(opcode, opline));\n\n");
                                                        out($f,"#define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_INTERNAL execute_data TSRMLS_CC\n");
                                                        break;
                                        }
                                        break;
                                case "EXECUTOR_NAME":
                                        out($f, $m[1].$executor_name.$m[3]."\n");
                                        break;
                                case "HELPER_VARS":
                                        if ($kind != ZEND_VM_KIND_CALL) {
                                                if ($kind == ZEND_VM_KIND_SWITCH) {
                                                        out($f,$m[1]."opcode_handler_t dispatch_handler;\n");
                                                }
                                          // Emit local variables those are used for helpers' parameters
                                                foreach ($params as $param => $x) {
                                                        out($f,$m[1].$param.";\n");
                                                }
                                        } else {
                                                skip_blanks($f, $m[1], $m[3]."\n");
                                        }
                                        break;
                                case "INTERNAL_LABELS":
                                        if ($kind == ZEND_VM_KIND_GOTO) {
                                          // Emit array of labels of opcode handlers and code for
                                          // zend_opcode_handlers initialization
                                                $prolog = $m[1];
                                                out($f,$prolog."if (execute_data == NULL) {\n");
                                                out($f,$prolog."\tstatic const opcode_handler_t labels[] = {\n");
                                                gen_labels($f, $spec, $kind, $prolog."\t\t");
                                                out($f,$prolog."\t};\n");
                                                out($f,$prolog."\tzend_opcode_handlers = (opcode_handler_t*)labels;\n");
                                                out($f,$prolog."\treturn;\n");
                                                out($f,$prolog."}\n");
                                        } else {
                                                skip_blanks($f, $m[1], $m[3]);
                                        }
                                        break;
                                case "ZEND_VM_CONTINUE_LABEL":
                                        if ($kind == ZEND_VM_KIND_CALL) {
                                          // Only SWITCH dispatch method use it
                                                out($f,$m[1]."\tint ret;".$m[3]."\n");
                                        } else if ($kind == ZEND_VM_KIND_SWITCH) {
                                          // Only SWITCH dispatch method use it
                                                out($f,"zend_vm_continue:".$m[3]."\n");
                                        } else {
                                                skip_blanks($f, $m[1], $m[3]);
                                        }
                                        break;
                                case "ZEND_VM_DISPATCH":
                                  // Emit code that dispatches to opcode handler
                                        switch ($kind) {
                                                case ZEND_VM_KIND_CALL:
                                                        out($f, $m[1]."if ((ret = OPLINE->handler(execute_data TSRMLS_CC)) > 0)".$m[3]."\n");
                                                        break;
                                                case ZEND_VM_KIND_SWITCH:
                                                        out($f, $m[1]."dispatch_handler = OPLINE->handler;\nzend_vm_dispatch:\n".$m[1]."switch ((int)dispatch_handler)".$m[3]."\n");
                                                        break;
                                                case ZEND_VM_KIND_GOTO:
                                                        out($f, $m[1]."goto *(void**)(OPLINE->handler);".$m[3]."\n");
                                                        break;
                                        }
                                        break;
                                case "INTERNAL_EXECUTOR":
                                        if ($kind == ZEND_VM_KIND_CALL) {
                                          // Executor is defined as a set of functions
                                                out($f, $m[1]."switch (ret) {\n" . 
                                                        $m[1]."\tcase 1:\n" . 
                                                        $m[1]."\t\tEG(in_execution) = original_in_execution;\n".
                                                        $m[1]."\t\treturn;\n".
                                                        $m[1]."\tcase 2:\n" . 
                                                        $m[1]."\t\tgoto zend_vm_enter;\n".
                                                        $m[1]."\t\tbreak;\n" .
                                                        $m[1]."\tcase 3:\n" . 
                                                        $m[1]."\t\texecute_data = EG(current_execute_data);\n".
                                                        $m[1]."\t\tbreak;\n" .
                                                        $m[1]."\tdefault:\n".
                                                        $m[1]."\t\tbreak;\n".
                                                        $m[1]."}".$m[3]."\n");
                                        } else {
                                          // Emit executor code
                                                gen_executor_code($f, $spec, $kind, $m[1]);
                                        }
                                        break;
                                case "EXTERNAL_EXECUTOR":
                                        if ($kind == ZEND_VM_KIND_CALL) {
                                          // Unspecialized executor with CALL threading is the same as the
                                          // old one, so we don't need to produce code twitch
                                                if (!$old || ZEND_VM_SPEC || (ZEND_VM_KIND != ZEND_VM_KIND_CALL)) {
                                                        // Emit executor code
                                                        gen_executor_code($f, $spec, $kind, $m[1]);
                                                }
                                        }
                                        break;
                                case "INITIALIZER_NAME":
                                        out($f, $m[1].$initializer_name.$m[3]."\n");
                                        break;
                                case "EXTERNAL_LABELS":
                                  // Emit code that initializes zend_opcode_handlers array
                                        $prolog = $m[1];
                                        if ($kind == ZEND_VM_KIND_GOTO) {
                                          // Labels are defined in the executor itself, so we call it
                                          // with execute_data NULL and it sets zend_opcode_handlers array
                                                out($f,$prolog."TSRMLS_FETCH();\n");
                                                out($f,$prolog.$executor_name."_ex(NULL TSRMLS_CC);\n");
                                        } else {
                                                if ($old) {
                                                  // Reserving space for user-defined opcodes
                                                        out($f,$prolog."static opcode_handler_t labels[512] = {\n");
                                                } else {
                                                        out($f,$prolog."static const opcode_handler_t labels[] = {\n");
                                                }
                                                gen_labels($f, $spec, $kind, $prolog."\t");
                                                out($f,$prolog."};\n");
                                                out($f,$prolog."zend_opcode_handlers = (opcode_handler_t*)labels;\n");
                                                if ($old) {
                                                  // Setup old executor
                                                        out($f,$prolog."zend_vm_old_executor = 1;\n");
                                                        out($f,$prolog."zend_execute = old_execute;\n");
                                                }
                                        }
                                        break;
                                default:
                                        die("ERROR: Unknown keyword ".$m[2]." in skeleton file.\n");
                        }
                } else {
                  // Copy the line as is
                        out($f, $line);
                }
        }
}

function gen_vm($def, $skel) {
        global $definition_file, $skeleton_file, $executor_file,
                $op_types, $list, $opcodes, $helpers, $params, $opnames;

        // Load definition file
        $in = @file($def);
        if (!$in) {
                die("ERROR: Can not open definition file '$def'\n");
        }
        // We need absolute path to definition file to use it in #line directives
        $definition_file = realpath($def);

        // Load skeleton file
        $skl = @file($skel);
        if (!$skl) {
                die("ERROR: Can not open skeleton file '$skel'\n");
        }
        // We need absolute path to skeleton file to use it in #line directives
        $skeleton_file = realpath($skel);

        // Parse definition file into tree
        $lineno         = 0;
        $handler        = null;
        $helper         = null;
        $max_opcode_len = 0;
        $max_opcode     = 0;
        $export         = array();
        foreach ($in as $line) {
                ++$lineno;
                if (strpos($line,"ZEND_VM_HANDLER(") === 0) {
                  // Parsing opcode handler's definition
                        if (preg_match(
                                        "/^ZEND_VM_HANDLER\(\s*([0-9]+)\s*,\s*([A-Z_]+)\s*,\s*([A-Z|]+)\s*,\s*([A-Z|]+)\s*\)/",
                                        $line,
                                        $m) == 0) {
                                die("ERROR ($def:$lineno): Invalid ZEND_VM_HANDLER definition.\n");
                        }
                        $code = (int)$m[1];
                        $op   = $m[2];
                        $len  = strlen($op);
                        $op1  = array_flip(explode("|",$m[3]));
                        $op2  = array_flip(explode("|",$m[4]));

                        if ($len > $max_opcode_len) {
                                $max_opcode_len = $len;
                        }
                        if ($code > $max_opcode) {
                                $max_opcode = $code;
                        }
                        if (isset($opcodes[$code])) {
                                die("ERROR ($def:$lineno): Opcode with code '$code' is already defined.\n");
                        }
                        if (isset($opnames[$op])) {
                                die("ERROR ($def:$lineno): Opcode with name '$op' is already defined.\n");
                        }
                        $opcodes[$code] = array("op"=>$op,"op1"=>$op1,"op2"=>$op2,"code"=>"");
                        $opnames[$op] = $code;
                        $handler = $code;
                        $helper = null;
                        $list[$lineno] = array("handler"=>$handler);
                } else if (strpos($line,"ZEND_VM_HELPER(") === 0) {
                  // Parsing helper's definition
                        if (preg_match(
                                        "/^ZEND_VM_HELPER\(\s*([A-Za-z_]+)\s*,\s*([A-Z|]+)\s*,\s*([A-Z|]+)\s*\)/",
                                        $line,
                                        $m) == 0) {
                                die("ERROR ($def:$lineno): Invalid ZEND_VM_HELPER definition.\n");
                        }
                        $helper = $m[1];
                        $op1    = array_flip(explode("|",$m[2]));
                        $op2    = array_flip(explode("|",$m[3]));
                        if (isset($helpers[$helper])) {
                                die("ERROR ($def:$lineno): Helper with name '$helper' is already defined.\n");
                        }
                        $helpers[$helper] = array("op1"=>$op1,"op2"=>$op2,"param"=>null,"code"=>"");
                        $handler = null;
                        $list[$lineno] = array("helper"=>$helper);
                } else if (strpos($line,"ZEND_VM_HELPER_EX(") === 0) {
                  // Parsing helper with parameter definition
                        if (preg_match(
                                        "/^ZEND_VM_HELPER_EX\(\s*([A-Za-z_]+)\s*,\s*([A-Z|]+)\s*,\s*([A-Z|]+)\s*,\s*(.*)\s*\)/",
                                        $line,
                                        $m) == 0) {
                                die("ERROR ($def:$lineno): Invalid ZEND_VM_HELPER definition.\n");
                        }
                        $helper = $m[1];
                        $op1    = array_flip(explode("|",$m[2]));
                        $op2    = array_flip(explode("|",$m[3]));
                        $param  = $m[4];
                        if (isset($helpers[$helper])) {
                                die("ERROR ($def:$lineno): Helper with name '$helper' is already defined.\n");
                        }

                        // Store parameter
                        $params[$param] = 1;

                        $helpers[$helper] = array("op1"=>$op1,"op2"=>$op2,"param"=>$param,"code"=>"");
                        $handler = null;
                        $list[$lineno] = array("helper"=>$helper);
                } else if (strpos($line,"ZEND_VM_EXPORT_HANDLER(") === 0) {
                        if (preg_match(
                                        "/^ZEND_VM_EXPORT_HANDLER\(\s*([A-Za-z_]+)\s*,\s*([A-Z_]+)\s*\)/",
                                        $line,
                                        $m) == 0) {
                                die("ERROR ($def:$lineno): Invalid ZEND_VM_EXPORT_HANDLER definition.\n");
                        }
                        if (!isset($opnames[$m[2]])) {
                                die("ERROR ($def:$lineno): opcode '{$m[2]}' is not defined.\n");
                        }
                        $export[] = array("handler",$m[1],$m[2]);
                } else if (strpos($line,"ZEND_VM_EXPORT_HELPER(") === 0) {
                        if (preg_match(
                                        "/^ZEND_VM_EXPORT_HELPER\(\s*([A-Za-z_]+)\s*,\s*([A-Za-z_]+)\s*\)/",
                                        $line,
                                        $m) == 0) {
                                die("ERROR ($def:$lineno): Invalid ZEND_VM_EXPORT_HELPER definition.\n");
                        }
                        if (!isset($helpers[$m[2]])) {
                                die("ERROR ($def:$lineno): helper '{$m[2]}' is not defined.\n");
                        }
                        $export[] = array("helper",$m[1],$m[2]);
                } else if ($handler !== null) {
                  // Add line of code to current opcode handler
                        $opcodes[$handler]["code"] .= $line;
                } else if ($helper !== null) {
                  // Add line of code to current helper
                        $helpers[$helper]["code"] .= $line;
                }
        }

        ksort($opcodes);

        // Search for opcode handlers those are used by other opcode handlers
        foreach ($opcodes as $dsc) {
                if (preg_match("/ZEND_VM_DISPATCH_TO_HANDLER\(\s*([A-Z_]*)\s*\)/m", $dsc["code"], $m)) {
                        $op = $m[1];
                        if (!isset($opnames[$op])) {
                                die("ERROR ($def:$lineno): Opcode with name '$op' is not defined.\n");
                        }
                        $code = $opnames[$op];
                        $opcodes[$code]['use'] = 1;
                }
        }

        // Generate opcode #defines (zend_vm_opcodes.h)
        $code_len = strlen((string)$max_opcode);
        $f = fopen(__DIR__ . "/zend_vm_opcodes.h", "w+") or die("ERROR: Cannot create zend_vm_opcodes.h\n");

        // Insert header
        out($f, $GLOBALS['header_text']);

        fputs($f, "#ifndef ZEND_VM_OPCODES_H\n#define ZEND_VM_OPCODES_H\n\n");
        fputs($f, "BEGIN_EXTERN_C()\n\n");
        fputs($f, "ZEND_API const char *zend_get_opcode_name(zend_uchar opcode);\n\n");
        fputs($f, "END_EXTERN_C()\n\n");
        
        foreach ($opcodes as $code => $dsc) {
                $code = str_pad((string)$code,$code_len," ",STR_PAD_LEFT);
                $op = str_pad($dsc["op"],$max_opcode_len);
                fputs($f,"#define $op $code\n");
        }

        fputs($f, "\n#endif\n");
        fclose($f);
        echo "zend_vm_opcodes.h generated successfully.\n";

        // zend_vm_opcodes.c
        $f = fopen(__DIR__ . "/zend_vm_opcodes.c", "w+") or die("ERROR: Cannot create zend_vm_opcodes.c\n");

        // Insert header
        out($f, $GLOBALS['header_text']);
        fputs($f,"#include <stdio.h>\n");
        fputs($f,"#include <zend.h>\n\n");
        
        fputs($f,"const char *zend_vm_opcodes_map[".($max_opcode + 1)."] = {\n");
        for ($i = 0; $i <= $max_opcode; $i++) {
                fputs($f,"\t".(isset($opcodes[$i]["op"])?'"'.$opcodes[$i]["op"].'"':"NULL").",\n");
        }
        fputs($f, "};\n\n");
        
    fputs($f, "ZEND_API const char* zend_get_opcode_name(zend_uchar opcode) {\n");
    fputs($f, "\treturn zend_vm_opcodes_map[opcode];\n");
    fputs($f, "}\n");
    
        fclose($f);
        echo "zend_vm_opcodes.c generated successfully.\n";

        // Generate zend_vm_execute.h
        $f = fopen(__DIR__ . "/zend_vm_execute.h", "w+") or die("ERROR: Cannot create zend_vm_execute.h\n");
        $executor_file = realpath(__DIR__ . "/zend_vm_execute.h");

        // Insert header
        out($f, $GLOBALS['header_text']);

        out($f, "#ifdef ZEND_WIN32\n");
        // Suppress free_op1 warnings on Windows
        out($f, "# pragma warning(once : 4101)\n");
        if (ZEND_VM_SPEC) {
                // Suppress (<non-zero constant> || <expression>) warnings on windows
                out($f, "# pragma warning(once : 6235)\n");
                // Suppress (<zero> && <expression>) warnings on windows
                out($f, "# pragma warning(once : 6237)\n");
                // Suppress (<non-zero constant> && <expression>) warnings on windows
                out($f, "# pragma warning(once : 6239)\n");
                // Suppress (<expression> && <non-zero constant>) warnings on windows
                out($f, "# pragma warning(once : 6240)\n");
                // Suppress (<non-zero constant> || <non-zero constant>) warnings on windows
                out($f, "# pragma warning(once : 6285)\n");
                // Suppress (<non-zero constant> || <expression>) warnings on windows
                out($f, "# pragma warning(once : 6286)\n");
                // Suppress constant with constant comparison warnings on windows
                out($f, "# pragma warning(once : 6326)\n");
        }
        out($f, "#endif\n");
        
        // Support for ZEND_USER_OPCODE
        out($f, "static user_opcode_handler_t zend_user_opcode_handlers[256] = {\n");
        for ($i = 0; $i < 255; ++$i) {
                out($f, "\t(user_opcode_handler_t)NULL,\n");
        }
        out($f, "\t(user_opcode_handler_t)NULL\n};\n\n");

        out($f, "static zend_uchar zend_user_opcodes[256] = {");
        for ($i = 0; $i < 255; ++$i) {
                if ($i % 16 == 1) out($f, "\n\t");
                out($f, "$i,");
        }
        out($f, "255\n};\n\n");

        // Generate specialized executor
        gen_executor($f, $skl, ZEND_VM_SPEC, ZEND_VM_KIND, "execute", "zend_init_opcodes_handlers", 0);

        // Generate un-specialized executor
        if (ZEND_VM_OLD_EXECUTOR) {
                out($f,"\n/* Old executor */\n\n");
                out($f,"#undef ZEND_VM_CONTINUE\n\n");
                out($f,"#undef ZEND_VM_RETURN\n\n");
                out($f,"#undef ZEND_VM_ENTER\n\n");
                out($f,"#undef ZEND_VM_LEAVE\n\n");
                out($f,"#undef ZEND_VM_DISPATCH\n\n");
                out($f,"#undef ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_INTERNAL\n\n");
                gen_executor($f, $skl, 0, ZEND_VM_KIND_CALL, "old_execute", "zend_vm_use_old_executor", 1);
        }

        // Generate zend_vm_get_opcode_handler() function
        out($f, "static opcode_handler_t zend_vm_get_opcode_handler(zend_uchar opcode, zend_op* op)\n");
        out($f, "{\n");
        if (!ZEND_VM_SPEC) {
                out($f, "\treturn zend_opcode_handlers[opcode];\n");
        } else {
                if (ZEND_VM_OLD_EXECUTOR) {
                        out($f, "\tif (zend_vm_old_executor) {\n");
                        out($f, "\t\treturn zend_opcode_handlers[opcode];\n");
                        out($f, "\t} else {\n");
                }
                out($f, "\t\tstatic const int zend_vm_decode[] = {\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 0              */\n");
                out($f, "\t\t\t_CONST_CODE,  /* 1 = IS_CONST   */\n");
                out($f, "\t\t\t_TMP_CODE,    /* 2 = IS_TMP_VAR */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 3              */\n");
                out($f, "\t\t\t_VAR_CODE,    /* 4 = IS_VAR     */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 5              */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 6              */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 7              */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 8 = IS_UNUSED  */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 9              */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 10             */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 11             */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 12             */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 13             */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 14             */\n");
                out($f, "\t\t\t_UNUSED_CODE, /* 15             */\n");
                out($f, "\t\t\t_CV_CODE      /* 16 = IS_CV     */\n");
                out($f, "\t\t};\n");
                out($f, "\t\treturn zend_opcode_handlers[opcode * 25 + zend_vm_decode[op->op1_type] * 5 + zend_vm_decode[op->op2_type]];\n");
                if (ZEND_VM_OLD_EXECUTOR) {
                        out($f, "\t}\n");
                }
        }
        out($f, "}\n\n");

        // Generate zend_vm_get_opcode_handler() function
        out($f, "ZEND_API void zend_vm_set_opcode_handler(zend_op* op)\n");
        out($f, "{\n");
        out($f, "\top->handler = zend_vm_get_opcode_handler(zend_user_opcodes[op->opcode], op);\n");
        out($f, "}\n\n");

        // Export handlers and helpers
        if (count($export) > 0 &&
            !ZEND_VM_OLD_EXECUTOR &&
            ZEND_VM_KIND != ZEND_VM_KIND_CALL) {
                out($f,"#undef OPLINE\n");
                out($f,"#undef DCL_OPLINE\n");
                out($f,"#undef USE_OPLINE\n");
                out($f,"#undef LOAD_OPLINE\n");
                out($f,"#undef SAVE_OPLINE\n");
                out($f,"#define OPLINE EX(opline)\n");
                out($f,"#define DCL_OPLINE\n");
                out($f,"#define USE_OPLINE zend_op *opline = EX(opline);\n");
                out($f,"#define LOAD_OPLINE()\n");
                out($f,"#define SAVE_OPLINE()\n");
                out($f,"#undef CHECK_EXCEPTION\n");
                out($f,"#undef HANDLE_EXCEPTION\n");
                out($f,"#undef HANDLE_EXCEPTION_LEAVE\n");
                out($f,"#define CHECK_EXCEPTION() LOAD_OPLINE()\n");
                out($f,"#define HANDLE_EXCEPTION() LOAD_OPLINE(); ZEND_VM_CONTINUE()\n");
                out($f,"#define HANDLE_EXCEPTION_LEAVE() LOAD_OPLINE(); ZEND_VM_LEAVE()\n");
                out($f,"#undef ZEND_VM_CONTINUE\n");
                out($f,"#undef ZEND_VM_RETURN\n");
                out($f,"#undef ZEND_VM_ENTER\n");
                out($f,"#undef ZEND_VM_LEAVE\n");
                out($f,"#undef ZEND_VM_DISPATCH\n");
                out($f,"#undef ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_INTERNAL\n\n");
                out($f,"#define ZEND_VM_CONTINUE()   return 0\n");
                out($f,"#define ZEND_VM_RETURN()     return 1\n");
                out($f,"#define ZEND_VM_ENTER()      return 2\n");
                out($f,"#define ZEND_VM_LEAVE()      return 3\n");
                out($f,"#define ZEND_VM_DISPATCH(opcode, opline) return zend_vm_get_opcode_handler(opcode, opline)(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);\n\n");
                out($f,"#define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_INTERNAL execute_data TSRMLS_CC\n\n");
        }
        foreach ($export as $dsk) {
                list($kind, $func, $name) = $dsk;
                out($f, "ZEND_API int $func(");
                if ($kind == "handler") {
                        out($f, "ZEND_OPCODE_HANDLER_ARGS)\n");
                        $code = $opcodes[$opnames[$name]]['code'];
                } else {
                        $h = $helpers[$name];
                        if ($h['param'] == null) {
                                out($f, "ZEND_OPCODE_HANDLER_ARGS)\n");
                        } else {
                                out($f, $h['param']. ", ZEND_OPCODE_HANDLER_ARGS)\n");
                        }
                        $code = $h['code'];
                }
                $done = 0;
                if (ZEND_VM_OLD_EXECUTOR) {
                        if ($kind == "handler") {
                                out($f, "{\n\treturn ".$name."_HANDLER(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);\n}\n\n");
                                $done = 1;
                        } else if ($helpers[$name]["param"] == null) {
                                out($f, "{\n\treturn ".$name."(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);\n}\n\n");
                                $done = 1;
                        }
                } else if (ZEND_VM_KIND == ZEND_VM_KIND_CALL) {
                        if ($kind == "handler") {
                                $op = $opcodes[$opnames[$name]];
                                if (isset($op['op1']["ANY"]) && isset($op['op2']["ANY"])) {
                                        out($f, "{\n\treturn ".$name.(ZEND_VM_SPEC?"_SPEC":"")."_HANDLER(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);\n}\n\n");
                                        $done = 1;
                                }
                        } else if ($helpers[$name]["param"] == null) {
                                $h = $helpers[$name];
                                if (isset($h['op1']["ANY"]) && isset($h['op2']["ANY"])) {
                                        out($f, "{\n\treturn ".$name.(ZEND_VM_SPEC?"_SPEC":"")."(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);\n}\n\n");
                                        $done = 1;
                                }
                        }
                }
                if (!$done) {
                        gen_code($f, 0, ZEND_VM_KIND_CALL, 1, $code, 'ANY', 'ANY', $name);
                }
        }

        fclose($f);
        echo "zend_vm_execute.h generated successfully.\n";
}

function usage() {
        echo("\nUsage: php zend_vm_gen.php [options]\n".
             "\nOptions:".
             "\n  --with-vm-kind=CALL|SWITCH|GOTO - select threading model (default is CALL)".
             "\n  --without-specializer           - disable executor specialization".
             "\n  --with-old-executor             - enable old executor".
             "\n  --with-lines                    - enable #line directives".
             "\n\n");
}

// Parse arguments
for ($i = 1;  $i < $argc; $i++) {
        if (strpos($argv[$i],"--with-vm-kind=") === 0) {
                $kind = substr($argv[$i], strlen("--with-vm-kind="));
                switch ($kind) {
                        case "CALL":
                                define("ZEND_VM_KIND", ZEND_VM_KIND_CALL);
                                break;
                        case "SWITCH":
                                define("ZEND_VM_KIND", ZEND_VM_KIND_SWITCH);
                                break;
                        case "GOTO":
                                define("ZEND_VM_KIND", ZEND_VM_KIND_GOTO);
                                break;
                        default:
                                echo("ERROR: Invalid vm kind '$kind'\n");
                                usage();
                                die();
                }
        } else if ($argv[$i] == "--without-specializer") {
          // Disabling specialization
                define("ZEND_VM_SPEC", 0);
        } else if ($argv[$i] == "--with-old-executor") {
          // Disabling code for old-style executor
                define("ZEND_VM_OLD_EXECUTOR", 1);
        } else if ($argv[$i] == "--with-lines") {
                // Enabling debugging using original zend_vm_def.h
                define("ZEND_VM_LINES", 1);
        } else if ($argv[$i] == "--help") {
                usage();
                exit();
        } else {
                echo("ERROR: Invalid option '".$argv[$i]."'\n");
                usage();
                die();
        }
}

// Using defaults
if (!defined("ZEND_VM_KIND")) {
  // Using CALL threading by default
        define("ZEND_VM_KIND", ZEND_VM_KIND_CALL);
}
if (!defined("ZEND_VM_SPEC")) {
  // Using specialized executor by default
        define("ZEND_VM_SPEC", 1);
}
if (!defined("ZEND_VM_OLD_EXECUTOR")) {
  // Include old-style executor by default
        define("ZEND_VM_OLD_EXECUTOR", 0);
}
if (!defined("ZEND_VM_LINES")) {
  // Disabling #line directives
        define("ZEND_VM_LINES", 0);
}

gen_vm(__DIR__ . "/zend_vm_def.h", __DIR__ . "/zend_vm_execute.skl");

?>

/* [<][>][^][v][top][bottom][index][help] */