| 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 'dart:collection'; | 5 import 'dart:collection'; |
| 6 | 6 |
| 7 import 'package:js_runtime/shared/embedded_names.dart'; | 7 import 'package:js_runtime/shared/embedded_names.dart'; |
| 8 | 8 |
| 9 import '../closure.dart'; | 9 import '../closure.dart'; |
| 10 import '../common.dart'; | 10 import '../common.dart'; |
| (...skipping 1014 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1025 InitializingFormalElement fieldParameterElement = parameter; | 1025 InitializingFormalElement fieldParameterElement = parameter; |
| 1026 fieldValues[fieldParameterElement.fieldElement] = argument; | 1026 fieldValues[fieldParameterElement.fieldElement] = argument; |
| 1027 } | 1027 } |
| 1028 }); | 1028 }); |
| 1029 | 1029 |
| 1030 // Build the initializers in the context of the new constructor. | 1030 // Build the initializers in the context of the new constructor. |
| 1031 ResolvedAst oldResolvedAst = resolvedAst; | 1031 ResolvedAst oldResolvedAst = resolvedAst; |
| 1032 resolvedAst = callee.resolvedAst; | 1032 resolvedAst = callee.resolvedAst; |
| 1033 final oldElementInferenceResults = elementInferenceResults; | 1033 final oldElementInferenceResults = elementInferenceResults; |
| 1034 elementInferenceResults = globalInferenceResults.resultOfMember(callee); | 1034 elementInferenceResults = globalInferenceResults.resultOfMember(callee); |
| 1035 ClosureClassMap oldClosureData = localsHandler.closureData; | 1035 ClosureRepresentationInfo oldClosureData = localsHandler.closureData; |
| 1036 ClosureClassMap newClosureData = | 1036 ClosureRepresentationInfo newClosureData = |
| 1037 closureToClassMapper.getMemberMap(callee); | 1037 closureToClassMapper.getClosureRepresentationInfo(callee); |
| 1038 localsHandler.closureData = newClosureData; | 1038 localsHandler.closureData = newClosureData; |
| 1039 if (resolvedAst.kind == ResolvedAstKind.PARSED) { | 1039 if (resolvedAst.kind == ResolvedAstKind.PARSED) { |
| 1040 // TODO(efortuna): Take out the test below for null once we are no | 1040 localsHandler.enterScope( |
| 1041 // longer dealing with the ClosureClassMap interface directly. | 1041 closureToClassMapper.getClosureAnalysisInfo(resolvedAst.node), |
| 1042 if (newClosureData.capturingScopes[resolvedAst.node] != null) { | 1042 forGenerativeConstructorBody: callee.isGenerativeConstructorBody); |
| 1043 localsHandler.enterScope( | |
| 1044 newClosureData.capturingScopes[resolvedAst.node], | |
| 1045 forGenerativeConstructorBody: callee.isGenerativeConstructorBody); | |
| 1046 } | |
| 1047 } | 1043 } |
| 1048 buildInitializers(callee, constructorResolvedAsts, fieldValues); | 1044 buildInitializers(callee, constructorResolvedAsts, fieldValues); |
| 1049 localsHandler.closureData = oldClosureData; | 1045 localsHandler.closureData = oldClosureData; |
| 1050 resolvedAst = oldResolvedAst; | 1046 resolvedAst = oldResolvedAst; |
| 1051 elementInferenceResults = oldElementInferenceResults; | 1047 elementInferenceResults = oldElementInferenceResults; |
| 1052 }); | 1048 }); |
| 1053 } | 1049 } |
| 1054 | 1050 |
| 1055 void buildInitializers( | 1051 void buildInitializers( |
| 1056 ConstructorElement constructor, | 1052 ConstructorElement constructor, |
| (...skipping 391 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1448 | 1444 |
| 1449 Map<Local, TypeMask> parameters = <Local, TypeMask>{}; | 1445 Map<Local, TypeMask> parameters = <Local, TypeMask>{}; |
| 1450 if (element is MethodElement) { | 1446 if (element is MethodElement) { |
| 1451 element.functionSignature | 1447 element.functionSignature |
| 1452 .orderedForEachParameter((ParameterElement parameter) { | 1448 .orderedForEachParameter((ParameterElement parameter) { |
| 1453 parameters[parameter] = TypeMaskFactory.inferredTypeForParameter( | 1449 parameters[parameter] = TypeMaskFactory.inferredTypeForParameter( |
| 1454 parameter, globalInferenceResults); | 1450 parameter, globalInferenceResults); |
| 1455 }); | 1451 }); |
| 1456 } | 1452 } |
| 1457 | 1453 |
| 1458 ClosureClassMap closureData = closureToClassMapper.getMemberMap(element); | 1454 ClosureRepresentationInfo closureData = |
| 1459 localsHandler.startFunction( | 1455 closureToClassMapper.getClosureRepresentationInfo(element); |
| 1460 element, closureData, closureData.capturingScopes[node], parameters, | 1456 localsHandler.startFunction(element, closureData, |
| 1457 closureToClassMapper.getClosureAnalysisInfo(node), parameters, |
| 1461 isGenerativeConstructorBody: element.isGenerativeConstructorBody); | 1458 isGenerativeConstructorBody: element.isGenerativeConstructorBody); |
| 1462 close(new HGoto()).addSuccessor(block); | 1459 close(new HGoto()).addSuccessor(block); |
| 1463 | 1460 |
| 1464 open(block); | 1461 open(block); |
| 1465 | 1462 |
| 1466 // Add the type parameters of the class as parameters of this method. This | 1463 // Add the type parameters of the class as parameters of this method. This |
| 1467 // must be done before adding the normal parameters, because their types | 1464 // must be done before adding the normal parameters, because their types |
| 1468 // may contain references to type variables. | 1465 // may contain references to type variables. |
| 1469 ClassElement cls = element.enclosingClass; | 1466 ClassElement cls = element.enclosingClass; |
| 1470 if ((element.isConstructor || element.isGenerativeConstructorBody) && | 1467 if ((element.isConstructor || element.isGenerativeConstructorBody) && |
| (...skipping 420 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1891 block.remove(breakInstruction); | 1888 block.remove(breakInstruction); |
| 1892 }); | 1889 }); |
| 1893 } | 1890 } |
| 1894 } | 1891 } |
| 1895 jumpHandler.close(); | 1892 jumpHandler.close(); |
| 1896 loopDepth--; | 1893 loopDepth--; |
| 1897 } | 1894 } |
| 1898 | 1895 |
| 1899 visitFunctionExpression(ast.FunctionExpression node) { | 1896 visitFunctionExpression(ast.FunctionExpression node) { |
| 1900 LocalFunctionElement methodElement = elements[node]; | 1897 LocalFunctionElement methodElement = elements[node]; |
| 1901 ClosureClassMap nestedClosureData = | 1898 ClosureRepresentationInfo closureInfo = |
| 1902 closureToClassMapper.getLocalFunctionMap(methodElement); | 1899 closureToClassMapper.getClosureRepresentationInfo(methodElement); |
| 1903 assert(nestedClosureData != null); | 1900 ClassEntity closureClassEntity = closureInfo.closureClassEntity; |
| 1904 assert(nestedClosureData.closureClassElement != null); | |
| 1905 ClosureClassElement closureClassElement = | |
| 1906 nestedClosureData.closureClassElement; | |
| 1907 MethodElement callElement = nestedClosureData.callElement; | |
| 1908 | 1901 |
| 1909 List<HInstruction> capturedVariables = <HInstruction>[]; | 1902 List<HInstruction> capturedVariables = <HInstruction>[]; |
| 1910 closureClassElement.closureFields.forEach((ClosureFieldElement field) { | 1903 closureInfo.createdFieldEntities.forEach((Local field) { |
| 1911 Local capturedLocal = | 1904 assert(field != null); |
| 1912 nestedClosureData.getLocalVariableForClosureField(field); | 1905 capturedVariables.add(localsHandler.readLocal(field)); |
| 1913 assert(capturedLocal != null); | |
| 1914 capturedVariables.add(localsHandler.readLocal(capturedLocal)); | |
| 1915 }); | 1906 }); |
| 1916 | 1907 |
| 1917 TypeMask type = new TypeMask.nonNullExact(closureClassElement, closedWorld); | 1908 TypeMask type = new TypeMask.nonNullExact(closureClassEntity, closedWorld); |
| 1918 push(new HCreate(closureClassElement, capturedVariables, type, | 1909 push(new HCreate(closureClassEntity, capturedVariables, type, |
| 1919 callMethod: callElement, localFunction: methodElement) | 1910 callMethod: closureInfo.callEntity, localFunction: methodElement) |
| 1920 ..sourceInformation = sourceInformationBuilder.buildCreate(node)); | 1911 ..sourceInformation = sourceInformationBuilder.buildCreate(node)); |
| 1921 } | 1912 } |
| 1922 | 1913 |
| 1923 visitFunctionDeclaration(ast.FunctionDeclaration node) { | 1914 visitFunctionDeclaration(ast.FunctionDeclaration node) { |
| 1924 assert(isReachable); | 1915 assert(isReachable); |
| 1925 visit(node.function); | 1916 visit(node.function); |
| 1926 LocalFunctionElement localFunction = | 1917 LocalFunctionElement localFunction = |
| 1927 elements.getFunctionDefinition(node.function); | 1918 elements.getFunctionDefinition(node.function); |
| 1928 localsHandler.updateLocal(localFunction, pop()); | 1919 localsHandler.updateLocal(localFunction, pop()); |
| 1929 } | 1920 } |
| (...skipping 4944 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 6874 this.oldReturnLocal, | 6865 this.oldReturnLocal, |
| 6875 this.oldReturnType, | 6866 this.oldReturnType, |
| 6876 this.oldResolvedAst, | 6867 this.oldResolvedAst, |
| 6877 this.oldStack, | 6868 this.oldStack, |
| 6878 this.oldLocalsHandler, | 6869 this.oldLocalsHandler, |
| 6879 this.inTryStatement, | 6870 this.inTryStatement, |
| 6880 this.allFunctionsCalledOnce, | 6871 this.allFunctionsCalledOnce, |
| 6881 this.oldElementInferenceResults) | 6872 this.oldElementInferenceResults) |
| 6882 : super(function); | 6873 : super(function); |
| 6883 } | 6874 } |
| OLD | NEW |