From 80760a9c21eb83c9807a569b0fb07216420cc721 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Wed, 14 Oct 2020 11:56:00 +0200
Subject: -O0 desactivates -fpredict and -ftracelinearize

---
 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 fae1524f..7ab80540 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -276,6 +276,7 @@ let dump_mnemonics destfile =
 let optimization_options = [
     option_ftailcalls; option_fifconversion; option_fconstprop;
     option_fcse; option_fcse2; option_fcse3;
+    option_fpredict; option_ftracelinearize;
     option_fpostpass;
     option_fredundancy; option_finline; option_finline_functions_called_once;
 ]
-- 
cgit