From c46fe12e47c405fbb03f0c93121402d873bc470e Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Fri, 3 Jan 2014 12:07:46 +0100 Subject: Implement lw/sw/lwr/swr ; optimize simplification pass order ; add comments in ROM files --- sched/simplify.ml | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'sched/simplify.ml') diff --git a/sched/simplify.ml b/sched/simplify.ml index c0cd07e..c68fe66 100644 --- a/sched/simplify.ml +++ b/sched/simplify.ml @@ -332,6 +332,18 @@ let rec simplify_with steps p = if use then simplify_with steps pp else pp let simplify p = + let p = simplify_with [ + 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"; -- cgit v1.2.3