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;
}
}
<?php
out_line();
out_line('项目', '结果', '用于', '备注');
out_line();
$num_ok = $num_warning = $num_error = 0;
foreach ($result as $key => $val) {
if (substr($val['type'], 0, 7) == 'WARNING') {
$num_warning++;
} elseif (substr($val['type'], 0, 5) == 'ERROR') {
$num_error++;
} else {
$num_ok++;
}
out_line($key, $val['type'], $val['used'], $val['note']);
}
out_line();
?>
检查结果
--------
共计 <?php
echo $num_ok;
?>
项通过，<?php
echo $num_warning;
?>
项警告，<?php
echo $num_error;
?>
项错误。
function gen_executor_code($f, $spec, $kind, $prolog)
{
global $list, $opcodes, $helpers, $op_types, $typecode;
if ($spec) {
$op1t = $op_types;
$op2t = $op_types;
if (ZEND_OP_TYPE_DEFINES) {
// build the spec defines...
foreach ($list as $lineno => $dsc) {
if (isset($dsc["handler"])) {
$num = $dsc["handler"];
$val = 0;
foreach ($opcodes[$num]["op1"] as $t => $bleh) {
foreach ($typecode as $tt => $v) {
if ($t === "ANY" || $t === $tt) {
$val += 1 << $v;
}
}
}
out($f, "#define {$opcodes[$num]['op']}_TYPES_OP1 {$val}\n");
$val = 0;
foreach ($opcodes[$num]["op2"] as $t => $bleh) {
foreach ($typecode as $tt => $v) {
if ($t === "ANY" || $t === $tt) {
$val += 1 << $v;
}
}
}
out($f, "#define {$opcodes[$num]['op']}_TYPES_OP2 {$val}\n");
}
}
}
// Produce specialized executor
// for each op1.op_type
foreach ($op1t as $op1) {
// 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, $opcodes[$num]["define"], 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", $opcodes[$num]["define"], 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.\", EX(opline)->opcode, EX(opline)->op1.op_type, EX(opline)->op2.op_type);\n");
out($f, "\tZEND_VM_RETURN_FROM_EXECUTE_LOOP();\n");
break;
case ZEND_VM_KIND_GOTO2:
if (ZEND_VM_ALIGNMENT) {
out($f, "asm(\".align " . ZEND_VM_ALIGNMENT . "\");\n");
}
out($f, "ZEND_RETURN_HANDLER:\n\treturn;\n");
case ZEND_VM_KIND_GOTO:
if (ZEND_VM_ALIGNMENT) {
out($f, "asm(\".align " . ZEND_VM_ALIGNMENT . "\");\n");
}
out($f, "ZEND_NULL_HANDLER:\n");
out($f, "\tzend_error_noreturn(E_ERROR, \"Invalid opcode %d/%d/%d.\", EX(opline)->opcode, EX(opline)->op1.op_type, EX(opline)->op2.op_type);\n");
out($f, "\tZEND_VM_RETURN_FROM_EXECUTE_LOOP();\n");
break;
}
}