在 Apache TVM 的 Relay IR 中,基础节点(Var
、Const
、Call
、Function
和 Expr
)是构建计算图的核心数据结构。以下是对它们的详细解析,包括定义、作用、内部组成及相互关系:
1. Expr
(表达式基类)
作用
- 所有 Relay IR 节点的基类,提供统一的类型系统和遍历接口。
- 支持递归访问、变换和类型检查。
关键组成
字段/方法 | 说明 |
---|---|
checked_type_ |
表达式的推断类型(如 TensorType 、TupleType )。 |
span |
源代码位置信息(用于调试和错误报告)。 |
VisitAttrs(visitor) |
递归访问所有属性和子节点(用于序列化、优化等)。 |
Mutate() |
生成表达式的副本(用于变换和优化)。 |