check_not_modified.h File Reference

#include <optional>
#include <unordered_map>
#include <unordered_set>
#include <analyze/symbol_table.h>
#include <mutator.h>
#include <visitor.h>

Include dependency graph for check_not_modified.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	freetensor::CheckNameToDefMapping
class	freetensor::CheckReadToParallelScopeMapping
class	freetensor::InsertTmpEval

Namespaces
namespace	freetensor

Enumerations
enum class	freetensor::CheckNotModifiedSide : int { freetensor::Before , freetensor::After }

Functions
bool	freetensor::checkNotModified (const Stmt &op, const Expr &expr, CheckNotModifiedSide s0Side, const ID &s0, CheckNotModifiedSide s1Side, const ID &s1)
bool	freetensor::checkNotModified (const Stmt &op, const Expr &s0Expr, const Expr &s1Expr, CheckNotModifiedSide s0Side, const ID &s0, CheckNotModifiedSide s1Side, const ID &s1)
std::optional< bool >	freetensor::checkNotModifiedFastPreCheck (const Stmt &op, const Expr &expr, CheckNotModifiedSide s0Side, const ID &s0, CheckNotModifiedSide s1Side, const ID &s1)
std::optional< bool >	freetensor::checkNotModifiedFastPreCheck (const Stmt &op, const Expr &s0Expr, const Expr &s1Expr, CheckNotModifiedSide s0Side, const ID &s0, CheckNotModifiedSide s1Side, const ID &s1)