GSoC/GCI Archive
Google Summer of Code 2010 LLVM Compiler Infrastructure

Adding Range Analysis to LLVM

by Douglas do Couto Teixeira for LLVM Compiler Infrastructure

The objective of this project is to add a range analysis to LLVM. The range analysis finds the intervals that integer variables used in the source program may assume. Such analysis has many clients, such as array-bound-check elimination, buffer overflow detection, improving register allocation, etc. I propose to implement the polynomial time analysis described by Zhendong and Wagner in the paper "A class of polynomially solvable range constraints for interval analysis without widening".