|
FreeTensor
|
#include <algorithm>#include <unordered_set>#include <analyze/analyze_linear.h>#include <analyze/as_dnf.h>#include <except.h>#include <math/bounds.h>#include <math/min_max.h>#include <math/utils.h>#include <pass/annotate_conds.h>#include <pass/flatten_stmt_seq.h>#include <pass/replace_iter.h>#include <pass/simplify.h>
Namespaces | |
| namespace | freetensor |
Functions | |
| int | freetensor::findInnerMostScope (const std::unordered_map< std::string, int > &varScope, const Expr &op) |
| Stmt | freetensor::builtinSimplify (const Stmt &op) |
| Stmt | freetensor::pbSimplify (const Stmt &op) |
| Stmt | freetensor::simplify (const Stmt &op) |