diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-08-15 09:18:25 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-08-15 09:18:25 +0200 |
commit | c9f8b8e598808775bf4e5072aa47c94625677f7c (patch) | |
tree | 297a41ea9b8a2e2f08aa451c06ed7c66659c650c /powerpc/ValueAOp.v | |
parent | 0eefd517c797f2f17ef9228e5a4d07c5dc8ecada (diff) | |
download | compcert-c9f8b8e598808775bf4e5072aa47c94625677f7c.tar.gz compcert-c9f8b8e598808775bf4e5072aa47c94625677f7c.zip |
Do not use `.rodata.cst8` for floating-point literals
FP literals can have size 4 or 8 bytes, and it's incorrect to put a 4-byte
literal in a mergeable section of chunk size 8.
Fixes: #447
Diffstat (limited to 'powerpc/ValueAOp.v')
0 files changed, 0 insertions, 0 deletions