| 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 library dart2js.cps_ir.optimizers; | 5 library dart2js.cps_ir.optimizers; |
| 6 | 6 |
| 7 import 'cps_ir_nodes.dart'; | 7 import 'cps_ir_nodes.dart'; |
| 8 import '../constants/values.dart'; | 8 import '../constants/values.dart'; |
| 9 | 9 |
| 10 export 'type_propagation.dart' show TypePropagator; | 10 export 'type_propagation.dart' show TypePropagator; |
| 11 export 'scalar_replacement.dart' show ScalarReplacer; | 11 export 'scalar_replacement.dart' show ScalarReplacer; |
| 12 export 'redundant_phi.dart' show RedundantPhiEliminator; | 12 export 'redundant_phi.dart' show RedundantPhiEliminator; |
| 13 export 'redundant_join.dart' show RedundantJoinEliminator; | 13 export 'redundant_join.dart' show RedundantJoinEliminator; |
| 14 export 'shrinking_reductions.dart' show ShrinkingReducer; | 14 export 'shrinking_reductions.dart' show ShrinkingReducer; |
| 15 export 'mutable_ssa.dart' show MutableVariableEliminator; | 15 export 'mutable_ssa.dart' show MutableVariableEliminator; |
| 16 export 'insert_refinements.dart' show InsertRefinements; | 16 export 'insert_refinements.dart' show InsertRefinements; |
| 17 export 'update_refinements.dart' show UpdateRefinements; | 17 export 'update_refinements.dart' show UpdateRefinements; |
| 18 export 'redundant_refinement.dart' show RedundantRefinementEliminator; | 18 export 'redundant_refinement.dart' show RedundantRefinementEliminator; |
| 19 export 'optimize_interceptors.dart' show OptimizeInterceptors; | 19 export 'optimize_interceptors.dart' show OptimizeInterceptors; |
| 20 export 'bounds_checker.dart' show BoundsChecker; | 20 export 'bounds_checker.dart' show BoundsChecker; |
| 21 export 'gvn.dart' show GVN; | 21 export 'gvn.dart' show GVN; |
| 22 export 'eagerly_load_statics.dart' show EagerlyLoadStatics; |
| 22 export 'parent_visitor.dart' show ParentVisitor; | 23 export 'parent_visitor.dart' show ParentVisitor; |
| 23 | 24 |
| 24 /// An optimization pass over the CPS IR. | 25 /// An optimization pass over the CPS IR. |
| 25 abstract class Pass { | 26 abstract class Pass { |
| 26 /// Applies optimizations to root, rewriting it in the process. | 27 /// Applies optimizations to root, rewriting it in the process. |
| 27 void rewrite(FunctionDefinition root); | 28 void rewrite(FunctionDefinition root); |
| 28 | 29 |
| 29 String get passName; | 30 String get passName; |
| 30 } | 31 } |
| 31 | 32 |
| 32 // Shared code between optimizations | 33 // Shared code between optimizations |
| 33 | 34 |
| 34 /// Returns true if [value] is false, null, 0, -0, NaN, or the empty string. | 35 /// Returns true if [value] is false, null, 0, -0, NaN, or the empty string. |
| 35 bool isFalsyConstant(ConstantValue value) { | 36 bool isFalsyConstant(ConstantValue value) { |
| 36 return value.isFalse || | 37 return value.isFalse || |
| 37 value.isNull || | 38 value.isNull || |
| 38 value.isZero || | 39 value.isZero || |
| 39 value.isMinusZero || | 40 value.isMinusZero || |
| 40 value.isNaN || | 41 value.isNaN || |
| 41 value is StringConstantValue && value.primitiveValue.isEmpty; | 42 value is StringConstantValue && value.primitiveValue.isEmpty; |
| 42 } | 43 } |
| 43 | 44 |
| 44 /// Returns true if [value] satisfies a branching condition with the | 45 /// Returns true if [value] satisfies a branching condition with the |
| 45 /// given strictness. | 46 /// given strictness. |
| 46 /// | 47 /// |
| 47 /// For non-strict, this is the opposite of [isFalsyConstant]. | 48 /// For non-strict, this is the opposite of [isFalsyConstant]. |
| 48 bool isTruthyConstant(ConstantValue value, {bool strict: false}) { | 49 bool isTruthyConstant(ConstantValue value, {bool strict: false}) { |
| 49 return strict ? value.isTrue : !isFalsyConstant(value); | 50 return strict ? value.isTrue : !isFalsyConstant(value); |
| 50 } | 51 } |
| OLD | NEW |