aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2022-03-22 16:03:57 +0100
committerXavier Leroy <xavier.leroy@college-de-france.fr>2022-04-25 16:34:11 +0200
commit967c04de6c02bef349df579cddbfcac8cf262e6d (patch)
tree65be52a638e7f7ff559ea90a4111da0278b032bf /cfrontend
parent9d3521b4db46773239a2c5f9f6970de826075508 (diff)
downloadcompcert-967c04de6c02bef349df579cddbfcac8cf262e6d.tar.gz
compcert-967c04de6c02bef349df579cddbfcac8cf262e6d.zip
Introduce float_conversion_default_nan parameter for float-float conversions
For RISC-V we need to return the canonical NaN value if the argument of a float32->float64 or float64->float32 conversion is any NaN. This is in line with 11.3 from the RISC-V manual, the description of the conversion operations as well as what the spike ISA simulator and qemu do. Other platforms convert the NaN payload (by truncation or expansion) in float32->float64 and float64->float32 conversions. Fixes: #428
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions