[all-commits] [llvm/llvm-project] 98a6ed: [mlir][Interfaces] `LoopLikeOpInterface`: Expose t...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 98a6edd38f960679e65124d52e3c61f4abd1419f
      https://github.com/llvm/llvm-project/commit/98a6edd38f960679e65124d52e3c61f4abd1419f
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/IR/SCFOps.td
    M mlir/include/mlir/Interfaces/LoopLikeInterface.td
    M mlir/lib/Dialect/Linalg/Transforms/HoistPadding.cpp
    M mlir/lib/Dialect/SCF/IR/SCF.cpp
    M mlir/lib/Dialect/SCF/Transforms/BufferizableOpInterfaceImpl.cpp
    M mlir/lib/Dialect/SCF/Transforms/TileUsingInterface.cpp
    M mlir/lib/Interfaces/LoopLikeInterface.cpp
    M mlir/test/Dialect/SCF/invalid.mlir

  Log Message:
  -----------
  [mlir][Interfaces] `LoopLikeOpInterface`: Expose tied loop results (#70535)

Expose loop results, which correspond to the region iter_arg values that
are returned from the loop when there are no more iterations. Exposing
loop results is optional because some loops (e.g., `scf.while`) do not
have a 1-to-1 mapping between region iter_args and op results.

Also add additional helper functions to query tied
results/iter_args/inits.