freetensor::Mutator Class Reference

#include <mutator.h>

Inheritance diagram for freetensor::Mutator:

Public Types
typedef Expr	ExprRetType
typedef Stmt	StmtRetType

Public Member Functions
virtual	~Mutator ()
virtual Stmt	operator() (const Stmt &op) final
virtual Expr	operator() (const Expr &op) final

Protected Member Functions
virtual Expr	visitExpr (const Expr &op)
virtual Stmt	visitStmt (const Stmt &op)
virtual Stmt	visit (const Any &op)
virtual Stmt	visit (const StmtSeq &op)
virtual Stmt	visit (const VarDef &op)
virtual Expr	visit (const Var &op)
virtual Stmt	visit (const Store &op)
virtual Stmt	visit (const Alloc &op)
virtual Stmt	visit (const Free &op)
virtual Expr	visit (const Load &op)
virtual Stmt	visit (const ReduceTo &op)
virtual Expr	visit (const AnyExpr &op)
virtual Expr	visit (const IntConst &op)
virtual Expr	visit (const FloatConst &op)
virtual Expr	visit (const BoolConst &op)
virtual Expr	visit (const Add &op)
virtual Expr	visit (const Sub &op)
virtual Expr	visit (const Mul &op)
virtual Expr	visit (const RealDiv &op)
virtual Expr	visit (const FloorDiv &op)
virtual Expr	visit (const CeilDiv &op)
virtual Expr	visit (const RoundTowards0Div &op)
virtual Expr	visit (const Mod &op)
virtual Expr	visit (const Remainder &op)
virtual Expr	visit (const Min &op)
virtual Expr	visit (const Max &op)
virtual Expr	visit (const LT &op)
virtual Expr	visit (const LE &op)
virtual Expr	visit (const GT &op)
virtual Expr	visit (const GE &op)
virtual Expr	visit (const EQ &op)
virtual Expr	visit (const NE &op)
virtual Expr	visit (const LAnd &op)
virtual Expr	visit (const LOr &op)
virtual Expr	visit (const LNot &op)
virtual Expr	visit (const Sqrt &op)
virtual Expr	visit (const Exp &op)
virtual Expr	visit (const Ln &op)
virtual Expr	visit (const Square &op)
virtual Expr	visit (const Sigmoid &op)
virtual Expr	visit (const Sin &op)
virtual Expr	visit (const Cos &op)
virtual Expr	visit (const Tan &op)
virtual Expr	visit (const Tanh &op)
virtual Expr	visit (const Abs &op)
virtual Expr	visit (const Floor &op)
virtual Expr	visit (const Ceil &op)
virtual Expr	visit (const Unbound &op)
virtual Stmt	visit (const For &op)
virtual Stmt	visit (const If &op)
virtual Stmt	visit (const Assert &op)
virtual Stmt	visit (const Assume &op)
virtual Expr	visit (const IfExpr &op)
virtual Expr	visit (const Cast &op)
virtual Expr	visit (const Intrinsic &op)
virtual Stmt	visit (const Eval &op)
virtual Stmt	visit (const MatMul &op)
virtual Stmt	visit (const MarkVersion &op)
virtual Expr	visit (const LoadAtVersion &op)

Member Typedef Documentation

ExprRetType

typedef Expr freetensor::Mutator::ExprRetType

StmtRetType

typedef Stmt freetensor::Mutator::StmtRetType

Constructor & Destructor Documentation

~Mutator()

virtual freetensor::Mutator::~Mutator ( )

inlinevirtual

Member Function Documentation

operator()() [1/2]

Expr freetensor::Mutator::operator() ( const Expr &  op )

finalvirtual

operator()() [2/2]

Stmt freetensor::Mutator::operator() ( const Stmt &  op )

finalvirtual

visit() [1/57]

