diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-16 19:57:08 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-16 19:57:08 +0000 |
| commit | 997b768ac8fa7f5f741671d9e4c00b9ea8f0680c (patch) | |
| tree | 9c80e4d65d5719301a6f75c88c50fd555d8e8d6c /src/hls/Schedule.ml | |
| parent | 9f9da6f7ccd2f6658c940b68b2cc3c25cd5e3c88 (diff) | |
| download | vericert-997b768ac8fa7f5f741671d9e4c00b9ea8f0680c.tar.gz vericert-997b768ac8fa7f5f741671d9e4c00b9ea8f0680c.zip | |
Add option to turn off if-conversion
Diffstat (limited to 'src/hls/Schedule.ml')
| -rw-r--r-- | src/hls/Schedule.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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' |