[all-commits] [llvm/llvm-project] dacfb2: [mlir] Support inlining into affine operations

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dacfb24b301d2f0422f2c7a23e2919e2f35cd932
      https://github.com/llvm/llvm-project/commit/dacfb24b301d2f0422f2c7a23e2919e2f35cd932
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2020-12-11 (Fri, 11 Dec 2020)

  Changed paths:
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Dialect/Affine/inlining.mlir

  Log Message:
  -----------
  [mlir] Support inlining into affine operations

Introduce support for inlining into affine operations. This uses the generic
inline infrastructure and boils down to checking that, if applied, the inlining
doesn't violate the affine dimension/symbol value categorization. Given valid
IR, only the values that are valid dimensions/symbols thanks to being top-level
in their affine scope need special handling.

Reviewed By: rriddle

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