Enable fusion for elementwise Linalg op + pack op (#11374)

It also updates the LinalgExtVectorization to use tile+fuse, so we can
tile+fuse the generic ops.

Some metric data w/ mobilebert fp32:

The number of dispatches:

- Legacy mmt4d: 39
- data tiling w/o fusion: 57
- data tiling w/ pack fusion: 59

It's reasonable for having more different dispatches because some of
different set_encoding ops could be folded into same producer
dispatches. E.g., we could have dispatch_A, LHS_encoding, RHS_encoding
in the beginning. After more aggressive fusion, we could get `dispatch_A
+ LHS_encoding` + `dispatch_A + RHS_encoding` + `LHS_encoding` +
`RHS_encoding`. There would be 4 dispatches after fusion. We should use
the metric about the number of kernel launch.

The number of `flow.dispatch` launch:

- Legacy mmt4d: 1980
- data tiling w/o fusion: 2871
- data tiling w/ pack fusion: 2750

The legacy mmt4d path has less kernel launches because

1. Need unpack op fusion, which is WIP.
2. Propagation helps better fusion.
3. We don't have canonicalization patterns for packing on constant.

I verified that (3.) can save 361 times of kernel launch, tracking in
https://github.com/iree-org/iree/issues/11360

Relands https://github.com/iree-org/iree/pull/11284 with fixes for
mid-air collision.
6 files changed
tree: 45a47be5a031ee884fba2423fb2e2002c853e39e
  1. .github/
  2. benchmarks/
  3. build_tools/
  4. compiler/
  5. docs/
  6. experimental/
  7. integrations/
  8. llvm-external-projects/
  9. runtime/
  10. samples/
  11. tests/
  12. third_party/
  13. tools/
  14. .bazelignore
  15. .bazelrc
  16. .bazelversion
  17. .clang-format
  18. .dockerignore
  19. .gitignore
  20. .gitmodules
  21. .pylintrc
  22. .style.yapf
  23. .yamllint.yml
  24. AUTHORS
  25. BUILD.bazel
  26. CITATION.cff
  27. CMakeLists.txt
  28. configure_bazel.py
  29. CONTRIBUTING.md
  30. LICENSE
  31. README.md
  32. 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

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

  • 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.