Polaris: GSAFullRangeDict.cc File Reference
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members
Range

GSAFullRangeDict.cc File Reference

Go to the source code of this file.

Functions

static bool _are_all_id_args (const Expression &expr)
 _are_all_id_args Return true if the arguments of the given expression is all ID exprs.
static void _init_data_preds (GSAFullRangeData &data)
 _init_data_preds Initialize the arg_preds field of the given GSAFullRangeData object.
static void _add_leaf_nodes_to_set (const Array< GSAFullRangeData * > &iter_order, IntSet &start_nodes)
 add_leaf_nodes_to_set Add all nodes whose ordering is smaller than all of its successors to the set.
static void _add_phi_nodes_to_set (const Array< GSAFullRangeData * > &iter_order, IntSet &phi_nodes)
 add_phi_nodes_to_set Add all nodes for phi-statements to the set.

Variables

static int _debug_level = 0

Detailed Description

Definition in file GSAFullRangeDict.cc.

Function Documentation

static bool _are_all_id_args (  const Expression &  expr  )  [static]
 

_are_all_id_args Return true if the arguments of the given expression is all ID exprs.

Definition at line 184 of file GSAFullRangeDict.cc.

References Expression::arg_list(), Iterator< T >::current(), ID_OP, Expression::op(), and Iterator< T >::valid().

static void _init_data_preds (  GSAFullRangeData &  data  )  [static]
 

_init_data_preds Initialize the arg_preds field of the given GSAFullRangeData object.

... Don't build the arg_preds field for unreachable phi-statements.

... Variable occurs in more than one argument of the phi ... function. So, conservatively make it have no predecessors.

Definition at line 200 of file GSAFullRangeDict.cc.

References Expression::arg_list(), Iterator< T >::current(), List< T >::del(), List< T >::entries(), RefSet< T >::entries(), RefSet< T >::ins(), RefSet< T >::member(), Expression::parameters_guarded(), Statement::pred(), Statement::prev_ref(), Statement::rhs(), and Iterator< T >::valid().

static void _add_leaf_nodes_to_set (  const Array< GSAFullRangeData * > &  iter_order,
IntSet &  start_nodes
)  [static]
 

add_leaf_nodes_to_set Add all nodes whose ordering is smaller than all of its successors to the set.

Definition at line 456 of file GSAFullRangeDict.cc.

References Iterator< T >::current(), RefSet< T >::ins(), GSAFullRangeData::needs_iteration, GSAFullRangeData::succs(), GSAFullRangeData::toporder, and Iterator< T >::valid().

static void _add_phi_nodes_to_set (  const Array< GSAFullRangeData * > &  iter_order,
IntSet &  phi_nodes
)  [static]
 

add_phi_nodes_to_set Add all nodes for phi-statements to the set.

Definition at line 486 of file GSAFullRangeDict.cc.

References GSAFullRangeData::is_phi_stmt, and GSAFullRangeData::toporder.

Variable Documentation

int _debug_level = 0 [static]
 

Definition at line 32 of file GSAFullRangeDict.cc.

Referenced by GSAFullRangeDict::pretty_print().

 © 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:06:21 2005