Home | History | Annotate | Download | only in compiler
      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, JSHeapBroker* js_heap_broker, Flags flags,
     29         Graph* graph);
     30   ~Typer();
     31 
     32   void Run();
     33   // TODO(bmeurer,jarin): Remove this once we have a notion of "roots" on Graph.
     34   void Run(const ZoneVector<Node*>& roots,
     35            LoopVariableOptimizer* induction_vars);
     36 
     37  private:
     38   class Visitor;
     39   class Decorator;
     40 
     41   Flags flags() const { return flags_; }
     42   Graph* graph() const { return graph_; }
     43   Zone* zone() const { return graph()->zone(); }
     44   OperationTyper* operation_typer() { return &operation_typer_; }
     45   JSHeapBroker* js_heap_broker() const { return js_heap_broker_; }
     46 
     47   Flags const flags_;
     48   Graph* const graph_;
     49   Decorator* decorator_;
     50   TypeCache const& cache_;
     51   JSHeapBroker* js_heap_broker_;
     52   OperationTyper operation_typer_;
     53 
     54   Type singleton_false_;
     55   Type singleton_true_;
     56 
     57   DISALLOW_COPY_AND_ASSIGN(Typer);
     58 };
     59 
     60 DEFINE_OPERATORS_FOR_FLAGS(Typer::Flags);
     61 
     62 }  // namespace compiler
     63 }  // namespace internal
     64 }  // namespace v8
     65 
     66 #endif  // V8_COMPILER_TYPER_H_
     67