[TIR] Avoid re-defining `var = arg_var` in ArgBinder (#14952)

Prior to this commit, `ArgBinder` would always introduce a new
variable to represent the input argument, even if the argument already
a primitive type.  This introduces trivial let bindings that are
expected to be simplified out, but which can produce dangling
`tir::Var` usage in some cases (see
https://github.com/apache/tvm/pull/14951).

This commit updates `ArgBinder` to prefer using the original
`tir::Var` when possible.  That is, when a function takes `n: T.int32`
as input, the packed function should produce a binding `n: T.int32 =
T.tvm_struct_get(...)`, rather than producing a binding `arg_n =
T.tvm_struct_get(...)` followed by `n = arg_n`.
2 files changed
tree: 07a3434a4fcb4a9ac82295370e710e8f6baa2ded
  1. .github/
  2. 3rdparty/
  3. apps/
  4. ci/
  5. cmake/
  6. conda/
  7. configs/
  8. docker/
  9. docs/
  10. gallery/
  11. golang/
  12. include/
  13. jvm/
  14. licenses/
  15. python/
  16. rust/
  17. src/
  18. tests/
  19. vta/
  20. web/
  21. .asf.yaml
  22. .clang-format
  23. .gitattributes
  24. .gitignore
  25. .gitmodules
  26. .pre-commit-config.yaml
  27. CMakeLists.txt
  28. conftest.py
  29. CONTRIBUTORS.md
  30. KEYS
  31. LICENSE
  32. Makefile
  33. mypy.ini
  34. NEWS.md
  35. NOTICE
  36. pyproject.toml
  37. README.md
  38. version.py
README.md

Open Deep Learning Compiler Stack

Documentation | Contributors | Community | Release Notes

Build Status WinMacBuild

Apache TVM is a compiler stack for deep learning systems. It is designed to close the gap between the productivity-focused deep learning frameworks, and the performance- and efficiency-focused hardware backends. TVM works with deep learning frameworks to provide end to end compilation to different backends.

License

TVM is licensed under the Apache-2.0 license.

Getting Started

Check out the TVM Documentation site for installation instructions, tutorials, examples, and more. The Getting Started with TVM tutorial is a great place to start.

Contribute to TVM

TVM adopts apache committer model, we aim to create an open source project that is maintained and owned by the community. Check out the Contributor Guide.

Acknowledgement

We learned a lot from the following projects when building TVM.

  • Halide: Part of TVM's TIR and arithmetic simplification module originates from Halide. We also learned and adapted some part of lowering pipeline from Halide.
  • Loopy: use of integer set analysis and its loop transformation primitives.
  • Theano: the design inspiration of symbolic scan operator for recurrence.