diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-12-07 12:14:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-07 12:14:08 +0100 |
commit | 3bb0c75456a0dcab079e7614c3bbd3ba971e4519 (patch) | |
tree | 1dac031c6b94aafb7e28f63857dbdbe2f4870066 /doc | |
parent | 90b76a0842b7f080893dd70a7c0c6bc878f4056b (diff) | |
download | compcert-3bb0c75456a0dcab079e7614c3bbd3ba971e4519.tar.gz compcert-3bb0c75456a0dcab079e7614c3bbd3ba971e4519.zip |
Inlining of static functions which are only called once. (#37)
New inlining heuristic for static functions.
Static functions that are only called once can always be inlined,
since they can be removed safely after inlining and no call
prologue, epilogue, as well as register saving and needs to be
generated.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ccomp.1 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 906e0ffc..c476b196 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -143,6 +143,11 @@ Turn on/off inlining of functions. Enabled by default. . .TP +.BR \-finline\-functions\-called\-once ", " \-fno\-inline\-functions\-called\-once +Turn on/off inlining of functions only required by a single caller. +Enabled by default. +. +.TP .BR \-fredundancy ", " \-fno\-redundancy Turn on/off redundancy elimination. Enabled by default. |