[all-commits] [llvm/llvm-project] 5232c5: [mlir] Fix verification order of nested ops.

[ChiaHungDuan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5232c5c5d41489a07d0e72a0e87229a58950f94a
      https://github.com/llvm/llvm-project/commit/5232c5c5d41489a07d0e72a0e87229a58950f94a
  Author: Chia-hung Duan <chiahungduan at google.com>
  Date:   2022-04-15 (Fri, 15 Apr 2022)

  Changed paths:
    M mlir/lib/IR/Verifier.cpp
    M mlir/test/Dialect/Func/invalid.mlir
    M mlir/test/Dialect/MemRef/invalid.mlir
    M mlir/test/IR/invalid.mlir
    A mlir/test/IR/test-verification-order.mlir
    M mlir/test/lib/Dialect/Test/TestDialect.cpp
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  [mlir] Fix verification order of nested ops.

In order to increase parallism, certain ops with regions and have the
IsIsolatedFromAbove trait will have their verification delayed. That
means the region verifier may access the invalid ops and may lead to a
crash.

Reviewed By: rriddle

Differential Revision: https://reviews.llvm.org/D122771