More debug

1 files changed, 3 insertions, 3 deletions

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