| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | |
| 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. | |
| 4 | |
| 5 part of js_backend; | |
| 6 | |
| 7 /// [ConstantCompilerTask] for compilation of constants for the JavaScript | |
| 8 /// backend. | |
| 9 /// | |
| 10 /// Since this task needs to distinguish between frontend and backend constants | |
| 11 /// the actual compilation of the constants is forwarded to a | |
| 12 /// [DartConstantCompiler] for the frontend interpretation of the constants and | |
| 13 /// to a [JavaScriptConstantCompiler] for the backend interpretation. | |
| 14 class JavaScriptConstantTask extends ConstantCompilerTask { | |
| 15 DartConstantCompiler dartConstantCompiler; | |
| 16 JavaScriptConstantCompiler jsConstantCompiler; | |
| 17 | |
| 18 JavaScriptConstantTask(Compiler compiler) | |
| 19 : this.dartConstantCompiler = new DartConstantCompiler(compiler), | |
| 20 this.jsConstantCompiler = | |
| 21 new JavaScriptConstantCompiler(compiler), | |
| 22 super(compiler); | |
| 23 | |
| 24 String get name => 'ConstantHandler'; | |
| 25 | |
| 26 ConstantExpression getConstantForVariable(VariableElement element) { | |
| 27 return dartConstantCompiler.getConstantForVariable(element); | |
| 28 } | |
| 29 | |
| 30 ConstantExpression compileConstant(VariableElement element) { | |
| 31 return measure(() { | |
| 32 ConstantExpression result = dartConstantCompiler.compileConstant(element); | |
| 33 jsConstantCompiler.compileConstant(element); | |
| 34 return result; | |
| 35 }); | |
| 36 } | |
| 37 | |
| 38 void compileVariable(VariableElement element) { | |
| 39 measure(() { | |
| 40 jsConstantCompiler.compileVariable(element); | |
| 41 }); | |
| 42 } | |
| 43 | |
| 44 ConstantExpression compileNode(Node node, TreeElements elements) { | |
| 45 return measure(() { | |
| 46 ConstantExpression result = | |
| 47 dartConstantCompiler.compileNode(node, elements); | |
| 48 jsConstantCompiler.compileNode(node, elements); | |
| 49 return result; | |
| 50 }); | |
| 51 } | |
| 52 | |
| 53 ConstantExpression compileMetadata(MetadataAnnotation metadata, | |
| 54 Node node, | |
| 55 TreeElements elements) { | |
| 56 return measure(() { | |
| 57 ConstantExpression constant = | |
| 58 dartConstantCompiler.compileMetadata(metadata, node, elements); | |
| 59 jsConstantCompiler.compileMetadata(metadata, node, elements); | |
| 60 return constant; | |
| 61 }); | |
| 62 } | |
| 63 } | |
| 64 | |
| 65 /** | |
| 66 * The [JavaScriptConstantCompiler] is used to keep track of compile-time | |
| 67 * constants, initializations of global and static fields, and default values of | |
| 68 * optional parameters for the JavaScript interpretation of constants. | |
| 69 */ | |
| 70 class JavaScriptConstantCompiler extends ConstantCompilerBase | |
| 71 implements BackendConstantEnvironment { | |
| 72 | |
| 73 /** Set of all registered compiled constants. */ | |
| 74 final Set<ConstantValue> compiledConstants = new Set<ConstantValue>(); | |
| 75 | |
| 76 // TODO(johnniwinther): Move this to the backend constant handler. | |
| 77 /** Caches the statics where the initial value cannot be eagerly compiled. */ | |
| 78 final Set<VariableElement> lazyStatics = new Set<VariableElement>(); | |
| 79 | |
| 80 // Constants computed for constant expressions. | |
| 81 final Map<Node, ConstantExpression> nodeConstantMap = | |
| 82 new Map<Node, ConstantExpression>(); | |
| 83 | |
| 84 // Constants computed for metadata. | |
| 85 final Map<MetadataAnnotation, ConstantExpression> metadataConstantMap = | |
| 86 new Map<MetadataAnnotation, ConstantExpression>(); | |
| 87 | |
| 88 JavaScriptConstantCompiler(Compiler compiler) | |
| 89 : super(compiler, JAVA_SCRIPT_CONSTANT_SYSTEM); | |
| 90 | |
| 91 ConstantExpression compileVariableWithDefinitions(VariableElement element, | |
| 92 TreeElements definitions, | |
| 93 {bool isConst: false}) { | |
| 94 if (!isConst && lazyStatics.contains(element)) { | |
| 95 return null; | |
| 96 } | |
| 97 ConstantExpression value = super.compileVariableWithDefinitions( | |
| 98 element, definitions, isConst: isConst); | |
| 99 if (!isConst && value == null) { | |
| 100 lazyStatics.add(element); | |
| 101 } | |
| 102 return value; | |
| 103 } | |
| 104 | |
| 105 void addCompileTimeConstantForEmission(ConstantValue constant) { | |
| 106 compiledConstants.add(constant); | |
| 107 } | |
| 108 | |
| 109 /** | |
| 110 * Returns an [Iterable] of static non final fields that need to be | |
| 111 * initialized. The fields list must be evaluated in order since they might | |
| 112 * depend on each other. | |
| 113 */ | |
| 114 Iterable<VariableElement> getStaticNonFinalFieldsForEmission() { | |
| 115 return initialVariableValues.keys.where((element) { | |
| 116 return element.kind == ElementKind.FIELD && | |
| 117 !element.isInstanceMember && | |
| 118 !element.modifiers.isFinal && | |
| 119 // The const fields are all either emitted elsewhere or inlined. | |
| 120 !element.modifiers.isConst; | |
| 121 }); | |
| 122 } | |
| 123 | |
| 124 List<VariableElement> getLazilyInitializedFieldsForEmission() { | |
| 125 return new List<VariableElement>.from(lazyStatics); | |
| 126 } | |
| 127 | |
| 128 /** | |
| 129 * Returns a list of constants topologically sorted so that dependencies | |
| 130 * appear before the dependent constant. [preSortCompare] is a comparator | |
| 131 * function that gives the constants a consistent order prior to the | |
| 132 * topological sort which gives the constants an ordering that is less | |
| 133 * sensitive to perturbations in the source code. | |
| 134 */ | |
| 135 List<ConstantValue> getConstantsForEmission([preSortCompare]) { | |
| 136 // We must emit dependencies before their uses. | |
| 137 Set<ConstantValue> seenConstants = new Set<ConstantValue>(); | |
| 138 List<ConstantValue> result = new List<ConstantValue>(); | |
| 139 | |
| 140 void addConstant(ConstantValue constant) { | |
| 141 if (!seenConstants.contains(constant)) { | |
| 142 constant.getDependencies().forEach(addConstant); | |
| 143 assert(!seenConstants.contains(constant)); | |
| 144 result.add(constant); | |
| 145 seenConstants.add(constant); | |
| 146 } | |
| 147 } | |
| 148 | |
| 149 List<ConstantValue> sorted = compiledConstants.toList(); | |
| 150 if (preSortCompare != null) { | |
| 151 sorted.sort(preSortCompare); | |
| 152 } | |
| 153 sorted.forEach(addConstant); | |
| 154 return result; | |
| 155 } | |
| 156 | |
| 157 ConstantExpression getInitialValueFor(VariableElement element) { | |
| 158 ConstantExpression initialValue = | |
| 159 initialVariableValues[element.declaration]; | |
| 160 if (initialValue == null) { | |
| 161 compiler.internalError(element, "No initial value for given element."); | |
| 162 } | |
| 163 return initialValue; | |
| 164 } | |
| 165 | |
| 166 ConstantExpression compileNode(Node node, TreeElements elements) { | |
| 167 return compileNodeWithDefinitions(node, elements); | |
| 168 } | |
| 169 | |
| 170 ConstantExpression compileNodeWithDefinitions(Node node, | |
| 171 TreeElements definitions, | |
| 172 {bool isConst: true}) { | |
| 173 ConstantExpression constant = nodeConstantMap[node]; | |
| 174 if (constant != null) { | |
| 175 return constant; | |
| 176 } | |
| 177 constant = | |
| 178 super.compileNodeWithDefinitions(node, definitions, isConst: isConst); | |
| 179 if (constant != null) { | |
| 180 nodeConstantMap[node] = constant; | |
| 181 } | |
| 182 return constant; | |
| 183 } | |
| 184 | |
| 185 ConstantExpression getConstantForNode(Node node, TreeElements definitions) { | |
| 186 ConstantExpression constant = nodeConstantMap[node]; | |
| 187 if (constant != null) { | |
| 188 return constant; | |
| 189 } | |
| 190 return definitions.getConstant(node); | |
| 191 } | |
| 192 | |
| 193 ConstantExpression getConstantForMetadata(MetadataAnnotation metadata) { | |
| 194 return metadataConstantMap[metadata]; | |
| 195 } | |
| 196 | |
| 197 ConstantExpression compileMetadata(MetadataAnnotation metadata, | |
| 198 Node node, | |
| 199 TreeElements elements) { | |
| 200 ConstantExpression constant = | |
| 201 super.compileMetadata(metadata, node, elements); | |
| 202 metadataConstantMap[metadata] = constant; | |
| 203 return constant; | |
| 204 } | |
| 205 | |
| 206 ConstantExpression createTypeConstant(TypeDeclarationElement element) { | |
| 207 DartType elementType = element.rawType; | |
| 208 DartType constantType = | |
| 209 compiler.backend.typeImplementation.computeType(compiler); | |
| 210 return new TypeConstantExpression( | |
| 211 new TypeConstantValue(elementType, constantType), elementType); | |
| 212 } | |
| 213 | |
| 214 void forgetElement(Element element) { | |
| 215 super.forgetElement(element); | |
| 216 element.accept(new ForgetConstantElementVisitor(this)); | |
| 217 if (element is AstElement && element.hasNode) { | |
| 218 element.node.accept(new ForgetConstantNodeVisitor(this)); | |
| 219 } | |
| 220 } | |
| 221 } | |
| 222 | |
| 223 class ForgetConstantElementVisitor extends ElementVisitor { | |
| 224 final JavaScriptConstantCompiler constants; | |
| 225 | |
| 226 ForgetConstantElementVisitor(this.constants); | |
| 227 | |
| 228 void visitElement(Element e) { | |
| 229 for (MetadataAnnotation data in e.metadata) { | |
| 230 constants.metadataConstantMap.remove(data); | |
| 231 if (data.hasNode) { | |
| 232 data.node.accept(new ForgetConstantNodeVisitor(constants)); | |
| 233 } | |
| 234 } | |
| 235 } | |
| 236 | |
| 237 void visitFunctionElement(FunctionElement e) { | |
| 238 super.visitFunctionElement(e); | |
| 239 if (e.hasFunctionSignature) { | |
| 240 e.functionSignature.forEachParameter(this.visit); | |
| 241 } | |
| 242 } | |
| 243 } | |
| 244 | |
| 245 class ForgetConstantNodeVisitor extends Visitor { | |
| 246 final JavaScriptConstantCompiler constants; | |
| 247 | |
| 248 ForgetConstantNodeVisitor(this.constants); | |
| 249 | |
| 250 void visitNode(Node node) { | |
| 251 node.visitChildren(this); | |
| 252 constants.nodeConstantMap.remove(node); | |
| 253 | |
| 254 // TODO(ahe): This doesn't belong here. Rename this class and generalize. | |
| 255 var closureClassMap = | |
| 256 constants.compiler.closureToClassMapper.closureMappingCache | |
| 257 .remove(node); | |
| 258 if (closureClassMap != null) { | |
| 259 closureClassMap.removeMyselfFrom( | |
| 260 constants.compiler.enqueuer.codegen.universe); | |
| 261 } | |
| 262 } | |
| 263 } | |
| OLD | NEW |