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