code: def matmul(
      A: T.Buffer((512, 512), "float32"),
      B: T.Buffer((512, 512), "float32"),
      C: T.Buffer((512, 512), "float32"),
  ) -> None:
      # function attr dict
      T.func_attr({"global_symbol": "main", "tir.noalias": True})
      # body
      # with T.block("root")
      for i0, i1, i2 in T.grid(512, 512, 512):
          with T.block("C"):
              i, j, k = T.axis.remap("SSR", [i0, i1, i2])
              T.reads(C[i, j], A[i, k], B[k, j])
              T.writes(C[i, j])
              with T.init():
                  C[i, j] = T.float32(0)
              C[i, j] = C[i, j] + A[i, k] * B[k, j]
  
imports: import sys
  from typing import Callable, List
  import pytest
  import tvm
  import tvm.testing
  from numpy.testing import assert_allclose
  from tvm import meta_schedule
  from tvm import te, tir
  from tvm.script import tir
label_desc: Use image node_id 1 for calling a global function with example usage: matmul(A, B, C) without return types