[all-commits] [llvm/llvm-project] 892abd: [mlir][IR] Make verifyDominanceOfContainedRegions ...

[Hideto Ueno via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 892abd34d22076cac2be297222acb269a3d1f605
      https://github.com/llvm/llvm-project/commit/892abd34d22076cac2be297222acb269a3d1f605
  Author: Hideto Ueno <uenoku.tokotoko at gmail.com>
  Date:   2023-12-05 (Tue, 05 Dec 2023)

  Changed paths:
    M mlir/lib/IR/Verifier.cpp

  Log Message:
  -----------
  [mlir][IR] Make verifyDominanceOfContainedRegions iterative (#74428)

This commit refactors `verifyDominanceOfContainedRegions` to iterative
algorithms similar to https://reviews.llvm.org/D154925 to fix stack
overflow for deeply nested regions (e.g.
https://github.com/llvm/circt/issues/5316). There should be no
functional change except that this could result in slightly different
order of verification.