hphp/hhbbc/dce.h

   1 /*
   2    +----------------------------------------------------------------------+
   3    | HipHop for PHP                                                       |
   4    +----------------------------------------------------------------------+
   5    | Copyright (c) 2010-present Facebook, Inc. (http://www.facebook.com)  |
   6    +----------------------------------------------------------------------+
   7    | This source file is subject to version 3.01 of the PHP license,      |
   8    | that is bundled with this package in the file LICENSE, and is        |
   9    | available through the world-wide-web at the following url:           |
  10    | http://www.php.net/license/3_01.txt                                  |
  11    | If you did not receive a copy of the PHP license and are unable to   |
  12    | obtain it through the world-wide-web, please send a note to          |
  13    | license@php.net so we can mail you a copy immediately.               |
  14    +----------------------------------------------------------------------+
  15 */
  16 #ifndef incl_HHBBC_DCE_H_
  17 #define incl_HHBBC_DCE_H_
  18
  19 #include <vector>
  20
  21 #include "hphp/runtime/base/type-string.h"
  22
  23 #include "hphp/hhbbc/misc.h"
  24
  25 namespace HPHP { namespace HHBBC {
  26
  27 struct Index;
  28 struct State;
  29 struct Context;
  30 struct Bytecode;
  31 struct FuncAnalysis;
  32 struct CollectedInfo;
  33 namespace php { struct Block; }
  34
  35 //////////////////////////////////////////////////////////////////////
  36
  37 /*
  38  * Perform DCE on a single basic block.
  39  */
  40 void local_dce(const Index&, const FuncAnalysis&, CollectedInfo& collect,
  41                borrowed_ptr<php::Block>, const State&);
  42
  43 /*
  44  * Eliminate dead code in a function, across basic blocks, based on
  45  * results from a previous analyze_func call.
  46  */
  47 void global_dce(const Index&, const FuncAnalysis&);
  48
  49 //////////////////////////////////////////////////////////////////////
  50
  51 const StaticString s_unreachable("static analysis error: supposedly "
  52                                  "unreachable code was reached");
  53
  54 //////////////////////////////////////////////////////////////////////
  55
  56 }}
  57
  58 #endif