bound.h File Reference

Bound deducers. More...

#include <tvm/arith/int_set.h>
#include <tvm/ir/expr.h>
#include <tvm/tir/expr.h>
#include <tvm/tir/stmt.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
	tvm
	runtime implementation for LibTorch/TorchScript.
	tvm::arith
	namespace of arithmetic analysis.

Functions
IntSet	tvm::arith::DeduceBound (PrimExpr v, PrimExpr cond, const Map< Var, IntSet > &hint_map, const 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. More...
IntSet	tvm::arith::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. More...
Region	tvm::arith::DomainTouched (const Stmt &body, const tir::Buffer &buffer, bool consider_loads, bool consider_stores)
	Infer a regular domain that covers all the calls or provides within the given statement. More...

Detailed Description

Bound deducers.