diff --git a/hphp/idl/base.php b/hphp/idl/base.php index e3f8a4308..c630832a4 100644 --- a/hphp/idl/base.php +++ b/hphp/idl/base.php @@ -621,49 +621,6 @@ function generateFuncCPPHeader($func, $f, $method = false, $forceRef = false, } } -function generateFuncProfileHeader($func, $f) { - $var_arg = ($func['flags'] & VarArgsMask); - $args = $func['args']; - - fprintf($f, 'inline %s x_%s', typename($func['return']), $func['name']); - generateFuncArgsCPPHeader($func, $f); - fprintf($f, " {\n"); - - if (($func['flags'] & NoProfile)) { - fprintf($f, " FUNCTION_NOPROFILE_BUILTIN(%s);\n", $func['name']); - } else if (!($func['flags'] & NoInjection)) { - fprintf($f, " FUNCTION_INJECTION_BUILTIN(%s);\n", $func['name']); - } - if (!empty($func['taint_observer'])) { - fprintf( - $f, - " TAINT_OBSERVER(%s, %s);\n", - $func['taint_observer']['set_mask'], - $func['taint_observer']['clear_mask']); - } - - fprintf($f, " "); - - if (typename($func['return']) !== 'void') { - fprintf($f, "return "); - } - fprintf($f, "f_%s(", $func['name']); - - if ($var_arg) fprintf($f, '_argc'); - if ($var_arg && count($args) > 0) fprintf($f, ', '); - for ($i = 0; $i < count($args); $i++) { - $arg = $args[$i]; - if ($i > 0) fprintf($f, ', '); - fprintf($f, '%s', $arg['name']); - } - if ($var_arg) { - fprintf($f, ', _argv'); - } - fprintf($f, ");\n"); - - fprintf($f, "}\n\n"); -} - function generateConstCPPHeader($const, $f) { $name = typename($const['type']); if ($name == 'String') { diff --git a/hphp/idl/idl.php b/hphp/idl/idl.php index 3ab8008a4..871d220f4 100644 --- a/hphp/idl/idl.php +++ b/hphp/idl/idl.php @@ -284,60 +284,6 @@ function idl_format_param($header, $impl) { replaceParams($impl, false); } -/*****************************************************************************/ -function idl_format_profile($header) { - global $funcs, $PREFIX, $NAME, $name, $mode; - - ($f = fopen($header, 'w')) || die("cannot open $header"); - if ($mode == 'sep' || $mode == 'remote') { - $inc_file = "\"ext_${name}.h\""; - } else { - if ($name == "php_mcc") { - $inc_file = ""; - } else { - $inc_file = ""; - } - } - - fprintf($f, - <<>>>>> Generated by idl.php. Do NOT modify. <<<<<< - -EOT - ); - - fprintf($f, - <<