Stepping up to the -o4 optimization flag will buy incremental performance derived from chip-specific optimizations, interproceduralanalysis, and high-order transformation routines.
In this paper, the data flow, data flow framework and algorithms of data flow analysis are discussed; the idea of demand interprocedural data flow analysis is also presented.