(tvm-tirx) branch main updated: [Fix] Infer void return type for prefetch calls (#56)

[tqchen]

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 eada478e3 [Fix] Infer void return type for prefetch calls (#56)
eada478e3 is described below

commit eada478e39b96147a8037896a709cb07c9acd512
Author: Shushi Hong <820958...@qq.com>
AuthorDate: Sat Oct 24 20:23:10 2026 -0400

    [Fix] Infer void return type for prefetch calls (#56)
    
    This pr registers tirx.prefetch with a fixed void result type so calls
    without an explicit ty can enter intrinsic lowering. This covers both
    the script helper and direct Call construction.
---
 src/tirx/op/memory.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tirx/op/memory.cc b/src/tirx/op/memory.cc
index 20ef9ce77..ba3e553c6 100644
--- a/src/tirx/op/memory.cc
+++ b/src/tirx/op/memory.cc
@@ -209,6 +209,7 @@ TVM_FFI_STATIC_INIT_BLOCK() {
       .signature(sig::arg("ptr", "The pointer."), sig::arg<IntExpr>("rw", "The 
read/write mode."),
                  sig::arg<IntExpr>("locality", "The locality hint."),
                  sig::arg<IntExpr>("cache_type", "The cache policy."))
+      .set_attr(tvm::op_attr::kFixedReturnType, PrimType::Void())
       .set_attr(tvm::op_attr::kCallEffectKind, CallEffectKind::kOpaque);
 }