ConditionalValueRange Class Reference

Collaboration diagram for ConditionalValueRange:

Public Member Functions
	ConditionalValueRange (const tree_nodeConstRef &_V, const std::map< unsigned int, ValueRangeRef > &_bbVR)
	ConditionalValueRange (const tree_nodeConstRef &_V, unsigned int TrueBBI, unsigned int FalseBBI, const ValueRangeRef &TrueVR, const ValueRangeRef &FalseVR)
	~ConditionalValueRange ()=default
	ConditionalValueRange (const ConditionalValueRange &)=default
	ConditionalValueRange (ConditionalValueRange &&)=default
const std::map< unsigned int, ValueRangeRef > &	getVR () const
	Get the interval associated to the switch case idx. More...
const tree_nodeConstRef &	getVar () const
	Get the value associated to the switch. More...
void	addVR (unsigned int bbi, const ValueRangeRef &cvr)
	Add an interval associated to a new basic block. More...

Private Attributes
const tree_nodeConstRef	V
std::map< unsigned int, ValueRangeRef >	bbVR

Detailed Description

Definition at line 1978 of file Range_Analysis.cpp.

Constructor & Destructor Documentation

ConditionalValueRange() [1/4]

ConditionalValueRange::ConditionalValueRange ( const tree_nodeConstRef &  _V, const std::map< unsigned int, ValueRangeRef > &  _bbVR  )

inline

Definition at line 1985 of file Range_Analysis.cpp.

ConditionalValueRange() [2/4]

ConditionalValueRange::ConditionalValueRange ( const tree_nodeConstRef &  _V, unsigned int  TrueBBI, unsigned int  FalseBBI, const ValueRangeRef &  TrueVR, const ValueRangeRef &  FalseVR  )

inline

Definition at line 1989 of file Range_Analysis.cpp.

~ConditionalValueRange()

ConditionalValueRange::~ConditionalValueRange ( )

default

ConditionalValueRange() [3/4]

ConditionalValueRange::ConditionalValueRange ( const ConditionalValueRange &  )

default

ConditionalValueRange() [4/4]

ConditionalValueRange::ConditionalValueRange ( ConditionalValueRange &&  )

default

Member Function Documentation

addVR()

void ConditionalValueRange::addVR ( unsigned int  bbi, const ValueRangeRef &  cvr  )

inline

Add an interval associated to a new basic block.

Definition at line 2009 of file Range_Analysis.cpp.

getVar()

const tree_nodeConstRef& ConditionalValueRange::getVar ( ) const

inline

Get the value associated to the switch.

Definition at line 2004 of file Range_Analysis.cpp.

getVR()

const std::map<unsigned int, ValueRangeRef>& ConditionalValueRange::getVR ( ) const

inline

Get the interval associated to the switch case idx.

Definition at line 1999 of file Range_Analysis.cpp.

Field Documentation

bbVR

std::map<unsigned int, ValueRangeRef> ConditionalValueRange::bbVR

private

Definition at line 1982 of file Range_Analysis.cpp.

V

const tree_nodeConstRef ConditionalValueRange::V

private

Definition at line 1981 of file Range_Analysis.cpp.

---

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

• /workspace/src/frontend_analysis/IR_analysis/Range_Analysis.cpp