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 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 2194 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2205 ClosureClassMap nestedClosureData = | 2205 ClosureClassMap nestedClosureData = |
2206 compiler.closureToClassMapper.getMappingForNestedFunction(node); | 2206 compiler.closureToClassMapper.getMappingForNestedFunction(node); |
2207 assert(nestedClosureData != null); | 2207 assert(nestedClosureData != null); |
2208 assert(nestedClosureData.closureClassElement != null); | 2208 assert(nestedClosureData.closureClassElement != null); |
2209 ClassElement closureClassElement = | 2209 ClassElement closureClassElement = |
2210 nestedClosureData.closureClassElement; | 2210 nestedClosureData.closureClassElement; |
2211 FunctionElement callElement = nestedClosureData.callElement; | 2211 FunctionElement callElement = nestedClosureData.callElement; |
2212 // TODO(ahe): This should be registered in codegen, not here. | 2212 // TODO(ahe): This should be registered in codegen, not here. |
2213 compiler.enqueuer.codegen.addToWorkList(callElement, elements); | 2213 compiler.enqueuer.codegen.addToWorkList(callElement, elements); |
2214 // TODO(ahe): This should be registered in codegen, not here. | 2214 // TODO(ahe): This should be registered in codegen, not here. |
2215 compiler.enqueuer.codegen.registerInstantiatedClass(closureClassElement); | 2215 compiler.enqueuer.codegen.registerInstantiatedClass( |
| 2216 closureClassElement, compiler.globalDependencies); |
2216 assert(!closureClassElement.hasLocalScopeMembers); | 2217 assert(!closureClassElement.hasLocalScopeMembers); |
2217 | 2218 |
2218 List<HInstruction> capturedVariables = <HInstruction>[]; | 2219 List<HInstruction> capturedVariables = <HInstruction>[]; |
2219 closureClassElement.forEachBackendMember((Element member) { | 2220 closureClassElement.forEachBackendMember((Element member) { |
2220 // The backendMembers also contains the call method(s). We are only | 2221 // The backendMembers also contains the call method(s). We are only |
2221 // interested in the fields. | 2222 // interested in the fields. |
2222 if (member.isField()) { | 2223 if (member.isField()) { |
2223 Element capturedLocal = nestedClosureData.capturedFieldMapping[member]; | 2224 Element capturedLocal = nestedClosureData.capturedFieldMapping[member]; |
2224 assert(capturedLocal != null); | 2225 assert(capturedLocal != null); |
2225 capturedVariables.add(localsHandler.readLocal(capturedLocal)); | 2226 capturedVariables.add(localsHandler.readLocal(capturedLocal)); |
(...skipping 417 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2643 buildTypeArgumentRepresentations(type); | 2644 buildTypeArgumentRepresentations(type); |
2644 assert(representations.length == 1); | 2645 assert(representations.length == 1); |
2645 HInstruction runtimeType = addTypeVariableReference(type); | 2646 HInstruction runtimeType = addTypeVariableReference(type); |
2646 Element helper = backend.getGetObjectIsSubtype(); | 2647 Element helper = backend.getGetObjectIsSubtype(); |
2647 HInstruction helperCall = new HStatic(helper); | 2648 HInstruction helperCall = new HStatic(helper); |
2648 add(helperCall); | 2649 add(helperCall); |
2649 List<HInstruction> inputs = <HInstruction>[helperCall, expression, | 2650 List<HInstruction> inputs = <HInstruction>[helperCall, expression, |
2650 runtimeType]; | 2651 runtimeType]; |
2651 instruction = new HInvokeStatic(inputs, HType.BOOLEAN); | 2652 instruction = new HInvokeStatic(inputs, HType.BOOLEAN); |
2652 add(instruction); | 2653 add(instruction); |
2653 compiler.enqueuer.codegen.registerIsCheck(type); | 2654 compiler.enqueuer.codegen.registerIsCheck(type, elements); |
2654 | 2655 |
2655 } else if (RuntimeTypeInformation.hasTypeArguments(type)) { | 2656 } else if (RuntimeTypeInformation.hasTypeArguments(type)) { |
2656 | 2657 |
2657 void argumentsCheck() { | 2658 void argumentsCheck() { |
2658 HInstruction typeInfo = getRuntimeTypeInfo(expression); | 2659 HInstruction typeInfo = getRuntimeTypeInfo(expression); |
2659 Element helper = backend.getCheckArguments(); | 2660 Element helper = backend.getCheckArguments(); |
2660 HInstruction helperCall = new HStatic(helper); | 2661 HInstruction helperCall = new HStatic(helper); |
2661 add(helperCall); | 2662 add(helperCall); |
2662 List<HInstruction> representations = | 2663 List<HInstruction> representations = |
2663 buildTypeArgumentRepresentations(type); | 2664 buildTypeArgumentRepresentations(type); |
(...skipping 2371 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5035 new HSubGraphBlockInformation(elseBranch.graph)); | 5036 new HSubGraphBlockInformation(elseBranch.graph)); |
5036 | 5037 |
5037 HBasicBlock conditionStartBlock = conditionBranch.block; | 5038 HBasicBlock conditionStartBlock = conditionBranch.block; |
5038 conditionStartBlock.setBlockFlow(info, joinBlock); | 5039 conditionStartBlock.setBlockFlow(info, joinBlock); |
5039 SubGraph conditionGraph = conditionBranch.graph; | 5040 SubGraph conditionGraph = conditionBranch.graph; |
5040 HIf branch = conditionGraph.end.last; | 5041 HIf branch = conditionGraph.end.last; |
5041 assert(branch is HIf); | 5042 assert(branch is HIf); |
5042 branch.blockInformation = conditionStartBlock.blockFlow; | 5043 branch.blockInformation = conditionStartBlock.blockFlow; |
5043 } | 5044 } |
5044 } | 5045 } |
OLD | NEW |