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
42namespace v8 {
43namespace internal {
44
45
46class 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    return var->IsStackLocal() ? var->index() :
87           var->IsParameter() ? -var->index() : kNoVar;
88  }
89
90  void VisitDeclarations(ZoneList<Declaration*>* declarations);
91  void VisitStatements(ZoneList<Statement*>* statements);
92
93#define DECLARE_VISIT(type) virtual void Visit##type(type* node);
94  AST_NODE_LIST(DECLARE_VISIT)
95#undef DECLARE_VISIT
96
97  DISALLOW_COPY_AND_ASSIGN(AstTyper);
98};
99
100} }  // namespace v8::internal
101
102#endif  // V8_TYPING_H_
103