diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-12-17 10:03:30 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-12-17 10:03:30 +0000 |
| commit | 82b3cfa677c21e7d1fab907f1824bb101f819291 (patch) | |
| tree | 3be6d494b1da4562f36ac98ed43b5a016cb3f345 /src/SoftwarePipelining/SoftwarePipelining.ml | |
| parent | 51e3a17d2e65b095861c243807f4e8d76c60ea0e (diff) | |
| download | vericert-82b3cfa677c21e7d1fab907f1824bb101f819291.tar.gz vericert-82b3cfa677c21e7d1fab907f1824bb101f819291.zip | |
Modify software pipelining for build
Diffstat (limited to 'src/SoftwarePipelining/SoftwarePipelining.ml')
| -rw-r--r-- | src/SoftwarePipelining/SoftwarePipelining.ml | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/src/SoftwarePipelining/SoftwarePipelining.ml b/src/SoftwarePipelining/SoftwarePipelining.ml index eeb2dfd..12ab783 100644 --- a/src/SoftwarePipelining/SoftwarePipelining.ml +++ b/src/SoftwarePipelining/SoftwarePipelining.ml @@ -10,9 +10,9 @@ (***********************************************************************) -open Basic -open IMS -open MVE +open SPBasic +open SPIMS +open SPMVE open RTL let clean t = @@ -57,8 +57,8 @@ let order = ref [] let pipeliner ddg = order := List.flatten (Scc.scc_list ddg); - let (sched,ii) = IMS.pipeliner ddg random in - let (steady,prolog,epilog,min,unroll,entrance,way_out) = MVE.mve ddg sched ii in + let (sched,ii) = SPIMS.pipeliner ddg random in + let (steady,prolog,epilog,min,unroll,entrance,way_out) = SPMVE.mve ddg sched ii in let steady_state = clean steady in if min <= 0 then None else @@ -66,8 +66,5 @@ let pipeliner ddg = ramp_up = entrance; ramp_down = way_out} -let main f = - Basic.apply_pipeliner f pipeliner ~debug:false - - - +let pipeline f = + SPBasic.apply_pipeliner f pipeliner ~debug:true |