Value range analysis
In computing, in particular compiler construction, value range analysis is a type of data flow analysis that tracks the range (interval) of values that a numeric variable can take on at each point of a program's execution.[1] The resulting information can be used in optimizations such as redundancy elimination, dead code elimination, instruction selection, etc. Techniques for value range analysis typically use symbolic analysis extensively.[2]
Value range analysis is often[clarification needed] implemented in the Intel C++ Compiler[citation needed] and is to be implemented in GCC.[citation needed]
References
- ^ Harrison, William H. (1977). "Compiler Analysis of the Value Ranges for Variables". IEEE Transactions on Software Engineering. 3 (3): 243–250. doi:10.1109/TSE.1977.231133.
- ^ Birch, Johnnie; van Engelen, Robert; Gallivan, Kyle. "Value Range Analysis of Conditionally Updated Variables and Pointers" (PDF).