diff options
author | Michael Schmidt <github@mschmidt.me> | 2019-07-09 15:29:58 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-10 10:56:45 +0200 |
commit | a8c84a5270b7620c6555e58d0338afd9405bc2b2 (patch) | |
tree | 894080288ad9ef0fcc23d2803ee092740d964608 | |
parent | fcbd9addf6f8c10822294dc397d13af10b9d52f2 (diff) | |
download | compcert-a8c84a5270b7620c6555e58d0338afd9405bc2b2.tar.gz compcert-a8c84a5270b7620c6555e58d0338afd9405bc2b2.zip |
More precise description of '-O0' and 'non-linear-cond-expr'
-rw-r--r-- | doc/ccomp.1 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index a177914a..f4919867 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -126,7 +126,7 @@ Enabled by default. .B \-O0 Turn off most optimizations. Synonymous to \fB\-fno\-const\-prop\fP \fB\-fno\-cse\fP \fB\-fno\-if\-conversion\fP -\fB\-fno\-inline\-functions\-called\-once\fP \fB\-fno\-redundancy\fP \fB\-fno\-tailcalls\fP. +\fB\-fno\-inline\fP \fB\-fno\-redundancy\fP \fB\-fno\-tailcalls\fP. . .TP .BR \-O1 ", " \-O2 ", " \-O3 @@ -448,6 +448,7 @@ Enabled by default. .sp \fInon\-linear\-cond\-expr\fP: Conditional expression that may not be optimized to branchless code. +Only issued in \fB-Obranchless\fP mode. Disabled by default. .sp \fIpointer\-type\-mismatch\fP: |