[all-commits] [llvm/llvm-project] 2ab57c: [mlir] tighten LLVM dialect verifiers to generate ...

[ftynse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2ab57c503ed9d235bf7bf9334a414e1d3c628d17
      https://github.com/llvm/llvm-project/commit/2ab57c503ed9d235bf7bf9334a414e1d3c628d17
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2021-02-16 (Tue, 16 Feb 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/test/Dialect/LLVMIR/global.mlir
    M mlir/test/Dialect/LLVMIR/invalid.mlir
    M mlir/test/Dialect/LLVMIR/roundtrip.mlir
    M mlir/test/Target/avx512.mlir
    M mlir/test/Target/import.ll
    M mlir/test/Target/llvmir-intrinsics.mlir
    M mlir/test/Target/llvmir.mlir
    M mlir/test/Target/nvvmir.mlir
    M mlir/test/Target/rocdl.mlir

  Log Message:
  -----------
  [mlir] tighten LLVM dialect verifiers to generate valid LLVM IR

Verification of the LLVM IR produced when translating various MLIR dialects was
only active when calling the translation programmatically. This has led to
several cases of invalid LLVM IR being generated that could not be caught with
textual mlir-translate tests. Add verifiers for these cases and fix the tests
in preparation for enforcing the validation of LLVM IR.

Reviewed By: nicolasvasilache

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