From 997b768ac8fa7f5f741671d9e4c00b9ea8f0680c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 16 Feb 2021 19:57:08 +0000
Subject: Add option to turn off if-conversion

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

(limited to 'driver/VericertDriver.ml')

diff --git a/driver/VericertDriver.ml b/driver/VericertDriver.ml
index 6887b56..d2c301f 100644
--- a/driver/VericertDriver.ml
+++ b/driver/VericertDriver.ml
@@ -249,7 +249,8 @@ Code generation options: (use -fno-<opt> to turn off -f<opt>)
   -fcommon       Put uninitialized globals in the common section [on].
 
 HLS Optimisations:
-  -fschedule     Schedule the resulting hardware [off].
+  -fschedule      Schedule the resulting hardware [off].
+  -fif-conversion If-conversion optimisation [off].
 |} ^
  target_help ^
  toolchain_help ^
@@ -434,6 +435,7 @@ let cmdline_actions =
   @ f_opt "fpu" option_ffpu
   @ f_opt "sse" option_ffpu (* backward compatibility *)
   @ f_opt "schedule" option_hls_schedule
+  @ f_opt "if-conv" option_fif_conv
   @ [
 (* Catch options that are not handled *)
   Prefix "-", Self (fun s ->
-- 
cgit