- Conference Paper
Floating-point arithmetic is widely used by software developers but is unsound, i.e., there is no guarantee on the accuracy obtained, which can be imperative in safety-critical applications. We present IGen, a source-to-source compiler that translates a given C function using floating-point into an equivalent sound C function that uses interval arithmetic. IGen supports Intel SIMD intrinsics in the input function using a specially designed code generator and can produce SIMD-optimized output. To mitigate a possible loss of accuracy due to the increase of interval sizes, IGen can compile to double-double precision, again SIMD-optimized. Finally, IGen implements an accuracy optimization for the common reduction pattern. We benchmark our compiler on high-performance code in the domain of linear algebra and signal processing. The results show that the generated code delivers sound double precision results at high performance. In particular, we observe speed-ups of up to 9.8 when compared to commonly used interval libraries using double precision. When compiling to double-double, our compiler delivers intervals that keep error accumulation small enough to compute results with at most one bit of error in double precision, i.e., certified double precision results. Mehr anzeigen
Buchtitel2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
Seiten / Artikelnummer
Themafloating-point arithmetic; source-to-source compiler; interval arithmetic; certified accuracy
Organisationseinheit03893 - Püschel, Markus / Püschel, Markus
AnmerkungenDue to the Coronavirus (COVID-19) the conference was conducted virtually.