hphp/runtime/vm/jit/check.h

   1 /*
   2    +----------------------------------------------------------------------+
   3    | HipHop for PHP                                                       |
   4    +----------------------------------------------------------------------+
   5    | Copyright (c) 2010-2014 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
  17 #ifndef incl_HPHP_VM_CHECK_H_
  18 #define incl_HPHP_VM_CHECK_H_
  19
  20 namespace HPHP { namespace jit {
  21 ///////////////////////////////////////////////////////////////////////////////
  22
  23 struct IRInstruction;
  24 struct IRUnit;
  25 struct RegAllocInfo;
  26
  27 /*
  28  * Ensure valid SSA properties; each SSATmp must be defined exactly once, only
  29  * used in positions dominated by the definition.
  30  */
  31 bool checkCfg(const IRUnit&);
  32
  33 /*
  34  * We can't have SSATmps spanning php-level calls, except for frame pointers
  35  * and constant values.
  36  *
  37  * We have no callee-saved registers in php, and there'd be nowhere to spill
  38  * these because all translations share the spill space.
  39  */
  40 bool checkTmpsSpanningCalls(const IRUnit&);
  41
  42 /*
  43  * Check that an instruction has operands of allowed types.
  44  */
  45 bool checkOperandTypes(const IRInstruction*, const IRUnit* unit = nullptr);
  46
  47 /*
  48  * Check everything useful we can about a unit.
  49  */
  50 bool checkEverything(const IRUnit&);
  51
  52 ///////////////////////////////////////////////////////////////////////////////
  53 }}
  54
  55 #endif