diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-05-06 17:26:08 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-10 14:27:22 +0200 |
commit | 47c86d46a329ee2c4c26a82b29edd40bb4b4c35c (patch) | |
tree | 54877aacf7effd308faab225320bfcfc9ecd3af3 /doc/ccomp.1 | |
parent | 46e5d165e6277d7502fe4a45e8765526a1117414 (diff) | |
download | compcert-47c86d46a329ee2c4c26a82b29edd40bb4b4c35c.tar.gz compcert-47c86d46a329ee2c4c26a82b29edd40bb4b4c35c.zip |
Check for alignment of command-line switches.
Add a check for alignment on command-line switches `-falign-*`.
The check is similar to the one for the alignment attribute and
ensures that only powers of two can be specified.
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 374bd2e7..36fe4e7b 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -191,12 +191,12 @@ Code Generation Options (PowerPC) .TP .B \-falign\-branch\-targets <n> Set alignment of branch targets to <n> bytes. -The default alignment is 0 bytes, which deactivates alignment of branch targets. +By default alignment of branch targets is deactivated. . .TP .B \-falign\-cond\-branches <n> -Set alignment of conditional branches to <n> bytes. -The default alignment is 0 bytes, which deactivates alignment of conditional branch targets. +Set alignment of conditional branch instructions to <n> bytes. +By default alignment of conditional branches is deactivated. . .SS Code Generation Options (PowerPC with Diab Backend) |