Polaris: SSAFullRangeDict.cc File Reference

SSAFullRangeDict.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 (SSAFullRangeData &data)
 _init_data_preds Initialize the arg_preds field of the given SSAFullRangeData object.
static void _add_leaf_nodes_to_set (const Array< SSAFullRangeData * > &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< SSAFullRangeData * > &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


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 175 of file SSAFullRangeDict.cc.

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

static void _init_data_preds SSAFullRangeData data  )  [static]
 

_init_data_preds Initialize the arg_preds field of the given SSAFullRangeData 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 191 of file SSAFullRangeDict.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< SSAFullRangeData * > &  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 436 of file SSAFullRangeDict.cc.

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

static void _add_phi_nodes_to_set const Array< SSAFullRangeData * > &  iter_order,
IntSet phi_nodes
[static]
 

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

Definition at line 466 of file SSAFullRangeDict.cc.

References SSAFullRangeData::is_phi_stmt, and SSAFullRangeData::toporder.


Variable Documentation

int _debug_level = 0 [static]
 

Definition at line 28 of file SSAFullRangeDict.cc.

Referenced by SSAFullRangeDict::pretty_print().

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