| OLD | NEW |
| 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef RUNTIME_VM_KERNEL_TO_IL_H_ | 5 #ifndef RUNTIME_VM_KERNEL_TO_IL_H_ |
| 6 #define RUNTIME_VM_KERNEL_TO_IL_H_ | 6 #define RUNTIME_VM_KERNEL_TO_IL_H_ |
| 7 | 7 |
| 8 #if !defined(DART_PRECOMPILED_RUNTIME) | 8 #if !defined(DART_PRECOMPILED_RUNTIME) |
| 9 | 9 |
| 10 #include "vm/growable_array.h" | 10 #include "vm/growable_array.h" |
| (...skipping 264 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 275 Thread* thread() { return thread_; } | 275 Thread* thread() { return thread_; } |
| 276 | 276 |
| 277 Zone* zone() { return zone_; } | 277 Zone* zone() { return zone_; } |
| 278 | 278 |
| 279 Isolate* isolate() { return isolate_; } | 279 Isolate* isolate() { return isolate_; } |
| 280 | 280 |
| 281 Heap::Space allocation_space() { return allocation_space_; } | 281 Heap::Space allocation_space() { return allocation_space_; } |
| 282 | 282 |
| 283 // Access to strings. | 283 // Access to strings. |
| 284 const TypedData& string_offsets() { return string_offsets_; } | 284 const TypedData& string_offsets() { return string_offsets_; } |
| 285 void SetStringOffsets(const TypedData& string_data); | 285 void SetStringOffsets(const TypedData& string_offsets); |
| 286 | 286 |
| 287 const TypedData& string_data() { return string_data_; } | 287 const TypedData& string_data() { return string_data_; } |
| 288 void SetStringData(const TypedData& string_data); | 288 void SetStringData(const TypedData& string_data); |
| 289 | 289 |
| 290 const TypedData& canonical_names() { return canonical_names_; } |
| 291 void SetCanonicalNames(const TypedData& canonical_names); |
| 292 |
| 290 intptr_t StringOffset(intptr_t string_index) const; | 293 intptr_t StringOffset(intptr_t string_index) const; |
| 291 intptr_t StringSize(intptr_t string_index) const; | 294 intptr_t StringSize(intptr_t string_index) const; |
| 292 uint8_t CharacterAt(intptr_t string_index, intptr_t index); | 295 uint8_t CharacterAt(intptr_t string_index, intptr_t index); |
| 293 bool StringEquals(intptr_t string_index, const char* other); | 296 bool StringEquals(intptr_t string_index, const char* other); |
| 294 | 297 |
| 295 // Predicates on CanonicalNames. | 298 // Accessors and predicates for canonical names. |
| 296 bool IsAdministrative(CanonicalName* name); | 299 intptr_t CanonicalNameParent(intptr_t name); |
| 297 bool IsPrivate(CanonicalName* name); | 300 intptr_t CanonicalNameString(intptr_t name); |
| 298 bool IsRoot(CanonicalName* name); | 301 bool IsAdministrative(intptr_t name); |
| 299 bool IsLibrary(CanonicalName* name); | 302 bool IsPrivate(intptr_t name); |
| 300 bool IsClass(CanonicalName* name); | 303 bool IsRoot(intptr_t name); |
| 301 bool IsMember(CanonicalName* name); | 304 bool IsLibrary(intptr_t name); |
| 302 bool IsField(CanonicalName* name); | 305 bool IsClass(intptr_t name); |
| 303 bool IsConstructor(CanonicalName* name); | 306 bool IsMember(intptr_t name); |
| 304 bool IsProcedure(CanonicalName* name); | 307 bool IsField(intptr_t name); |
| 305 bool IsMethod(CanonicalName* name); | 308 bool IsConstructor(intptr_t name); |
| 306 bool IsGetter(CanonicalName* name); | 309 bool IsProcedure(intptr_t name); |
| 307 bool IsSetter(CanonicalName* name); | 310 bool IsMethod(intptr_t name); |
| 308 bool IsFactory(CanonicalName* name); | 311 bool IsGetter(intptr_t name); |
| 312 bool IsSetter(intptr_t name); |
| 313 bool IsFactory(intptr_t name); |
| 309 | 314 |
| 310 // For a member (field, constructor, or procedure) return the canonical name | 315 // For a member (field, constructor, or procedure) return the canonical name |
| 311 // of the enclosing class or library. | 316 // of the enclosing class or library. |
| 312 CanonicalName* EnclosingName(CanonicalName* name); | 317 intptr_t EnclosingName(intptr_t name); |
| 313 | 318 |
| 314 RawInstance* Canonicalize(const Instance& instance); | 319 RawInstance* Canonicalize(const Instance& instance); |
| 315 | 320 |
| 316 const dart::String& DartString(const char* content) { | 321 const dart::String& DartString(const char* content) { |
| 317 return DartString(content, allocation_space_); | 322 return DartString(content, allocation_space_); |
| 318 } | 323 } |
| 319 const dart::String& DartString(const char* content, Heap::Space space); | 324 const dart::String& DartString(const char* content, Heap::Space space); |
| 320 | 325 |
| 321 dart::String& DartString(intptr_t string_index) { | 326 dart::String& DartString(intptr_t string_index) { |
| 322 return DartString(string_index, allocation_space_); | 327 return DartString(string_index, allocation_space_); |
| 323 } | 328 } |
| 324 dart::String& DartString(intptr_t string_index, Heap::Space space); | 329 dart::String& DartString(intptr_t string_index, Heap::Space space); |
| 325 | 330 |
| 326 dart::String& DartString(const uint8_t* utf8_array, intptr_t len) { | 331 dart::String& DartString(const uint8_t* utf8_array, intptr_t len) { |
| 327 return DartString(utf8_array, len, allocation_space_); | 332 return DartString(utf8_array, len, allocation_space_); |
| 328 } | 333 } |
| 329 dart::String& DartString(const uint8_t* utf8_array, | 334 dart::String& DartString(const uint8_t* utf8_array, |
| 330 intptr_t len, | 335 intptr_t len, |
| 331 Heap::Space space); | 336 Heap::Space space); |
| 332 | 337 |
| 333 const dart::String& DartSymbol(const char* content) const; | 338 const dart::String& DartSymbol(const char* content) const; |
| 334 dart::String& DartSymbol(intptr_t string_index) const; | 339 dart::String& DartSymbol(intptr_t string_index) const; |
| 335 dart::String& DartSymbol(const uint8_t* utf8_array, intptr_t len) const; | 340 dart::String& DartSymbol(const uint8_t* utf8_array, intptr_t len) const; |
| 336 | 341 |
| 337 const dart::String& DartClassName(CanonicalName* kernel_class); | 342 const dart::String& DartClassName(intptr_t kernel_class); |
| 338 | 343 |
| 339 const dart::String& DartConstructorName(CanonicalName* constructor); | 344 const dart::String& DartConstructorName(intptr_t constructor); |
| 340 | 345 |
| 341 const dart::String& DartProcedureName(CanonicalName* procedure); | 346 const dart::String& DartProcedureName(intptr_t procedure); |
| 342 | 347 |
| 343 const dart::String& DartSetterName(CanonicalName* setter); | 348 const dart::String& DartSetterName(intptr_t setter); |
| 344 const dart::String& DartSetterName(Name* setter_name); | 349 const dart::String& DartSetterName(Name* setter_name); |
| 345 | 350 |
| 346 const dart::String& DartGetterName(CanonicalName* getter); | 351 const dart::String& DartGetterName(intptr_t getter); |
| 347 const dart::String& DartGetterName(Name* getter_name); | 352 const dart::String& DartGetterName(Name* getter_name); |
| 348 | 353 |
| 349 const dart::String& DartFieldName(Name* kernel_name); | 354 const dart::String& DartFieldName(Name* kernel_name); |
| 350 | 355 |
| 351 const dart::String& DartInitializerName(Name* kernel_name); | 356 const dart::String& DartInitializerName(Name* kernel_name); |
| 352 | 357 |
| 353 const dart::String& DartMethodName(CanonicalName* method); | 358 const dart::String& DartMethodName(intptr_t method); |
| 354 const dart::String& DartMethodName(Name* method_name); | 359 const dart::String& DartMethodName(Name* method_name); |
| 355 | 360 |
| 356 const dart::String& DartFactoryName(CanonicalName* factory); | 361 const dart::String& DartFactoryName(intptr_t factory); |
| 357 | 362 |
| 358 const Array& ArgumentNames(List<NamedExpression>* named); | 363 const Array& ArgumentNames(List<NamedExpression>* named); |
| 359 | 364 |
| 360 // A subclass overrides these when reading in the Kernel program in order to | 365 // A subclass overrides these when reading in the Kernel program in order to |
| 361 // support recursive type expressions (e.g. for "implements X" ... | 366 // support recursive type expressions (e.g. for "implements X" ... |
| 362 // annotations). | 367 // annotations). |
| 363 virtual RawLibrary* LookupLibraryByKernelLibrary(CanonicalName* library); | 368 virtual RawLibrary* LookupLibraryByKernelLibrary(intptr_t library); |
| 364 virtual RawClass* LookupClassByKernelClass(CanonicalName* klass); | 369 virtual RawClass* LookupClassByKernelClass(intptr_t klass); |
| 365 | 370 |
| 366 RawField* LookupFieldByKernelField(CanonicalName* field); | 371 RawField* LookupFieldByKernelField(intptr_t field); |
| 367 RawFunction* LookupStaticMethodByKernelProcedure(CanonicalName* procedure); | 372 RawFunction* LookupStaticMethodByKernelProcedure(intptr_t procedure); |
| 368 RawFunction* LookupConstructorByKernelConstructor(CanonicalName* constructor); | 373 RawFunction* LookupConstructorByKernelConstructor(intptr_t constructor); |
| 369 dart::RawFunction* LookupConstructorByKernelConstructor( | 374 dart::RawFunction* LookupConstructorByKernelConstructor( |
| 370 const dart::Class& owner, | 375 const dart::Class& owner, |
| 371 CanonicalName* constructor); | 376 intptr_t constructor); |
| 372 | 377 |
| 373 dart::Type& GetCanonicalType(const dart::Class& klass); | 378 dart::Type& GetCanonicalType(const dart::Class& klass); |
| 374 | 379 |
| 375 void ReportError(const char* format, ...); | 380 void ReportError(const char* format, ...); |
| 376 void ReportError(const Error& prev_error, const char* format, ...); | 381 void ReportError(const Error& prev_error, const char* format, ...); |
| 377 | 382 |
| 378 private: | 383 private: |
| 379 // This will mangle [name_to_modify] if necessary and make the result a symbol | 384 // This will mangle [name_to_modify] if necessary and make the result a symbol |
| 380 // if asked. The result will be available in [name_to_modify] and it is also | 385 // if asked. The result will be available in [name_to_modify] and it is also |
| 381 // returned. If the name is private, the canonical name [parent] will be used | 386 // returned. If the name is private, the canonical name [parent] will be used |
| 382 // to get the import URI of the library where the name is visible. | 387 // to get the import URI of the library where the name is visible. |
| 383 dart::String& ManglePrivateName(CanonicalName* parent, | 388 dart::String& ManglePrivateName(intptr_t parent, |
| 384 dart::String* name_to_modify, | 389 dart::String* name_to_modify, |
| 385 bool symbolize = true); | 390 bool symbolize = true); |
| 386 | 391 |
| 387 const dart::String& DartSetterName(CanonicalName* parent, intptr_t setter); | 392 const dart::String& DartSetterName(intptr_t parent, intptr_t setter); |
| 388 const dart::String& DartGetterName(CanonicalName* parent, intptr_t getter); | 393 const dart::String& DartGetterName(intptr_t parent, intptr_t getter); |
| 389 const dart::String& DartMethodName(CanonicalName* parent, intptr_t method); | 394 const dart::String& DartMethodName(intptr_t parent, intptr_t method); |
| 390 | 395 |
| 391 Thread* thread_; | 396 Thread* thread_; |
| 392 Zone* zone_; | 397 Zone* zone_; |
| 393 Isolate* isolate_; | 398 Isolate* isolate_; |
| 394 Heap::Space allocation_space_; | 399 Heap::Space allocation_space_; |
| 395 | 400 |
| 396 TypedData& string_offsets_; | 401 TypedData& string_offsets_; |
| 397 TypedData& string_data_; | 402 TypedData& string_data_; |
| 403 TypedData& canonical_names_; |
| 398 }; | 404 }; |
| 399 | 405 |
| 400 // Regarding malformed types: | 406 // Regarding malformed types: |
| 401 // The spec says in section "19.1 Static Types" roughly: | 407 // The spec says in section "19.1 Static Types" roughly: |
| 402 // | 408 // |
| 403 // A type T is malformed iff: | 409 // A type T is malformed iff: |
| 404 // * T does not denote a type in scope | 410 // * T does not denote a type in scope |
| 405 // * T refers to a type parameter in a static member | 411 // * T refers to a type parameter in a static member |
| 406 // * T is a parametrized Type G<T1, ...> and G is malformed | 412 // * T is a parametrized Type G<T1, ...> and G is malformed |
| 407 // * T denotes declarations from multiple imports | 413 // * T denotes declarations from multiple imports |
| (...skipping 444 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 852 | 858 |
| 853 TargetEntryInstr* BuildTargetEntry(); | 859 TargetEntryInstr* BuildTargetEntry(); |
| 854 JoinEntryInstr* BuildJoinEntry(); | 860 JoinEntryInstr* BuildJoinEntry(); |
| 855 JoinEntryInstr* BuildJoinEntry(intptr_t try_index); | 861 JoinEntryInstr* BuildJoinEntry(intptr_t try_index); |
| 856 | 862 |
| 857 Fragment TranslateArguments(Arguments* node, Array* argument_names); | 863 Fragment TranslateArguments(Arguments* node, Array* argument_names); |
| 858 ArgumentArray GetArguments(int count); | 864 ArgumentArray GetArguments(int count); |
| 859 | 865 |
| 860 Fragment TranslateInitializers(Class* kernel_class, | 866 Fragment TranslateInitializers(Class* kernel_class, |
| 861 List<Initializer>* initialiers); | 867 List<Initializer>* initialiers); |
| 862 Fragment TranslateFieldInitializer(CanonicalName* canonical_name, | 868 Fragment TranslateFieldInitializer(intptr_t canonical_name, Expression* init); |
| 863 Expression* init); | |
| 864 | 869 |
| 865 Fragment TranslateStatement(Statement* statement); | 870 Fragment TranslateStatement(Statement* statement); |
| 866 Fragment TranslateCondition(Expression* expression, bool* negate); | 871 Fragment TranslateCondition(Expression* expression, bool* negate); |
| 867 Fragment TranslateExpression(Expression* expression); | 872 Fragment TranslateExpression(Expression* expression); |
| 868 | 873 |
| 869 Fragment TranslateFinallyFinalizers(TryFinallyBlock* outer_finally, | 874 Fragment TranslateFinallyFinalizers(TryFinallyBlock* outer_finally, |
| 870 intptr_t target_context_depth); | 875 intptr_t target_context_depth); |
| 871 | 876 |
| 872 Fragment TranslateFunctionNode(FunctionNode* node, TreeNode* parent); | 877 Fragment TranslateFunctionNode(FunctionNode* node, TreeNode* parent); |
| 873 | 878 |
| (...skipping 109 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 983 Fragment AssertAssignable(const dart::AbstractType& dst_type, | 988 Fragment AssertAssignable(const dart::AbstractType& dst_type, |
| 984 const dart::String& dst_name); | 989 const dart::String& dst_name); |
| 985 | 990 |
| 986 template <class Invocation> | 991 template <class Invocation> |
| 987 bool RecognizeComparisonWithNull(Token::Kind token_kind, Invocation* node); | 992 bool RecognizeComparisonWithNull(Token::Kind token_kind, Invocation* node); |
| 988 | 993 |
| 989 bool NeedsDebugStepCheck(const Function& function, TokenPosition position); | 994 bool NeedsDebugStepCheck(const Function& function, TokenPosition position); |
| 990 bool NeedsDebugStepCheck(Value* value, TokenPosition position); | 995 bool NeedsDebugStepCheck(Value* value, TokenPosition position); |
| 991 Fragment DebugStepCheck(TokenPosition position); | 996 Fragment DebugStepCheck(TokenPosition position); |
| 992 | 997 |
| 993 dart::RawFunction* LookupMethodByMember(CanonicalName* target, | 998 dart::RawFunction* LookupMethodByMember(intptr_t target, |
| 994 const dart::String& method_name); | 999 const dart::String& method_name); |
| 995 | 1000 |
| 996 LocalVariable* MakeTemporary(); | 1001 LocalVariable* MakeTemporary(); |
| 997 LocalVariable* MakeNonTemporary(const dart::String& symbol); | 1002 LocalVariable* MakeNonTemporary(const dart::String& symbol); |
| 998 | 1003 |
| 999 intptr_t CurrentTryIndex(); | 1004 intptr_t CurrentTryIndex(); |
| 1000 intptr_t AllocateTryIndex() { return next_used_try_index_++; } | 1005 intptr_t AllocateTryIndex() { return next_used_try_index_++; } |
| 1001 | 1006 |
| 1002 void AddVariable(VariableDeclaration* declaration, LocalVariable* variable); | 1007 void AddVariable(VariableDeclaration* declaration, LocalVariable* variable); |
| 1003 void AddParameter(VariableDeclaration* declaration, | 1008 void AddParameter(VariableDeclaration* declaration, |
| (...skipping 151 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1155 namespace kernel { | 1160 namespace kernel { |
| 1156 | 1161 |
| 1157 RawObject* EvaluateMetadata(const dart::Field& metadata_field); | 1162 RawObject* EvaluateMetadata(const dart::Field& metadata_field); |
| 1158 RawObject* BuildParameterDescriptor(const Function& function); | 1163 RawObject* BuildParameterDescriptor(const Function& function); |
| 1159 | 1164 |
| 1160 } // namespace kernel | 1165 } // namespace kernel |
| 1161 } // namespace dart | 1166 } // namespace dart |
| 1162 | 1167 |
| 1163 #endif // !defined(DART_PRECOMPILED_RUNTIME) | 1168 #endif // !defined(DART_PRECOMPILED_RUNTIME) |
| 1164 #endif // RUNTIME_VM_KERNEL_TO_IL_H_ | 1169 #endif // RUNTIME_VM_KERNEL_TO_IL_H_ |
| OLD | NEW |