The International Conference for High Performance Computing, Networking, Storage, and Analysis

Workshops Archive

CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations


Workshop: LLVM-HPC2025: The 11th Workshop on the LLVM Compiler Infrastructure in HPC

Authors: Tanmay Tirpankar, Cayden Lund, and Ganesh Gopalakrishnan (University of Utah)

Abstract: We present CiRE, a tool that computes floating-point rounding error for basic blocks of LLVM codes via static analysis. Using CiRE, programmers can explore different mixed-precision settings and compiler optimizations while improving performance and guarding against excessive error. Our studies using CiRE have yielded the following insights: (1) often, performance as well as accuracy can be improved; (2) compilers for different languages produce code with widely varying error, even for the same expression; (3) the choice of subexpressions to target for low precision allocation has a huge impact on error and performance. CiRE can analyze expressions with 10^5 or more operators, thus making it capable of analyzing basic blocks generated by unrolling loops.


Back to LLVM-HPC2025: The 11th Workshop on the LLVM Compiler Infrastructure in HPC Archive Listing Back to Full Workshop Archive Listing