Polaris: DeadCodeElimWS.cc File Reference

DeadCodeElimWS.cc File Reference

Go to the source code of this file.

Functions

static void _refs_to_set (IntSet &set, const RefSet< Expression > &refs, const Map< Symbol, IntElem > &candidates, Boolean only_id_exprs)
 refs_to_set Convert a collection of Expression references (e.g.
static void _assert_refs_to_set (IntSet &set, Iterator< Expression > iter, const Map< Symbol, IntElem > &candidates)
 assert_refs_to_set Convert a collection of Expression references from private or induction assertions into a set of symbol tags.
static void _pretty_print_set (ostream &o, const IntSet &set, const Array< Symbol * > &tag_to_candidate)
 pretty_print_set Print out a IntSet using symbol names rather than their integer tags.


Detailed Description

Definition in file DeadCodeElimWS.cc.


Function Documentation

static void _refs_to_set IntSet set,
const RefSet< Expression > &  refs,
const Map< Symbol, IntElem > &  candidates,
Boolean  only_id_exprs
[static]
 

refs_to_set Convert a collection of Expression references (e.g.

in_refs or out_refs) into a set of symbol tags.

... Also place any aliased variables in the set.

Definition at line 18 of file DeadCodeElimWS.cc.

References Iterator< T >::current(), equiv_aliases(), ID_OP, RefSet< T >::ins(), symbol(), Iterator< T >::valid(), and IntElem::value().

static void _assert_refs_to_set IntSet set,
Iterator< Expression iter,
const Map< Symbol, IntElem > &  candidates
[static]
 

assert_refs_to_set Convert a collection of Expression references from private or induction assertions into a set of symbol tags.

Definition at line 60 of file DeadCodeElimWS.cc.

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

Referenced by DeadCodeElimWS::DeadCodeElimWS().

static void _pretty_print_set ostream &  o,
const IntSet set,
const Array< Symbol * > &  tag_to_candidate
[static]
 

pretty_print_set Print out a IntSet using symbol names rather than their integer tags.

Definition at line 199 of file DeadCodeElimWS.cc.

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