diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-08-24 19:06:46 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 10:38:50 +0200 |
| commit | ad6467099ac7147040c59c022635e61370168568 (patch) | |
| tree | ec78577bf5c8bb8c3f96c05f82648d439f52ceaf /common/Linking.v | |
| parent | 6f26a95f2debe76e1350eea97c2162e5bcd8cfad (diff) | |
| download | compcert-ad6467099ac7147040c59c022635e61370168568.tar.gz compcert-ad6467099ac7147040c59c022635e61370168568.zip | |
Refactor emitting of constants.
The function was the same for nearly all backends and also the way 32 bit
literals are printed so we moved it to PrintAsm. The 64 bit literals
however are still target specific.
Diffstat (limited to 'common/Linking.v')
0 files changed, 0 insertions, 0 deletions