#include <find_loop_variance.h>

Inheritance diagram for freetensor::MarkStores:

Collaboration diagram for freetensor::MarkStores:

Public Member Functions
	MarkStores (const std::string &var, std::vector< StmtOrExprID > &condStack, LoopVariTransVarMap &varInfo, const LoopVariExprMap &exprInfo)

Public Member Functions inherited from freetensor::Visitor
virtual	~Visitor ()

virtual void	operator() (const AST &op) final

Protected Member Functions
void	visit (const For &op) override

void	visit (const If &op) override

void	visit (const Store &op) override

void	visit (const ReduceTo &op) override

Protected Member Functions inherited from freetensor::TrackStmt< Visitor >
void	pushStmt (const Stmt &op)

void	popStmt (const Stmt &)

const Stmt &	curStmt () const

BaseClass::StmtRetType	visitStmt (const Stmt &op) override

Protected Member Functions inherited from freetensor::Visitor
virtual void	visitExpr (const Expr &op)

virtual void	visitStmt (const Stmt &op)

virtual void	visit (const Any &op)

virtual void	visit (const AnyExpr &op)

virtual void	visit (const Func &op)

virtual void	visit (const StmtSeq &op)

virtual void	visit (const VarDef &op)

virtual void	visit (const Var &op)

virtual void	visit (const Store &op)

virtual void	visit (const Alloc &op)

virtual void	visit (const Free &op)

virtual void	visit (const Load &op)

virtual void	visit (const ReduceTo &op)

virtual void	visit (const IntConst &op)

virtual void	visit (const FloatConst &op)

virtual void	visit (const BoolConst &op)

virtual void	visit (const Add &op)

virtual void	visit (const Sub &op)

virtual void	visit (const Mul &op)

virtual void	visit (const RealDiv &op)

virtual void	visit (const FloorDiv &op)

virtual void	visit (const CeilDiv &op)

virtual void	visit (const RoundTowards0Div &op)

virtual void	visit (const Mod &op)

virtual void	visit (const Remainder &op)

virtual void	visit (const Min &op)

virtual void	visit (const Max &op)

virtual void	visit (const LT &op)

virtual void	visit (const LE &op)

virtual void	visit (const GT &op)

virtual void	visit (const GE &op)

virtual void	visit (const EQ &op)

virtual void	visit (const NE &op)

virtual void	visit (const LAnd &op)

virtual void	visit (const LOr &op)

virtual void	visit (const LNot &op)

virtual void	visit (const Sqrt &op)

virtual void	visit (const Exp &op)

virtual void	visit (const Ln &op)

virtual void	visit (const Square &op)

virtual void	visit (const Sigmoid &op)

virtual void	visit (const Sin &op)

virtual void	visit (const Cos &op)

virtual void	visit (const Tan &op)

virtual void	visit (const Tanh &op)

virtual void	visit (const Abs &op)

virtual void	visit (const Floor &op)

virtual void	visit (const Ceil &op)

virtual void	visit (const Unbound &op)

virtual void	visit (const For &op)

virtual void	visit (const If &op)

virtual void	visit (const Assert &op)

virtual void	visit (const Assume &op)

virtual void	visit (const IfExpr &op)

virtual void	visit (const Cast &op)

virtual void	visit (const Intrinsic &op)

virtual void	visit (const Eval &op)

virtual void	visit (const MatMul &op)

virtual void	visit (const MarkVersion &op)

virtual void	visit (const LoadAtVersion &op)

Additional Inherited Members
Public Types inherited from freetensor::Visitor
typedef void	ExprRetType

typedef void	StmtRetType

Detailed Description

Determine variance of a variable by expressions

Variance of this particular variable is initialized to Invariant, while variance of expressions are kept as-is. Therefore:

If any of the expressions stored to it is Variant, it will become Variant
If no expressions stored to it is Variant, but some of them are Unknown, it will become Unknown
If all of the expressions stored to it is Invariant, it will become Invariant

Constructor & Destructor Documentation

◆ MarkStores()

freetensor::MarkStores::MarkStores	(	const std::string &	var,
		std::vector< StmtOrExprID > &	condStack,
		LoopVariTransVarMap &	varInfo,
		const LoopVariExprMap &	exprInfo
	)

inline

Member Function Documentation

◆ visit() [1/4]

void freetensor::MarkStores::visit ( const For & op )

overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [2/4]

void freetensor::MarkStores::visit ( const If & op )

overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [3/4]

void freetensor::MarkStores::visit ( const ReduceTo & op )

inlineoverrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [4/4]

void freetensor::MarkStores::visit ( const Store & op )

inlineoverrideprotectedvirtual

Reimplemented from freetensor::Visitor.

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

include/analyze/find_loop_variance.h
src/analyze/find_loop_variance.cc

Public Member Functions

Protected Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ MarkStores()

Member Function Documentation

◆ visit() [1/4]

◆ visit() [2/4]

◆ visit() [3/4]

◆ visit() [4/4]