analyzer.h File Reference

Algebra expression simplifications. More...

#include <tvm/ffi/cast.h>
#include <tvm/ffi/object.h>
#include <tvm/ffi/reflection/registry.h>
#include <tvm/ffi/string.h>
#include <tvm/ir/expr.h>
#include <tvm/ir/with_context.h>
#include <tvm/sym/int_set.h>
#include <limits>
#include <memory>
#include <unordered_map>
#include <utility>
#include <vector>

Include dependency graph for analyzer.h:

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

Go to the source code of this file.

Classes
class	tvm::sym::ConstIntBoundObj
	Constant integer up and lower bound(inclusive). Useful for value bound analysis. More...
class	tvm::sym::ConstIntBound
	reference class to ConstIntBoundObj More...
class	tvm::sym::ConstIntBoundAnalyzer
	Analyzer to get constant integer bound over expression. More...
class	tvm::sym::ModularSetObj
	Range of a linear integer function. Use to do specify the possible index values. More...
class	tvm::sym::ModularSet
	reference of ModularSetObj More...
class	tvm::sym::ModularSetAnalyzer
	Analyzer to get modular information over expression. More...
class	tvm::sym::RewriteSimplifier
	Rewrite-rule based simplifier. More...
class	tvm::sym::CanonicalSimplifier
	Canonical-form based simplifier. More...
class	tvm::sym::TransitiveComparisonAnalyzer
	Using previously specified knowns, compare the expressions provided. More...
class	tvm::sym::IntSetAnalyzer
	Integer set analyzer. More...
class	tvm::sym::Z3Prover
class	tvm::sym::AnalyzerObj
	Analyzer that contains bunch of sub-analyzers. More...
class	tvm::sym::Analyzer
	Managed reference to AnalyzerObj. More...
class	tvm::sym::ConstraintContext
	Constraint context. More...

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

Enumerations
enum	tvm::sym::DivMode { tvm::sym::kTruncDiv , tvm::sym::kFloorDiv }
enum class	tvm::sym::ProofStrength : int { tvm::sym::kDefault = 0 , tvm::sym::kSymbolicBound = 1 }
	The strength used in top-level condition proves. More...
enum class	tvm::sym::CompareResult : int {   tvm::sym::kInconsistent = 0 , tvm::sym::kEQ = 1 , tvm::sym::kLT = 2 , tvm::sym::kLE = 3 ,   tvm::sym::kGT = 4 , tvm::sym::kGE = 5 , tvm::sym::kNE = 6 , tvm::sym::kUnknown = 7 }
	Structure for representing result of known. More...

Functions
constexpr CompareResult	tvm::sym::operator& (CompareResult lhs, CompareResult rhs)
constexpr CompareResult	tvm::sym::operator| (CompareResult lhs, CompareResult rhs)

Detailed Description

Algebra expression simplifications.