cetus.hir

Class DataFlowTools

java.lang.Object

cetus.hir.DataFlowTools

public final class DataFlowTools
extends java.lang.Object

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.Map<Symbol,java.util.Set<java.lang.Integer>>	convertExprMap2SymbolMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap)
static void	displayMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap, java.lang.String name)
static java.util.List<Expression>	getDefList(Traversable t) Returns a list of defined expressions in the traversable object.
static java.util.Map<Expression,java.util.Set<java.lang.Integer>>	getDefMap(Traversable t) Returns a set of defined expressions in the traversable object.
static Section.MAP	getDefSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Returns a map from a variable to its section
static Section.MAP	getDefSectionMap(Traversable t, java.util.Map range_map, RangeDomain unioned_rd, java.util.Set<Symbol> def_vars) Returns a set of defined Section expressions in the traversable object.
static java.util.Set<Expression>	getDefSet(Traversable t) Returns a set of defined expressions in the traversable object.
static java.util.Set<Symbol>	getDefSymbol(Traversable t) Returns a set of defined symbols from the traversable object.
static java.util.Map<Symbol,java.util.Set<java.lang.Integer>>	getDefSymbolMap(Traversable t)
static java.util.List<Expression>	getUseList(Traversable t)
static java.util.Map<Expression,java.util.Set<java.lang.Integer>>	getUseMap(Traversable t) Returns a set of used expressions with their unique hashcodes in the traversable object.
static Section.MAP	getUseSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Returns a map from a variable to its section
static java.util.Set<Expression>	getUseSet(Traversable t) Returns a set of used expressions in the traversable object.
static java.util.Set<Symbol>	getUseSymbol(Traversable t) Returns a set of used symbols from the traversable object.
static java.util.Map<Symbol,java.util.Set<java.lang.Integer>>	getUseSymbolMap(Traversable t)
static void	mergeMaps(java.util.Map<Expression,java.util.Set<java.lang.Integer>> orig_map, java.util.Map<Expression,java.util.Set<java.lang.Integer>> new_map) add contents of new_map to orig_map
static void	mergeSymbolMaps(java.util.Map<Symbol,java.util.Set<java.lang.Integer>> orig_map, java.util.Map<Symbol,java.util.Set<java.lang.Integer>> new_map) add contents of new_map to orig_map

Methods inherited from class java.lang.Object

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

Method Detail

getUseSet

public static java.util.Set<Expression> getUseSet(Traversable t)

Returns a set of used expressions in the traversable object.

Parameters:

t - the traversable object.

Returns:

the set of used expressions.

mergeSymbolMaps

public static void mergeSymbolMaps(java.util.Map<Symbol,java.util.Set<java.lang.Integer>> orig_map,
                   java.util.Map<Symbol,java.util.Set<java.lang.Integer>> new_map)

add contents of new_map to orig_map

mergeMaps

public static void mergeMaps(java.util.Map<Expression,java.util.Set<java.lang.Integer>> orig_map,
             java.util.Map<Expression,java.util.Set<java.lang.Integer>> new_map)

add contents of new_map to orig_map

convertExprMap2SymbolMap

public static java.util.Map<Symbol,java.util.Set<java.lang.Integer>> convertExprMap2SymbolMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap)

getUseSymbolMap

public static java.util.Map<Symbol,java.util.Set<java.lang.Integer>> getUseSymbolMap(Traversable t)

getDefSymbolMap

public static java.util.Map<Symbol,java.util.Set<java.lang.Integer>> getDefSymbolMap(Traversable t)

getUseSectionMap

public static Section.MAP getUseSectionMap(Expression e,
                           RangeDomain rd,
                           java.util.Set<Symbol> def_vars)

Returns a map from a variable to its section

getDefSectionMap

public static Section.MAP getDefSectionMap(Expression e,
                           RangeDomain rd,
                           java.util.Set<Symbol> def_vars)

Returns a map from a variable to its section

getUseMap

public static java.util.Map<Expression,java.util.Set<java.lang.Integer>> getUseMap(Traversable t)

Returns a set of used expressions with their unique hashcodes in the traversable object.

Parameters:

t - the traversable object.

Returns:

the set of used expressions.

displayMap

public static void displayMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap,
              java.lang.String name)

getDefSet

public static java.util.Set<Expression> getDefSet(Traversable t)

Returns a set of defined expressions in the traversable object.

Parameters:

t - the traversable object.

Returns:

the set of defined expressions.

getDefList

public static java.util.List<Expression> getDefList(Traversable t)

Returns a list of defined expressions in the traversable object.

Parameters:

t - the traversable object.

Returns:

the list of defined expressions.

getDefMap

public static java.util.Map<Expression,java.util.Set<java.lang.Integer>> getDefMap(Traversable t)

Returns a set of defined expressions in the traversable object.

Parameters:

t - the traversable object.

Returns:

the set of defined expressions.

getDefSectionMap

public static Section.MAP getDefSectionMap(Traversable t,
                           java.util.Map range_map,
                           RangeDomain unioned_rd,
                           java.util.Set<Symbol> def_vars)

Returns a set of defined Section expressions in the traversable object.

Parameters:

t - the traversable object.

range_map - the range map of the procedure that contains t

Returns:

the set of defined expressions.

getDefSymbol

public static java.util.Set<Symbol> getDefSymbol(Traversable t)

Returns a set of defined symbols from the traversable object.

Parameters:

t - the traversable object.

Returns:

the set of defined symbols.

getUseSymbol

public static java.util.Set<Symbol> getUseSymbol(Traversable t)

Returns a set of used symbols from the traversable object.

Parameters:

t - the traversable object.

Returns:

the set of used symbols.

getUseList

public static java.util.List<Expression> getUseList(Traversable t)