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.
5 #ifndef V8_COMPILER_VERIFIER_H_
6 #define V8_COMPILER_VERIFIER_H_
17 // Verifies properties of a graph, such as the well-formedness of inputs to
21 enum Typing { TYPED, UNTYPED };
23 static void Run(Graph* graph, Typing typing = TYPED);
27 DISALLOW_COPY_AND_ASSIGN(Verifier);
30 // Verifies properties of a schedule, such as dominance, phi placement, etc.
31 class ScheduleVerifier {
33 static void Run(Schedule* schedule);
37 } // namespace v8::internal::compiler
39 #endif // V8_COMPILER_VERIFIER_H_