[all-commits] [llvm/llvm-project] c1eef4: [MLIR] Support interrupting AffineExpr walks (#74792)

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c1eef483b2c1ab2564e0ee1e4d1a30db11f8049f
      https://github.com/llvm/llvm-project/commit/c1eef483b2c1ab2564e0ee1e4d1a30db11f8049f
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2024-01-05 (Fri, 05 Jan 2024)

  Changed paths:
    M mlir/include/mlir/IR/AffineExpr.h
    M mlir/include/mlir/IR/AffineExprVisitor.h
    M mlir/lib/Dialect/Affine/Utils/Utils.cpp
    M mlir/lib/IR/AffineExpr.cpp
    A mlir/test/IR/affine-walk.mlir
    M mlir/test/lib/IR/CMakeLists.txt
    A mlir/test/lib/IR/TestAffineWalk.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp

  Log Message:
  -----------
  [MLIR] Support interrupting AffineExpr walks (#74792)

Support WalkResult for AffineExpr walk and support interrupting walks
along the lines of Operation::walk. This allows interrupted walks when a
condition is met. Also, switch from std::function to llvm::function_ref
for the walk function.