diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-02-20 19:17:57 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-02-21 13:29:39 +0100 |
commit | 3bdb983e0b21c8d45e85aff08278475396038f4f (patch) | |
tree | 46355ef86dfb0f8753b8047b5fc595471d6cd836 /lib/FSetAVLplus.v | |
parent | 3bffda879e214345635e575a696e8f184bef0e55 (diff) | |
download | compcert-3bdb983e0b21c8d45e85aff08278475396038f4f.tar.gz compcert-3bdb983e0b21c8d45e85aff08278475396038f4f.zip |
AArch64: normalize function return values of small integer type
According to AAPCS64 (the AArch64 ABI specification), the
top bits of the register containing the function result have
unspecified value, so we need to sign- or zero-extend the function result
before using it, as in the x86 port.
Diffstat (limited to 'lib/FSetAVLplus.v')
0 files changed, 0 insertions, 0 deletions