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
- ^ Heinze, Thomas S.; Amme, Wolfram; Moser, Simon; Gebhardt, Kai (2012). Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information. ZEUS.
- ^ Birch, Johnnie; van Engelen, Robert; Gallivan, Kyle. "Value Range Analysis of Conditionally Updated Variables and Pointers" (PDF).