[BugFix][TVMScript]fix var capturing order error (#13640)

This PR try to fix the following bug:

```python
def test_var_capturing_order():
    b = 2

    @T.prim_func
    def test_case():
        k: T.int32 = b


if __name__ == "__main__":
    b = 1
```

In the prim func `test_case`, the vaule of b should be 2, rather than 1. The parser wrongly uses global vars to shadow the value of nonlocal vars, which should be reversed.

Co-authored-by: lightzhan-intellif <[email protected]>

Author: lightzhan-intellif

python/tvm/script/parser/core/utils.py

@@ -37,8 +37,8 @@ def inspect_function_capture(func: Callable) -> Dict[str, Any]:
         The function variables map with non-local or global variables.
     """
     captured = {
-        **inspect.getclosurevars(func).nonlocals,
         **func.__globals__,  # type: ignore
+        **inspect.getclosurevars(func).nonlocals,
     }
     return captured
 

tests/python/unittest/test_tvmscript_regression.py

@@ -58,7 +58,24 @@ def func_ref():
     tvm.ir.assert_structural_equal(test_case, func_ref)
 
 
+def test_var_capturing_order():
+    b = 2
+
+    @T.prim_func
+    def test_case():
+        k: T.int32 = b
+
+    @T.prim_func
+    def func_ref():
+        k: T.int32 = 2
+        T.evaluate(0)
+
+    tvm.ir.assert_structural_equal(test_case, func_ref)
+
+
 if __name__ == "__main__":
     a = numpy.zeros((10, 10), dtype="int8")
     test_multi_element_array_in_outmost_namespace()
     test_different_dtype_assignment_to_var()
+    b = 1
+    test_var_capturing_order()