Improvement and Implementation of Accurate Array Data-Flow Analysis.
Shanshan Wang, Rongcai Zhao, Jianmin Pang · 2006
Abstract: Data-flow analysis of arrays is an important analysis used in optimizing and parallelizing compilers. Last write tree(LWT) is a typical algorithm of array data-flow analysis. But the method of computing the root domain of LWT is not given precisely, sometimes it is even restricted. This paper presents a new computing model and a new algorithm of LWT to solve this problem. In this model, an accurate root domain of LWT can be provided. Key Words: array data-flow analysis; LWT; root domain of LWT their loop indices, i and i, respectively. The r w domain of the function is the range of i according