From a9e2b0c2efbddf0ec9e7199c486b7f0ed736d6e8 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 9 Feb 2014 19:29:36 -0500
Subject: neverInline

---
 src/mono_reduce.sml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'src/mono_reduce.sml')

diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 846a878b..c92ce5aa 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -395,10 +395,11 @@ fun reduce (file : file) =
         fun mayInline (n, e, t, s) =
             case IM.find (uses, n) of
                 NONE => false
-              | SOME count => count <= 1
-                              orelse size e <= Settings.getMonoInline ()
-                              orelse functionInside t
-                              orelse Settings.checkAlwaysInline s
+              | SOME count => not (Settings.checkNeverInline s)
+                              andalso (count <= 1
+                                       orelse size e <= Settings.getMonoInline ()
+                                       orelse functionInside t
+                                       orelse Settings.checkAlwaysInline s)
 
         fun summarize d (e, _) =
             let
-- 
cgit v1.2.3