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   Effect ObservedOnStack(Object* value);
  62   void ObserveTypesAtOsrEntry(IterationStatement* stmt);
  63
  64   static const int kNoVar = INT_MIN;
  65   typedef v8::internal::Effects<int, kNoVar> Effects;
  66   typedef v8::internal::NestedEffects<int, kNoVar> Store;
  67
  68   CompilationInfo* info_;
  69   TypeFeedbackOracle oracle_;
  70   Store store_;
  71
  72   TypeFeedbackOracle* oracle() { return &oracle_; }
  73   Zone* zone() const { return info_->zone(); }
  74
  75   void NarrowType(Expression* e, Bounds b) {
  76     e->set_bounds(Bounds::Both(e->bounds(), b, isolate_));
  77   }
  78   void NarrowLowerType(Expression* e, Handle<Type> t) {
  79     e->set_bounds(Bounds::NarrowLower(e->bounds(), t, isolate_));
  80   }
  81
  82   Effects EnterEffects() {
  83     store_ = store_.Push();
  84     return store_.Top();
  85   }
  86   void ExitEffects() { store_ = store_.Pop(); }
  87
  88   int parameter_index(int index) { return -index - 2; }
  89   int stack_local_index(int index) { return index; }
  90
  91   int variable_index(Variable* var) {
  92     // Stack locals have the range [0 .. l]
  93     // Parameters have the range [-1 .. p]
  94     // We map this to [-p-2 .. -1, 0 .. l]
  95     return var->IsStackLocal() ? stack_local_index(var->index()) :
  96            var->IsParameter() ? parameter_index(var->index()) : kNoVar;
  97   }
  98
  99   void VisitDeclarations(ZoneList<Declaration*>* declarations);
 100   void VisitStatements(ZoneList<Statement*>* statements);
 101
 102 #define DECLARE_VISIT(type) virtual void Visit##type(type* node);
 103   AST_NODE_LIST(DECLARE_VISIT)
 104 #undef DECLARE_VISIT
 105
 106   DISALLOW_COPY_AND_ASSIGN(AstTyper);
 107 };
 108
 109 } }  // namespace v8::internal
 110
 111 #endif  // V8_TYPING_H_