Click here for full text:
Modern Dependence Testing
Offner, Carl D.
Keyword(s): dependence analysis; compiler optimizations; Fourier- Motzkin elimination; omega test
Abstract: 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.
Back to Index