From 032743c58a4ea3ab39f3823401fc00364a8c6552 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 2 Aug 2019 11:05:35 +0200
Subject: [PATCH] [Eva] The meta option -eva-precison also controls
 -eva-auto-loop-unroll.

---
 src/plugins/value/value_parameters.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index cd94d41a2ba..52e25e5c7c8 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -1546,6 +1546,7 @@ let get array n = if n < 0 then 0 else array.(n)
 
 let () =
   bind (module MinLoopUnroll) (fun n -> max 0 (n - 4));
+  bind (module AutoLoopUnroll) (fun n -> if n = 0 then 0 else 4 lsl n);
   bind (module SemanticUnrollingLevel) (get slevel_power);
   bind (module WideningDelay) (fun n -> 1 + n / 2);
   bind (module ILevel) (get ilevel_power);
-- 
GitLab