[Codegen][LLVMGPU] Add pass pipeline for greedy tile + fuse (#17559)

This adds a pass pipeline based around recently added patterns to fuse
and hoist scf.forall loops. The core idea of this pipeline is aimed at
the requirements for matmul and convolution where they are tiled to a
serial loop and then the tiles of the operands are copied first to a
shared memory allocation, then loaded in the layout needed for the GEMM.
This requires shared tiling for the reduction loop (tile + fuse),
however tiling the input copies (or potential fused producers) requires
different thread tiling for the matmul and the input operands. This pass
pipeline addresses this issue by doing such tiling independently and
then fusing the resulting loops together.

The remaining TODOs for this pipeline are:
1. Distribution/fusion of consumers with the thread tiled matmul forall.
2. Adding a kernel config logic for the pipeline (matmul and conv).
3. Passes for packing matmuls to MMA intrinsic shapes and then tiling
+ distributing to intrinsics. This may require a tiling interface
implementation for `iree_gpu.multi_mma`.
4. Fix an issue related to `iree_gpu.shuffle_tensor` and bufferization
that currently is relying on the bufferization allocation function to
pick the correct memory space.
5. Add img2col to this pass to allow doing convolutions with implicit
gemm. 5a. Generalize the upstream img2col pass to enable more conv-like
generics.
6. Add multibuffering/pipelining passes and make them configurable
(ideally coming from attributes on lowering configs added to loops when
tiling).
41 files changed
tree: 244ff3a1af30aa156dfb678f7ab1066e2bc0ef19
  1. .devcontainer/
  2. .github/
  3. build_tools/
  4. compiler/
  5. docs/
  6. experimental/
  7. integrations/
  8. lib/
  9. llvm-external-projects/
  10. runtime/
  11. samples/
  12. tests/
  13. third_party/
  14. tools/
  15. .bazel_to_cmake.cfg.py
  16. .bazelignore
  17. .bazelrc
  18. .bazelversion
  19. .clang-format
  20. .dockerignore
  21. .git-blame-ignore-revs
  22. .gitattributes
  23. .gitignore
  24. .gitmodules
  25. .pre-commit-config.yaml
  26. .yamllint.yml
  27. AUTHORS
  28. BUILD.bazel
  29. CITATION.cff
  30. CMakeLists.txt
  31. configure_bazel.py
  32. CONTRIBUTING.md
  33. LICENSE
  34. MAINTAINERS.md
  35. README.md
  36. RELEASING.md
  37. WORKSPACE
README.md

IREE: Intermediate Representation Execution Environment

IREE (Intermediate Representation Execution Environment, pronounced as “eerie”) is an MLIR-based end-to-end compiler and runtime that lowers Machine Learning (ML) models to a unified IR that scales up to meet the needs of the datacenter and down to satisfy the constraints and special considerations of mobile and edge deployments.

See our website for project details, user guides, and instructions on building from source.

CI Status IREE Discord Status

Project Status

IREE is still in its early phase. We have settled down on the overarching infrastructure and are actively improving various software components as well as project logistics. It is still quite far from ready for everyday use and is made available without any support at the moment. With that said, we welcome any kind of feedback on any communication channels!

Communication Channels

Related Project Channels

  • MLIR topic within LLVM Discourse: IREE is enabled by and heavily relies on MLIR. IREE sometimes is referred to in certain MLIR discussions. Useful if you are also interested in MLIR evolution.

Architecture Overview

IREE Architecture IREE Architecture

See our website for more information.

Presentations and Talks

Community meeting recordings: IREE YouTube channel

  • 2021-06-09: IREE Runtime Design Tech Talk (recording and slides)
  • 2020-08-20: IREE CodeGen: MLIR Open Design Meeting Presentation (recording and slides)
  • 2020-03-18: Interactive HAL IR Walkthrough (recording)
  • 2020-01-31: End-to-end MLIR Workflow in IREE: MLIR Open Design Meeting Presentation (recording and slides)

License

IREE is licensed under the terms of the Apache 2.0 License with LLVM Exceptions. See LICENSE for more information.