freetensor::CompUniqueBoundsPB Class Reference

#include <comp_unique_bounds_pb.h>

Inheritance diagram for freetensor::CompUniqueBoundsPB:

Collaboration diagram for freetensor::CompUniqueBoundsPB:

Classes
class	Bound

Public Member Functions
	CompUniqueBoundsPB (const CompTransientBoundsInterface &transients)
Ref< CompUniqueBounds::Bound >	getBound (const Expr &op) override
bool	alwaysLE (const Expr &lhs, const Expr &rhs) override
bool	alwaysLT (const Expr &lhs, const Expr &rhs) override
std::pair< Expr, Expr >	unionBounds (const std::vector< Ref< CompUniqueBounds::Bound > > &bounds) override
Public Member Functions inherited from freetensor::CompUniqueBounds
	CompUniqueBounds (const CompTransientBoundsInterface &transients)
virtual	~CompUniqueBounds ()
virtual Ref< Bound >	getBound (const Expr &op)=0
int64_t	getIntLower (const Expr &op)
int64_t	getIntUpper (const Expr &op)
std::optional< int64_t >	getInt (const Expr &op)
virtual bool	alwaysLT (const Expr &lhs, const Expr &rhs)=0
virtual bool	alwaysLE (const Expr &lhs, const Expr &rhs)=0
virtual std::pair< Expr, Expr >	unionBounds (const std::vector< Ref< Bound > > &bounds)=0

Protected Member Functions
Ref< CompUniqueBoundsPB::Bound >	unionBoundsAsBound (const std::vector< Ref< CompUniqueBounds::Bound > > &bounds)

Additional Inherited Members
Public Types inherited from freetensor::CompUniqueBounds
enum class	BoundType { Combination , Presburger }
Protected Attributes inherited from freetensor::CompUniqueBounds
const CompTransientBoundsInterface &	transients_

Detailed Description

CompUniqueBounds added with Presburger information

For each statements in the AST, a corresponding instance of this class should be created to deal with all (sub)expressions in the statement

Constructor & Destructor Documentation

CompUniqueBoundsPB()

freetensor::CompUniqueBoundsPB::CompUniqueBoundsPB

(

const CompTransientBoundsInterface &

transients

)

Member Function Documentation

alwaysLE()

bool freetensor::CompUniqueBoundsPB::alwaysLE ( const Expr &  lhs, const Expr &  rhs  )

overridevirtual

Implements freetensor::CompUniqueBounds.

alwaysLT()

bool freetensor::CompUniqueBoundsPB::alwaysLT ( const Expr &  lhs, const Expr &  rhs  )

overridevirtual

Implements freetensor::CompUniqueBounds.

getBound()

Ref< CompUniqueBounds::Bound > freetensor::CompUniqueBoundsPB::getBound ( const Expr &  op )

overridevirtual

Implements freetensor::CompUniqueBounds.

unionBounds()

std::pair< Expr, Expr > freetensor::CompUniqueBoundsPB::unionBounds ( const std::vector< Ref< CompUniqueBounds::Bound > > &  bounds )

overridevirtual

Implements freetensor::CompUniqueBounds.

unionBoundsAsBound()

Ref< CompUniqueBoundsPB::Bound > freetensor::CompUniqueBoundsPB::unionBoundsAsBound ( const std::vector< Ref< CompUniqueBounds::Bound > > &  bounds )

protected

---

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

• include/analyze/comp_unique_bounds_pb.h
• src/analyze/comp_unique_bounds_pb.cc