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, ParentVisitor; | 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 'remove_refinements.dart' show RemoveRefinements; | 17 export 'remove_refinements.dart' show RemoveRefinements; |
18 export 'share_interceptors.dart' show ShareInterceptors; | 18 export 'share_interceptors.dart' show ShareInterceptors; |
| 19 export 'parent_visitor.dart' show ParentVisitor; |
19 | 20 |
20 /// An optimization pass over the CPS IR. | 21 /// An optimization pass over the CPS IR. |
21 abstract class Pass { | 22 abstract class Pass { |
22 /// Applies optimizations to root, rewriting it in the process. | 23 /// Applies optimizations to root, rewriting it in the process. |
23 void rewrite(FunctionDefinition root); | 24 void rewrite(FunctionDefinition root); |
24 | 25 |
25 String get passName; | 26 String get passName; |
26 } | 27 } |
27 | 28 |
28 // Shared code between optimizations | 29 // Shared code between optimizations |
29 | 30 |
30 /// Returns true if [value] is false, null, 0, -0, NaN, or the empty string. | 31 /// Returns true if [value] is false, null, 0, -0, NaN, or the empty string. |
31 bool isFalsyConstant(ConstantValue value) { | 32 bool isFalsyConstant(ConstantValue value) { |
32 return value.isFalse || | 33 return value.isFalse || |
33 value.isNull || | 34 value.isNull || |
34 value.isZero || | 35 value.isZero || |
35 value.isMinusZero || | 36 value.isMinusZero || |
36 value.isNaN || | 37 value.isNaN || |
37 value is StringConstantValue && value.primitiveValue.isEmpty; | 38 value is StringConstantValue && value.primitiveValue.isEmpty; |
38 } | 39 } |
39 | 40 |
40 /// Returns true if [value] satisfies a branching condition with the | 41 /// Returns true if [value] satisfies a branching condition with the |
41 /// given strictness. | 42 /// given strictness. |
42 /// | 43 /// |
43 /// For non-strict, this is the opposite of [isFalsyConstant]. | 44 /// For non-strict, this is the opposite of [isFalsyConstant]. |
44 bool isTruthyConstant(ConstantValue value, {bool strict: false}) { | 45 bool isTruthyConstant(ConstantValue value, {bool strict: false}) { |
45 return strict ? value.isTrue : !isFalsyConstant(value); | 46 return strict ? value.isTrue : !isFalsyConstant(value); |
46 } | 47 } |
OLD | NEW |