OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 '../common/codegen.dart' show CodegenRegistry, CodegenWorkItem; | 5 import '../common/codegen.dart' show CodegenRegistry, CodegenWorkItem; |
6 import '../common/names.dart' show Selectors; | 6 import '../common/names.dart' show Selectors; |
7 import '../common/tasks.dart' show CompilerTask; | 7 import '../common/tasks.dart' show CompilerTask; |
8 import '../compiler.dart' show Compiler; | 8 import '../compiler.dart' show Compiler; |
9 import '../constants/constant_system.dart'; | 9 import '../constants/constant_system.dart'; |
10 import '../constants/values.dart'; | 10 import '../constants/values.dart'; |
(...skipping 500 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
511 // makes the field load available to further optimization, e.g. LICM. | 511 // makes the field load available to further optimization, e.g. LICM. |
512 | 512 |
513 if (element != null && | 513 if (element != null && |
514 element.isField && | 514 element.isField && |
515 element.name == node.selector.name) { | 515 element.name == node.selector.name) { |
516 FieldEntity field = element; | 516 FieldEntity field = element; |
517 if (!_nativeData.isNativeMember(field) && | 517 if (!_nativeData.isNativeMember(field) && |
518 !node.isCallOnInterceptor(_closedWorld)) { | 518 !node.isCallOnInterceptor(_closedWorld)) { |
519 HInstruction receiver = node.getDartReceiver(_closedWorld); | 519 HInstruction receiver = node.getDartReceiver(_closedWorld); |
520 TypeMask type = TypeMaskFactory.inferredTypeForMember( | 520 TypeMask type = TypeMaskFactory.inferredTypeForMember( |
521 field as Entity, _globalInferenceResults); | 521 // ignore: UNNECESSARY_CAST |
| 522 field as Entity, |
| 523 _globalInferenceResults); |
522 HInstruction load = new HFieldGet(field, receiver, type); | 524 HInstruction load = new HFieldGet(field, receiver, type); |
523 node.block.addBefore(node, load); | 525 node.block.addBefore(node, load); |
524 Selector callSelector = new Selector.callClosureFrom(node.selector); | 526 Selector callSelector = new Selector.callClosureFrom(node.selector); |
525 List<HInstruction> inputs = <HInstruction>[load] | 527 List<HInstruction> inputs = <HInstruction>[load] |
526 ..addAll(node.inputs.skip(node.isInterceptedCall ? 2 : 1)); | 528 ..addAll(node.inputs.skip(node.isInterceptedCall ? 2 : 1)); |
527 HInstruction closureCall = | 529 HInstruction closureCall = |
528 new HInvokeClosure(callSelector, inputs, node.instructionType) | 530 new HInvokeClosure(callSelector, inputs, node.instructionType) |
529 ..sourceInformation = node.sourceInformation; | 531 ..sourceInformation = node.sourceInformation; |
530 node.block.addAfter(load, closureCall); | 532 node.block.addAfter(load, closureCall); |
531 return closureCall; | 533 return closureCall; |
(...skipping 456 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
988 | 990 |
989 HInstruction directFieldGet(HInstruction receiver, FieldEntity field) { | 991 HInstruction directFieldGet(HInstruction receiver, FieldEntity field) { |
990 bool isAssignable = !_closedWorld.fieldNeverChanges(field); | 992 bool isAssignable = !_closedWorld.fieldNeverChanges(field); |
991 | 993 |
992 TypeMask type; | 994 TypeMask type; |
993 if (_nativeData.isNativeClass(field.enclosingClass)) { | 995 if (_nativeData.isNativeClass(field.enclosingClass)) { |
994 type = TypeMaskFactory.fromNativeBehavior( | 996 type = TypeMaskFactory.fromNativeBehavior( |
995 _nativeData.getNativeFieldLoadBehavior(field), _closedWorld); | 997 _nativeData.getNativeFieldLoadBehavior(field), _closedWorld); |
996 } else { | 998 } else { |
997 type = TypeMaskFactory.inferredTypeForMember( | 999 type = TypeMaskFactory.inferredTypeForMember( |
998 field as Entity, _globalInferenceResults); | 1000 // ignore: UNNECESSARY_CAST |
| 1001 field as Entity, |
| 1002 _globalInferenceResults); |
999 } | 1003 } |
1000 | 1004 |
1001 return new HFieldGet(field, receiver, type, isAssignable: isAssignable); | 1005 return new HFieldGet(field, receiver, type, isAssignable: isAssignable); |
1002 } | 1006 } |
1003 | 1007 |
1004 HInstruction visitInvokeDynamicSetter(HInvokeDynamicSetter node) { | 1008 HInstruction visitInvokeDynamicSetter(HInvokeDynamicSetter node) { |
1005 if (node.isInterceptedCall) { | 1009 if (node.isInterceptedCall) { |
1006 HInstruction folded = handleInterceptedCall(node); | 1010 HInstruction folded = handleInterceptedCall(node); |
1007 if (folded != node) return folded; | 1011 if (folded != node) return folded; |
1008 } | 1012 } |
(...skipping 1363 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2372 memorySet.registerFieldValueUpdate( | 2376 memorySet.registerFieldValueUpdate( |
2373 instruction.element, receiver, instruction.inputs.last); | 2377 instruction.element, receiver, instruction.inputs.last); |
2374 } | 2378 } |
2375 | 2379 |
2376 void visitCreate(HCreate instruction) { | 2380 void visitCreate(HCreate instruction) { |
2377 memorySet.registerAllocation(instruction); | 2381 memorySet.registerAllocation(instruction); |
2378 if (shouldTrackInitialValues(instruction)) { | 2382 if (shouldTrackInitialValues(instruction)) { |
2379 int argumentIndex = 0; | 2383 int argumentIndex = 0; |
2380 compiler.codegenWorldBuilder.forEachInstanceField(instruction.element, | 2384 compiler.codegenWorldBuilder.forEachInstanceField(instruction.element, |
2381 (_, FieldEntity member) { | 2385 (_, FieldEntity member) { |
2382 if (compiler.elementHasCompileTimeError(member as Entity)) return; | 2386 if (compiler.elementHasCompileTimeError( |
| 2387 // ignore: UNNECESSARY_CAST |
| 2388 member as Entity)) return; |
2383 memorySet.registerFieldValue( | 2389 memorySet.registerFieldValue( |
2384 member, instruction, instruction.inputs[argumentIndex++]); | 2390 member, instruction, instruction.inputs[argumentIndex++]); |
2385 }); | 2391 }); |
2386 } | 2392 } |
2387 // In case this instruction has as input non-escaping objects, we | 2393 // In case this instruction has as input non-escaping objects, we |
2388 // need to mark these objects as escaping. | 2394 // need to mark these objects as escaping. |
2389 memorySet.killAffectedBy(instruction); | 2395 memorySet.killAffectedBy(instruction); |
2390 } | 2396 } |
2391 | 2397 |
2392 bool shouldTrackInitialValues(HCreate instruction) { | 2398 bool shouldTrackInitialValues(HCreate instruction) { |
(...skipping 427 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2820 | 2826 |
2821 keyedValues.forEach((receiver, values) { | 2827 keyedValues.forEach((receiver, values) { |
2822 result.keyedValues[receiver] = | 2828 result.keyedValues[receiver] = |
2823 new Map<HInstruction, HInstruction>.from(values); | 2829 new Map<HInstruction, HInstruction>.from(values); |
2824 }); | 2830 }); |
2825 | 2831 |
2826 result.nonEscapingReceivers.addAll(nonEscapingReceivers); | 2832 result.nonEscapingReceivers.addAll(nonEscapingReceivers); |
2827 return result; | 2833 return result; |
2828 } | 2834 } |
2829 } | 2835 } |
OLD | NEW |