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 import 'sexpr_unstringifier.dart'; | 5 import 'sexpr_unstringifier.dart'; |
6 import "package:expect/expect.dart"; | 6 import "package:expect/expect.dart"; |
7 import 'package:compiler/implementation/cps_ir/cps_ir_nodes.dart'; | 7 import 'package:compiler/src/cps_ir/cps_ir_nodes.dart'; |
8 import 'package:compiler/implementation/cps_ir/cps_ir_nodes_sexpr.dart'; | 8 import 'package:compiler/src/cps_ir/cps_ir_nodes_sexpr.dart'; |
9 import 'package:compiler/implementation/cps_ir/optimizers.dart'; | 9 import 'package:compiler/src/cps_ir/optimizers.dart'; |
10 | 10 |
11 // The tests in this file that ensure shrinking reductions work as expected. | 11 // The tests in this file that ensure shrinking reductions work as expected. |
12 // Reductions and their corresponding names are taken from | 12 // Reductions and their corresponding names are taken from |
13 // 'Compiling with Continuations, Continued' by Andrew Kennedy. | 13 // 'Compiling with Continuations, Continued' by Andrew Kennedy. |
14 | 14 |
15 // Basic dead-val: letprim x = V in K -> K (x not free in K). | 15 // Basic dead-val: letprim x = V in K -> K (x not free in K). |
16 // | 16 // |
17 // int main() { | 17 // int main() { |
18 // int i = 42; | 18 // int i = 42; |
19 // return 0; | 19 // return 0; |
(...skipping 208 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
228 testShrinkingReducer(ITERATIVE_DEAD_VAL1_IN, ITERATIVE_DEAD_VAL1_OUT); | 228 testShrinkingReducer(ITERATIVE_DEAD_VAL1_IN, ITERATIVE_DEAD_VAL1_OUT); |
229 testShrinkingReducer(ITERATIVE_DEAD_VAL2_IN, ITERATIVE_DEAD_VAL2_OUT); | 229 testShrinkingReducer(ITERATIVE_DEAD_VAL2_IN, ITERATIVE_DEAD_VAL2_OUT); |
230 testShrinkingReducer(DEAD_CONT_IN, DEAD_CONT_OUT); | 230 testShrinkingReducer(DEAD_CONT_IN, DEAD_CONT_OUT); |
231 testShrinkingReducer(ITERATIVE_DEAD_CONT_IN, ITERATIVE_DEAD_CONT_OUT); | 231 testShrinkingReducer(ITERATIVE_DEAD_CONT_IN, ITERATIVE_DEAD_CONT_OUT); |
232 testShrinkingReducer(BETA_CONT_LIN_IN, BETA_CONT_LIN_OUT); | 232 testShrinkingReducer(BETA_CONT_LIN_IN, BETA_CONT_LIN_OUT); |
233 testShrinkingReducer(ARG_BETA_CONT_LIN_IN, ARG_BETA_CONT_LIN_OUT); | 233 testShrinkingReducer(ARG_BETA_CONT_LIN_IN, ARG_BETA_CONT_LIN_OUT); |
234 testShrinkingReducer(RECURSIVE_BETA_CONT_LIN_IN, RECURSIVE_BETA_CONT_LIN_OUT); | 234 testShrinkingReducer(RECURSIVE_BETA_CONT_LIN_IN, RECURSIVE_BETA_CONT_LIN_OUT); |
235 testShrinkingReducer(USED_BETA_CONT_LIN_IN, USED_BETA_CONT_LIN_OUT); | 235 testShrinkingReducer(USED_BETA_CONT_LIN_IN, USED_BETA_CONT_LIN_OUT); |
236 testShrinkingReducer(ETA_CONT_IN, ETA_CONT_OUT); | 236 testShrinkingReducer(ETA_CONT_IN, ETA_CONT_OUT); |
237 } | 237 } |
OLD | NEW |