SVF::PTASCEV Class Reference

#include <DataFlowUtil.h>

Public Member Functions
	PTASCEV ()
	PTASCEV (const Value *p, const SCEV *s, ScalarEvolution *SE)
	Constructor. More...
	PTASCEV (const PTASCEV &ptase)
	Copy Constructor. More...
virtual	~PTASCEV ()
	Destructor. More...
bool	operator< (const PTASCEV &rhs) const
PTASCEV &	operator= (const PTASCEV &rhs)
	Overloading operator=. More...
bool	operator== (const PTASCEV &rhs) const
	Overloading operator==. More...
bool	operator!= (const PTASCEV &rhs) const
	Overloading operator==. More...

Public Attributes
const SCEV *	scev
const Value *	start
const Value *	step
const Value *	ptr
bool	inloop
unsigned	tripcount

Detailed Description

Wrapper for SCEV collected from function pass ScalarEvolution

Definition at line 43 of file DataFlowUtil.h.

Constructor & Destructor Documentation

PTASCEV() [1/3]

SVF::PTASCEV::PTASCEV ( )

inline

Definition at line 47 of file DataFlowUtil.h.

:scev(nullptr), start(nullptr), step(nullptr),ptr(nullptr),inloop(false),tripcount(0) {}

PTASCEV() [2/3]

SVF::PTASCEV::PTASCEV ( const Value *  p, const SCEV *  s, ScalarEvolution *  SE  )

inline

Constructor.

Definition at line 50 of file DataFlowUtil.h.

                                                               : scev(s),start(nullptr), step(nullptr), ptr(p), inloop(false), tripcount(0)
    {
        if(const SCEVAddRecExpr* ar = SVFUtil::dyn_cast<SCEVAddRecExpr>(s))
        {
            if (const SCEVConstant *startExpr = SVFUtil::dyn_cast<SCEVConstant>(ar->getStart()))
                start = startExpr->getValue();
            if (const SCEVConstant *stepExpr = SVFUtil::dyn_cast<SCEVConstant>(ar->getStepRecurrence(*SE)))
                step = stepExpr->getValue();
            tripcount = SE->getSmallConstantTripCount(const_cast<Loop*>(ar->getLoop()));
            inloop = true;
        }
    }

PTASCEV() [3/3]

SVF::PTASCEV::PTASCEV ( const PTASCEV &  ptase )

inline

Copy Constructor.

Definition at line 63 of file DataFlowUtil.h.

                                 : scev(ptase.scev), start(ptase.start), step(ptase.step), ptr(ptase.ptr), inloop(ptase.inloop),tripcount(ptase.tripcount)
    {

    }

~PTASCEV()

virtual SVF::PTASCEV::~PTASCEV ( )

inlinevirtual

Destructor.

Definition at line 69 of file DataFlowUtil.h.

    {
    }

Member Function Documentation

operator!=()

bool SVF::PTASCEV::operator!= ( const PTASCEV &  rhs ) const

inline

Overloading operator==.

Definition at line 114 of file DataFlowUtil.h.

    {
        return !(*this==rhs);
    }

operator<()

bool SVF::PTASCEV::operator< ( const PTASCEV &  rhs ) const

inline

Enable compare operator to avoid duplicated item insertion in map or set to be noted that two vectors can also overload operator()

Definition at line 82 of file DataFlowUtil.h.

    {
        if(start!=rhs.start)
            return start < rhs.start;
        else if(step!=rhs.step)
            return step < rhs.step;
        else if(ptr!=rhs.ptr)
            return ptr < rhs.ptr;
        else if(tripcount!=rhs.tripcount)
            return tripcount < rhs.tripcount;
        else
            return inloop < rhs.inloop;
    }

operator=()

PTASCEV& SVF::PTASCEV::operator= ( const PTASCEV &  rhs )

inline

Overloading operator=.

Definition at line 96 of file DataFlowUtil.h.

    {
        if(*this!=rhs)
        {
            start = rhs.start;
            step = rhs.step;
            ptr = rhs.ptr;
            tripcount = rhs.tripcount;
            inloop = rhs.inloop;
        }
        return *this;
    }

operator==()

bool SVF::PTASCEV::operator== ( const PTASCEV &  rhs ) const

inline

Overloading operator==.

Definition at line 109 of file DataFlowUtil.h.

    {
        return (start == rhs.start && step == rhs.step && ptr == rhs.ptr && tripcount == rhs.tripcount && inloop == rhs.inloop);
    }

Member Data Documentation

inloop

bool SVF::PTASCEV::inloop

Definition at line 77 of file DataFlowUtil.h.

ptr

const Value* SVF::PTASCEV::ptr

Definition at line 76 of file DataFlowUtil.h.

scev

const SCEV* SVF::PTASCEV::scev

Definition at line 73 of file DataFlowUtil.h.

start

const Value* SVF::PTASCEV::start

Definition at line 74 of file DataFlowUtil.h.

step

const Value* SVF::PTASCEV::step

Definition at line 75 of file DataFlowUtil.h.

tripcount

unsigned SVF::PTASCEV::tripcount

Definition at line 78 of file DataFlowUtil.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/SVF-FE/DataFlowUtil.h