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
10namespace v8 {
11namespace internal {
12namespace compiler {
13
14class Graph;
15class Schedule;
16
17// Verifies properties of a graph, such as the well-formedness of inputs to
18// each node, etc.
19class 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.
29class 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