virtual Expr freetensor::Mutator::visit ( const Abs &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, and freetensor::MakeHeapAlloc.

visit() [2/57]

virtual Expr freetensor::Mutator::visit ( const Add &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [3/57]

virtual Stmt freetensor::Mutator::visit ( const Alloc &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::HoistVarOverStmtSeq, and freetensor::RenameVar.

visit() [4/57]

virtual Stmt freetensor::Mutator::visit ( const Any &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [5/57]

virtual Expr freetensor::Mutator::visit ( const AnyExpr &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [6/57]

virtual Stmt freetensor::Mutator::visit ( const Assert &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::CompTransientBounds< SymbolTable< Mutator > >, freetensor::CompTransientBounds< SymbolTable< ConstFold > >, freetensor::Grad, freetensor::AnnotateConds, freetensor::FlattenStmtSeq, freetensor::SimplifyPass, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::BlendPass, freetensor::FissionFor, and freetensor::HoistSelectedVar.

visit() [7/57]

virtual Stmt freetensor::Mutator::visit ( const Assume &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::CompTransientBounds< SymbolTable< Mutator > >, freetensor::CompTransientBounds< SymbolTable< ConstFold > >, freetensor::AnnotateConds, freetensor::FlattenStmtSeq, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, and freetensor::HoistSelectedVar.

visit() [8/57]

virtual Expr freetensor::Mutator::visit ( const BoolConst &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [9/57]

virtual Expr freetensor::Mutator::visit ( const Cast &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [10/57]

virtual Expr freetensor::Mutator::visit ( const Ceil &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [11/57]

virtual Expr freetensor::Mutator::visit ( const CeilDiv &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::UseBuiltinDiv, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [12/57]

virtual Expr freetensor::Mutator::visit ( const Cos &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [13/57]

virtual Expr freetensor::Mutator::visit ( const EQ &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [14/57]

virtual Stmt freetensor::Mutator::visit ( const Eval &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, and freetensor::BlendPass.

visit() [15/57]

virtual Expr freetensor::Mutator::visit ( const Exp &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [16/57]

virtual Expr freetensor::Mutator::visit ( const FloatConst &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [17/57]

virtual Expr freetensor::Mutator::visit ( const Floor &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [18/57]

virtual Expr freetensor::Mutator::visit ( const FloorDiv &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::UseBuiltinDiv, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [19/57]

virtual Stmt freetensor::Mutator::visit ( const For &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::CompTransientBounds< SymbolTable< Mutator > >, freetensor::CompTransientBounds< SymbolTable< ConstFold > >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< ConstFold >, freetensor::Grad, freetensor::InlinedInvoke, freetensor::AnnotateConds, freetensor::cpu::LowerParallelReduction, freetensor::FlattenStmtSeq, freetensor::gpu::NormalizeVarInKernel, freetensor::HoistReturnVars, freetensor::HoistVarOverStmtSeq, freetensor::InsertAlloc, freetensor::InsertFree, freetensor::MakeHeapAlloc, freetensor::MakeLoopCarriedReduction, freetensor::MakeSyncReduction, freetensor::MergeAndHoistIf, freetensor::MoveOutFirstOrLastIter, freetensor::NormalizeLoops, freetensor::RemoveDeadVar, freetensor::RemoveWrites, freetensor::RenameVar, freetensor::ScalarPropConst, freetensor::ShrinkFor, freetensor::SimplifyPass, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::Z3SimplifyWithSymbolTable, freetensor::AsMatMul, freetensor::BlendPass, freetensor::AddDimToVar, freetensor::FissionFor, freetensor::FuseFor, freetensor::HoistSelectedVar, freetensor::MergeFor, freetensor::Parallelize, freetensor::RenameIter, freetensor::Reorder, freetensor::SeparateTail, freetensor::Splitter, freetensor::BackUnroll, freetensor::ImmediateUnroll, freetensor::Vectorize, and freetensor::Permute.

visit() [20/57]

virtual Stmt freetensor::Mutator::visit ( const Free &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::HoistVarOverStmtSeq, and freetensor::RenameVar.

visit() [21/57]

virtual Expr freetensor::Mutator::visit ( const GE &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [22/57]

virtual Expr freetensor::Mutator::visit ( const GT &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [23/57]

virtual Stmt freetensor::Mutator::visit ( const If &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::CompTransientBounds< SymbolTable< Mutator > >, freetensor::CompTransientBounds< SymbolTable< ConstFold > >, freetensor::Grad, freetensor::AnnotateConds, freetensor::FlattenStmtSeq, freetensor::InsertAlloc, freetensor::InsertFree, freetensor::RemoveWrites, freetensor::ScalarPropConst, freetensor::SimplifyPass, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::BlendPass, freetensor::FissionFor, freetensor::HoistSelectedVar, and freetensor::SeparateTail.

visit() [24/57]

virtual Expr freetensor::Mutator::visit ( const IfExpr &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [25/57]

virtual Expr freetensor::Mutator::visit ( const IntConst &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [26/57]

virtual Expr freetensor::Mutator::visit ( const Intrinsic &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [27/57]

virtual Expr freetensor::Mutator::visit ( const LAnd &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [28/57]

virtual Expr freetensor::Mutator::visit ( const LE &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [29/57]

virtual Expr freetensor::Mutator::visit ( const Ln &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [30/57]

virtual Expr freetensor::Mutator::visit ( const LNot &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [31/57]

virtual Expr freetensor::Mutator::visit ( const Load &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ScalarPropConst, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::OutputIntermediates, freetensor::ReplaceBySaved, freetensor::InlinedInvoke, freetensor::HoistVarOverStmtSeq, freetensor::ClearDataType, freetensor::UpdateDType, freetensor::RemoveDeadVar, freetensor::RenameVar, freetensor::ReplaceUses, freetensor::ShrinkVar, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::BlendPass, freetensor::MakeCacheVar, freetensor::MakeInitAndReduce, freetensor::AddDimToVar, freetensor::FissionFor, freetensor::MakeInline, freetensor::VarMerge, freetensor::VarReorder, and freetensor::VarSplit.

visit() [32/57]

virtual Expr freetensor::Mutator::visit ( const LoadAtVersion &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, and freetensor::InsertUserGrad.

visit() [33/57]

virtual Expr freetensor::Mutator::visit ( const LOr &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [34/57]

virtual Expr freetensor::Mutator::visit ( const LT &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [35/57]

virtual Stmt freetensor::Mutator::visit ( const MarkVersion &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ClearMarkVersion, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::HoistVarOverStmtSeq, and freetensor::RenameVar.

visit() [36/57]

virtual Stmt freetensor::Mutator::visit ( const MatMul &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::MakeHeapAlloc, and freetensor::VarReorder.

visit() [37/57]

virtual Expr freetensor::Mutator::visit ( const Max &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [38/57]

virtual Expr freetensor::Mutator::visit ( const Min &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [39/57]

virtual Expr freetensor::Mutator::visit ( const Mod &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::UseBuiltinDiv, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [40/57]

virtual Expr freetensor::Mutator::visit ( const Mul &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [41/57]

virtual Expr freetensor::Mutator::visit ( const NE &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [42/57]

virtual Expr freetensor::Mutator::visit ( const RealDiv &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, and freetensor::MakeHeapAlloc.

visit() [43/57]

virtual Stmt freetensor::Mutator::visit ( const ReduceTo &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::InsertUserGrad, freetensor::Grad, freetensor::OutputIntermediates, freetensor::InlinedInvoke, freetensor::cpu::LowerParallelReduction, freetensor::HoistVarOverStmtSeq, freetensor::MakeLoopCarriedReduction, freetensor::MakeSyncReduction, freetensor::RefineSignDataType, freetensor::RemoveAllWrites, freetensor::RemoveDeadVar, freetensor::RemoveWrites, freetensor::RenameVar, freetensor::ReplaceUses, freetensor::ScalarPropConst, freetensor::ShrinkVar, freetensor::SimplifyPass, freetensor::UndoMakeReduction, freetensor::AsMatMul, freetensor::BlendPass, freetensor::MakeCacheVar, freetensor::MakeInitAndReduce, freetensor::AddDimToVar, freetensor::FissionFor, freetensor::MakeInline, freetensor::VarMerge, freetensor::VarReorder, and freetensor::VarSplit.

visit() [44/57]

virtual Expr freetensor::Mutator::visit ( const Remainder &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, and freetensor::SimplifyPass.

visit() [45/57]

virtual Expr freetensor::Mutator::visit ( const RoundTowards0Div &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::MakeHeapAlloc, and freetensor::SimplifyPass.

visit() [46/57]

virtual Expr freetensor::Mutator::visit ( const Sigmoid &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [47/57]

virtual Expr freetensor::Mutator::visit ( const Sin &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [48/57]

virtual Expr freetensor::Mutator::visit ( const Sqrt &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, and freetensor::MakeHeapAlloc.

visit() [49/57]

virtual Expr freetensor::Mutator::visit ( const Square &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, and freetensor::MakeHeapAlloc.

visit() [50/57]

virtual Stmt freetensor::Mutator::visit ( const StmtSeq &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::Grad, freetensor::AnnotateConds, freetensor::FlattenStmtSeq, freetensor::HoistVarOverStmtSeq, freetensor::InsertAlloc, freetensor::InsertFree, freetensor::MergeAndHoistIf, freetensor::RemoveDeadVar, freetensor::RemoveWrites, freetensor::FissionFor, freetensor::FuseFor, freetensor::HoistSelectedVar, freetensor::MergeFor, freetensor::Reorder, and freetensor::Swap.

visit() [51/57]

virtual Stmt freetensor::Mutator::visit ( const Store &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::InsertUserGrad, freetensor::Grad, freetensor::OutputIntermediates, freetensor::InlinedInvoke, freetensor::HoistVarOverStmtSeq, freetensor::MakeReduction, freetensor::RefineSignDataType, freetensor::RemoveAllWrites, freetensor::RemoveDeadVar, freetensor::RemoveWrites, freetensor::RenameVar, freetensor::ShrinkVar, freetensor::AsMatMul, freetensor::BlendPass, freetensor::MakeCacheVar, freetensor::MakeInitAndReduce, freetensor::AddDimToVar, freetensor::FissionFor, freetensor::MakeInline, freetensor::VarMerge, freetensor::VarReorder, freetensor::VarSplit, and freetensor::ScalarPropConst.

visit() [52/57]

virtual Expr freetensor::Mutator::visit ( const Sub &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, freetensor::FloatSimplify, freetensor::MakeHeapAlloc, freetensor::SimplifyPass, freetensor::Z3Simplify, and freetensor::Z3SimplifyWithSymbolTable.

visit() [53/57]

virtual Expr freetensor::Mutator::visit ( const Tan &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [54/57]

virtual Expr freetensor::Mutator::visit ( const Tanh &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [55/57]

virtual Expr freetensor::Mutator::visit ( const Unbound &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::ConstFold, and freetensor::MakeHeapAlloc.

visit() [56/57]

virtual Expr freetensor::Mutator::visit ( const Var &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::HoistVarOverStmtSeq, freetensor::NormalizeLoops, freetensor::RenameVar, freetensor::ReplaceIter, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::BlendPass, freetensor::FuseFor, freetensor::MergeFor, freetensor::RenameIter, freetensor::Splitter, freetensor::ImmediateUnroll, and freetensor::Permute.

visit() [57/57]

virtual Stmt freetensor::Mutator::visit ( const VarDef &  op )

inlineprotectedvirtual

Reimplemented in freetensor::ConstFold, freetensor::MakeHeapAlloc, freetensor::Z3Simplify, freetensor::Z3SimplifyWithSymbolTable, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< ConstFold >, freetensor::DedupTapeNames, freetensor::InsertUserGrad, freetensor::Grad, freetensor::MergeTapeInput, freetensor::OutputIntermediates, freetensor::StripReturns, freetensor::InlinedInvoke, freetensor::FlattenStmtSeq, freetensor::gpu::NormalizeVarInKernel, freetensor::HoistReturnVars, freetensor::HoistVarOverStmtSeq, freetensor::MakeHeapAlloc, freetensor::MergeAndHoistIf, freetensor::ClearDataType, freetensor::UpdateDType, freetensor::RefineSignDataType, freetensor::RemoveDeadVar, freetensor::RenameVar, freetensor::ShrinkVar, freetensor::SimplifyPass, freetensor::SinkVar, freetensor::Z3SimplifyWithSymbolTable, freetensor::AsMatMul, freetensor::BlendPass, freetensor::MakeCacheVar, freetensor::MakeFillAndFlush, freetensor::MakeInitAndReduce, freetensor::AddDimToVar, freetensor::FissionFor, freetensor::MakeInline, freetensor::SeparateTail, freetensor::SetMemType, freetensor::VarMerge, freetensor::VarReorder, freetensor::VarSplit, and freetensor::ScalarPropConst.

visitExpr()

Expr freetensor::Mutator::visitExpr ( const Expr &  op )

protectedvirtual

Reimplemented in freetensor::ReplaceBySaved, freetensor::FloatSimplify, and freetensor::SimplifyPass.

visitStmt()

Stmt freetensor::Mutator::visitStmt ( const Stmt &  op )

protectedvirtual

Reimplemented in freetensor::InsertTmpEval, freetensor::TrackStmt< Mutator >, freetensor::InlinedInvoke, freetensor::SimplifyPass, freetensor::UseBuiltinDiv, freetensor::AsMatMul, freetensor::MakeCacheVar, freetensor::MakeFillAndFlush, freetensor::MakeInitAndReduce, freetensor::FissionFor, freetensor::WrapMetadata, freetensor::ImmediateUnroll, freetensor::RenewIDs< SymbolTable< Mutator > >, freetensor::Grad, freetensor::MergeTapeInput, freetensor::RemoveDeadVar, freetensor::ShrinkVar, freetensor::OutputIntermediates, and freetensor::ShrinkFor.

---

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

• include/mutator.h
• src/mutator.cc