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

IPCPProcData.cc File Reference

Go to the source code of this file.

Functions

template ostream & operator<< (ostream &, const Database< String, IPCPCallData > &)
template ostream & operator<< (ostream &, const List< IPCPConstants > &)
static const char * _proc_name (const Statement &call_stmt)
 proc_name Return the name of the subroutine or function called by the given statement.
static const List< Expression > & _call_arg_list (const Statement &call_site)
 call_arg_list Return a reference to the argument list of the given call site.
static void _add_refs (RefSet< Symbol > &vars, const RefSet< Expression > &refs)
 add_refs - Add the given set of references to the given variable set.
static void _add_vars_to_set (RefSet< Symbol > &var_set, const Expression &expr)
 add_vars_to_set Add the variables in the given expression to the given set.
static void _filter_out_entering_consts (Map< Symbol, Expression > &new_consts, const Map< Symbol, Expression > &old_const_mods)
 _filter_out_entering_consts.
Boolean constant_value (const Expression &expr)
 expand_all_substituted
static void _print_var_map (ostream &o, const RefMap< Symbol, Symbol > &var_map)
 _print_var_map Print a mapping from variables to variables;
static void _print_var_set (ostream &o, const RefSet< Symbol > &var_map)
 _print_var_set Print a mapping from variables to variables;

Detailed Description

Definition in file IPCPProcData.cc.

Function Documentation

template ostream& operator<< (  ostream &  ,
const Database< String, IPCPCallData > & 
) 
 

template ostream& operator<< (  ostream &  ,
const List< IPCPConstants > & 
) 
 

static const char* _proc_name (  const Statement &  call_stmt  )  [static]
 

proc_name Return the name of the subroutine or function called by the given statement.

Definition at line 149 of file IPCPProcData.cc.

References ASSIGNMENT_STMT, CALL_STMT, and FUNCTION_CALL_OP.

static const List<Expression>& _call_arg_list (  const Statement &  call_site  )  [static]
 

call_arg_list Return a reference to the argument list of the given call site.

Definition at line 165 of file IPCPProcData.cc.

References ASSIGNMENT_STMT, CALL_STMT, and FUNCTION_CALL_OP.

static void _add_refs (  RefSet< Symbol > &  vars,
const RefSet< Expression > &  refs
)  [static]
 

add_refs - Add the given set of references to the given variable set.

Definition at line 433 of file IPCPProcData.cc.

References Expression::base_variable_ref(), Iterator< T >::current(), and Iterator< T >::valid().

static void _add_vars_to_set (  RefSet< Symbol > &  var_set,
const Expression &  expr
)  [static]
 

add_vars_to_set Add the variables in the given expression to the given set.

Definition at line 468 of file IPCPProcData.cc.

References Iterator< T >::current(), ID_OP, RefSet< T >::ins(), Iterator< T >::valid(), and VARIABLE_CLASS.

static void _filter_out_entering_consts (  Map< Symbol, Expression > &  new_consts,
const Map< Symbol, Expression > &  old_const_mods
)  [static]
 

_filter_out_entering_consts.

Filter out any constants in new_consts that are not in old_const_mods. This can occur when a constant in new_consts originated from an entering interprocedural constant for the procedure.

Definition at line 698 of file IPCPProcData.cc.

References Iterator< T >::current(), modified_vars(), and Iterator< T >::valid().

Referenced by IPCPProcData::create_jump_function(), and IPCPProcData::create_return_jump_function().

Boolean constant_value (  const Expression &  expr  ) 
 

expand_all_substituted

Definition at line 1311 of file IPCPProcData.cc.

References Iterator< T >::current(), INTEGER_CONSTANT_OP, INTRINSIC_CALL_OP, LOGICAL_CONSTANT_OP, and Iterator< T >::valid().

Referenced by IPCPProcData::expand_all_substituted().

static void _print_var_map (  ostream &  o,
const RefMap< Symbol, Symbol > &  var_map
)  [static]
 

_print_var_map Print a mapping from variables to variables;

Definition at line 1390 of file IPCPProcData.cc.

References KeyIterator< S, T >::current_data(), KeyIterator< S, T >::current_key(), Symbol::name_ref(), and KeyIterator< S, T >::valid().

Referenced by IPCPProcData::print().

static void _print_var_set (  ostream &  o,
const RefSet< Symbol > &  var_map
)  [static]
 

_print_var_set Print a mapping from variables to variables;

Definition at line 1439 of file IPCPProcData.cc.

References Iterator< T >::current(), Symbol::name_ref(), and Iterator< T >::valid().

Referenced by PropRangeWS::print(), PropCtrlRangeWS::print(), and IPCPProcData::print().

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