[all-commits] [llvm/llvm-project] 833a8d: [mlir][scf] Implement getSingle... of LoopLikeOpIn...

[Felix Schneider via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 833a8db5b1e3922d6a4a0a158614af884a49fc02
      https://github.com/llvm/llvm-project/commit/833a8db5b1e3922d6a4a0a158614af884a49fc02
  Author: Felix Schneider <30509320+ubfx at users.noreply.github.com>
  Date:   2023-10-20 (Fri, 20 Oct 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/IR/SCFOps.td
    M mlir/lib/Dialect/SCF/IR/SCF.cpp

  Log Message:
  -----------
  [mlir][scf] Implement getSingle... of LoopLikeOpInterface for scf::ForallOp (#67883)

The `getSingle(IterationVar|UpperBound|LowerBound|Step)` methods of
`LoopLikeOpInterface` are useful to quickly query the iteration space of 
unidimensional loops. Until now, `scf::ForallOp` always fell back to the
default implementation of these methods, returning `std::nullopt`.

This patch implements those methods, returning the respective bounds
or steps in the special case of `rank == 1`.