[libre-riscv-dev] formal proof of the conditions where smaller fp ops can be emulated by larger fp ops

[Luke Kenneth Casson Leighton]

On Thursday, January 30, 2020, James Cloos <cloos at jhcloos.com> wrote:

> there was apost on the 754 list several months ago which said that one
> of the origina 754 authors proved that after -- i think it was -- three
> ops on the wider type the results of narrowing will only work if the
> wide ops used the opposite rounding than desired for the narrow type.


thank you james this is really valuable and i only saw it by re-reading the
archives.

l.



-- 
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68