User's Guide: various unfolding-related fixes
authorReid Barton <rwbarton@gmail.com>
Fri, 26 Sep 2014 04:10:50 +0000 (23:10 -0500)
committerAustin Seipp <austin@well-typed.com>
Fri, 26 Sep 2014 04:10:51 +0000 (23:10 -0500)
Test Plan: harbormaster

Reviewers: austin

Reviewed By: austin

Subscribers: simonmar, ezyang, carter, thomie

Differential Revision: https://phabricator.haskell.org/D243

docs/users_guide/flags.xml
docs/users_guide/using.xml

index 94b4598..affe194 100644 (file)
             <entry><option>-funfolding-creation-threshold</option></entry>
             <entry>Tweak unfolding settings</entry>
             <entry>dynamic</entry>
-            <entry><option>-fno-unfolding-creation-threshold</option></entry>
+            <entry>-</entry>
           </row>
 
           <row>
             <entry><option>-funfolding-fun-discount</option></entry>
             <entry>Tweak unfolding settings</entry>
             <entry>dynamic</entry>
-            <entry><option>-fno-unfolding-fun-discount</option></entry>
+            <entry>-</entry>
+          </row>
+
+          <row>
+            <entry><option>-funfolding-dict-discount</option></entry>
+            <entry>Tweak unfolding settings</entry>
+            <entry>dynamic</entry>
+            <entry>-</entry>
           </row>
 
           <row>
             <entry><option>-funfolding-keeness-factor</option></entry>
             <entry>Tweak unfolding settings</entry>
             <entry>dynamic</entry>
-            <entry><option>-fno-unfolding-keeness-factor</option></entry>
+            <entry>-</entry>
           </row>
 
           <row>
             <entry><option>-funfolding-use-threshold</option></entry>
             <entry>Tweak unfolding settings</entry>
             <entry>dynamic</entry>
-            <entry><option>-fno-unfolding-use-threshold</option></entry>
+            <entry>-</entry>
           </row>
 
           <row>
index 09747ae..54c127d 100644 (file)
@@ -2475,7 +2475,7 @@ _  = rhs3        -- No warning: lone wild-card pattern
             <indexterm><primary>unfolding, controlling</primary></indexterm>
           </term>
           <listitem>
-            <para>(Default: 45) Governs the maximum size that GHC will allow a
+            <para>(Default: 750) Governs the maximum size that GHC will allow a
             function unfolding to be. (An unfolding has a &ldquo;size&rdquo;
             that reflects the cost in terms of &ldquo;code bloat&rdquo; of
             expanding (aka inlining) that unfolding at a call site. A bigger
@@ -2502,12 +2502,12 @@ _  = rhs3        -- No warning: lone wild-card pattern
             <indexterm><primary>unfolding, controlling</primary></indexterm>
           </term>
           <listitem>
-            <para>(Default: 8) This is the magic cut-off figure for unfolding
+            <para>(Default: 60) This is the magic cut-off figure for unfolding
             (aka inlining): below this size, a function definition will be
             unfolded at the call-site, any bigger and it won't. The size
             computed for a function depends on two things: the actual size of
-            the expression minus any discounts that
-            apply (see <option>-funfolding-con-discount</option>).
+            the expression minus any discounts that apply depending on the
+            context into which the expression is to be inlined.
             </para>
 
             <para>The difference between this and