Polaris: JumpFunction Class Reference
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members

JumpFunction Class Reference

file JumpFunction.h Jump function for interprocedural constant propagation More...

#include <JumpFunction.h>

Inheritance diagram for JumpFunction:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 JumpFunction (const RefList< Symbol > &param_list, const RefSet< Symbol > &used_global_vars, Map< Symbol, Expression > *old_const_mods, Map< Symbol, Expression > *new_consts)
 Constructors.
 JumpFunction (const JumpFunction &other)
virtual ~JumpFunction ()
 Destructor.
IPCPConstants * constants (IPCPConstants &consts, const List< Expression > &param_values) const
 Return a new set of constants generated from the given set of constants and the given actual parameters for the call site.
virtual Listable * listable_clone () const
 listable_clone

Detailed Description

file JumpFunction.h Jump function for interprocedural constant propagation

Polaris Constant

See also:
JumpFunction.h

JumpFunction.h

JumpFunction.cc

Overview

This class is a map from subroutine parameters or globals to to functions that compute the new values of these parameters or globals.

Definition at line 84 of file JumpFunction.h.

Constructor & Destructor Documentation

JumpFunction::JumpFunction (  const RefList< Symbol > &  param_list,
const RefSet< Symbol > &  used_global_vars,
Map< Symbol, Expression > *  old_const_mods,
Map< Symbol, Expression > *  new_consts
) 
 

Constructors.

... Nothing to do

Definition at line 497 of file JumpFunction.cc.

Referenced by listable_clone().

JumpFunction::JumpFunction (  const JumpFunction &  other  ) 
 

... Nothing to do

Definition at line 506 of file JumpFunction.cc.

JumpFunction::~JumpFunction (   )  [virtual]
 

Destructor.

... Nothing to do

Definition at line 515 of file JumpFunction.cc.

Member Function Documentation

IPCPConstants * JumpFunction::constants (  IPCPConstants &  consts,
const List< Expression > &  param_values
)  const
 

Return a new set of constants generated from the given set of constants and the given actual parameters for the call site.

Note: Externally, the given set of constants is not modified.

Definition at line 605 of file JumpFunction.cc.

References _add_map_to_map(), _simplify_var_mods(), _update_old_consts(), AliasSets::alias(), ReturnJumpFunction::const_mods(), and ReturnJumpFunction::new_consts().

Referenced by IPCPProcData::add_constant_set().

Listable * JumpFunction::listable_clone (   )  const [virtual]
 

listable_clone

Reimplemented from ReturnJumpFunction.

Definition at line 630 of file JumpFunction.cc.

References JumpFunction().

The documentation for this class was generated from the following files:
 © 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:07:38 2005