#include <ParamBindingsIRInterface.hpp>


Public Member Functions | |
| ParamBindingsIRInterface () | |
| virtual | ~ParamBindingsIRInterface () |
| virtual OA_ptr< IRStmtIterator > | getStmtIterator (ProcHandle h)=0 |
| virtual OA_ptr < MemRefHandleIterator > | getAllMemRefs (StmtHandle stmt)=0 |
| virtual OA_ptr < MemRefExprIterator > | getMemRefExprIterator (MemRefHandle h)=0 |
| virtual OA_ptr < IRCallsiteParamIterator > | getCallsiteParams (CallHandle h)=0 |
| virtual bool | isParam (SymHandle)=0 |
| returns true if given symbol is a parameter | |
| virtual SymHandle | getFormalForActual (ProcHandle caller, CallHandle call, ProcHandle callee, ExprHandle param)=0 |
| returns true if given symbol is a pass by reference parameter | |
| virtual OA_ptr< ExprTree > | getExprTree (ExprHandle h)=0 |
| Given an ExprHandle, return an ExprTree. | |
This is the primary interface for determining parameter bindings to underlying intermediate representation.
Definition at line 32 of file ParamBindingsIRInterface.hpp.
| OA::DataFlow::ParamBindingsIRInterface::ParamBindingsIRInterface | ( | ) | [inline] |
Definition at line 34 of file ParamBindingsIRInterface.hpp.
| virtual OA::DataFlow::ParamBindingsIRInterface::~ParamBindingsIRInterface | ( | ) | [inline, virtual] |
Definition at line 35 of file ParamBindingsIRInterface.hpp.
| virtual OA_ptr<MemRefHandleIterator> OA::DataFlow::ParamBindingsIRInterface::getAllMemRefs | ( | StmtHandle | stmt | ) | [pure virtual] |
Return an iterator over all the memory reference handles that appear in the given statement. Order that memory references are iterated over can be arbitrary.
| virtual OA_ptr<IRCallsiteParamIterator> OA::DataFlow::ParamBindingsIRInterface::getCallsiteParams | ( | CallHandle | h | ) | [pure virtual] |
Get IRCallsiteParamIterator for a callsite. Iterator visits actual parameters in called order.
| virtual OA_ptr<ExprTree> OA::DataFlow::ParamBindingsIRInterface::getExprTree | ( | ExprHandle | h | ) | [pure virtual] |
Given an ExprHandle, return an ExprTree.
| virtual SymHandle OA::DataFlow::ParamBindingsIRInterface::getFormalForActual | ( | ProcHandle | caller, | |
| CallHandle | call, | |||
| ProcHandle | callee, | |||
| ExprHandle | param | |||
| ) | [pure virtual] |
returns true if given symbol is a pass by reference parameter
return the formal parameter that an actual parameter is associated with
| virtual OA_ptr<MemRefExprIterator> OA::DataFlow::ParamBindingsIRInterface::getMemRefExprIterator | ( | MemRefHandle | h | ) | [pure virtual] |
Given a MemRefHandle return an iterator over MemRefExprs that describe this memory reference
| virtual OA_ptr<IRStmtIterator> OA::DataFlow::ParamBindingsIRInterface::getStmtIterator | ( | ProcHandle | h | ) | [pure virtual] |
Given a subprogram return an IRStmtIterator for the entire subprogram
| virtual bool OA::DataFlow::ParamBindingsIRInterface::isParam | ( | SymHandle | ) | [pure virtual] |
returns true if given symbol is a parameter
Given a subprogram return an IRSymIterator for all symbols that are referenced within the subprogram
1.6.1