Modern Dependence Testing

Offner, Carl D.

HP Development Company

关键词: dependence analysis;    compiler optimizations;    Fourier- Motzkin elimination;    omega test;   

RP-ID  :  HPL-2005-177

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

This purely expository paper was written as part of the HPF project at Digital. We needed a good dependence analyzer, and I wrote this both to provide a good description of what dependence analysis consists of and to see what the state of the art was at that time. I concluded that Pugh's Omega test was really the method of choice. The discussion in most places follows the original papers quite closely, although the exposition of many topics has been cleaned up quite a bit. 63 Pages