Algorithm for the Analysis of Exacticty of Banerjee Test

Abstract

In compiler theory, the Banerjee test is a dependence test. The Banerjee test assumes that all loop indices are independent, however in reality, this is often not true. The Bannerjee test is a conservative test. That is, it will not break a dependence that does not exist.This means that the only thing the test can guarantee is the absence of dependence.This paper proposes an innovative algorithm which allows precise determination of information about dependences and can act in situation where certain cycling limits are known.