[all-commits] [llvm/llvm-project] bf91cd: [mlir][llvm] Verify LLVM module before import

[Christian Ulmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bf91cd6ea9d6c03558667d417e496324468948da
      https://github.com/llvm/llvm-project/commit/bf91cd6ea9d6c03558667d417e496324468948da
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2023-02-17 (Fri, 17 Feb 2023)

  Changed paths:
    M mlir/lib/Target/LLVMIR/ConvertFromLLVMIR.cpp
    M mlir/lib/Target/LLVMIR/Dialect/LLVMIR/LLVMIRToLLVMTranslation.cpp
    M mlir/lib/Target/LLVMIR/LoopAnnotationImporter.cpp
    M mlir/test/Target/LLVMIR/Import/basic.ll
    M mlir/test/Target/LLVMIR/Import/function-attributes.ll
    M mlir/test/Target/LLVMIR/Import/import-failure.ll
    M mlir/test/Target/LLVMIR/Import/metadata-tbaa.ll

  Log Message:
  -----------
  [mlir][llvm] Verify LLVM module before import

This commit ensures that the importing of LLVM modules first verifies
that the module is even valid. As many tests did not work with valid
LLVM IR, they were fixed as part of this commit.

Some error messages were only reachable with invalid input IR, thus they
were replaced with a failures.

Reviewed By: gysit

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