ConstraintContext Struct Reference

Collaboration diagram for ConstraintContext:

Public Types
using	InnerTy = std::shared_ptr<const Constraints>
using	SetTy = std::set<InnerTy, ConstraintComparator>

Public Member Functions
	ConstraintContext (ScalarEvolution &SE, const Loop *loopToSolve, const SmallVectorImpl< Instruction * > &Assumptions, DominatorTree &DT)
	ConstraintContext (const ConstraintContext &)=delete
	ConstraintContext (const ConstraintContext &ctx, InnerTy lhs)
	ConstraintContext (const ConstraintContext &ctx, InnerTy lhs, InnerTy rhs)
bool	contains (InnerTy x) const

Public Attributes
ScalarEvolution &	SE
const Loop *	loopToSolve
const SmallVectorImpl< Instruction * > &	Assumptions
DominatorTree &	DT
SetTy	seen

Detailed Description

Definition at line 7011 of file FunctionUtils.cpp.

Member Typedef Documentation

InnerTy

using ConstraintContext::InnerTy = std::shared_ptr<const Constraints>

Definition at line 7016 of file FunctionUtils.cpp.

SetTy

using ConstraintContext::SetTy = std::set<InnerTy, ConstraintComparator>

Definition at line 7017 of file FunctionUtils.cpp.

Constructor & Destructor Documentation

ConstraintContext() [1/4]

ConstraintContext::ConstraintContext ( ScalarEvolution & SE, const Loop * loopToSolve, const SmallVectorImpl< Instruction * > & Assumptions, DominatorTree & DT )

inline

Definition at line 7019 of file FunctionUtils.cpp.

References loopToSolve.

ConstraintContext() [2/4]

ConstraintContext::ConstraintContext ( const ConstraintContext & )

delete

ConstraintContext() [3/4]

ConstraintContext::ConstraintContext ( const ConstraintContext & ctx, InnerTy lhs )

inline

Definition at line 7026 of file FunctionUtils.cpp.

References seen.

ConstraintContext() [4/4]

ConstraintContext::ConstraintContext ( const ConstraintContext & ctx, InnerTy lhs, InnerTy rhs )

inline

Definition at line 7031 of file FunctionUtils.cpp.

References seen.

Member Function Documentation

contains()

bool ConstraintContext::contains ( InnerTy x ) const

inline

Definition at line 7037 of file FunctionUtils.cpp.

References seen.

Referenced by Constraints::andB().

Member Data Documentation

Assumptions

const SmallVectorImpl<Instruction *>& ConstraintContext::Assumptions

Definition at line 7014 of file FunctionUtils.cpp.

Referenced by Constraints::make_compare().

DT

DominatorTree& ConstraintContext::DT

Definition at line 7015 of file FunctionUtils.cpp.

Referenced by Constraints::make_compare().

loopToSolve

const Loop* ConstraintContext::loopToSolve

Definition at line 7013 of file FunctionUtils.cpp.

Referenced by Constraints::allSolutions(), Constraints::andB(), ConstraintContext(), getSparseConditions(), and Constraints::make_compare().

SE

ScalarEvolution& ConstraintContext::SE

Definition at line 7012 of file FunctionUtils.cpp.

Referenced by Constraints::andB(), getSparseConditions(), and Constraints::make_compare().

seen

SetTy ConstraintContext::seen

Definition at line 7018 of file FunctionUtils.cpp.

Referenced by ConstraintContext(), ConstraintContext(), contains(), and getSparseConditions().

---

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

• FunctionUtils.cpp