[all-commits] [llvm/llvm-project] 4091bc: [MLIR][OpenMP] Split region-associated op verifica...

[Sergio Afonso via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4091bc61e315f187829dca877dd908a07ba9cb91
      https://github.com/llvm/llvm-project/commit/4091bc61e315f187829dca877dd908a07ba9cb91
  Author: Sergio Afonso <safonsof at amd.com>
  Date:   2024-10-17 (Thu, 17 Oct 2024)

  Changed paths:
    M mlir/include/mlir/Dialect/OpenMP/OpenMPOps.td
    M mlir/include/mlir/Dialect/OpenMP/OpenMPOpsInterfaces.td
    M mlir/lib/Dialect/OpenMP/IR/OpenMPDialect.cpp
    M mlir/test/Dialect/OpenMP/invalid.mlir

  Log Message:
  -----------
  [MLIR][OpenMP] Split region-associated op verification (#112355)

This patch moves the part of operation verifiers dependent on the
contents of their regions to the corresponding `verifyRegions` method.
This ensures these are only triggered after the operations in the region
have themselved already been verified in advance, avoiding checks based
on invalid nested operations.

The `LoopWrapperInterface` is also updated so that its verifier runs
after operations in the region of ops with this interface have already
been verified.



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