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

[Jacob Lifshay]

Seems useful.

it's the conditions where you can (for example) emulate fp16 ops by
converting to fp32, doing fp32 op, then converting back to fp16 before any
other operations:

let x: f16 = a + b;

becomes:

let x: f16 = f16::from(f32::from(a) + f32::from(b));

https://pdfs.semanticscholar.org/79ea/5587db38a6dd9b771cdf336acfa057afb79f.pdf

Jacob