This is an automated email from the ASF dual-hosted git repository.
tqchen pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm-tirx.git
The following commit(s) were added to refs/heads/main by this push:
new 9780ccbc3 [Rust] Bump tvm-ffi, construct WalkResult::InterruptWith
directly; link blog post in README (#197)
9780ccbc3 is described below
commit 9780ccbc3f778c3531b47c57ef7837d44dc743e4
Author: Tianqi Chen <[email protected]>
AuthorDate: Wed Nov 4 20:11:51 2026 -0500
[Rust] Bump tvm-ffi, construct WalkResult::InterruptWith directly; link
blog post in README (#197)
This PR bumps `3rdparty/tvm-ffi` to b94b787b, which brings:
- apache/tvm-ffi#927, which removes `WalkResult::interrupt_with`.
`WalkResult` is a plain enum, so the payload variant is built directly:
`WalkResult::InterruptWith(value.into())`.
- apache/tvm-ffi#926, which adds std-style rustdoc to the core Rust
APIs.
The Rust IR guide example, its doc and the constraint-context walk test
move to `WalkResult::InterruptWith`.
It also adds the blog post to the README link line, next to
Documentation and Quick Start.
---
3rdparty/tvm-ffi | 2 +-
README.md | 2 +-
docs/ir_guides/working_with_ir_in_rust.rst | 2 +-
examples/ir_guides/rust/src/lib.rs | 2 +-
rust/tests/tirx/structural_walk_with_constraint_context.rs | 2 +-
5 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/3rdparty/tvm-ffi b/3rdparty/tvm-ffi
index 2e7dcacb6..b94b787b3 160000
--- a/3rdparty/tvm-ffi
+++ b/3rdparty/tvm-ffi
@@ -1 +1 @@
-Subproject commit 2e7dcacb6f21dcc3cc9603493f06f3760d9fa7e8
+Subproject commit b94b787b3da8def992e210e88702c80cdb86af61
diff --git a/README.md b/README.md
index 42bc7751b..decb0c008 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@
# TVM TIRx: ML Compiler Foundation for the Agentic Era
-📚 [Documentation](https://tvm.apache.org/tirx/) | 🚀 [Quick
Start](https://tvm.apache.org/tirx/get_started/quick_start.html)
+📚 [Documentation](https://tvm.apache.org/tirx/) | 🚀 [Quick
Start](https://tvm.apache.org/tirx/get_started/quick_start.html) | 📝 [Blog
Post](https://tvm.apache.org/2026/11/03/rethinking-abstractions-in-the-agentic-era)
We believe that, in the future, **all GPU kernels will be developed,
optimized, and verified by AI agents.**
diff --git a/docs/ir_guides/working_with_ir_in_rust.rst
b/docs/ir_guides/working_with_ir_in_rust.rst
index cd8db1c46..9c6741245 100644
--- a/docs/ir_guides/working_with_ir_in_rust.rst
+++ b/docs/ir_guides/working_with_ir_in_rust.rst
@@ -465,7 +465,7 @@ The parameter list of a callback decides what it receives:
matches a node runs. Tuples hold up to 12 callbacks and can be
nested.
-``WalkResult::interrupt_with`` stops the walk and returns a value, which
+``WalkResult::InterruptWith`` stops the walk and returns a value, which
lets a walk search for a node:
.. literalinclude:: ../../examples/ir_guides/rust/src/lib.rs
diff --git a/examples/ir_guides/rust/src/lib.rs
b/examples/ir_guides/rust/src/lib.rs
index fed3f2868..b380c1fe7 100644
--- a/examples/ir_guides/rust/src/lib.rs
+++ b/examples/ir_guides/rust/src/lib.rs
@@ -163,7 +163,7 @@ fn written_tensors(func: Function) -> Result<Strings> {
// [stop.begin]
fn first_write(func: Function) -> Result<Option<TensorStore>> {
- let find_write = |store: TensorStore| WalkResult::interrupt_with(store);
+ let find_write = |store: TensorStore|
WalkResult::InterruptWith(store.into());
let found = tvm_ffi::structural_walk(&func, find_write,
WalkOrder::PostOrder)?;
match found {
Some(interrupt) => Ok(Some(interrupt.value.clone().try_into()?)),
diff --git a/rust/tests/tirx/structural_walk_with_constraint_context.rs
b/rust/tests/tirx/structural_walk_with_constraint_context.rs
index 20f71c35c..7942efac4 100644
--- a/rust/tests/tirx/structural_walk_with_constraint_context.rs
+++ b/rust/tests/tirx/structural_walk_with_constraint_context.rs
@@ -165,7 +165,7 @@ fn
typed_walk_callbacks_collect_facts_and_restore_analyzer_scopes() {
&root,
|_: &EvaluateObj| {
calls += 1;
- WalkResult::interrupt_with(19_i64)
+ WalkResult::InterruptWith(19_i64.into())
},
order,
)
