diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 18:50:36 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 18:50:36 +0000 |
commit | cf3338ceb5441413124fe60553ae7e263612ca8f (patch) | |
tree | 4a6d5b6d83e7c4c5464d00d9b6f0242dd47aa539 /src/hls/Schedule.ml | |
parent | 194dedc654bdde381ed65adf9440091a264a6ed5 (diff) | |
download | vericert-kvx-cf3338ceb5441413124fe60553ae7e263612ca8f.tar.gz vericert-kvx-cf3338ceb5441413124fe60553ae7e263612ca8f.zip |
Fix bug in schedule
Diffstat (limited to 'src/hls/Schedule.ml')
-rw-r--r-- | src/hls/Schedule.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/hls/Schedule.ml b/src/hls/Schedule.ml index 1e3a5dd..c6c8bf4 100644 --- a/src/hls/Schedule.ml +++ b/src/hls/Schedule.ml @@ -749,8 +749,7 @@ let transf_rtlpar c c' (schedule : (int * int) list IMap.t) = let body = IMap.to_seq i_sched_tree |> List.of_seq |> List.map snd |> List.map (List.map (fun x -> (x, List.nth bb_body' x))) in - List.iter (fun y -> (List.iter (fun x -> printf "%d: %s\n" (fst x) (print_instr (snd x))) y; printf "\n\n")) body; - let final_body = List.map (fun x -> subgraph dfg x |> order_instr) body in + (*let final_body = List.map (fun x -> subgraph dfg x |> order_instr) body in*) let final_body2 = List.map (fun x -> subgraph dfg x |> (fun x -> TopoDFG.fold (fun i l -> snd i :: l) x []) |> List.rev) body |