| 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 100 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 111 | 111 |
| 112 cps.FunctionDefinition cpsNode = irBuilderTask.buildNode(element); | 112 cps.FunctionDefinition cpsNode = irBuilderTask.buildNode(element); |
| 113 if (cpsNode == null) { | 113 if (cpsNode == null) { |
| 114 if (irBuilderTask.bailoutMessage == null) { | 114 if (irBuilderTask.bailoutMessage == null) { |
| 115 giveUp('unable to build cps definition of $element'); | 115 giveUp('unable to build cps definition of $element'); |
| 116 } else { | 116 } else { |
| 117 giveUp(irBuilderTask.bailoutMessage); | 117 giveUp(irBuilderTask.bailoutMessage); |
| 118 } | 118 } |
| 119 } | 119 } |
| 120 traceGraph("IR Builder", cpsNode); | 120 traceGraph("IR Builder", cpsNode); |
| 121 // Eliminating redundant phis before the unsugaring pass will make it |
| 122 // insert fewer getInterceptor calls. |
| 123 new RedundantPhiEliminator().rewrite(cpsNode); |
| 124 traceGraph("Redundant phi elimination", cpsNode); |
| 121 new UnsugarVisitor(glue).rewrite(cpsNode); | 125 new UnsugarVisitor(glue).rewrite(cpsNode); |
| 122 traceGraph("Unsugaring", cpsNode); | 126 traceGraph("Unsugaring", cpsNode); |
| 123 return cpsNode; | 127 return cpsNode; |
| 124 } | 128 } |
| 125 | 129 |
| 126 static const Pattern PRINT_TYPED_IR_FILTER = null; | 130 static const Pattern PRINT_TYPED_IR_FILTER = null; |
| 127 | 131 |
| 128 String formatTypeMask(TypeMask type) { | 132 String formatTypeMask(TypeMask type) { |
| 129 if (type is UnionTypeMask) { | 133 if (type is UnionTypeMask) { |
| 130 return '[${type.disjointMasks.map(formatTypeMask).join(', ')}]'; | 134 return '[${type.disjointMasks.map(formatTypeMask).join(', ')}]'; |
| (...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 162 } | 166 } |
| 163 | 167 |
| 164 cps.FunctionDefinition optimizeCpsIR(cps.FunctionDefinition cpsNode) { | 168 cps.FunctionDefinition optimizeCpsIR(cps.FunctionDefinition cpsNode) { |
| 165 // Transformations on the CPS IR. | 169 // Transformations on the CPS IR. |
| 166 void applyCpsPass(cps_opt.Pass pass) { | 170 void applyCpsPass(cps_opt.Pass pass) { |
| 167 pass.rewrite(cpsNode); | 171 pass.rewrite(cpsNode); |
| 168 traceGraph(pass.passName, cpsNode); | 172 traceGraph(pass.passName, cpsNode); |
| 169 assert(checkCpsIntegrity(cpsNode)); | 173 assert(checkCpsIntegrity(cpsNode)); |
| 170 } | 174 } |
| 171 | 175 |
| 172 applyCpsPass(new RedundantPhiEliminator()); | |
| 173 TypePropagator typePropagator = new TypePropagator(compiler); | 176 TypePropagator typePropagator = new TypePropagator(compiler); |
| 174 applyCpsPass(typePropagator); | 177 applyCpsPass(typePropagator); |
| 175 dumpTypedIR(cpsNode, typePropagator); | 178 dumpTypedIR(cpsNode, typePropagator); |
| 176 applyCpsPass(new ShrinkingReducer()); | 179 applyCpsPass(new ShrinkingReducer()); |
| 177 applyCpsPass(new MutableVariableEliminator()); | 180 applyCpsPass(new MutableVariableEliminator()); |
| 178 applyCpsPass(new RedundantJoinEliminator()); | 181 applyCpsPass(new RedundantJoinEliminator()); |
| 179 applyCpsPass(new RedundantPhiEliminator()); | 182 applyCpsPass(new RedundantPhiEliminator()); |
| 180 applyCpsPass(new ShrinkingReducer()); | 183 applyCpsPass(new ShrinkingReducer()); |
| 184 applyCpsPass(new LetSinker()); |
| 181 | 185 |
| 182 return cpsNode; | 186 return cpsNode; |
| 183 } | 187 } |
| 184 | 188 |
| 185 tree_ir.FunctionDefinition compileToTreeIR(cps.FunctionDefinition cpsNode) { | 189 tree_ir.FunctionDefinition compileToTreeIR(cps.FunctionDefinition cpsNode) { |
| 186 tree_builder.Builder builder = new tree_builder.Builder( | 190 tree_builder.Builder builder = new tree_builder.Builder( |
| 187 compiler.internalError); | 191 compiler.internalError); |
| 188 tree_ir.FunctionDefinition treeNode = builder.buildFunction(cpsNode); | 192 tree_ir.FunctionDefinition treeNode = builder.buildFunction(cpsNode); |
| 189 assert(treeNode != null); | 193 assert(treeNode != null); |
| 190 traceGraph('Tree builder', treeNode); | 194 traceGraph('Tree builder', treeNode); |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 223 // TODO(sigurdm): Make a better list of tasks. | 227 // TODO(sigurdm): Make a better list of tasks. |
| 224 return <CompilerTask>[irBuilderTask]..addAll(fallbackCompiler.tasks); | 228 return <CompilerTask>[irBuilderTask]..addAll(fallbackCompiler.tasks); |
| 225 } | 229 } |
| 226 | 230 |
| 227 js.Node attachPosition(js.Node node, AstElement element) { | 231 js.Node attachPosition(js.Node node, AstElement element) { |
| 228 return node.withSourceInformation( | 232 return node.withSourceInformation( |
| 229 sourceInformationFactory.createBuilderForContext(element) | 233 sourceInformationFactory.createBuilderForContext(element) |
| 230 .buildDeclaration(element)); | 234 .buildDeclaration(element)); |
| 231 } | 235 } |
| 232 } | 236 } |
| OLD | NEW |