[all-commits] [llvm/llvm-project] 606634: [mlir][llvm] Tighten LLVM dialect intrinsic type c...

[Tobias Gysi via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 606634967da2a9ef06ce977e0ba0130a7146fc8c
      https://github.com/llvm/llvm-project/commit/606634967da2a9ef06ce977e0ba0130a7146fc8c
  Author: Tobias Gysi <tobias.gysi at nextsilicon.com>
  Date:   2022-10-26 (Wed, 26 Oct 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOpBase.td
    M mlir/test/Target/LLVMIR/llvmir-invalid.mlir

  Log Message:
  -----------
  [mlir][llvm] Tighten LLVM dialect intrinsic type constraints.

The revision specifies more precise argument and result type
constraints for many of the llvm intrinsics. Additionally, add
tests to verify intrinsics with invalid arguments/result result
in a verification error.

Reviewed By: ftynse

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