[mlir][linalg] Allow TC ops taking an unused shaped operand.
authorHanhan Wang <hanchung@google.com>
Fri, 26 Feb 2021 14:45:08 +0000 (06:45 -0800)
committerHanhan Wang <hanchung@google.com>
Fri, 26 Feb 2021 14:45:56 +0000 (06:45 -0800)
commit855a1196049705344ec90cc1f3fd09b426416311
treec53ebf68875bc2ecb8d460996882f5cd56c99b88
parent4941fef9c41c42ac11cbe6fcc3e6a43511a5dfed
[mlir][linalg] Allow TC ops taking an unused shaped operand.

If one operand is not used in the formula, it will be considered a
shaped operand. And the result of indexing map of the operand will be the first
reduction dims.

Depends On D97383

Reviewed By: nicolasvasilache

Differential Revision: https://reviews.llvm.org/D97384
mlir/docs/Dialects/Linalg.md
mlir/test/mlir-linalg-ods-gen/test-linalg-ods-gen.tc
mlir/tools/mlir-linalg-ods-gen/mlir-linalg-ods-gen.cpp