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_TYPER_H_ 6 #define V8_COMPILER_TYPER_H_ 7 8 #include "src/compiler/graph.h" 9 #include "src/compiler/operation-typer.h" 10 #include "src/globals.h" 11 12 namespace v8 { 13 namespace internal { 14 namespace compiler { 15 16 // Forward declarations. 17 class LoopVariableOptimizer; 18 19 class V8_EXPORT_PRIVATE Typer { 20 public: 21 enum Flag : uint8_t { 22 kNoFlags = 0, 23 kThisIsReceiver = 1u << 0, // Parameter this is an Object. 24 kNewTargetIsReceiver = 1u << 1, // Parameter new.target is an Object. 25 }; 26 typedef base::Flags<Flag> Flags; 27 28 Typer(Isolate* isolate, Flags flags, Graph* graph); 29 ~Typer(); 30 31 void Run(); 32 // TODO(bmeurer,jarin): Remove this once we have a notion of "roots" on Graph. 33 void Run(const ZoneVector<Node*>& roots, 34 LoopVariableOptimizer* induction_vars); 35 36 private: 37 class Visitor; 38 class Decorator; 39 40 Flags flags() const { return flags_; } 41 Graph* graph() const { return graph_; } 42 Zone* zone() const { return graph()->zone(); } 43 Isolate* isolate() const { return isolate_; } 44 OperationTyper* operation_typer() { return &operation_typer_; } 45 46 Isolate* const isolate_; 47 Flags const flags_; 48 Graph* const graph_; 49 Decorator* decorator_; 50 TypeCache const& cache_; 51 OperationTyper operation_typer_; 52 53 Type* singleton_empty_string_; 54 Type* singleton_false_; 55 Type* singleton_true_; 56 Type* falsish_; 57 Type* truish_; 58 59 DISALLOW_COPY_AND_ASSIGN(Typer); 60 }; 61 62 DEFINE_OPERATORS_FOR_FLAGS(Typer::Flags); 63 64 } // namespace compiler 65 } // namespace internal 66 } // namespace v8 67 68 #endif // V8_COMPILER_TYPER_H_ 69
