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 "types.h"
  38 #include "effects.h"
  39 #include "zone.h"
  40 #include "scopes.h"
  41
  42 namespace v8 {
  43 namespace internal {
  44
  45
  46 class AstTyper: public AstVisitor {
  47  public:
  48   static void Run(CompilationInfo* info);
  49
  50   void* operator new(size_t size, Zone* zone) {
  51     return zone->New(static_cast<int>(size));
  52   }
  53   void operator delete(void* pointer, Zone* zone) { }
  54   void operator delete(void* pointer) { }
  55
  56   DEFINE_AST_VISITOR_SUBCLASS_MEMBERS();
  57
  58  private:
  59   explicit AstTyper(CompilationInfo* info);
  60
  61   static const int kNoVar = INT_MIN;
  62   typedef v8::internal::Effects<int, kNoVar> Effects;
  63   typedef v8::internal::NestedEffects<int, kNoVar> Store;
  64
  65   CompilationInfo* info_;
  66   TypeFeedbackOracle oracle_;
  67   Store store_;
  68
  69   TypeFeedbackOracle* oracle() { return &oracle_; }
  70   Zone* zone() const { return info_->zone(); }
  71
  72   void NarrowType(Expression* e, Bounds b) {
  73     e->set_bounds(Bounds::Both(e->bounds(), b, isolate_));
  74   }
  75   void NarrowLowerType(Expression* e, Handle<Type> t) {
  76     e->set_bounds(Bounds::NarrowLower(e->bounds(), t, isolate_));
  77   }
  78
  79   Effects EnterEffects() {
  80     store_ = store_.Push();
  81     return store_.Top();
  82   }
  83   void ExitEffects() { store_ = store_.Pop(); }
  84
  85   int variable_index(Variable* var) {
  86     // Stack locals have the range [0 .. l]
  87     // Parameters have the range [-1 .. p]
  88     // We map this to [-p-2 .. -1, 0 .. l]
  89     return var->IsStackLocal() ? var->index() :
  90            var->IsParameter() ? -var->index() - 2 : kNoVar;
  91   }
  92
  93   void VisitDeclarations(ZoneList<Declaration*>* declarations);
  94   void VisitStatements(ZoneList<Statement*>* statements);
  95
  96 #define DECLARE_VISIT(type) virtual void Visit##type(type* node);
  97   AST_NODE_LIST(DECLARE_VISIT)
  98 #undef DECLARE_VISIT
  99
 100   DISALLOW_COPY_AND_ASSIGN(AstTyper);
 101 };
 102
 103 } }  // namespace v8::internal
 104
 105 #endif  // V8_TYPING_H_