check_not_modified.cc File Reference

#include <unordered_map>
#include <analyze/all_side_effect_intrinsics.h>
#include <analyze/all_uses.h>
#include <analyze/check_not_modified.h>
#include <analyze/deps.h>
#include <analyze/find_stmt.h>
#include <pass/flatten_stmt_seq.h>

Include dependency graph for check_not_modified.cc:

Classes
struct	freetensor::ModifiedException

Namespaces
namespace	freetensor

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