aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2016-12-02 14:05:41 +0100
committerMichael Schmidt <github@mschmidt.me>2016-12-02 14:05:41 +0100
commit55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba (patch)
tree133f9b128a6de7bc2d10847669cb95ed1c1a80a5 /doc
parent7576599c91a7be973369349d25969f4a3d1c623c (diff)
downloadcompcert-kvx-55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba.tar.gz
compcert-kvx-55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba.zip
fix targets in section for code generation options
Diffstat (limited to 'doc')
-rw-r--r--doc/ccomp.16
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1
index c24ddd2c..88af8612 100644
--- a/doc/ccomp.1
+++ b/doc/ccomp.1
@@ -160,7 +160,7 @@ Turn on/off use of FP registers for some integer operations.
Enabled by default.
.
.SS
-Code Generation Options (PowerPC with Diab Backend)
+Code Generation Options (PowerPC)
.INDENT 0.0
.
.TP
@@ -173,6 +173,10 @@ The default alignment is 0 bytes, which deactivates alignment of branch targets.
Set alignment of conditional branches to <n> bytes.
The default alignment is 0 bytes, which deactivates alignment of conditional branch targets.
.
+.SS
+Code Generation Options (PowerPC with Diab Backend)
+.INDENT 0.0
+.
.TP
.B \-fsmall\-const <n>
Set maximal size for allocation in small data constant to <n> bytes.