adt_op_match.hh File Reference

#include "adt_op.hh"
#include "fixed_point.hh"
#include "fixed_point_rewrite.hh"
#include <list>

Go to the source code of this file.

Data Structures
struct	FootprintMatch

Namespaces
namespace	AdtOp

Typedefs
typedef FixedPoint::IStateRewriter	TInsnWriter
typedef std::list < FixedPoint::THeapIdent >	THeapIdentSeq
typedef std::vector < FootprintMatch >	TMatchList
typedef FixedPoint::GlobalState	TProgState
typedef std::vector < FixedPoint::TLocIdx >	TInsnList
typedef std::vector< TInsnList >	TInsnListByTplIdx
typedef int	TOpIdx
typedef int	TMatchIdx
typedef std::vector< TMatchIdx >	TMatchIdxList
typedef std::vector < TMatchIdxList >	TOpList

Enumerations
enum	EFootprintPort {   FP_SRC,   FP_DST,   FP_TOTAL }

Functions
void	matchTemplates (TMatchList *pDst, const OpCollection &coll, const TProgState &progState)
void	collectReplacedInsns (TInsnListByTplIdx *pDst, const TMatchList &matchList, const TProgState &progState)
void	selectApplicableMatches (TMatchList *pMatchList, const TProgState &progState)
TObjId	selectMappedObjByTs (const SymHeap &sh, const BindingOff &bOff, const TObjList &objList, ETargetSpecifier ts)
bool	collectOpList (TOpList *pDst, const TMatchList &matchList)