[all-commits] [llvm/llvm-project] 9c2829: [mlir][Func] Use getMutableSuccessorOperands() in ...

[Mehdi Amini via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9c2829f2e1883a8634edf4008f1cbc5928c63eeb
      https://github.com/llvm/llvm-project/commit/9c2829f2e1883a8634edf4008f1cbc5928c63eeb
  Author: Mehdi Amini <joker.eph at gmail.com>
  Date:   2026-03-04 (Wed, 04 Mar 2026)

  Changed paths:
    M mlir/lib/Dialect/Func/IR/FuncOps.cpp
    M mlir/test/Dialect/Func/invalid.mlir
    M mlir/test/IR/test-region-branch-op-verifier.mlir

  Log Message:
  -----------
  [mlir][Func] Use getMutableSuccessorOperands() in FuncOp verifier (#184589)

When verifying return-like terminators, use
getMutableSuccessorOperands() instead of getNumOperands() so that only
the operands passed to the parent region are checked against the
function result types. This handles terminators that implement
RegionBranchTerminatorOpInterface and carry additional operands for
other successor regions (e.g. loop back-edges).

Add tests using test.loop_block_term, which has both an iter operand
(passed back to the region) and an exit operand (passed to the parent).



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications