diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-18 13:47:02 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-18 13:47:02 +0000 |
| commit | 194dedc654bdde381ed65adf9440091a264a6ed5 (patch) | |
| tree | e48ae4d7d096592fc05ba4a24187d7c18e043e4d | |
| parent | 7d497177afc0faf7586dbb2a503b4eb1afb1ea5a (diff) | |
| download | vericert-kvx-194dedc654bdde381ed65adf9440091a264a6ed5.tar.gz vericert-kvx-194dedc654bdde381ed65adf9440091a264a6ed5.zip | |
Fix schedule for now
| -rw-r--r-- | src/hls/Schedule.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/hls/Schedule.ml b/src/hls/Schedule.ml index ec803f4..1e3a5dd 100644 --- a/src/hls/Schedule.ml +++ b/src/hls/Schedule.ml @@ -749,12 +749,13 @@ 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_body2 = List.map (fun x -> subgraph dfg x |> (fun x -> TopoDFG.fold (fun i l -> snd i :: l) x []) |> List.rev) body in - { bb_body = [final_body2]; + { bb_body = List.map (fun x -> [x]) final_body2; bb_exit = ctrl_flow } in |