FreeTensor
Loading...
Searching...
No Matches
Namespaces | Functions
simplify.cc File Reference
#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>
Include dependency graph for simplify.cc:

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)