| <!doctype html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> | |
| <html> | |
| <head> | |
| <meta http-equiv="content-type" content="text/html; charset=iso-8859-1"> | |
| <meta http-equiv="content-style-type" content="text/css"> | |
| <link rel="stylesheet" type="text/css" href="style.css"> | |
| <title>Optimizations</title> | |
| </head> | |
| <body> | |
| <script type="text/javascript" language="JavaScript"> | |
| <!-- | |
| if (window.self==window.top) | |
| document.write('<a class="largebutton" target="_top" href="../index.html#manual/optimizations.html">ProGuard index</a> <a class="largebutton" target="_top" href="http://www.guardsquare.com/dexguard">DexGuard</a> <a class="largebutton" target="_top" href="http://www.guardsquare.com/">GuardSquare</a> <a class="largebutton" target="other" href="http://sourceforge.net/projects/proguard/">Sourceforge</a>') | |
| //--> | |
| </script> | |
| <noscript> | |
| <a class="largebutton" target="_top" href="../index.html#manual/optimizations.html">ProGuard index</a> | |
| <a class="largebutton" target="_top" href="http://www.guardsquare.com/dexguard">DexGuard</a> | |
| <a class="largebutton" target="_top" href="http://www.guardsquare.com/">GuardSquare</a> | |
| <a class="largebutton" target="other" href="http://sourceforge.net/projects/proguard/">Sourceforge</a> | |
| </noscript> | |
| <h2>Optimizations</h2> | |
| The optimization step of ProGuard can be switched off with the | |
| <a href="usage.html#dontoptimize"><code>-dontoptimize</code></a> option. For | |
| more fine-grained control over individual optimizations, experts can use the | |
| <a href="usage.html#optimizations"><code>-optimizations</code></a> option, | |
| with a filter based on the optimization names listed below. The filter works | |
| like any <a href="usage.html#filters">filter</a> in ProGuard. | |
| <p> | |
| The following wildcards are supported: | |
| <table cellspacing="10"> | |
| <tr><td valign="top"><code><b>?</b></code></td> | |
| <td>matches any single character in an optimization name.</td></tr> | |
| <tr><td valign="top"><code><b>*</b></code></td> | |
| <td>matches any part of an optimization name.</td></tr> | |
| </table> | |
| An optimization that is preceded by an exclamation mark '<b>!</b>' is | |
| <i>excluded</i> from further attempts to match with <i>subsequent</i> | |
| optimization names in the filter. Make sure to specify filters correctly, | |
| since they are not checked for potential typos. | |
| <p> | |
| For example, | |
| "<code>code/simplification/variable,code/simplification/arithmetic</code>" | |
| only performs the two specified peephole optimizations. | |
| <p> | |
| For example, "<code>!method/propagation/*</code>" performs all optimizations, | |
| except the ones that propagate values between methods. | |
| <p> | |
| For example, | |
| "<code>!code/simplification/advanced,code/simplification/*</code>" only | |
| performs all peephole optimizations. | |
| <p> | |
| Some optimizations necessarily imply other optimizations. These are then | |
| indicated. Note that the list is likely to change over time, as optimizations | |
| are added and reorganized. | |
| <p> | |
| <dl> | |
| <dt><code><b>class/marking/final</b></code></dt> | |
| <dd>Marks classes as final, whenever possible.</dd> | |
| <dt><code><b>class/unboxing/enum</b></code></dt> | |
| <dd>Simplifies enum types to integer constants, whenever possible.</dd> | |
| <dt><code><b>class/merging/vertical</b></code></dt> | |
| <dd>Merges classes vertically in the class hierarchy, whenever possible.</dd> | |
| <dt><code><b>class/merging/horizontal</b></code></dt> | |
| <dd>Merges classes horizontally in the class hierarchy, whenever possible.</dd> | |
| <dt><div>(⇒ <code>code/removal/advanced</code>)</div> | |
| <code><b>field/removal/writeonly</b></code></dt> | |
| <dd>Removes write-only fields.</dd> | |
| <dt><code><b>field/marking/private</b></code></dt> | |
| <dd>Marks fields as private, whenever possible.</dd> | |
| <dt><div>(⇒ <code>code/simplification/advanced</code>)</div> | |
| <code><b>field/propagation/value</b></code></dt> | |
| <dd>Propagates the values of fields across methods.</dd> | |
| <dt><code><b>method/marking/private</b></code></dt> | |
| <dd>Marks methods as private, whenever possible (<i>devirtualization</i>).</dd> | |
| <dt><div>(⇒ <code>code/removal/advanced</code>)</div> | |
| <code><b>method/marking/static</b></code></dt> | |
| <dd>Marks methods as static, whenever possible (<i>devirtualization</i>).</dd> | |
| <dt><code><b>method/marking/final</b></code></dt> | |
| <dd>Marks methods as final, whenever possible.</dd> | |
| <dt><div>(⇒ <code>code/removal/advanced</code>)</div> | |
| <code><b>method/removal/parameter</b></code></dt> | |
| <dd>Removes unused method parameters.</dd> | |
| <dt><div>(⇒ <code>code/simplification/advanced</code>)</div> | |
| <code><b>method/propagation/parameter</b></code></dt> | |
| <dd>Propagates the values of method parameters from method invocations to | |
| the invoked methods.</dd> | |
| <dt><div>(⇒ <code>code/simplification/advanced</code>)</div> | |
| <code><b>method/propagation/returnvalue</b></code></dt> | |
| <dd>Propagates the values of method return values from methods to their | |
| invocations.</dd> | |
| <dt><code><b>method/inlining/short</b></code></dt> | |
| <dd>Inlines short methods.</dd> | |
| <dt><code><b>method/inlining/unique</b></code></dt> | |
| <dd>Inlines methods that are only called once.</dd> | |
| <dt><code><b>method/inlining/tailrecursion</b></code></dt> | |
| <dd>Simplifies tail recursion calls, whenever possible.</dd> | |
| <dt><code><b>code/merging</b></code></dt> | |
| <dd>Merges identical blocks of code by modifying branch targets.</dd> | |
| <dt><code><b>code/simplification/variable</b></code></dt> | |
| <dd>Performs peephole optimizations for variable loading and storing.</dd> | |
| <dt><code><b>code/simplification/arithmetic</b></code></dt> | |
| <dd>Performs peephole optimizations for arithmetic instructions.</dd> | |
| <dt><code><b>code/simplification/cast</b></code></dt> | |
| <dd>Performs peephole optimizations for casting operations.</dd> | |
| <dt><code><b>code/simplification/field</b></code></dt> | |
| <dd>Performs peephole optimizations for field loading and storing.</dd> | |
| <dt><div>(⇒ <code>code/removal/simple</code>)</div> | |
| <code><b>code/simplification/branch</b></code></dt> | |
| <dd>Performs peephole optimizations for branch instructions.</dd> | |
| <dt><code><b>code/simplification/string</b></code></dt> | |
| <dd>Performs peephole optimizations for constant strings.</dd> | |
| <dt><div>(<i>best used with</i> <code>code/removal/advanced</code>)</div> | |
| <code><b>code/simplification/advanced</b></code></dt> | |
| <dd>Simplifies code based on control flow analysis and data flow | |
| analysis.</dd> | |
| <dt><div>(⇒ <code>code/removal/exception</code>)</div> | |
| <code><b>code/removal/advanced</b></code></dt> | |
| <dd>Removes dead code based on control flow analysis and data flow | |
| analysis.</dd> | |
| <dt><div>(⇒ <code>code/removal/exception</code>)</div> | |
| <code><b>code/removal/simple</b></code></dt> | |
| <dd>Removes dead code based on a simple control flow analysis.</dd> | |
| <dt><code><b>code/removal/variable</b></code></dt> | |
| <dd>Removes unused variables from the local variable frame.</dd> | |
| <dt><code><b>code/removal/exception</b></code></dt> | |
| <dd>Removes exceptions with empty try blocks.</dd> | |
| <dt><code><b>code/allocation/variable</b></code></dt> | |
| <dd>Optimizes variable allocation on the local variable frame.</dd> | |
| </dl> | |
| <p> | |
| ProGuard also provides some unofficial settings to control optimizations, that | |
| may disappear in future versions. These are Java system properties, which | |
| can be set as JVM arguments (with <code>-D.....)</code>: | |
| <dl> | |
| <dt><code><b>maximum.inlined.code.length</b></code> (default = 8 bytes)</dt> | |
| <dd>Specifies the maximum code length (expressed in bytes) of short methods | |
| that are eligible to be inlined. Inlining methods that are too long may | |
| unnecessarily inflate the code size.</dd> | |
| <dt><code><b>maximum.resulting.code.length</b></code> (default = 8000 bytes | |
| for JSE, 2000 bytes for JME)</dt> | |
| <dd>Specifies the maximum resulting code length (expressed in bytes) allowed | |
| when inlining methods. Many Java virtual machines do not apply just-in-time | |
| compilation to methods that are too long, so it's important not to let them | |
| grow too large.</dd> | |
| <dt><code><b>optimize.conservatively</b></code> (default = unset)</dt> | |
| <dd>Allows input code with ordinary instructions intentionally throwing | |
| <code>NullPointerException</code>, | |
| <code>ArrayIndexOutOfBoundsException</code>, or | |
| <code>ClassCastException</code>, without any other useful purposes. By | |
| default, ProGuard may just discard such seemingly useless instructions, | |
| resulting in better optimization of most common code.</dd> | |
| </dl> | |
| <hr /> | |
| <address> | |
| Copyright © 2002-2017 | |
| <a target="other" href="http://www.lafortune.eu/">Eric Lafortune</a> @ <a target="top" href="http://www.guardsquare.com/">GuardSquare</a>. | |
| </address> | |
| </body> | |
| </html> |