OLD | NEW |
(Empty) | |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. |
| 4 |
| 5 #ifndef V8_TYPING_ASM_H_ |
| 6 #define V8_TYPING_ASM_H_ |
| 7 |
| 8 #include "src/allocation.h" |
| 9 #include "src/ast.h" |
| 10 #include "src/effects.h" |
| 11 #include "src/type-info.h" |
| 12 #include "src/types.h" |
| 13 #include "src/zone.h" |
| 14 |
| 15 namespace v8 { |
| 16 namespace internal { |
| 17 |
| 18 class ZoneTypeCache; |
| 19 |
| 20 class AsmTyper : public AstVisitor { |
| 21 public: |
| 22 explicit AsmTyper(Isolate* isolate, Zone* zone, Script* script, |
| 23 FunctionLiteral* root); |
| 24 bool Validate(); |
| 25 const char* error_message() { return error_message_; } |
| 26 |
| 27 DEFINE_AST_VISITOR_SUBCLASS_MEMBERS(); |
| 28 |
| 29 private: |
| 30 Script* script_; |
| 31 FunctionLiteral* root_; |
| 32 bool valid_; |
| 33 |
| 34 // Information for bi-directional typing with a cap on nesting depth. |
| 35 Type* expected_type_; |
| 36 Type* computed_type_; |
| 37 int intish_; // How many ops we've gone without a x|0. |
| 38 |
| 39 Type* return_type_; // Return type of last function. |
| 40 size_t array_size_; // Array size of last ArrayLiteral. |
| 41 |
| 42 typedef ZoneMap<std::string, Type*> ObjectTypeMap; |
| 43 ObjectTypeMap stdlib_types_; |
| 44 ObjectTypeMap stdlib_heap_types_; |
| 45 ObjectTypeMap stdlib_math_types_; |
| 46 |
| 47 // Map from Variable* to global/local variable Type*. |
| 48 ZoneHashMap global_variable_type_; |
| 49 ZoneHashMap local_variable_type_; |
| 50 |
| 51 bool in_function_; // In module function? |
| 52 bool building_function_tables_; |
| 53 |
| 54 ZoneTypeCache const& cache_; |
| 55 |
| 56 static const int kErrorMessageLimit = 100; |
| 57 char error_message_[kErrorMessageLimit]; |
| 58 |
| 59 static const int kMaxUncombinedAdditiveSteps = 1 << 20; |
| 60 static const int kMaxUncombinedMultiplicativeSteps = 1; |
| 61 |
| 62 void InitializeStdlib(); |
| 63 |
| 64 void VisitDeclarations(ZoneList<Declaration*>* d) override; |
| 65 void VisitStatements(ZoneList<Statement*>* s) override; |
| 66 |
| 67 void VisitExpressionAnnotation(Expression* e); |
| 68 void VisitFunctionAnnotation(FunctionLiteral* f); |
| 69 void VisitAsmModule(FunctionLiteral* f); |
| 70 |
| 71 void VisitHeapAccess(Property* expr); |
| 72 |
| 73 int ElementShiftSize(Type* type); |
| 74 |
| 75 void SetType(Variable* variable, Type* type); |
| 76 Type* GetType(Variable* variable); |
| 77 |
| 78 Type* LibType(ObjectTypeMap map, Handle<String> name); |
| 79 |
| 80 void SetResult(Expression* expr, Type* type); |
| 81 void IntersectResult(Expression* expr, Type* type); |
| 82 |
| 83 void VisitWithExpectation(Expression* expr, Type* expected_type, |
| 84 const char* msg); |
| 85 |
| 86 #define DECLARE_VISIT(type) virtual void Visit##type(type* node) override; |
| 87 AST_NODE_LIST(DECLARE_VISIT) |
| 88 #undef DECLARE_VISIT |
| 89 |
| 90 DISALLOW_COPY_AND_ASSIGN(AsmTyper); |
| 91 }; |
| 92 } |
| 93 } // namespace v8::internal |
| 94 |
| 95 #endif // V8_TYPING_ASM_H_ |
OLD | NEW |