From 60c15c9d1105dc2e53c17b3fb28ee9cc4716cbc6 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Wed, 22 Jan 2020 16:22:44 +0100
Subject: Fixing is_empty function

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

diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml
index 3dfc7969..66c57cda 100644
--- a/backend/Duplicateaux.ml
+++ b/backend/Duplicateaux.ml
@@ -481,8 +481,8 @@ let rec maxint = function
   | i :: l -> assert (i >= 0); let m = maxint l in if i > m then i else m
 
 let is_empty = function
-  | [] -> false
-  | _ -> true
+  | [] -> true
+  | _ -> false
 
 (* code: RTL code
  * preds: mapping node -> predecessors
@@ -506,7 +506,7 @@ let tail_duplicate code preds ptree trace =
             in let final_node_preds = match !last_duplicate with
               | None -> node_preds_nolast
               | Some n' -> n' :: node_preds_nolast
-            in if is_empty final_node_preds then
+            in if not (is_empty final_node_preds) then
               let n' = !next_int
               in let (newc, newp) = duplicate code ptree !last_node n final_node_preds (P.of_int n')
               in begin
-- 
cgit