diff options
Diffstat (limited to 'sched')
| -rw-r--r-- | sched/simplify.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/sched/simplify.ml b/sched/simplify.ml index c0cd07e..c68fe66 100644 --- a/sched/simplify.ml +++ b/sched/simplify.ml @@ -336,6 +336,18 @@ let simplify p = topo_sort, "topo_sort"; cascade_slices, "cascade_slices"; pass_concat, "pass_concat"; + select_to_id, "select_to_id"; + arith_simplify, "arith_simplify"; + ] p in + let p = simplify_with [ + arith_simplify, "arith_simplify"; + same_eq_simplify, "same_eq_simplify"; + eliminate_id, "eliminate_id"; + ] p in + let p = simplify_with [ + topo_sort, "topo_sort"; + cascade_slices, "cascade_slices"; + pass_concat, "pass_concat"; arith_simplify, "arith_simplify"; select_to_id, "select_to_id"; same_eq_simplify, "same_eq_simplify"; |