src/typing.h

   1 // Copyright 2013 the V8 project authors. All rights reserved.
   2 // Redistribution and use in source and binary forms, with or without
   3 // modification, are permitted provided that the following conditions are
   4 // met:
   5 //
   6 //     * Redistributions of source code must retain the above copyright
   7 //       notice, this list of conditions and the following disclaimer.
   8 //     * Redistributions in binary form must reproduce the above
   9 //       copyright notice, this list of conditions and the following
  10 //       disclaimer in the documentation and/or other materials provided
  11 //       with the distribution.
  12 //     * Neither the name of Google Inc. nor the names of its
  13 //       contributors may be used to endorse or promote products derived
  14 //       from this software without specific prior written permission.
  15 //
  16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27
  28 #ifndef V8_TYPING_H_
  29 #define V8_TYPING_H_
  30
  31 #include "v8.h"
  32
  33 #include "allocation.h"
  34 #include "ast.h"
  35 #include "compiler.h"
  36 #include "type-info.h"
  37 #include "zone.h"
  38 #include "scopes.h"
  39
  40 namespace v8 {
  41 namespace internal {
  42
  43
  44 class AstTyper: public AstVisitor {
  45  public:
  46   static void Run(CompilationInfo* info);
  47
  48   void* operator new(size_t size, Zone* zone) {
  49     return zone->New(static_cast<int>(size));
  50   }
  51   void operator delete(void* pointer, Zone* zone) { }
  52   void operator delete(void* pointer) { }
  53
  54   DEFINE_AST_VISITOR_SUBCLASS_MEMBERS();
  55
  56  private:
  57   explicit AstTyper(CompilationInfo* info);
  58
  59   CompilationInfo* info_;
  60   TypeFeedbackOracle oracle_;
  61
  62   TypeFeedbackOracle* oracle() { return &oracle_; }
  63   Zone* zone() const { return info_->zone(); }
  64
  65   void MergeLowerType(Expression* e, Handle<Type> t) {
  66     e->set_lower_type(handle(Type::Union(e->lower_type(), t), isolate_));
  67   }
  68   void MergeUpperType(Expression* e, Handle<Type> t) {
  69     e->set_upper_type(handle(Type::Intersect(e->upper_type(), t), isolate_));
  70   }
  71   void MergeLowerType(Expression* e, Type* t) {
  72     MergeLowerType(e, handle(t, isolate_));
  73   }
  74   void MergeUpperType(Expression* e, Type* t) {
  75     MergeUpperType(e, handle(t, isolate_));
  76   }
  77
  78   void VisitDeclarations(ZoneList<Declaration*>* declarations);
  79   void VisitStatements(ZoneList<Statement*>* statements);
  80
  81 #define DECLARE_VISIT(type) virtual void Visit##type(type* node);
  82   AST_NODE_LIST(DECLARE_VISIT)
  83 #undef DECLARE_VISIT
  84
  85   DISALLOW_COPY_AND_ASSIGN(AstTyper);
  86 };
  87
  88 } }  // namespace v8::internal
  89
  90 #endif  // V8_TYPING_H_