For those interested in llvm mods for enhancing floats.
IGen is a source-to-source compiler for interval arithmetic. IGen takes as input a C function doing floating-point computations, possibly using SIMD intrinsics, and outputs a C function, possibly optimized using intrinsics, that implements the same function soundly using intervals.
The paper and the software are available. The software uses LLVM 11 with some modifications and runs on VirtualBox.