From eb35c3000530e379dcd79e82f001a400be8b28e9 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 2 Mar 2021 20:27:34 +0100
Subject: Adding a flag to test fp_init_exp

---
 driver/Driver.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 0c5d9cb4..9750981e 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -445,6 +445,7 @@ let cmdline_actions =
   @ f_opt "nontrap-loads" option_fnontrap_loads
   @ f_opt "coalesce-mem" option_fcoalesce_mem
   @ f_opt "expanse-rtlcond" option_fexpanse_rtlcond
+  @ f_opt "expanse-fpconst" option_fexpanse_fpconst
   @ f_opt "all-loads-nontrap" option_all_loads_nontrap
   @ f_opt "forward-moves" option_fforward_moves
  (* Code generation options *)
-- 
cgit