Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(772)

Side by Side Diff: sdk/lib/_internal/compiler/implementation/ssa/builder.dart

Issue 15222002: Handle super calls in the backend type inferrer. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
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 part of ssa; 5 part of ssa;
6 6
7 /** 7 /**
8 * A special element for the extra parameter taken by intercepted 8 * A special element for the extra parameter taken by intercepted
9 * methods. We need to override [Element.computeType] because our 9 * methods. We need to override [Element.computeType] because our
10 * optimizers may look at its declared type. 10 * optimizers may look at its declared type.
(...skipping 3730 matching lines...) Expand 10 before | Expand all | Expand 10 after
3741 Set<ClassElement> interceptedClasses = 3741 Set<ClassElement> interceptedClasses =
3742 backend.getInterceptedClassesOn(selector.name); 3742 backend.getInterceptedClassesOn(selector.name);
3743 if (interceptedClasses != null) { 3743 if (interceptedClasses != null) {
3744 inputs.add(invokeInterceptor(interceptedClasses, receiver)); 3744 inputs.add(invokeInterceptor(interceptedClasses, receiver));
3745 } 3745 }
3746 inputs.add(receiver); 3746 inputs.add(receiver);
3747 inputs.addAll(arguments); 3747 inputs.addAll(arguments);
3748 HInstruction instruction = new HInvokeSuper( 3748 HInstruction instruction = new HInvokeSuper(
3749 element, 3749 element,
3750 currentNonClosureClass, 3750 currentNonClosureClass,
3751 selector,
3751 inputs, 3752 inputs,
3752 isSetter: selector.isSetter() || selector.isIndexSet()); 3753 isSetter: selector.isSetter() || selector.isIndexSet());
3753 instruction.instructionType = 3754 instruction.instructionType =
3754 new HType.inferredReturnTypeForElement(element, compiler); 3755 new HType.inferredReturnTypeForElement(element, compiler);
3755 instruction.sideEffects = compiler.world.getSideEffectsOfElement(element); 3756 instruction.sideEffects = compiler.world.getSideEffectsOfElement(element);
3756 return instruction; 3757 return instruction;
3757 } 3758 }
3758 3759
3759 void handleComplexOperatorSend(SendSet node, 3760 void handleComplexOperatorSend(SendSet node,
3760 HInstruction receiver, 3761 HInstruction receiver,
(...skipping 1516 matching lines...) Expand 10 before | Expand all | Expand 10 after
5277 new HSubGraphBlockInformation(elseBranch.graph)); 5278 new HSubGraphBlockInformation(elseBranch.graph));
5278 5279
5279 HBasicBlock conditionStartBlock = conditionBranch.block; 5280 HBasicBlock conditionStartBlock = conditionBranch.block;
5280 conditionStartBlock.setBlockFlow(info, joinBlock); 5281 conditionStartBlock.setBlockFlow(info, joinBlock);
5281 SubGraph conditionGraph = conditionBranch.graph; 5282 SubGraph conditionGraph = conditionBranch.graph;
5282 HIf branch = conditionGraph.end.last; 5283 HIf branch = conditionGraph.end.last;
5283 assert(branch is HIf); 5284 assert(branch is HIf);
5284 branch.blockInformation = conditionStartBlock.blockFlow; 5285 branch.blockInformation = conditionStartBlock.blockFlow;
5285 } 5286 }
5286 } 5287 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698