Open
Description
Currently Miri uses host floats for FMA. However it would of course be better to use softfloats. :)
Unfortunately apfloat still has some bugs around FMA, see llvm/llvm-project#63895 / rust-lang/rustc_apfloat#11. Those probably need to be resolved and ported to rustc_apfloat before we should use it in Miri.
Cc @eddyb