The GitHub Actions job "Lint" on 
tvm.git/tvm-pr1-collapse-primexpr-typed-view-and-call has succeeded.
Run started by GitHub user tqchen (triggered by tqchen).

Head commit for run:
4c01b4ed62d3920db9e3b401de46374013222997 / Tianqi Chen 
<[email protected]>
[REFACTOR][IR] Unify PrimExpr with Expr typed view

Make PrimExpr a typed C++ view over Expr values whose ExprNode::ty is PrimType, 
rather than using a separate runtime node hierarchy as the proof of 
primitive-ness.

The main advantage is that common expression nodes such as Call can be shared 
across Relax, TIRX, and primitive-valued uses without specializing every such 
node to PrimType. Primitive-only APIs and data structures still keep their 
strongly typed PrimExpr surface, and boundary code narrows through the result 
type when primitive semantics are required.

This change unifies Relax and primitive calls on core ir::Call, migrates C++ 
and Python callers to the shared expression surface, keeps Python from exposing 
a misleading nominal PrimExpr class, and updates visitors, printers, arithmetic 
utilities, codegen paths, and tests around the typed-view model.

It also makes missing types explicit with Type::Missing(), preserves 
missing-type handling in Relax inference and type visitors, and fixes C++ test 
compilation for primitive-typed Call values by allowing Call-to-PrimExpr 
narrowing through the runtime type-category check.

Report URL: https://github.com/apache/tvm/actions/runs/28421327122

With regards,
GitHub Actions via GitBox


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to