OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, 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 import 'package:kernel/ast.dart' as ir; | 5 import 'package:kernel/ast.dart' as ir; |
6 | 6 |
7 import '../common.dart'; | 7 import '../common.dart'; |
8 import '../common/names.dart'; | 8 import '../common/names.dart'; |
9 import '../compiler.dart'; | 9 import '../compiler.dart'; |
10 import '../constants/expressions.dart'; | 10 import '../constants/expressions.dart'; |
(...skipping 105 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
116 element, () => new GlobalTypeInferenceElementData()); | 116 element, () => new GlobalTypeInferenceElementData()); |
117 | 117 |
118 GlobalTypeInferenceElementData lookupDataOfMember(MemberElement element) => | 118 GlobalTypeInferenceElementData lookupDataOfMember(MemberElement element) => |
119 _memberData[element]; | 119 _memberData[element]; |
120 | 120 |
121 /** | 121 /** |
122 * Update [sideEffects] with the side effects of [callee] being | 122 * Update [sideEffects] with the side effects of [callee] being |
123 * called with [selector]. | 123 * called with [selector]. |
124 */ | 124 */ |
125 void updateSideEffects( | 125 void updateSideEffects( |
126 SideEffects sideEffects, Selector selector, Element callee) { | 126 SideEffects sideEffects, Selector selector, MemberElement callee) { |
127 if (callee.isField) { | 127 if (callee.isField) { |
128 if (callee.isInstanceMember) { | 128 if (callee.isInstanceMember) { |
129 if (selector.isSetter) { | 129 if (selector.isSetter) { |
130 sideEffects.setChangesInstanceProperty(); | 130 sideEffects.setChangesInstanceProperty(); |
131 } else if (selector.isGetter) { | 131 } else if (selector.isGetter) { |
132 sideEffects.setDependsOnInstancePropertyStore(); | 132 sideEffects.setDependsOnInstancePropertyStore(); |
133 } else { | 133 } else { |
134 sideEffects.setAllSideEffects(); | 134 sideEffects.setAllSideEffects(); |
135 sideEffects.setDependsOnSomething(); | 135 sideEffects.setDependsOnSomething(); |
136 } | 136 } |
137 } else { | 137 } else { |
138 if (selector.isSetter) { | 138 if (selector.isSetter) { |
139 sideEffects.setChangesStaticProperty(); | 139 sideEffects.setChangesStaticProperty(); |
140 } else if (selector.isGetter) { | 140 } else if (selector.isGetter) { |
141 sideEffects.setDependsOnStaticPropertyStore(); | 141 sideEffects.setDependsOnStaticPropertyStore(); |
142 } else { | 142 } else { |
143 sideEffects.setAllSideEffects(); | 143 sideEffects.setAllSideEffects(); |
144 sideEffects.setDependsOnSomething(); | 144 sideEffects.setDependsOnSomething(); |
145 } | 145 } |
146 } | 146 } |
147 } else if (callee.isGetter && !selector.isGetter) { | 147 } else if (callee.isGetter && !selector.isGetter) { |
148 sideEffects.setAllSideEffects(); | 148 sideEffects.setAllSideEffects(); |
149 sideEffects.setDependsOnSomething(); | 149 sideEffects.setDependsOnSomething(); |
150 } else { | 150 } else { |
151 sideEffects.add( | 151 MethodElement method = callee.declaration; |
152 closedWorldRefiner.getCurrentlyKnownSideEffects(callee.declaration)); | 152 sideEffects.add(closedWorldRefiner.getCurrentlyKnownSideEffects(method)); |
153 } | 153 } |
154 } | 154 } |
155 | 155 |
156 /** | 156 /** |
157 * Returns the type for [nativeBehavior]. See documentation on | 157 * Returns the type for [nativeBehavior]. See documentation on |
158 * [native.NativeBehavior]. | 158 * [native.NativeBehavior]. |
159 */ | 159 */ |
160 TypeInformation typeOfNativeBehavior(native.NativeBehavior nativeBehavior) { | 160 TypeInformation typeOfNativeBehavior(native.NativeBehavior nativeBehavior) { |
161 if (nativeBehavior == null) return types.dynamicType; | 161 if (nativeBehavior == null) return types.dynamicType; |
162 List typesReturned = nativeBehavior.typesReturned; | 162 List typesReturned = nativeBehavior.typesReturned; |
(...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
216 data.setIteratorTypeMask(node, mask); | 216 data.setIteratorTypeMask(node, mask); |
217 } else if (selector == Selectors.current) { | 217 } else if (selector == Selectors.current) { |
218 data.setCurrentTypeMask(node, mask); | 218 data.setCurrentTypeMask(node, mask); |
219 } else { | 219 } else { |
220 assert(selector == Selectors.moveNext); | 220 assert(selector == Selectors.moveNext); |
221 data.setMoveNextTypeMask(node, mask); | 221 data.setMoveNextTypeMask(node, mask); |
222 } | 222 } |
223 } | 223 } |
224 } | 224 } |
225 | 225 |
226 bool isNativeMember(Element element) { | |
227 return element is MemberElement && | |
228 closedWorld.nativeData.isNativeMember(element); | |
229 } | |
230 | |
231 bool checkIfExposesThis(ConstructorElement element) { | 226 bool checkIfExposesThis(ConstructorElement element) { |
232 element = element.implementation; | 227 element = element.implementation; |
233 return generativeConstructorsExposingThis.contains(element); | 228 return generativeConstructorsExposingThis.contains(element); |
234 } | 229 } |
235 | 230 |
236 void recordExposesThis(ConstructorElement element, bool exposesThis) { | 231 void recordExposesThis(ConstructorElement element, bool exposesThis) { |
237 element = element.implementation; | 232 element = element.implementation; |
238 if (exposesThis) { | 233 if (exposesThis) { |
239 generativeConstructorsExposingThis.add(element); | 234 generativeConstructorsExposingThis.add(element); |
240 } | 235 } |
(...skipping 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
343 types.allocatedLists.values.forEach((TypeInformation info) { | 338 types.allocatedLists.values.forEach((TypeInformation info) { |
344 analyzeListAndEnqueue(info); | 339 analyzeListAndEnqueue(info); |
345 }); | 340 }); |
346 | 341 |
347 // Try to infer the key and value types for maps and compute the values' | 342 // Try to infer the key and value types for maps and compute the values' |
348 // escape information. | 343 // escape information. |
349 types.allocatedMaps.values.forEach((TypeInformation info) { | 344 types.allocatedMaps.values.forEach((TypeInformation info) { |
350 analyzeMapAndEnqueue(info); | 345 analyzeMapAndEnqueue(info); |
351 }); | 346 }); |
352 | 347 |
353 Set<FunctionElement> bailedOutOn = new Set<FunctionElement>(); | 348 Set<MethodElement> bailedOutOn = new Set<MethodElement>(); |
354 | 349 |
355 // Trace closures to potentially infer argument types. | 350 // Trace closures to potentially infer argument types. |
356 types.allocatedClosures.forEach((dynamic info) { | 351 types.allocatedClosures.forEach((dynamic info) { |
357 void trace( | 352 void trace( |
358 Iterable<FunctionElement> elements, ClosureTracerVisitor tracer) { | 353 Iterable<MethodElement> elements, ClosureTracerVisitor tracer) { |
359 tracer.run(); | 354 tracer.run(); |
360 if (!tracer.continueAnalyzing) { | 355 if (!tracer.continueAnalyzing) { |
361 elements.forEach((FunctionElement e) { | 356 elements.forEach((MethodElement e) { |
362 closedWorldRefiner.registerMightBePassedToApply(e); | 357 closedWorldRefiner.registerMightBePassedToApply(e); |
363 if (debug.VERBOSE) print("traced closure $e as ${true} (bail)"); | 358 if (debug.VERBOSE) print("traced closure $e as ${true} (bail)"); |
364 e.functionSignature.forEachParameter((parameter) { | 359 e.functionSignature.forEachParameter((parameter) { |
365 types | 360 types |
366 .getInferredTypeOfParameter(parameter) | 361 .getInferredTypeOfParameter(parameter) |
367 .giveUp(this, clearAssignments: false); | 362 .giveUp(this, clearAssignments: false); |
368 }); | 363 }); |
369 }); | 364 }); |
370 bailedOutOn.addAll(elements); | 365 bailedOutOn.addAll(elements); |
371 return; | 366 return; |
372 } | 367 } |
373 elements | 368 elements |
374 .where((e) => !bailedOutOn.contains(e)) | 369 .where((e) => !bailedOutOn.contains(e)) |
375 .forEach((FunctionElement e) { | 370 .forEach((MethodElement e) { |
376 e.functionSignature.forEachParameter((parameter) { | 371 e.functionSignature.forEachParameter((parameter) { |
377 var info = types.getInferredTypeOfParameter(parameter); | 372 var info = types.getInferredTypeOfParameter(parameter); |
378 info.maybeResume(); | 373 info.maybeResume(); |
379 workQueue.add(info); | 374 workQueue.add(info); |
380 }); | 375 }); |
381 if (tracer.tracedType.mightBePassedToFunctionApply) { | 376 if (tracer.tracedType.mightBePassedToFunctionApply) { |
382 closedWorldRefiner.registerMightBePassedToApply(e); | 377 closedWorldRefiner.registerMightBePassedToApply(e); |
383 } | 378 } |
384 if (debug.VERBOSE) { | 379 if (debug.VERBOSE) { |
385 print("traced closure $e as " | 380 print("traced closure $e as " |
386 "${closedWorldRefiner | 381 "${closedWorldRefiner |
387 .getCurrentlyKnownMightBePassedToApply(e)}"); | 382 .getCurrentlyKnownMightBePassedToApply(e)}"); |
388 } | 383 } |
389 }); | 384 }); |
390 } | 385 } |
391 | 386 |
392 if (info is ClosureTypeInformation) { | 387 if (info is ClosureTypeInformation) { |
393 Iterable<FunctionElement> elements = [info.closure]; | 388 Iterable<MethodElement> elements = [info.closure]; |
394 trace(elements, new ClosureTracerVisitor(elements, info, this)); | 389 trace(elements, new ClosureTracerVisitor(elements, info, this)); |
395 } else if (info is CallSiteTypeInformation) { | 390 } else if (info is CallSiteTypeInformation) { |
396 if (info is StaticCallSiteTypeInformation && | 391 if (info is StaticCallSiteTypeInformation && |
397 info.selector != null && | 392 info.selector != null && |
398 info.selector.isCall) { | 393 info.selector.isCall) { |
399 // This is a constructor call to a class with a call method. So we | 394 // This is a constructor call to a class with a call method. So we |
400 // need to trace the call method here. | 395 // need to trace the call method here. |
401 assert(info.calledElement.isGenerativeConstructor); | 396 assert(info.calledElement.isGenerativeConstructor); |
402 ClassElement cls = info.calledElement.enclosingClass; | 397 ClassElement cls = info.calledElement.enclosingClass; |
403 FunctionElement callMethod = cls.lookupMember(Identifiers.call); | 398 MethodElement callMethod = cls.lookupMember(Identifiers.call); |
404 assert(callMethod != null, failedAt(cls)); | 399 assert(callMethod != null, failedAt(cls)); |
405 Iterable<FunctionElement> elements = [callMethod]; | 400 Iterable<MethodElement> elements = [callMethod]; |
406 trace(elements, new ClosureTracerVisitor(elements, info, this)); | 401 trace(elements, new ClosureTracerVisitor(elements, info, this)); |
407 } else { | 402 } else { |
408 // We only are interested in functions here, as other targets | 403 // We only are interested in functions here, as other targets |
409 // of this closure call are not a root to trace but an intermediate | 404 // of this closure call are not a root to trace but an intermediate |
410 // for some other function. | 405 // for some other function. |
411 Iterable<FunctionElement> elements = new List<FunctionElement>.from( | 406 Iterable<MethodElement> elements = new List<MethodElement>.from( |
412 info.callees.where((e) => e.isFunction)); | 407 info.callees.where((e) => e.isFunction)); |
413 trace(elements, new ClosureTracerVisitor(elements, info, this)); | 408 trace(elements, new ClosureTracerVisitor(elements, info, this)); |
414 } | 409 } |
415 } else if (info is MemberTypeInformation) { | 410 } else if (info is MemberTypeInformation) { |
416 trace([info.member], | 411 trace([info.member], |
417 new StaticTearOffClosureTracerVisitor(info.member, info, this)); | 412 new StaticTearOffClosureTracerVisitor(info.member, info, this)); |
418 } else if (info is ParameterTypeInformation) { | 413 } else if (info is ParameterTypeInformation) { |
419 throw new SpannableAssertionFailure( | 414 throw new SpannableAssertionFailure( |
420 NO_LOCATION_SPANNABLE, 'Unexpected closure allocation info $info'); | 415 NO_LOCATION_SPANNABLE, 'Unexpected closure allocation info $info'); |
421 } | 416 } |
(...skipping 151 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
573 } | 568 } |
574 } else { | 569 } else { |
575 recordReturnType(element, type); | 570 recordReturnType(element, type); |
576 } | 571 } |
577 } | 572 } |
578 | 573 |
579 void processLoopInformation() { | 574 void processLoopInformation() { |
580 types.allocatedCalls.forEach((dynamic info) { | 575 types.allocatedCalls.forEach((dynamic info) { |
581 if (!info.inLoop) return; | 576 if (!info.inLoop) return; |
582 if (info is StaticCallSiteTypeInformation) { | 577 if (info is StaticCallSiteTypeInformation) { |
583 closedWorldRefiner | 578 MemberElement member = info.calledElement.declaration; |
584 .addFunctionCalledInLoop(info.calledElement.declaration); | 579 closedWorldRefiner.addFunctionCalledInLoop(member); |
585 } else if (info.mask != null && !info.mask.containsAll(closedWorld)) { | 580 } else if (info.mask != null && !info.mask.containsAll(closedWorld)) { |
586 // For instance methods, we only register a selector called in a | 581 // For instance methods, we only register a selector called in a |
587 // loop if it is a typed selector, to avoid marking too many | 582 // loop if it is a typed selector, to avoid marking too many |
588 // methods as being called from within a loop. This cuts down | 583 // methods as being called from within a loop. This cuts down |
589 // on the code bloat. | 584 // on the code bloat. |
590 info.targets.forEach((MemberElement element) { | 585 info.targets.forEach((MemberElement element) { |
591 closedWorldRefiner.addFunctionCalledInLoop(element); | 586 closedWorldRefiner.addFunctionCalledInLoop(element); |
592 }); | 587 }); |
593 } | 588 } |
594 }); | 589 }); |
(...skipping 184 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
779 * Returns the type of [element]. | 774 * Returns the type of [element]. |
780 */ | 775 */ |
781 TypeInformation typeOfMember(MemberElement element) { | 776 TypeInformation typeOfMember(MemberElement element) { |
782 if (element is MethodElement) return types.functionType; | 777 if (element is MethodElement) return types.functionType; |
783 return types.getInferredTypeOfMember(element); | 778 return types.getInferredTypeOfMember(element); |
784 } | 779 } |
785 | 780 |
786 /** | 781 /** |
787 * Returns the return type of [element]. | 782 * Returns the return type of [element]. |
788 */ | 783 */ |
789 @deprecated | |
790 TypeInformation returnTypeOfLocalFunction(LocalFunctionElement element) { | |
791 return types.getInferredTypeOfLocalFunction(element); | |
792 } | |
793 | |
794 /** | |
795 * Returns the return type of [element]. | |
796 */ | |
797 TypeInformation returnTypeOfMember(MemberElement element) { | 784 TypeInformation returnTypeOfMember(MemberElement element) { |
798 if (element is! MethodElement) return types.dynamicType; | 785 if (element is! MethodElement) return types.dynamicType; |
799 return types.getInferredTypeOfMember(element); | 786 return types.getInferredTypeOfMember(element); |
800 } | 787 } |
801 | 788 |
802 /** | 789 /** |
803 * Records that [node] sets final field [element] to be of type [type]. | 790 * Records that [node] sets final field [element] to be of type [type]. |
804 * | 791 * |
805 * [nodeHolder] is the element holder of [node]. | 792 * [nodeHolder] is the element holder of [node]. |
806 */ | 793 */ |
(...skipping 14 matching lines...) Expand all Loading... |
821 */ | 808 */ |
822 // TODO(johnniwinther): Merge [recordTypeOfFinalField] and | 809 // TODO(johnniwinther): Merge [recordTypeOfFinalField] and |
823 // [recordTypeOfNonFinalField] with this? | 810 // [recordTypeOfNonFinalField] with this? |
824 void recordTypeOfField(FieldElement element, TypeInformation type) { | 811 void recordTypeOfField(FieldElement element, TypeInformation type) { |
825 types.getInferredTypeOfMember(element).addAssignment(type); | 812 types.getInferredTypeOfMember(element).addAssignment(type); |
826 } | 813 } |
827 | 814 |
828 /** | 815 /** |
829 * Records that the return type [element] is of type [type]. | 816 * Records that the return type [element] is of type [type]. |
830 */ | 817 */ |
831 @deprecated | |
832 void recordReturnTypeOfLocalFunction( | |
833 LocalFunctionElement element, TypeInformation type) { | |
834 TypeInformation info = types.getInferredTypeOfLocalFunction(element); | |
835 if (element.name == '==') { | |
836 // Even if x.== doesn't return a bool, 'x == null' evaluates to 'false'. | |
837 info.addAssignment(types.boolType); | |
838 } | |
839 // TODO(ngeoffray): Clean up. We do these checks because | |
840 // [SimpleTypesInferrer] deals with two different inferrers. | |
841 if (type == null) return; | |
842 if (info.assignments.isEmpty) info.addAssignment(type); | |
843 } | |
844 | |
845 /** | |
846 * Records that the return type [element] is of type [type]. | |
847 */ | |
848 void recordReturnType(MethodElement element, TypeInformation type) { | 818 void recordReturnType(MethodElement element, TypeInformation type) { |
849 TypeInformation info = types.getInferredTypeOfMember(element); | 819 TypeInformation info = types.getInferredTypeOfMember(element); |
850 if (element.name == '==') { | 820 if (element.name == '==') { |
851 // Even if x.== doesn't return a bool, 'x == null' evaluates to 'false'. | 821 // Even if x.== doesn't return a bool, 'x == null' evaluates to 'false'. |
852 info.addAssignment(types.boolType); | 822 info.addAssignment(types.boolType); |
853 } | 823 } |
854 // TODO(ngeoffray): Clean up. We do these checks because | 824 // TODO(ngeoffray): Clean up. We do these checks because |
855 // [SimpleTypesInferrer] deals with two different inferrers. | 825 // [SimpleTypesInferrer] deals with two different inferrers. |
856 if (type == null) return; | 826 if (type == null) return; |
857 if (info.assignments.isEmpty) info.addAssignment(type); | 827 if (info.assignments.isEmpty) info.addAssignment(type); |
858 } | 828 } |
859 | 829 |
860 /** | 830 /** |
861 * Notifies to the inferrer that [analyzedElement] can have return | 831 * Notifies to the inferrer that [analyzedElement] can have return |
862 * type [newType]. [currentType] is the type the [ElementGraphBuilder] | 832 * type [newType]. [currentType] is the type the [ElementGraphBuilder] |
863 * currently found. | 833 * currently found. |
864 * | 834 * |
865 * Returns the new type for [analyzedElement]. | 835 * Returns the new type for [analyzedElement]. |
866 */ | 836 */ |
867 @deprecated | |
868 TypeInformation addReturnTypeForLocalFunction(LocalFunctionElement element, | |
869 TypeInformation unused, TypeInformation newType) { | |
870 TypeInformation type = types.getInferredTypeOfLocalFunction(element); | |
871 // TODO(ngeoffray): Clean up. We do this check because | |
872 // [SimpleTypesInferrer] deals with two different inferrers. | |
873 if (element.isGenerativeConstructor) return type; | |
874 type.addAssignment(newType); | |
875 return type; | |
876 } | |
877 | |
878 /** | |
879 * Notifies to the inferrer that [analyzedElement] can have return | |
880 * type [newType]. [currentType] is the type the [ElementGraphBuilder] | |
881 * currently found. | |
882 * | |
883 * Returns the new type for [analyzedElement]. | |
884 */ | |
885 TypeInformation addReturnTypeForMethod( | 837 TypeInformation addReturnTypeForMethod( |
886 MethodElement element, TypeInformation unused, TypeInformation newType) { | 838 MethodElement element, TypeInformation unused, TypeInformation newType) { |
887 TypeInformation type = types.getInferredTypeOfMember(element); | 839 TypeInformation type = types.getInferredTypeOfMember(element); |
888 // TODO(ngeoffray): Clean up. We do this check because | 840 // TODO(ngeoffray): Clean up. We do this check because |
889 // [SimpleTypesInferrer] deals with two different inferrers. | 841 // [SimpleTypesInferrer] deals with two different inferrers. |
890 if (element.isGenerativeConstructor) return type; | 842 if (element.isGenerativeConstructor) return type; |
891 type.addAssignment(newType); | 843 type.addAssignment(newType); |
892 return type; | 844 return type; |
893 } | 845 } |
894 | 846 |
895 /** | 847 /** |
896 * Registers that [caller] calls [callee] at location [node], with | 848 * Registers that [caller] calls [callee] at location [node], with |
897 * [selector], and [arguments]. Note that [selector] is null for | 849 * [selector], and [arguments]. Note that [selector] is null for |
898 * forwarding constructors. | 850 * forwarding constructors. |
899 * | 851 * |
900 * [sideEffects] will be updated to incorporate [callee]'s side | 852 * [sideEffects] will be updated to incorporate [callee]'s side |
901 * effects. | 853 * effects. |
902 * | 854 * |
903 * [inLoop] tells whether the call happens in a loop. | 855 * [inLoop] tells whether the call happens in a loop. |
904 */ | 856 */ |
905 @deprecated | |
906 TypeInformation registerCalledLocalFunction( | |
907 Spannable node, | |
908 Selector selector, | |
909 TypeMask mask, | |
910 MemberElement caller, | |
911 LocalFunctionElement callee, | |
912 ArgumentsTypes arguments, | |
913 SideEffects sideEffects, | |
914 bool inLoop) { | |
915 CallSiteTypeInformation info = new LocalFunctionCallSiteTypeInformation( | |
916 types.currentMember, | |
917 node, | |
918 caller, | |
919 callee, | |
920 selector, | |
921 mask, | |
922 arguments, | |
923 inLoop); | |
924 return _registerCalledElement(info, selector, callee, sideEffects); | |
925 } | |
926 | |
927 /** | |
928 * Registers that [caller] calls [callee] at location [node], with | |
929 * [selector], and [arguments]. Note that [selector] is null for | |
930 * forwarding constructors. | |
931 * | |
932 * [sideEffects] will be updated to incorporate [callee]'s side | |
933 * effects. | |
934 * | |
935 * [inLoop] tells whether the call happens in a loop. | |
936 */ | |
937 TypeInformation registerCalledMember( | 857 TypeInformation registerCalledMember( |
938 Spannable node, | 858 Spannable node, |
939 Selector selector, | 859 Selector selector, |
940 TypeMask mask, | 860 TypeMask mask, |
941 MemberElement caller, | 861 MemberElement caller, |
942 MemberElement callee, | 862 MemberElement callee, |
943 ArgumentsTypes arguments, | 863 ArgumentsTypes arguments, |
944 SideEffects sideEffects, | 864 SideEffects sideEffects, |
945 bool inLoop) { | 865 bool inLoop) { |
946 CallSiteTypeInformation info = new StaticCallSiteTypeInformation( | 866 CallSiteTypeInformation info = new StaticCallSiteTypeInformation( |
947 types.currentMember, | 867 types.currentMember, |
948 node, | 868 node, |
949 caller, | 869 caller, |
950 callee, | 870 callee, |
951 selector, | 871 selector, |
952 mask, | 872 mask, |
953 arguments, | 873 arguments, |
954 inLoop); | 874 inLoop); |
955 return _registerCalledElement(info, selector, callee, sideEffects); | |
956 } | |
957 | |
958 /** | |
959 * Registers that [caller] calls [callee] at location [node], with | |
960 * [selector], and [arguments]. Note that [selector] is null for | |
961 * forwarding constructors. | |
962 * | |
963 * [sideEffects] will be updated to incorporate [callee]'s side | |
964 * effects. | |
965 * | |
966 * [inLoop] tells whether the call happens in a loop. | |
967 */ | |
968 TypeInformation _registerCalledElement(CallSiteTypeInformation info, | |
969 Selector selector, Element callee, SideEffects sideEffects) { | |
970 // If this class has a 'call' method then we have essentially created a | 875 // If this class has a 'call' method then we have essentially created a |
971 // closure here. Register it as such so that it is traced. | 876 // closure here. Register it as such so that it is traced. |
972 // Note: we exclude factory constructors because they don't always create an | 877 // Note: we exclude factory constructors because they don't always create an |
973 // instance of the type. They are static methods that delegate to some other | 878 // instance of the type. They are static methods that delegate to some other |
974 // generative constructor to do the actual creation of the object. | 879 // generative constructor to do the actual creation of the object. |
975 if (selector != null && selector.isCall && callee.isGenerativeConstructor) { | 880 if (selector != null && selector.isCall && callee.isGenerativeConstructor) { |
976 ClassElement cls = callee.enclosingClass; | 881 ClassElement cls = callee.enclosingClass; |
977 if (cls.callType != null) { | 882 if (cls.callType != null) { |
978 types.allocatedClosures.add(info); | 883 types.allocatedClosures.add(info); |
979 } | 884 } |
(...skipping 174 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1154 throw new UnsupportedError( | 1059 throw new UnsupportedError( |
1155 "Cannot query the type inferrer when type inference is disabled."); | 1060 "Cannot query the type inferrer when type inference is disabled."); |
1156 } | 1061 } |
1157 MemberTypeInformation info = types.getInferredTypeOfMember(element); | 1062 MemberTypeInformation info = types.getInferredTypeOfMember(element); |
1158 return info.callers; | 1063 return info.callers; |
1159 } | 1064 } |
1160 | 1065 |
1161 /** | 1066 /** |
1162 * Returns the type of [element] when being called with [selector]. | 1067 * Returns the type of [element] when being called with [selector]. |
1163 */ | 1068 */ |
1164 TypeInformation typeOfLocalFunctionWithSelector( | |
1165 LocalFunctionElement element, Selector selector) { | |
1166 return _typeOfElementWithSelector(element, selector); | |
1167 } | |
1168 | |
1169 /** | |
1170 * Returns the type of [element] when being called with [selector]. | |
1171 */ | |
1172 TypeInformation typeOfMemberWithSelector( | 1069 TypeInformation typeOfMemberWithSelector( |
1173 MemberElement element, Selector selector) { | 1070 MemberElement element, Selector selector) { |
1174 return _typeOfElementWithSelector(element, selector); | 1071 return _typeOfElementWithSelector(element, selector); |
1175 } | 1072 } |
1176 | 1073 |
1177 /** | 1074 /** |
1178 * Returns the type of [element] when being called with [selector]. | 1075 * Returns the type of [element] when being called with [selector]. |
1179 */ | 1076 */ |
1180 TypeInformation _typeOfElementWithSelector( | 1077 TypeInformation _typeOfElementWithSelector( |
1181 Element element, Selector selector) { | 1078 MemberElement element, Selector selector) { |
1182 if (element.name == Identifiers.noSuchMethod_ && | 1079 if (element.name == Identifiers.noSuchMethod_ && |
1183 selector.name != element.name) { | 1080 selector.name != element.name) { |
1184 // An invocation can resolve to a [noSuchMethod], in which case | 1081 // An invocation can resolve to a [noSuchMethod], in which case |
1185 // we get the return type of [noSuchMethod]. | 1082 // we get the return type of [noSuchMethod]. |
1186 if (element.isLocal) { | 1083 return returnTypeOfMember(element); |
1187 return returnTypeOfLocalFunction(element); | |
1188 } else { | |
1189 return returnTypeOfMember(element); | |
1190 } | |
1191 } else if (selector.isGetter) { | 1084 } else if (selector.isGetter) { |
1192 if (element.isFunction) { | 1085 if (element.isFunction) { |
1193 // [functionType] is null if the inferrer did not run. | 1086 // [functionType] is null if the inferrer did not run. |
1194 return types.functionType == null | 1087 return types.functionType == null |
1195 ? types.dynamicType | 1088 ? types.dynamicType |
1196 : types.functionType; | 1089 : types.functionType; |
1197 } else if (element.isField) { | 1090 } else if (element.isField) { |
1198 return typeOfMember(element); | 1091 return typeOfMember(element); |
1199 } else if (Elements.isUnresolved(element)) { | 1092 } else if (Elements.isUnresolved(element)) { |
1200 return types.dynamicType; | 1093 return types.dynamicType; |
1201 } else { | 1094 } else { |
1202 assert(element.isGetter); | 1095 assert(element.isGetter); |
1203 if (element.isLocal) { | 1096 return returnTypeOfMember(element); |
1204 return returnTypeOfLocalFunction(element); | |
1205 } else { | |
1206 return returnTypeOfMember(element); | |
1207 } | |
1208 } | 1097 } |
1209 } else if (element.isGetter || element.isField) { | 1098 } else if (element.isGetter || element.isField) { |
1210 assert(selector.isCall || selector.isSetter); | 1099 assert(selector.isCall || selector.isSetter); |
1211 return types.dynamicType; | 1100 return types.dynamicType; |
1212 } else { | 1101 } else { |
1213 if (element.isLocal) { | 1102 return returnTypeOfMember(element); |
1214 return returnTypeOfLocalFunction(element); | |
1215 } else { | |
1216 return returnTypeOfMember(element); | |
1217 } | |
1218 } | 1103 } |
1219 } | 1104 } |
1220 | 1105 |
1221 /** | 1106 /** |
1222 * Records that the captured variable [local] is read. | 1107 * Records that the captured variable [local] is read. |
1223 */ | 1108 */ |
1224 void recordCapturedLocalRead(Local local) {} | 1109 void recordCapturedLocalRead(Local local) {} |
1225 | 1110 |
1226 /** | 1111 /** |
1227 * Records that the variable [local] is being updated. | 1112 * Records that the variable [local] is being updated. |
1228 */ | 1113 */ |
1229 void recordLocalUpdate(Local local, TypeInformation type) {} | 1114 void recordLocalUpdate(Local local, TypeInformation type) {} |
1230 } | 1115 } |
OLD | NEW |