24#ifndef TVM_SYM_PATTERN_H_
25#define TVM_SYM_PATTERN_H_
50 const ffi::Array<PrimVar>& vars);
Typed reference/view over any Expr whose ExprNode::ty is PrimType.
Definition base_expr.h:447
ffi::Array< PrimExpr > DetectLinearEquation(const PrimExpr &e, const ffi::Array< 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< ffi::Optional< PrimExpr > > DetectClipBound(const PrimExpr &e, const ffi::Array< 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 attr.h:23