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