From 194dedc654bdde381ed65adf9440091a264a6ed5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 18 Feb 2021 13:47:02 +0000 Subject: Fix schedule for now --- src/hls/Schedule.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit