bound.h File Reference

Bound deducers. More...

#include <tvm/ir/expr.h>
#include <tvm/ir/prim/expr.h>
#include <tvm/sym/int_set.h>
#include <unordered_map>

Include dependency graph for bound.h:

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

Go to the source code of this file.

Namespaces
namespace	tvm
	An object that builds and maintains block scope and StmtSref mapping for Dependence analysis.
namespace	tvm::sym
	namespace of symbolic analysis.

Functions
IntSet	tvm::sym::DeduceBound (PrimExpr v, PrimExpr cond, const ffi::Map< Var, IntSet > &hint_map, const ffi::Map< Var, IntSet > &relax_map)
	Deduce the bound of the target variable in a expression, give the domain of each variables. Return undefined IntSet to represent failure.
IntSet	tvm::sym::DeduceBound (PrimExpr v, PrimExpr cond, const std::unordered_map< const VarNode *, IntSet > &hint_map, const std::unordered_map< const VarNode *, IntSet > &relax_map)
	Same as DeduceBound with unordered_map signature.

Detailed Description

Bound deducers.