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