关键词: 别名检查, 流敏感, 需求驱动

Abstract: The precision of alias analysis determines the effects of many other compiler optimizations. While scheduling the instructions in the unrolled loop body, imprecise results of alias analysis can lead to redundant data dependence which restricts the scheduling. Because flow-sensitive alias analysis is very expensive, it doesn’t have good scalability. Based on the flow-insensitive alias information, it proposes a demand-driven, flow-sensitive alias checking method that can report whether two expressions are aliased at any given program point in a flow-sensitive way. It is supposed that these two expressions are aliased and the initial dataflow fact is computed. The dataflow facts at the backward program points are computed using dataflow analysis technique. If contradictions occur in the dataflow fact on all the backward paths, it can be concluded that these tow expressions are not aliased. Experimental result shows that the method can improve the precision of alias analysis.

Key words: alias checking, flow-sensitive, demand-driven