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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Mon Mar 9 11:33:07 GMT 2020

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


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

More information about the libre-riscv-dev mailing list