diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-23 17:52:18 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:39:10 +0100 |
commit | 929ea48c136e4c07900e3f23995582f5f88f4f6d (patch) | |
tree | 18067b9aa7fc666ef107cab832f7edea18b839a8 | |
parent | 2076a3bb31daf5bc3663fce25de6d837ace3f952 (diff) | |
download | compcert-929ea48c136e4c07900e3f23995582f5f88f4f6d.tar.gz compcert-929ea48c136e4c07900e3f23995582f5f88f4f6d.zip |
AArch64: wrong function alignment
The alignment was 2 bytes (like for ARM) but should be 4 bytes.
It was ignored by the GNU assembler, but the LLVM assembler warns.
-rw-r--r-- | aarch64/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml index 78b9eb2a..5631f47e 100644 --- a/aarch64/TargetPrinter.ml +++ b/aarch64/TargetPrinter.ml @@ -587,7 +587,7 @@ module Target : TARGET = section oc Section_text; end - let default_falignment = 2 + let default_falignment = 4 let cfi_startproc oc = () let cfi_endproc oc = () |