From cf0d2bd85d3eeacd266214b24329cd59539bad09 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 8 Dec 2020 11:10:45 +0100 Subject: More debug --- backend/Duplicateaux.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'backend/Duplicateaux.ml') diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 9c4304e3..b43a1585 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -185,7 +185,7 @@ let do_loop_heuristic code cond ifso ifnot is_loop_header = let predicate n = get_some @@ PTree.get n is_loop_header in let ifso_loop = look_ahead code ifso is_loop_header predicate in let ifnot_loop = look_ahead code ifnot is_loop_header predicate in - if ifso_loop && ifnot_loop then None (* TODO - take the innermost loop ? *) + if ifso_loop && ifnot_loop then (debug "\t\tLOOP but can't choose which\n"; None) (* TODO - take the innermost loop ? *) else if ifso_loop then Some true else if ifnot_loop then Some false else None @@ -917,10 +917,10 @@ let unroll_inner_loop_body code revmap iloop = let body = iloop.body in let limit = !Clflags.option_funrollbody in if count_ignore_nops code body > limit then begin - debug "Too many nodes in the loop body (%d > %d)" (List.length body) limit; + debug "Too many nodes in the loop body (%d > %d)\n" (List.length body) limit; (code, revmap) end else if not @@ is_some iloop.sb_final then begin - debug "The loop body does not form a superblock OR we have predicted that we do not loop"; + debug "The loop body does not form a superblock OR we have predicted that we do not loop\n"; (code, revmap) end else let sb_final = get_some @@ iloop.sb_final in -- cgit