ReachDefsStandard.cpp

Go to the documentation of this file.

#include "ReachDefsStandard.hpp"

namespace OA {
  namespace ReachDefs {

OA_ptr<Interface::ReachDefsIterator> 
ReachDefsStandard::getReachDefsIterator(StmtHandle s) 
{ 
    OA_ptr<ReachDefsStandardReachDefsIterator> retval;

    if (mReachDefs[s].ptrEqual(0)) {
        mReachDefs[s] = new std::set<StmtHandle>;
    }
    retval = new ReachDefsStandardReachDefsIterator(mReachDefs[s]);
    return retval;
}

OA_ptr<Interface::ReachDefsIterator> 
ReachDefsStandard::getExitReachDefsIterator() 
{ 
    OA_ptr<ReachDefsStandardReachDefsIterator> retval;
    retval = new ReachDefsStandardReachDefsIterator(mExitReachDefs);
    return retval;
}

void ReachDefsStandard::output(IRHandlesIRInterface& ir)
{    
    sOutBuild->objStart("ReachDefsStandard");

    sOutBuild->mapStart("mReachDefs", "StmtHandle", "OA_ptr<std::set<StmtHandle> >");
    std::map<StmtHandle,OA_ptr<std::set<StmtHandle> > >::iterator mapIter;
    for (mapIter = mReachDefs.begin(); mapIter != mReachDefs.end(); mapIter++) {
        StmtHandle s = mapIter->first;
        OA_ptr<std::set<StmtHandle> > rdset = mapIter->second;
        if ( rdset.ptrEqual(0) ) continue;

        sOutBuild->mapEntryStart();
        sOutBuild->mapKeyStart();
        sOutBuild->outputIRHandle(s, ir);
        sOutBuild->mapKeyEnd();
        sOutBuild->mapValueStart();

        sOutBuild->listStart();
        std::set<StmtHandle>::iterator setIter;
        for (setIter=rdset->begin(); setIter!=rdset->end(); setIter++) {
            sOutBuild->listItemStart();
            sOutBuild->outputIRHandle(*setIter, ir);
            sOutBuild->listItemEnd();
        }
        sOutBuild->listEnd();

        sOutBuild->mapValueEnd();
        sOutBuild->mapEntryEnd();
    }
    sOutBuild->mapEnd("mReachDefs");

    sOutBuild->fieldStart("mExitReachDefs");
    sOutBuild->listStart();
    std::set<StmtHandle>::iterator setIter;
    for (setIter=mExitReachDefs->begin(); 
         setIter!=mExitReachDefs->end(); setIter++) 
    {
        sOutBuild->listItemStart();
        sOutBuild->outputIRHandle(*setIter, ir);
        sOutBuild->listItemEnd();
    }
    sOutBuild->listEnd();
    sOutBuild->fieldEnd("mExitReachDefs");

    sOutBuild->objEnd("ReachDefsStandard");
}



void ReachDefsStandard::dump(std::ostream& os, OA_ptr<IRHandlesIRInterface> ir)
{
    std::map<StmtHandle,OA_ptr<std::set<StmtHandle> > >::iterator mapIter;
    for (mapIter = mReachDefs.begin(); mapIter != mReachDefs.end(); mapIter++) {
        StmtHandle s = mapIter->first;

        os << "StmtHandle(" << s.hval() << ") " << ir->toString(s) 
           << std::endl << "\treachdefs: " << std::endl;
        // iterate over reaching defs for statement s
        OA_ptr<Interface::ReachDefsIterator> setIterPtr
            = getReachDefsIterator(s);
        for (; setIterPtr->isValid(); (*setIterPtr)++) {
            os << "\t" << ir->toString(setIterPtr->current()) << std::endl;
        }

    }
}



  } // end of ReachDefs namespace
} // end of OA namespace