From 8aa9cb8c221ad4f2d27a7c54eca256bc70425aff Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 24 Jan 2020 13:48:45 +0100
Subject: Added debug message when inverting ifso ifnot

---
 backend/Duplicateaux.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml
index a974133e..a553a370 100644
--- a/backend/Duplicateaux.ml
+++ b/backend/Duplicateaux.ml
@@ -541,7 +541,9 @@ let rec invert_iconds_trace code = function
       let code' = match ptree_get_some n code with
         | Icond (c, lr, ifso, ifnot) ->
             assert (n' == ifso || n' == ifnot);
-            if (n' == ifso) then PTree.set n (Icond (Op.negate_condition c, lr, ifnot, ifso)) code
+            if (n' == ifso) then (
+              Printf.printf "Reversing ifso/ifnot for node %d\n" (P.to_int n);
+              PTree.set n (Icond (Op.negate_condition c, lr, ifnot, ifso)) code )
             else code
         | _ -> code
       in invert_iconds_trace code' (n'::t)
-- 
cgit