fec6e62dfb
R=rossberg@chromium.org Review URL: https://codereview.chromium.org/333013002 git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@21894 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
88 lines
2.3 KiB
C++
88 lines
2.3 KiB
C++
// Copyright 2013 the V8 project authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file.
|
|
|
|
#ifndef V8_TYPING_H_
|
|
#define V8_TYPING_H_
|
|
|
|
#include "src/v8.h"
|
|
|
|
#include "src/allocation.h"
|
|
#include "src/ast.h"
|
|
#include "src/compiler.h"
|
|
#include "src/effects.h"
|
|
#include "src/scopes.h"
|
|
#include "src/type-info.h"
|
|
#include "src/types.h"
|
|
#include "src/zone.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
|
|
|
|
class AstTyper: public AstVisitor {
|
|
public:
|
|
static void Run(CompilationInfo* info);
|
|
|
|
void* operator new(size_t size, Zone* zone) {
|
|
return zone->New(static_cast<int>(size));
|
|
}
|
|
void operator delete(void* pointer, Zone* zone) { }
|
|
void operator delete(void* pointer) { }
|
|
|
|
DEFINE_AST_VISITOR_SUBCLASS_MEMBERS();
|
|
|
|
private:
|
|
explicit AstTyper(CompilationInfo* info);
|
|
|
|
Effect ObservedOnStack(Object* value);
|
|
void ObserveTypesAtOsrEntry(IterationStatement* stmt);
|
|
|
|
static const int kNoVar = INT_MIN;
|
|
typedef v8::internal::Effects<int, kNoVar> Effects;
|
|
typedef v8::internal::NestedEffects<int, kNoVar> Store;
|
|
|
|
CompilationInfo* info_;
|
|
TypeFeedbackOracle oracle_;
|
|
Store store_;
|
|
|
|
TypeFeedbackOracle* oracle() { return &oracle_; }
|
|
|
|
void NarrowType(Expression* e, Bounds b) {
|
|
e->set_bounds(Bounds::Both(e->bounds(), b, zone()));
|
|
}
|
|
void NarrowLowerType(Expression* e, Type* t) {
|
|
e->set_bounds(Bounds::NarrowLower(e->bounds(), t, zone()));
|
|
}
|
|
|
|
Effects EnterEffects() {
|
|
store_ = store_.Push();
|
|
return store_.Top();
|
|
}
|
|
void ExitEffects() { store_ = store_.Pop(); }
|
|
|
|
int parameter_index(int index) { return -index - 2; }
|
|
int stack_local_index(int index) { return index; }
|
|
|
|
int variable_index(Variable* var) {
|
|
// Stack locals have the range [0 .. l]
|
|
// Parameters have the range [-1 .. p]
|
|
// We map this to [-p-2 .. -1, 0 .. l]
|
|
return var->IsStackLocal() ? stack_local_index(var->index()) :
|
|
var->IsParameter() ? parameter_index(var->index()) : kNoVar;
|
|
}
|
|
|
|
void VisitDeclarations(ZoneList<Declaration*>* declarations);
|
|
void VisitStatements(ZoneList<Statement*>* statements);
|
|
|
|
#define DECLARE_VISIT(type) virtual void Visit##type(type* node);
|
|
AST_NODE_LIST(DECLARE_VISIT)
|
|
#undef DECLARE_VISIT
|
|
|
|
DISALLOW_COPY_AND_ASSIGN(AstTyper);
|
|
};
|
|
|
|
} } // namespace v8::internal
|
|
|
|
#endif // V8_TYPING_H_
|