[Language] Enhance T.alloc_var for AugAssign and AnnAsign (#979)

* feat: add parser overrides for local.var aug assign.

* lint fix

Author: LeiWang1999

tilelang/language/__init__.py

@@ -7,6 +7,7 @@
 # TODO(lei): remove this import once the
 # upstream tir script is fully compatible
 from tvm.script.parser.tir import *
+from . import overrides as _overrides  # noqa: F401
 from .tir import (
     prim_func,  # noqa: F401
 )

tilelang/language/overrides/__init__.py

@@ -0,0 +1,8 @@
+"""TileLang-specific runtime overrides.
+
+Importing this package registers custom handlers that extend or override
+behaviour from upstream TVMScript for TileLang semantics.
+"""
+
+# Register parser overrides upon import.
+from . import parser  # noqa: F401

tilelang/language/overrides/parser.py

@@ -0,0 +1,91 @@
+"""TVMScript parser overrides tailored for TileLang."""
+
+from functools import partial
+from typing import Tuple
+
+from tvm.script.ir_builder import tir as T
+from tvm.script.parser._core import dispatch, doc
+from tvm.tir import BufferLoad, Var
+
+from tvm.script.parser.tir import parser as tvm_tir_parser
+
+
+def _get_node_span(node: doc.AST) -> Tuple[int, int, int, int]:
+    """Return the span (lineno, col, end_lineno, end_col) for a doc node."""
+    return (node.lineno, node.col_offset, node.end_lineno, node.end_col_offset)
+
+
+# Original implementation located at
+# 3rdparty/tvm/python/tvm/script/parser/tir/parser.py (visit_aug_assign).
+@dispatch.register(token="tir", type_name="AugAssign")
+def tilelang_visit_aug_assign(self, node: doc.AugAssign) -> None:  # pylint: disable=unused-argument
+    """Override `AugAssign` to support writes into `local.var` buffers."""
+    lhs_pos = _get_node_span(node.target)
+    rhs_pos = _get_node_span(node.value)
+
+    node.target.ctx = doc.Load()
+    with self.var_table.with_frame():
+        lhs_name = "__tvm_tmp_value_aug_assign_lhs"
+        rhs_name = "__tvm_tmp_value_aug_assign_rhs"
+        lhs_expr = self.eval_expr(node.target)
+        rhs_expr = self.eval_expr(node.value)
+        self.var_table.add(lhs_name, lhs_expr)
+        self.var_table.add(rhs_name, rhs_expr)
+        op = doc.BinOp(
+            doc.Name(lhs_name, doc.Load(), *lhs_pos),
+            node.op,
+            doc.Name(rhs_name, doc.Load(), *rhs_pos),
+            *lhs_pos,
+        )
+        rhs = self.eval_expr(op)
+
+    lhs = node.target
+    lhs.ctx = doc.Store()
+    if isinstance(lhs, doc.Subscript):
+        if isinstance(lhs.slice, doc.Tuple):
+            indices = [self.eval_expr(index) for index in lhs.slice.elts]
+        else:
+            indices = [self.eval_expr(lhs.slice)]
+        T.buffer_store(self.eval_expr(lhs.value), rhs, indices)
+        return
+
+    if isinstance(lhs, doc.Name) and lhs.id in self.var_table.get():
+        load_ctx = doc.Load()
+        store_ctx = doc.Store()
+        lhs.ctx = load_ctx
+        lhs_value = self.eval_expr(lhs)
+        lhs.ctx = store_ctx
+        if (isinstance(lhs_value, BufferLoad) and lhs_value.buffer.scope() == "local.var" and
+                len(lhs_value.indices) == 1 and lhs_value.indices[0] == 0):
+            T.buffer_store(lhs_value.buffer, rhs, indices=[0])
+            return
+
+    self.eval_assign(target=lhs, source=rhs, bind_value=tvm_tir_parser.bind_assign_value)
+
+
+# Original implementation located at
+# 3rdparty/tvm/python/tvm/script/parser/tir/parser.py (visit_ann_assign).
+@dispatch.register(token="tir", type_name="AnnAssign")
+def tilelang_visit_ann_assign(self, node: doc.AnnAssign) -> None:  # pylint: disable=unused-argument
+    """Override `AnnAssign` to support writes into `local.var` buffers."""
+    lhs = node.target
+    rhs = self.eval_expr(node.value)
+    ann_var = self.visit_tvm_annotation(node.annotation)
+    if not isinstance(ann_var, Var):
+        self.report_error(node.annotation, "Annotation should be Var")
+
+    if isinstance(lhs, doc.Name) and lhs.id in self.var_table.get():
+        load_ctx = doc.Load()
+        store_ctx = doc.Store()
+        lhs.ctx = load_ctx
+        lhs_value = self.eval_expr(lhs)
+        lhs.ctx = store_ctx
+        if (isinstance(lhs_value, BufferLoad) and lhs_value.buffer.scope() == "local.var" and
+                len(lhs_value.indices) == 1 and lhs_value.indices[0] == 0):
+            T.buffer_store(lhs_value.buffer, rhs, indices=[0])
+            return
+
+    self.eval_assign(target=lhs, source=ann_var, bind_value=tvm_tir_parser.bind_assign_value)
+    frame = T.LetStmt(rhs, var=ann_var)
+    frame.add_callback(partial(frame.__exit__, None, None, None))
+    frame.__enter__()