From 5feecb99712de3604f284e5934aed73f2b606659 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 4 Jun 2019 11:47:14 +0200
Subject: start to have whole path if-conversion?

---
 backend/Selectionaux.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/Selectionaux.ml')

diff --git a/backend/Selectionaux.ml b/backend/Selectionaux.ml
index b43b0e7f..b25f1fa1 100644
--- a/backend/Selectionaux.ml
+++ b/backend/Selectionaux.ml
@@ -76,7 +76,7 @@ let fast_cmove ty =
   | "riscV", _ -> false
   | "x86", _ -> 
      (match ty with Tint -> true | Tlong -> Archi.ptr64 | _ -> false)
-  | "mppa_k1c", _ -> false (* TODO DM *)
+  | "mppa_k1c", _ -> true
   | a, m -> failwith (Printf.sprintf "fast_cmove: unknown arch %s %s" a m)
 
 (* The if-conversion heuristic depend on the
-- 
cgit