Generative constructors in the new dart backend.

pkg/compiler/lib/src/cps_ir/optimizers.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-library dart2js.optimizers;
+library dart2js.cps_ir.optimizers;
 
 import '../constants/expressions.dart' show
     ConstantExpression,
     PrimitiveConstantExpression;
 import '../constants/values.dart';
 import '../dart_types.dart' as types;
 import '../dart2jslib.dart' as dart2js;
 import '../tree/tree.dart' show LiteralDartString;
 import '../util/util.dart';
 import 'cps_ir_nodes.dart';
 import '../types/types.dart' show TypeMask, TypesTask;
 import '../elements/elements.dart' show ClassElement, Element, Entity,
     FieldElement, FunctionElement, ParameterElement;
 import '../dart2jslib.dart' show ClassWorld, Compiler;
 
 part 'type_propagation.dart';
 part 'redundant_phi.dart';
 part 'shrinking_reductions.dart';
 
 /// An optimization pass over the CPS IR.
 abstract class Pass {
   /// Applies optimizations to root, rewriting it in the process.
   void rewrite(ExecutableDefinition root) => root.applyPass(this);
+
+  void rewriteConstructorDefinition(ConstructorDefinition root);
+  void rewriteFunctionDefinition(FunctionDefinition root);
+  void rewriteFieldDefinition(FieldDefinition root);
+}
+
+abstract class PassMixin implements Pass {
+  void rewrite(ExecutableDefinition root) => root.applyPass(this);
+
+  void rewriteExecutableDefinition(ExecutableDefinition root);
+
   void rewriteFunctionDefinition(FunctionDefinition root) {
-    return root.applyPass(this);
+    if (root.isAbstract) return;
+    rewriteExecutableDefinition(root);
+  }
+
+  void rewriteConstructorDefinition(ConstructorDefinition root) {
+    if (root.isAbstract) return;
+    rewriteExecutableDefinition(root);
   }
   void rewriteFieldDefinition(FieldDefinition root) {
-    return root.applyPass(this);
+    if (!root.hasInitializer) return;
+    rewriteExecutableDefinition(root);
   }
-}
+}