Add a linalg.range_intersect op.
authorNicolas Vasilache <ntv@google.com>
Thu, 16 May 2019 15:15:10 +0000 (08:15 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 20 May 2019 20:44:07 +0000 (13:44 -0700)
commita4317d1a5984562eef0f384a40ff2ced4423a836
tree44a593422fd03d187581cf4939ca01a1919f2f10
parent090662c5f3572c573cf249844748ecbf11d10dbe
Add a linalg.range_intersect op.

    This CL adds an operation whose purpose is to encode boundary conditions directly in the view type. In particular, full/partial tile distinction can
    occur at the level of metadata only.
    This CL also adopts a Linalg_Op pattern that is similar to Std_Op.

--

PiperOrigin-RevId: 248529469
mlir/include/mlir/Linalg/IR/LinalgBase.td
mlir/include/mlir/Linalg/IR/LinalgLibraryOps.td
mlir/include/mlir/Linalg/IR/LinalgOps.td
mlir/lib/Linalg/IR/LinalgOps.cpp
mlir/lib/Linalg/Transforms/Tiling.cpp
mlir/test/Linalg/roundtrip.mlir
mlir/test/Linalg/tile.mlir