| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 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 | 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 /// Generate code using the cps-based IR pipeline. | 5 /// Generate code using the cps-based IR pipeline. |
| 6 library code_generator_task; | 6 library code_generator_task; |
| 7 | 7 |
| 8 import 'glue.dart'; | 8 import 'glue.dart'; |
| 9 import 'codegen.dart'; | 9 import 'codegen.dart'; |
| 10 import 'unsugar.dart'; | 10 import 'unsugar.dart'; |
| (...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 59 final FunctionCompiler fallbackCompiler; | 59 final FunctionCompiler fallbackCompiler; |
| 60 TypeMaskSystem typeSystem; | 60 TypeMaskSystem typeSystem; |
| 61 | 61 |
| 62 Tracer get tracer => compiler.tracer; | 62 Tracer get tracer => compiler.tracer; |
| 63 | 63 |
| 64 final IrBuilderTask cpsBuilderTask; | 64 final IrBuilderTask cpsBuilderTask; |
| 65 final GenericTask cpsOptimizationTask; | 65 final GenericTask cpsOptimizationTask; |
| 66 final GenericTask treeBuilderTask; | 66 final GenericTask treeBuilderTask; |
| 67 final GenericTask treeOptimizationTask; | 67 final GenericTask treeOptimizationTask; |
| 68 | 68 |
| 69 Inliner inliner; | |
| 70 | |
| 71 CpsFunctionCompiler(Compiler compiler, JavaScriptBackend backend, | 69 CpsFunctionCompiler(Compiler compiler, JavaScriptBackend backend, |
| 72 SourceInformationStrategy sourceInformationFactory) | 70 SourceInformationStrategy sourceInformationFactory) |
| 73 : fallbackCompiler = | 71 : fallbackCompiler = |
| 74 new ssa.SsaFunctionCompiler(backend, sourceInformationFactory), | 72 new ssa.SsaFunctionCompiler(backend, sourceInformationFactory), |
| 75 cpsBuilderTask = new IrBuilderTask(compiler, sourceInformationFactory), | 73 cpsBuilderTask = new IrBuilderTask(compiler, sourceInformationFactory), |
| 76 sourceInformationFactory = sourceInformationFactory, | 74 this.sourceInformationFactory = sourceInformationFactory, |
| 77 constantSystem = backend.constantSystem, | 75 constantSystem = backend.constantSystem, |
| 78 compiler = compiler, | 76 compiler = compiler, |
| 79 glue = new Glue(compiler), | 77 glue = new Glue(compiler), |
| 80 cpsOptimizationTask = new GenericTask('CPS optimization', compiler), | 78 cpsOptimizationTask = new GenericTask('CPS optimization', compiler), |
| 81 treeBuilderTask = new GenericTask('Tree builder', compiler), | 79 treeBuilderTask = new GenericTask('Tree builder', compiler), |
| 82 treeOptimizationTask = new GenericTask('Tree optimization', compiler) { | 80 treeOptimizationTask = new GenericTask('Tree optimization', compiler); |
| 83 inliner = new Inliner(this); | |
| 84 } | |
| 85 | 81 |
| 86 String get name => 'CPS Ir pipeline'; | 82 String get name => 'CPS Ir pipeline'; |
| 87 | 83 |
| 88 JavaScriptBackend get backend => compiler.backend; | 84 JavaScriptBackend get backend => compiler.backend; |
| 89 | 85 |
| 90 DiagnosticReporter get reporter => compiler.reporter; | 86 DiagnosticReporter get reporter => compiler.reporter; |
| 91 | 87 |
| 92 /// Generates JavaScript code for `work.element`. | 88 /// Generates JavaScript code for `work.element`. |
| 93 js.Fun compile(CodegenWorkItem work) { | 89 js.Fun compile(CodegenWorkItem work) { |
| 94 if (typeSystem == null) typeSystem = new TypeMaskSystem(compiler); | |
| 95 AstElement element = work.element; | 90 AstElement element = work.element; |
| 96 return reporter.withCurrentElement(element, () { | 91 return reporter.withCurrentElement(element, () { |
| 92 typeSystem = new TypeMaskSystem(compiler); |
| 97 try { | 93 try { |
| 98 // TODO(karlklose): remove this fallback when we do not need it for | 94 // TODO(karlklose): remove this fallback when we do not need it for |
| 99 // testing anymore. | 95 // testing anymore. |
| 100 if (false) { | 96 if (false) { |
| 101 reporter.log('Using SSA compiler for platform element $element'); | 97 reporter.log('Using SSA compiler for platform element $element'); |
| 102 return fallbackCompiler.compile(work); | 98 return fallbackCompiler.compile(work); |
| 103 } | 99 } |
| 104 | 100 |
| 105 if (tracer != null) { | 101 if (tracer != null) { |
| 106 tracer.traceCompilation(element.name, null); | 102 tracer.traceCompilation(element.name, null); |
| 107 } | 103 } |
| 108 cps.FunctionDefinition cpsFunction = compileToCpsIr(element); | 104 cps.FunctionDefinition cpsFunction = compileToCpsIr(element); |
| 109 optimizeCpsBeforeInlining(cpsFunction); | 105 cpsFunction = optimizeCpsIr(cpsFunction); |
| 110 applyCpsPass(inliner, cpsFunction); | |
| 111 optimizeCpsAfterInlining(cpsFunction); | |
| 112 cpsIntegrityChecker = null; | 106 cpsIntegrityChecker = null; |
| 113 tree_ir.FunctionDefinition treeFunction = compileToTreeIr(cpsFunction); | 107 tree_ir.FunctionDefinition treeFunction = compileToTreeIr(cpsFunction); |
| 114 treeFunction = optimizeTreeIr(treeFunction); | 108 treeFunction = optimizeTreeIr(treeFunction); |
| 115 return compileToJavaScript(work, treeFunction); | 109 return compileToJavaScript(work, treeFunction); |
| 116 } on CodegenBailout catch (e) { | 110 } on CodegenBailout catch (e) { |
| 117 String message = "Unable to compile $element with the new compiler.\n" | 111 String message = "Unable to compile $element with the new compiler.\n" |
| 118 " Reason: ${e.message}"; | 112 " Reason: ${e.message}"; |
| 119 reporter.internalError(element, message); | 113 reporter.internalError(element, message); |
| 120 } | 114 } |
| 121 }); | 115 }); |
| (...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 199 bool checkCpsIntegrity(cps.FunctionDefinition node, String previousPass) { | 193 bool checkCpsIntegrity(cps.FunctionDefinition node, String previousPass) { |
| 200 cpsOptimizationTask.measureSubtask('Check integrity', () { | 194 cpsOptimizationTask.measureSubtask('Check integrity', () { |
| 201 if (cpsIntegrityChecker == null) { | 195 if (cpsIntegrityChecker == null) { |
| 202 cpsIntegrityChecker = new CheckCpsIntegrity(); | 196 cpsIntegrityChecker = new CheckCpsIntegrity(); |
| 203 } | 197 } |
| 204 cpsIntegrityChecker.check(node, previousPass); | 198 cpsIntegrityChecker.check(node, previousPass); |
| 205 }); | 199 }); |
| 206 return true; // So this can be used from assert(). | 200 return true; // So this can be used from assert(). |
| 207 } | 201 } |
| 208 | 202 |
| 209 void optimizeCpsBeforeInlining(cps.FunctionDefinition cpsFunction) { | 203 cps.FunctionDefinition optimizeCpsIr(cps.FunctionDefinition cpsFunction) { |
| 210 cpsOptimizationTask.measure(() { | 204 cpsOptimizationTask.measure(() { |
| 211 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); | 205 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); |
| 212 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); | 206 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); |
| 213 applyCpsPass(new InsertRefinements(typeSystem), cpsFunction); | 207 applyCpsPass(new InsertRefinements(typeSystem), cpsFunction); |
| 214 applyCpsPass(new TypePropagator(this), cpsFunction); | 208 applyCpsPass(new TypePropagator(compiler, typeSystem, this), cpsFunction); |
| 215 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); | 209 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); |
| 216 applyCpsPass(new ShrinkingReducer(), cpsFunction); | 210 applyCpsPass(new ShrinkingReducer(), cpsFunction); |
| 217 }); | |
| 218 } | |
| 219 | |
| 220 void optimizeCpsAfterInlining(cps.FunctionDefinition cpsFunction) { | |
| 221 cpsOptimizationTask.measure(() { | |
| 222 applyCpsPass(new RedundantRefinementEliminator(typeSystem), cpsFunction); | 211 applyCpsPass(new RedundantRefinementEliminator(typeSystem), cpsFunction); |
| 223 applyCpsPass(new EagerlyLoadStatics(), cpsFunction); | 212 applyCpsPass(new EagerlyLoadStatics(), cpsFunction); |
| 224 applyCpsPass(new GVN(compiler, typeSystem), cpsFunction); | 213 applyCpsPass(new GVN(compiler, typeSystem), cpsFunction); |
| 225 applyCpsPass(new UpdateRefinements(typeSystem), cpsFunction); | 214 applyCpsPass(new UpdateRefinements(typeSystem), cpsFunction); |
| 226 applyCpsPass(new BoundsChecker(typeSystem, compiler.world), cpsFunction); | 215 applyCpsPass(new BoundsChecker(typeSystem, compiler.world), cpsFunction); |
| 227 applyCpsPass(new ShrinkingReducer(), cpsFunction); | 216 applyCpsPass(new ShrinkingReducer(), cpsFunction); |
| 228 applyCpsPass(new ScalarReplacer(compiler), cpsFunction); | 217 applyCpsPass(new ScalarReplacer(compiler), cpsFunction); |
| 229 applyCpsPass(new MutableVariableEliminator(), cpsFunction); | 218 applyCpsPass(new MutableVariableEliminator(), cpsFunction); |
| 230 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); | 219 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); |
| 231 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); | 220 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); |
| 232 applyCpsPass(new ShrinkingReducer(), cpsFunction); | 221 applyCpsPass(new ShrinkingReducer(), cpsFunction); |
| 233 applyCpsPass(new OptimizeInterceptors(backend), cpsFunction); | 222 applyCpsPass(new OptimizeInterceptors(backend), cpsFunction); |
| 234 applyCpsPass(new BackwardNullCheckRemover(typeSystem), cpsFunction); | 223 applyCpsPass(new BackwardNullCheckRemover(typeSystem), cpsFunction); |
| 235 applyCpsPass(new ShrinkingReducer(), cpsFunction); | 224 applyCpsPass(new ShrinkingReducer(), cpsFunction); |
| 236 }); | 225 }); |
| 226 return cpsFunction; |
| 237 } | 227 } |
| 238 | 228 |
| 239 tree_ir.FunctionDefinition compileToTreeIr(cps.FunctionDefinition cpsNode) { | 229 tree_ir.FunctionDefinition compileToTreeIr(cps.FunctionDefinition cpsNode) { |
| 240 applyCpsPass(new Finalize(backend), cpsNode); | 230 applyCpsPass(new Finalize(backend), cpsNode); |
| 241 tree_builder.Builder builder = new tree_builder.Builder( | 231 tree_builder.Builder builder = new tree_builder.Builder( |
| 242 reporter.internalError); | 232 reporter.internalError); |
| 243 tree_ir.FunctionDefinition treeNode = | 233 tree_ir.FunctionDefinition treeNode = |
| 244 treeBuilderTask.measure(() => builder.buildFunction(cpsNode)); | 234 treeBuilderTask.measure(() => builder.buildFunction(cpsNode)); |
| 245 assert(treeNode != null); | 235 assert(treeNode != null); |
| 246 traceGraph('Tree builder', treeNode); | 236 traceGraph('Tree builder', treeNode); |
| (...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 295 treeOptimizationTask] | 285 treeOptimizationTask] |
| 296 ..addAll(fallbackCompiler.tasks); | 286 ..addAll(fallbackCompiler.tasks); |
| 297 } | 287 } |
| 298 | 288 |
| 299 js.Node attachPosition(js.Node node, AstElement element) { | 289 js.Node attachPosition(js.Node node, AstElement element) { |
| 300 return node.withSourceInformation( | 290 return node.withSourceInformation( |
| 301 sourceInformationFactory.createBuilderForContext(element) | 291 sourceInformationFactory.createBuilderForContext(element) |
| 302 .buildDeclaration(element)); | 292 .buildDeclaration(element)); |
| 303 } | 293 } |
| 304 } | 294 } |
| OLD | NEW |