HomePhabricator

[mlir] Introduce data layout modeling subsystem

Authored by ftynse on Mar 11 2021, 5:33 AM.

Description

[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

Details

Committed
ftynseMar 11 2021, 7:54 AM
Reviewer
rriddle
Differential Revision
D97067: [mlir] Introduce data layout modeling subsystem
Parents
rGb4a516cc43ea: [mlir] Add LLVM loop codegen options to control software pipelining
Branches
Unknown
Tags
Unknown