| 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 103 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 114 tracer.traceGraph(title, irObject); | 114 tracer.traceGraph(title, irObject); |
| 115 } | 115 } |
| 116 } | 116 } |
| 117 | 117 |
| 118 void applyCpsPass(cps_opt.Pass pass, cps.FunctionDefinition cpsFunction) { | 118 void applyCpsPass(cps_opt.Pass pass, cps.FunctionDefinition cpsFunction) { |
| 119 cpsOptimizationTask.measureSubtask(pass.passName, () { | 119 cpsOptimizationTask.measureSubtask(pass.passName, () { |
| 120 pass.rewrite(cpsFunction); | 120 pass.rewrite(cpsFunction); |
| 121 }); | 121 }); |
| 122 traceGraph(pass.passName, cpsFunction); | 122 traceGraph(pass.passName, cpsFunction); |
| 123 dumpTypedIr(pass.passName, cpsFunction); | 123 dumpTypedIr(pass.passName, cpsFunction); |
| 124 assert(checkCpsIntegrity(cpsFunction)); | 124 assert(checkCpsIntegrity(cpsFunction, pass.passName)); |
| 125 } | 125 } |
| 126 | 126 |
| 127 cps.FunctionDefinition compileToCpsIr(AstElement element) { | 127 cps.FunctionDefinition compileToCpsIr(AstElement element) { |
| 128 cps.FunctionDefinition cpsFunction = cpsBuilderTask.buildNode(element); | 128 cps.FunctionDefinition cpsFunction = cpsBuilderTask.buildNode(element); |
| 129 if (cpsFunction == null) { | 129 if (cpsFunction == null) { |
| 130 if (cpsBuilderTask.bailoutMessage == null) { | 130 if (cpsBuilderTask.bailoutMessage == null) { |
| 131 giveUp('unable to build cps definition of $element'); | 131 giveUp('unable to build cps definition of $element'); |
| 132 } else { | 132 } else { |
| 133 giveUp(cpsBuilderTask.bailoutMessage); | 133 giveUp(cpsBuilderTask.bailoutMessage); |
| 134 } | 134 } |
| 135 } | 135 } |
| 136 ParentVisitor.setParents(cpsFunction); |
| 136 traceGraph('IR Builder', cpsFunction); | 137 traceGraph('IR Builder', cpsFunction); |
| 137 dumpTypedIr('IR Builder', cpsFunction); | 138 dumpTypedIr('IR Builder', cpsFunction); |
| 138 // Eliminating redundant phis before the unsugaring pass will make it | 139 // Eliminating redundant phis before the unsugaring pass will make it |
| 139 // insert fewer getInterceptor calls. | 140 // insert fewer getInterceptor calls. |
| 140 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); | 141 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); |
| 141 applyCpsPass(new UnsugarVisitor(glue), cpsFunction); | 142 applyCpsPass(new UnsugarVisitor(glue), cpsFunction); |
| 142 return cpsFunction; | 143 return cpsFunction; |
| 143 } | 144 } |
| 144 | 145 |
| 145 static const Pattern PRINT_TYPED_IR_FILTER = null; | 146 static const Pattern PRINT_TYPED_IR_FILTER = null; |
| (...skipping 23 matching lines...) Expand all Loading... |
| 169 return node is cps.Variable && node.type != null | 170 return node is cps.Variable && node.type != null |
| 170 ? '$s:${formatTypeMask(node.type)}' | 171 ? '$s:${formatTypeMask(node.type)}' |
| 171 : s; | 172 : s; |
| 172 } | 173 } |
| 173 DEBUG_MODE = true; | 174 DEBUG_MODE = true; |
| 174 print(';;; ==== After $passName ===='); | 175 print(';;; ==== After $passName ===='); |
| 175 print(new SExpressionStringifier(printType).visit(cpsFunction)); | 176 print(new SExpressionStringifier(printType).visit(cpsFunction)); |
| 176 } | 177 } |
| 177 } | 178 } |
| 178 | 179 |
| 179 static bool checkCpsIntegrity(cps.FunctionDefinition node) { | 180 static bool checkCpsIntegrity(cps.FunctionDefinition node, String pass) { |
| 180 new CheckCpsIntegrity().check(node); | 181 new CheckCpsIntegrity().check(node, pass); |
| 181 return true; // So this can be used from assert(). | 182 return true; // So this can be used from assert(). |
| 182 } | 183 } |
| 183 | 184 |
| 184 cps.FunctionDefinition optimizeCpsIr(cps.FunctionDefinition cpsFunction) { | 185 cps.FunctionDefinition optimizeCpsIr(cps.FunctionDefinition cpsFunction) { |
| 185 TypeMaskSystem typeSystem = new TypeMaskSystem(compiler); | 186 TypeMaskSystem typeSystem = new TypeMaskSystem(compiler); |
| 186 | 187 |
| 187 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); | 188 applyCpsPass(new RedundantJoinEliminator(), cpsFunction); |
| 188 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); | 189 applyCpsPass(new RedundantPhiEliminator(), cpsFunction); |
| 189 applyCpsPass(new InsertRefinements(typeSystem), cpsFunction); | 190 applyCpsPass(new InsertRefinements(typeSystem), cpsFunction); |
| 190 applyCpsPass(new TypePropagator(compiler, typeSystem, this), cpsFunction); | 191 applyCpsPass(new TypePropagator(compiler, typeSystem, this), cpsFunction); |
| (...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 255 treeOptimizationTask] | 256 treeOptimizationTask] |
| 256 ..addAll(fallbackCompiler.tasks); | 257 ..addAll(fallbackCompiler.tasks); |
| 257 } | 258 } |
| 258 | 259 |
| 259 js.Node attachPosition(js.Node node, AstElement element) { | 260 js.Node attachPosition(js.Node node, AstElement element) { |
| 260 return node.withSourceInformation( | 261 return node.withSourceInformation( |
| 261 sourceInformationFactory.createBuilderForContext(element) | 262 sourceInformationFactory.createBuilderForContext(element) |
| 262 .buildDeclaration(element)); | 263 .buildDeclaration(element)); |
| 263 } | 264 } |
| 264 } | 265 } |
| OLD | NEW |