summaryrefslogtreecommitdiff
path: root/sched/simplify.ml
diff options
context:
space:
mode:
Diffstat (limited to 'sched/simplify.ml')
-rw-r--r--sched/simplify.ml12
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";