Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(91)

Side by Side Diff: src/compiler/typer.h

Issue 2084943002: [turbofan] Reuse the operation typer's logic in the typer. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Tweak + rebase Created 4 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | src/compiler/typer.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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_
OLDNEW
« no previous file with comments | « no previous file | src/compiler/typer.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698