[BugFix] Remove unnecessary binding in loop variable analysis and add test for issue 1728

src/transform/simplify.cc

@@ -316,7 +316,6 @@ class StmtSimplifier : public IRMutatorWithAnalyzer {
       // Remove loops with non-positive extent
       return Evaluate(0);
     }
-    analyzer_->Bind(op->loop_var, Range::FromMinExtent(op->min, op->extent));
     With<ConstraintContext> ctx1(analyzer_, op->loop_var >= op->min);
     With<ConstraintContext> ctx2(analyzer_,
                                  op->loop_var < op->min + op->extent);

testing/python/issue/test_tilelang_issue_1728.py

@@ -0,0 +1,25 @@
+import tilelang
+import tilelang.testing
+from tilelang import language as T
+
+
+def test_issue_1728():
+    @tilelang.jit()
+    def get_qwq(hidden: int):
+        num_tokens = T.dynamic("num_tokens")
+        num_sms = num_tokens
+
+        @T.prim_func
+        def qwq(A: T.Tensor[(num_tokens,)]):
+            with T.Kernel(num_sms) as sm_id:
+                stop = sm_id + 1
+                for block_idx in T.serial(sm_id, stop):
+                    _pid_x, _pid_y = (block_idx, hidden)
+
+        return qwq
+
+    get_qwq(1)
+
+
+if __name__ == "__main__":
+    tilelang.testing.main()