[all-commits] [llvm/llvm-project] be4b87: [mlir][LLVM] Add param attr verifiers

[Christian Ulmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: be4b87353e4230e8dab4173d5200e8d88f6ab032
      https://github.com/llvm/llvm-project/commit/be4b87353e4230e8dab4173d5200e8d88f6ab032
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2023-01-25 (Wed, 25 Jan 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOpBase.td
    M mlir/include/mlir/Target/LLVMIR/ModuleTranslation.h
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/lib/Target/LLVMIR/ModuleTranslation.cpp
    M mlir/test/Dialect/LLVMIR/func.mlir
    M mlir/test/Dialect/LLVMIR/invalid.mlir
    A mlir/test/Dialect/LLVMIR/parameter-attrs-invalid.mlir
    M mlir/test/Target/LLVMIR/llvmir-invalid.mlir

  Log Message:
  -----------
  [mlir][LLVM] Add param attr verifiers

This commit introduces unified parameter attribute verifiers to the LLVM
dialect and removes according checks in the export. As LLVM does not
verify the validity of certain attributes on return values, this commit
unifies the handling of argument and result attributes wherever possible.

Depends on D142212

Reviewed By: gysit

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