cetus.analysis

Class BanerjeeTest

java.lang.Object

cetus.analysis.BanerjeeTest

All Implemented Interfaces:

DDTest

public class BanerjeeTest
extends java.lang.Object
implements DDTest

Banerjee Test implements data-dependence testing for a pair of affine subscripts using Banerjee inequalities

Constructor Summary

Constructors

Constructor and Description
BanerjeeTest(SubscriptPair pair) Constructs a new test problem with the specified SubscriptPair.

Method Summary

Methods

Modifier and Type	Method and Description
java.util.LinkedList<Loop>	getCommonEnclosingLoops() Returns a list of loops from outermost to innermost that are common to the two expressions being tested for dependence, whether they are a pair of subscripts or a pair of whole array accesses
boolean	isTestEligible() Returns whether the constructor for the dependence test determined whether it would be eligible to run the test on the pair of subscripts or not
boolean	testDependence(DependenceVector dependence_vector) Runs the dependence test on a direction vector

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BanerjeeTest

public BanerjeeTest(SubscriptPair pair)

Constructs a new test problem with the specified SubscriptPair.

Parameters:

pair - the input SubscriptPair object.

Method Detail

isTestEligible

public boolean isTestEligible()

Description copied from interface: DDTest

Returns whether the constructor for the dependence test determined whether it would be eligible to run the test on the pair of subscripts or not

Specified by:

isTestEligible in interface DDTest

Returns:

true if it is, false otherwise.

testDependence

public boolean testDependence(DependenceVector dependence_vector)

Description copied from interface: DDTest

Runs the dependence test on a direction vector

Specified by:

testDependence in interface DDTest

Parameters:

dependence_vector - The dependence vector under which test needs to be performed

Returns:

whether dependence exists or not

getCommonEnclosingLoops

public java.util.LinkedList<Loop> getCommonEnclosingLoops()

Description copied from interface: DDTest

Returns a list of loops from outermost to innermost that are common to the two expressions being tested for dependence, whether they are a pair of subscripts or a pair of whole array accesses

Specified by:

getCommonEnclosingLoops in interface DDTest

Returns:

the collected list of loops.