Function tvm::SideEffect#
Defined in File expr.h
Function Documentation#
-
CallEffectKind tvm::SideEffect(const Expr &expr)#
Analyze the runtime effects of an expression.
Accumulates effects of evaluated expression children, excluding type and vector lane-count metadata. Non-operator callees are conservatively opaque. Missing operator effect attributes are errors unless an earlier update effect stops traversal. Returns kPure, kReadState, or kUpdateState.
Shared IR contains only minimal analyses of expression properties. Arithmetic reasoning, constraint solving, and target- or dialect-specific analyses belong in their respective modules.
- Parameters:
expr – The expression to inspect.
- Returns:
The strongest runtime effect of the expression.