From 997b768ac8fa7f5f741671d9e4c00b9ea8f0680c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 16 Feb 2021 19:57:08 +0000 Subject: Add option to turn off if-conversion --- src/hls/Schedule.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/hls/Schedule.ml') diff --git a/src/hls/Schedule.ml b/src/hls/Schedule.ml index 16103f8..4461d85 100644 --- a/src/hls/Schedule.ml +++ b/src/hls/Schedule.ml @@ -812,7 +812,7 @@ let rec all_successors dfg v = let order_instr dfg = DFG.fold_vertex (fun v li -> if DFG.in_degree dfg v = 0 - then (printf "v: %s\n" (print_instr (snd v)); (List.map snd (v :: all_successors dfg v)) :: li) + then (List.map snd (v :: all_successors dfg v)) :: li else li ) dfg [] @@ -856,7 +856,7 @@ let schedule entry (c : RTLBlock.bb RTLBlockInstr.code) = fprintf graph "%a\n" GDot.output_graph cgraph; close_out graph; let schedule' = solve_constraints cgraph in - IMap.iter (fun a b -> printf "##### %d #####\n%a\n\n" a (print_list print_tuple) b) schedule'; + (**IMap.iter (fun a b -> printf "##### %d #####\n%a\n\n" a (print_list print_tuple) b) schedule';*) (*printf "Schedule: %a\n" (fun a x -> IMap.iter (fun d -> fprintf a "%d: %a\n" d (print_list print_tuple)) x) schedule';*) transf_rtlpar c c' schedule' -- cgit