Predator  [unstable] git snapshot
Public Member Functions | Private Attributes
StateRewriter Class Reference

#include <fixed_point_rewrite.hh>

Inheritance diagram for StateRewriter:
Inheritance graph
[legend]
Collaboration diagram for StateRewriter:
Collaboration graph
[legend]

Public Member Functions

 StateRewriter (GlobalState *pState)
 *pState has to be valid till the destruction of StateRewriter
 ~StateRewriter ()
virtual void insertInsn (TLocIdx src, TLocIdx dst, GenericInsn *insn)
 takes ownership of *insn
virtual void replaceInsn (TLocIdx at, GenericInsn *insn)
 takes ownership of *insn
virtual void dropInsn (TLocIdx at)
virtual void dropEdge (TLocIdx src, TLocIdx dst)
virtual void redirEdge (TLocIdx from, TLocIdx to, TLocIdx redirTo)
bool dedupOutgoingEdges (TLocIdx at)
void mergeInsns (TLocIdx locAt, TLocIdx locWith)

Private Attributes

Private * d

Detailed Description

Definition at line 77 of file fixed_point_rewrite.hh.

Constructor & Destructor Documentation

StateRewriter ( GlobalState pState)

*pState has to be valid till the destruction of StateRewriter

Member Function Documentation

bool dedupOutgoingEdges ( TLocIdx  at)
virtual void dropEdge ( TLocIdx  src,
TLocIdx  dst 
)
virtual

Implements IStateRewriter.

virtual void dropInsn ( TLocIdx  at)
virtual

Implements IStateRewriter.

virtual void insertInsn ( TLocIdx  src,
TLocIdx  dst,
GenericInsn insn 
)
virtual

takes ownership of *insn

Implements IStateRewriter.

void mergeInsns ( TLocIdx  locAt,
TLocIdx  locWith 
)
virtual void redirEdge ( TLocIdx  from,
TLocIdx  to,
TLocIdx  redirTo 
)
virtual

Implements IStateRewriter.

virtual void replaceInsn ( TLocIdx  at,
GenericInsn insn 
)
virtual

takes ownership of *insn

Implements IStateRewriter.

Field Documentation

Private* d
private

Definition at line 101 of file fixed_point_rewrite.hh.


The documentation for this class was generated from the following file: