diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-03 12:07:46 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-03 12:07:46 +0100 |
| commit | c46fe12e47c405fbb03f0c93121402d873bc470e (patch) | |
| tree | bc9cb3f5ffb5f130106e80d2777da41058d81d3a /sched/simplify.ml | |
| parent | f2b28b4124015718dc4b392e00f4aade4eedc11c (diff) | |
| download | SystDigit-Projet-c46fe12e47c405fbb03f0c93121402d873bc470e.tar.gz SystDigit-Projet-c46fe12e47c405fbb03f0c93121402d873bc470e.zip | |
Implement lw/sw/lwr/swr ; optimize simplification pass order ; add comments in ROM files
Diffstat (limited to 'sched/simplify.ml')
| -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"; |