Research And Cases Study On Data Flow Analysis

To convert programs designed in the high level programming languages into executable codes which can fully utilize performance of computers, compiler need all kinds of optimization applied to codes, i.e. change one kind of middle codes into anther one which can be more efficient. Detailed data flow analysis is very important to compiler optimization and is the base of them, including traditional high level optimization and low level optimization for modern micro architecture. Data flow analysis is one of the most important parts in compiling optimization, and is the base of all kinds of compiling optimization. Whether data flow analysis is comprehensive and sufficient has very important effect on the compiling optimization.Firstly we introduce theories in data flow analysis, and then introduce popular data flow analysis technique. Based on the studying popular data flow analysis technique, we analyze the techniques of data flow analysis in GCC and its implementation. We pay attention to the data structure and arithmetic of data flow analysis in GCC. At last we analyze the existing problem of GCC data flow analysis, and provide a mended algorithm. The experiments show that our mended algorithm is useful.