Home | History | Annotate | Download | only in compiler 
      1 // Copyright 2014 the V8 project authors. All rights reserved.
      2 // Use of this source code is governed by a BSD-style license that can be
      3 // found in the LICENSE file.
      4 
      5 #ifndef V8_COMPILER_VERIFIER_H_
      6 #define V8_COMPILER_VERIFIER_H_
      7 
      8 #include "src/v8.h"
      9 
     10 namespace v8 {
     11 namespace internal {
     12 namespace compiler {
     13 
     14 class Graph;
     15 class Schedule;
     16 
     17 // Verifies properties of a graph, such as the well-formedness of inputs to
     18 // each node, etc.
     19 class Verifier {
     20  public:
     21   static void Run(Graph* graph);
     22 
     23  private:
     24   class Visitor;
     25   DISALLOW_COPY_AND_ASSIGN(Verifier);
     26 };
     27 
     28 // Verifies properties of a schedule, such as dominance, phi placement, etc.
     29 class ScheduleVerifier {
     30  public:
     31   static void Run(Schedule* schedule);
     32 };
     33 }
     34 }
     35 }  // namespace v8::internal::compiler
     36 
     37 #endif  // V8_COMPILER_VERIFIER_H_
     38