24#ifndef TVM_ARITH_PATTERN_H_
25#define TVM_ARITH_PATTERN_H_
Typed reference/view over any Expr whose ExprNode::ty is PrimType.
Definition base_expr.h:401
RAII wrapper function to enter and exit a context object similar to python's with syntax.
Definition with_context.h:59
ffi::Array< PrimExpr > DetectLinearEquation(const PrimExpr &e, const ffi::Array< tirx::PrimVar > &vars)
Detect if e can be rewritten as e = sum_{i=0}^{n-1} var[i] * coeff[i] + coeff[n] Where coeff[i] and b...
ffi::Array< PrimExpr > DetectClipBound(const PrimExpr &e, const ffi::Array< tirx::PrimVar > &vars)
Detect if expression corresponds to clip bound of the vars.
An object that builds and maintains block scope and StmtSref mapping for Dependence analysis.
Definition analyzer.h:40