Expand description
Typed tensor-graph IR: types, shape inference, builder and verifier.
Modules§
- passes
- Graph-to-graph passes and the manager that runs them. A pass never mutates its input: it returns a new graph, so before and after are both intact for dumps and equivalence tests, and no stale ids can exist.
- shape
- Shape rules: one function per concern, all arithmetic checked.
Structs§
- Graph
- A graph is only constructed through
GraphBuilder::finish, which verifies it. - Graph
Builder - Limits
- Tensor
Type - Value
- ValueId
- Index of a value in a graph. Values are stored in definition order, so a node’s inputs always have smaller ids than the node itself.