[Feature Request] Enhance Simplification to remove unused function arguments

[LeiWang1999]

Ref to PR #214.

The scheduling template in TL is quite complex because, for different tensor arguments, we need to implement separate TL templates. This complexity arises because TL cannot automatically remove unused tensor arguments, and the tensor arguments cannot be extended as flexibly as needed.

Expected Behavior:

# Given Program
@T.prim_func
def main(A, B, Scale, C):
    if with_scale:
        f(A, B, Scale, C)
    else:
        f(A, B, C)

If with_scale is set to False, the Scale argument should be removed from the function's argument list.

Tasks

Preview Give feedback

1. Test Case
2. Implement TL.Simplify Pass

[LeiWang1999]

I think the best solution is to implement a new tl prim_func pass, such as tl.Simplify, similar to tir.Specialize found in 3rdparty/tvm/src/tir/ir/specialize.cc.”

[tzj-fxz]

Thanks. PR #216 has been created to implement tl.transform.Simplify pass and add test case for it.

I think the best solution is to implement a new tl prim_func pass, such as tl.Simplify, similar to tir.Specialize found in 3rdparty/tvm/src/tir/ir/specialize.cc.”

[LeiWang1999]

Resloved.