diff options
Diffstat (limited to 'src')
-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 |