|
tvm
|
Expression pattern detectors. More...
#include <tvm/ir/expr.h>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 | |
| ffi::Array< PrimExpr > | tvm::sym::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 base are invariant of var[j] for all i and j. | |
| ffi::Array< ffi::Optional< PrimExpr > > | tvm::sym::DetectClipBound (const PrimExpr &e, const ffi::Array< PrimVar > &vars) |
| Detect if expression corresponds to clip bound of the vars. | |
Expression pattern detectors.