[all-commits] [llvm/llvm-project] 3ba14f: [mlir] Introduce data layout modeling subsystem

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3ba14fa0ce4643f61891f5ac299424189b4f3230
      https://github.com/llvm/llvm-project/commit/3ba14fa0ce4643f61891f5ac299424189b4f3230
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2021-03-11 (Thu, 11 Mar 2021)

  Changed paths:
    A mlir/docs/DataLayout.md
    M mlir/include/mlir/Dialect/CMakeLists.txt
    A mlir/include/mlir/Dialect/DLTI/CMakeLists.txt
    A mlir/include/mlir/Dialect/DLTI/DLTI.h
    A mlir/include/mlir/Dialect/DLTI/DLTI.td
    A mlir/include/mlir/Dialect/DLTI/DLTIBase.td
    A mlir/include/mlir/Dialect/DLTI/Traits.h
    M mlir/include/mlir/IR/OpBase.td
    M mlir/include/mlir/InitAllDialects.h
    M mlir/include/mlir/Interfaces/CMakeLists.txt
    A mlir/include/mlir/Interfaces/DataLayoutInterfaces.h
    A mlir/include/mlir/Interfaces/DataLayoutInterfaces.td
    M mlir/lib/Dialect/CMakeLists.txt
    A mlir/lib/Dialect/DLTI/CMakeLists.txt
    A mlir/lib/Dialect/DLTI/DLTI.cpp
    A mlir/lib/Dialect/DLTI/Traits.cpp
    M mlir/lib/Interfaces/CMakeLists.txt
    A mlir/lib/Interfaces/DataLayoutInterfaces.cpp
    A mlir/test/Dialect/DLTI/invalid.mlir
    A mlir/test/Dialect/DLTI/roundtrip.mlir
    A mlir/test/Interfaces/DataLayoutInterfaces/query.mlir
    M mlir/test/lib/Dialect/Test/CMakeLists.txt
    M mlir/test/lib/Dialect/Test/TestDialect.cpp
    M mlir/test/lib/Dialect/Test/TestDialect.h
    M mlir/test/lib/Dialect/Test/TestOps.td
    M mlir/test/lib/Dialect/Test/TestTypes.cpp
    M mlir/test/lib/Dialect/Test/TestTypes.h
    M mlir/test/lib/Transforms/CMakeLists.txt
    A mlir/test/lib/Transforms/TestDataLayoutQuery.cpp
    M mlir/test/mlir-opt/commandline.mlir
    M mlir/tools/mlir-opt/mlir-opt.cpp
    M mlir/unittests/CMakeLists.txt
    A mlir/unittests/Interfaces/CMakeLists.txt
    A mlir/unittests/Interfaces/DataLayoutInterfacesTest.cpp

  Log Message:
  -----------
  [mlir] Introduce data layout modeling subsystem

Data layout information allows to answer questions about the size and alignment
properties of a type. It enables, among others, the generation of various
linear memory addressing schemes for containers of abstract types and deeper
reasoning about vectors. This introduces the subsystem for modeling data
layouts in MLIR.

The data layout subsystem is designed to scale to MLIR's open type and
operation system. At the top level, it consists of attribute interfaces that
can be implemented by concrete data layout specifications; type interfaces that
should be implemented by types subject to data layout; operation interfaces
that must be implemented by operations that can serve as data layout scopes
(e.g., modules); and dialect interfaces for data layout properties unrelated to
specific types. Built-in types are handled specially to decrease the overall
query cost.

A concrete default implementation of these interfaces is provided in the new
Target dialect. Defaults for built-in types that match the current behavior are
also provided.

Reviewed By: rriddle

Differential Revision: https://reviews.llvm.org/D97067