Modern Dependence Testing

[摘要] 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

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）

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