From 2086ba4770d435a084c65410ab061591e1a36c33 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 7 Apr 2017 14:00:15 +0200
Subject: Add optimization option finline.

The new option f(no-)inline controlls whether inlining is active
or not.
Bug 21343.
---
 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 48bd9034..a91bb67c 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -409,6 +409,7 @@ let cmdline_actions =
   @ f_opt "const-prop" option_fconstprop
   @ f_opt "cse" option_fcse
   @ f_opt "redundancy" option_fredundancy
+  @ f_opt "inline" option_finline
 (* Code generation options *)
   @ f_opt "fpu" option_ffpu
   @ f_opt "sse" option_ffpu (* backward compatibility *)
-- 
cgit