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

ChiaHungDuan via All-commits all-commits at lists.llvm.org
Thu Apr 14 21:43:42 PDT 2022

  Branch: refs/heads/main
  Home:   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

Reviewed By: rriddle

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

More information about the All-commits mailing list