# Interval Compiler for Sound Float Computations

**URL:** https://discourse.julialang.org/t/interval-compiler-for-sound-float-computations/69857
**Category:** Numerics
**Tags:** llvm
**Created:** [October 15, 2021, 9:38pm UTC](https://discourse.julialang.org/t/interval-compiler-for-sound-float-computations/69857 "2021-10-15T21:38:54Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![JeffreySarnoff](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jeffreysarnoff/32/1980_2.png) [@JeffreySarnoff](https://discourse.julialang.org/u/JeffreySarnoff)
#### Post date: [October 15, 2021, 9:38pm UTC](https://discourse.julialang.org/t/interval-compiler-for-sound-float-computations/69857/1 "2021-10-15T21:38:55Z")

</div>

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.

- [https://users.ece.cmu.edu/~franzf/papers/cgo21\_JR.pdf](https://users.ece.cmu.edu/~franzf/papers/cgo21_JR.pdf)
- [https://zenodo.org/record/4411964](https://zenodo.org/record/4411964)