From b0d923ffd5feb4a1d432082718857ead67c9b49d Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Sat, 11 Jun 2016 10:20:38 -0400 Subject: RELEASES.md: Be less verbose about optimization levels. --- RELEASES.md | 41 +++++++---------------------------------- 1 file changed, 7 insertions(+), 34 deletions(-) diff --git a/RELEASES.md b/RELEASES.md index 3d75210..cdfd778 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -10,41 +10,14 @@ 62/76 GNU find features supported. - Rework optimization levels - - `-O1` (logical simplification): - - Constant propagation (`! -false <==> -true`, `! -true <==> -false`) - - Double negation (`! ! X <==> X`) - - Conjunction elimination: - - `-true -a X <==> X` - - `X -a -true <==> X` - - Disjunctive syllogism: - - `-false -o X <==> X` - - `X -o -false <==> X` - - Short-circuiting: - - `-false -a X <==> -false` - - `-true -o X <==> -true` - - De Morgan's laws (**new**): - - `( ! X -a ! Y ) <==> ! ( X -o Y )` - - `( ! X -o ! Y ) <==> ! ( X -a Y )` - - `! ( X -a ! Y ) <==> ( ! X -o Y )` - - `! ( X -o ! Y ) <==> ( ! X -a Y )` - - `! ( ! X -a Y ) <==> ( X -o ! Y )` - - `! ( ! X -o Y ) <==> ( X -a ! Y )` - - Unused result (**new**): `! X , Y <==> X , Y` - - `-O2` (purity): - - (These optimizations take the purity of predicates into account, allowing side-effect-free tests like `-name` or `-type` to be moved or removed) - - `PURE -a -false <==> -false` - - `PURE -o -true <==> -true` - - `PURE , X <==> X` - - Top-level unused result (**new**): `X (-a|-o|,) PURE <==> X` - - `-O3` (cost-based, **default**): + - `-O1` + - Simple boolean simplification + - `-O2` + - Purity-based optimizations, allowing side-effect-free tests like `-name` or `-type` to be moved or removed + - `-O3` (**default**): - Re-order tests to reduce the expected cost (TODO) - - `-O4` (aggressive): - - (These are very aggressive optimizations that may have surprising effects on warning/error messages and runtime, but still should not affect the resulting output) - - Change top-level expressions with no actions to `-false` (**new**): - - For example, `bfs -O4 -true -o -print` becomes `-false`, because `-print` is unreachable - - Skip the entire traversal if the top-level expression is `-false` - - `bfs -O4 -false` (or anything that optimizes to `-false`) will exit immediately - - This may cause messages about non-existent files, symbolic link cycles, etc. to be skipped + - `-O4` + - Aggressive optimizations that may have surprising effects on warning/error messages and runtime, but should not otherwise affect the results - `-Ofast`: - Always the highest level, currently the same as `-O4` - Color files with multiple hard links correctly -- cgit v1.2.3