coins.lparallel
Class Ref_Array

java.lang.Object
  coins.lparallel.Ref_Array

public class Ref_Array

extends java.lang.Object

Field Summary

(package private) Exp	ArrayNode
(package private) long[]	ConstValue
(package private) boolean	dimdependence
(package private) int	dimension
(package private) FlowResults	fResults
(package private) LoopUtil	fUtil
(package private) int[]	ID
(package private) Exp[]	IndexExp
(package private) IndExp[]	InductionExp
(package private) static int	REF_ARRAY_INDUCTION
(package private) static int	REF_ARRAY_INV_CONST
(package private) static int	REF_ARRAY_INVARIANT
(package private) static int	REF_ARRAY_MAX
(package private) static int	REF_ARRAY_REG_IND_INV
(package private) static int	REF_ARRAY_REG_INV
(package private) static int	REF_ARRAY_REG_UNKNOWN
(package private) static int	REF_ARRAY_UNKNOWN
(package private) static int	REF_DDEF
(package private) static int	REF_EUSE
(package private) static int	REF_LIVE
(package private) static int	REF_MOD
(package private) static int	REF_RESULT
(package private) static int	REF_USE
(package private) IndExp[]	RegIndInit
(package private) IndExp[]	RegIndLast
(package private) VarNode	VarNode

Constructor Summary

(package private)	Ref_Array(FlowResults pResults) Ref_Array:
(package private)	Ref_Array(FlowResults pResults, Exp Node, java.util.LinkedList IndList, Invariant pinv, LoopUtil pUtil) Ref_Array:

Method Summary

Ref_Array	copy() copy:
(package private) void	DebugArrayRef(LoopUtil pUtil) DebugArrayRef:
boolean	EQExpression(Exp node1, Exp node2) EQExpression:
(package private) boolean	EQRefArray(Ref_Array b) EQRefArray:
(package private) boolean	EQRefArrayDim(Ref_Array b, int dim) EQRefArrayDim:
(package private) IndExp	getIndExp(Exp Node, java.util.LinkedList IndList) getIndExp:
(package private) boolean	isRegUNKNOWN() isRegUNKNOWN:
void	SetdimArea() SetdimArea:
java.lang.String	toString() toString:

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

REF_ARRAY_INDUCTION

static final int REF_ARRAY_INDUCTION

See Also:

Constant Field Values

REF_ARRAY_UNKNOWN

static final int REF_ARRAY_UNKNOWN

See Also:

Constant Field Values

REF_ARRAY_INV_CONST

static final int REF_ARRAY_INV_CONST

See Also:

Constant Field Values

REF_ARRAY_INVARIANT

static final int REF_ARRAY_INVARIANT

See Also:

Constant Field Values

REF_ARRAY_REG_INV

static final int REF_ARRAY_REG_INV

See Also:

Constant Field Values

REF_ARRAY_REG_IND_INV

static final int REF_ARRAY_REG_IND_INV

See Also:

Constant Field Values

REF_ARRAY_REG_UNKNOWN

static final int REF_ARRAY_REG_UNKNOWN

See Also:

Constant Field Values

REF_ARRAY_MAX

static final int REF_ARRAY_MAX

See Also:

Constant Field Values

REF_RESULT

static final int REF_RESULT

See Also:

Constant Field Values

REF_DDEF

static final int REF_DDEF

See Also:

Constant Field Values

REF_USE

static final int REF_USE

See Also:

Constant Field Values

REF_MOD

static final int REF_MOD

See Also:

Constant Field Values

REF_EUSE

static final int REF_EUSE

See Also:

Constant Field Values

REF_LIVE

static final int REF_LIVE

See Also:

Constant Field Values

dimdependence

boolean dimdependence

dimension

int dimension

ID

int[] ID

ConstValue

long[] ConstValue

InductionExp

IndExp[] InductionExp

IndexExp

Exp[] IndexExp

RegIndInit

IndExp[] RegIndInit

RegIndLast

IndExp[] RegIndLast

ArrayNode

Exp ArrayNode

VarNode

VarNode VarNode

fResults

FlowResults fResults

fUtil

LoopUtil fUtil

Constructor Detail

Ref_Array

Ref_Array(FlowResults pResults)

Ref_Array:

Ref_Array

Ref_Array(FlowResults pResults,
          Exp Node,
          java.util.LinkedList IndList,
          Invariant pinv,
          LoopUtil pUtil)

Ref_Array:

Method Detail

copy

public Ref_Array copy()

copy:

SetdimArea

public void SetdimArea()

SetdimArea:

isRegUNKNOWN

boolean isRegUNKNOWN()

isRegUNKNOWN:

getIndExp

IndExp getIndExp(Exp Node,
                 java.util.LinkedList IndList)

getIndExp:

EQRefArray

boolean EQRefArray(Ref_Array b)

EQRefArray:

EQRefArrayDim

boolean EQRefArrayDim(Ref_Array b,
                      int dim)

EQRefArrayDim:

EQExpression

public boolean EQExpression(Exp node1,
                            Exp node2)

EQExpression:

toString

public java.lang.String toString()

toString:

DebugArrayRef

void DebugArrayRef(LoopUtil pUtil)

DebugArrayRef: