summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile
index f230e01cd..25ba3659d 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -466,6 +466,10 @@ q, quit: q
-optimize, optimization on generated code.
The default is share for concrete, none for resource modules.
+ Each of the flags can have the suffix _subs, which performs
+ common subexpression elimination after the main optimization.
+ Thus, -optimize=all_subs is the most aggressive one.
+
-optimize=share share common branches in tables
-optimize=parametrize first try parametrize then do share with the rest
-optimize=values represent tables as courses-of-values