[all-commits] [llvm/llvm-project] 01f5fc: [mlir][openacc] Add loop op verifier

[Valentin Clement (バレンタイン クレメン) via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 01f5fcd8290349265e6039ad9089b086ea783f00
      https://github.com/llvm/llvm-project/commit/01f5fcd8290349265e6039ad9089b086ea783f00
  Author: Valentin Clement <clementval at gmail.com>
  Date:   2020-09-15 (Tue, 15 Sep 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/OpenACC/OpenACCOps.td
    M mlir/lib/Dialect/OpenACC/IR/OpenACC.cpp
    A mlir/test/Dialect/OpenACC/invalid.mlir
    M mlir/test/Dialect/OpenACC/ops.mlir

  Log Message:
  -----------
  [mlir][openacc] Add loop op verifier

Add a verifier for the loop op in the OpenACC dialect. Check basic restriction
from 2.9 Loop construct from the OpenACC 3.0 specs.

Reviewed By: ftynse

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