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_TYPER_H_ | 5 #ifndef V8_COMPILER_TYPER_H_ |
6 #define V8_COMPILER_TYPER_H_ | 6 #define V8_COMPILER_TYPER_H_ |
7 | 7 |
8 #include "src/base/flags.h" | 8 #include "src/base/flags.h" |
9 #include "src/compiler/graph.h" | 9 #include "src/compiler/graph.h" |
| 10 #include "src/compiler/operation-typer.h" |
10 #include "src/types.h" | 11 #include "src/types.h" |
11 | 12 |
12 namespace v8 { | 13 namespace v8 { |
13 namespace internal { | 14 namespace internal { |
14 | 15 |
15 // Forward declarations. | 16 // Forward declarations. |
16 class CompilationDependencies; | 17 class CompilationDependencies; |
17 class TypeCache; | 18 class TypeCache; |
18 | 19 |
19 namespace compiler { | 20 namespace compiler { |
20 | 21 |
| 22 class OperationTyper; |
21 | 23 |
22 class Typer { | 24 class Typer { |
23 public: | 25 public: |
24 // Flags that control the mode of operation. | 26 // Flags that control the mode of operation. |
25 enum Flag { | 27 enum Flag { |
26 kNoFlags = 0u, | 28 kNoFlags = 0u, |
27 kDeoptimizationEnabled = 1u << 0, | 29 kDeoptimizationEnabled = 1u << 0, |
28 }; | 30 }; |
29 typedef base::Flags<Flag> Flags; | 31 typedef base::Flags<Flag> Flags; |
30 | 32 |
31 Typer(Isolate* isolate, Graph* graph, Flags flags = kNoFlags, | 33 Typer(Isolate* isolate, Graph* graph, Flags flags = kNoFlags, |
32 CompilationDependencies* dependencies = nullptr, | 34 CompilationDependencies* dependencies = nullptr, |
33 FunctionType* function_type = nullptr); | 35 FunctionType* function_type = nullptr); |
34 ~Typer(); | 36 ~Typer(); |
35 | 37 |
36 void Run(); | 38 void Run(); |
37 // TODO(bmeurer,jarin): Remove this once we have a notion of "roots" on Graph. | 39 // TODO(bmeurer,jarin): Remove this once we have a notion of "roots" on Graph. |
38 void Run(const ZoneVector<Node*>& roots); | 40 void Run(const ZoneVector<Node*>& roots); |
39 | 41 |
40 private: | 42 private: |
41 class Visitor; | 43 class Visitor; |
42 class Decorator; | 44 class Decorator; |
43 | 45 |
44 Graph* graph() const { return graph_; } | 46 Graph* graph() const { return graph_; } |
45 Zone* zone() const { return graph()->zone(); } | 47 Zone* zone() const { return graph()->zone(); } |
46 Isolate* isolate() const { return isolate_; } | 48 Isolate* isolate() const { return isolate_; } |
47 Flags flags() const { return flags_; } | 49 Flags flags() const { return flags_; } |
48 CompilationDependencies* dependencies() const { return dependencies_; } | 50 CompilationDependencies* dependencies() const { return dependencies_; } |
49 FunctionType* function_type() const { return function_type_; } | 51 FunctionType* function_type() const { return function_type_; } |
| 52 OperationTyper* operation_typer() { return &operation_typer_; } |
50 | 53 |
51 Isolate* const isolate_; | 54 Isolate* const isolate_; |
52 Graph* const graph_; | 55 Graph* const graph_; |
53 Flags const flags_; | 56 Flags const flags_; |
54 CompilationDependencies* const dependencies_; | 57 CompilationDependencies* const dependencies_; |
55 FunctionType* function_type_; | 58 FunctionType* function_type_; |
56 Decorator* decorator_; | 59 Decorator* decorator_; |
57 TypeCache const& cache_; | 60 TypeCache const& cache_; |
| 61 OperationTyper operation_typer_; |
58 | 62 |
59 Type* singleton_false_; | 63 Type* singleton_false_; |
60 Type* singleton_true_; | 64 Type* singleton_true_; |
61 Type* singleton_the_hole_; | 65 Type* singleton_the_hole_; |
62 Type* signed32ish_; | 66 Type* signed32ish_; |
63 Type* unsigned32ish_; | 67 Type* unsigned32ish_; |
64 Type* falsish_; | 68 Type* falsish_; |
65 Type* truish_; | 69 Type* truish_; |
66 | 70 |
67 DISALLOW_COPY_AND_ASSIGN(Typer); | 71 DISALLOW_COPY_AND_ASSIGN(Typer); |
68 }; | 72 }; |
69 | 73 |
70 DEFINE_OPERATORS_FOR_FLAGS(Typer::Flags) | 74 DEFINE_OPERATORS_FOR_FLAGS(Typer::Flags) |
71 | 75 |
72 } // namespace compiler | 76 } // namespace compiler |
73 } // namespace internal | 77 } // namespace internal |
74 } // namespace v8 | 78 } // namespace v8 |
75 | 79 |
76 #endif // V8_COMPILER_TYPER_H_ | 80 #endif // V8_COMPILER_TYPER_H_ |
OLD | NEW |