[TVMScript][TIR] Parse subroutine calls with no arguments (#14919)

* [TVMScript][TIR] Parse subroutine calls with no arguments

In most cases, the IR dialect in `GlobalVar.__call__` can be inferred
from the argument types.  If there are no arguments, then the returned
value is ambiguous.  This commit updates the TIR parser to identify
and fix this case of erroneously producing a `relay.Call` instead of
`tir.Call`.

In addition, to prevent this from re-occuring, an unrecognized type
resulting from `def visit_expr_stmt` now results in an error, rather
than being silently ignored.

* Ignore str for unknown parser result

These may are used as docstrings in the TVMScript, even though they
are not represented in the TIR.

* Lint fixes
2 files changed
tree: 1ab62311d93f1a5547066af80f8566ace3994d3f
  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.