[all-commits] [llvm/llvm-project] e4063f: [MLIR][LLVM] Avoid importing broken calls and invokes

[Christian Ulmann via All-commits]

  Branch: refs/heads/users/dinistro/stop-importing-broken-calls
  Home:   https://github.com/llvm/llvm-project
  Commit: e4063f9c87462aa5b9fea79911e4ce8924dd390a
      https://github.com/llvm/llvm-project/commit/e4063f9c87462aa5b9fea79911e4ce8924dd390a
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2025-01-30 (Thu, 30 Jan 2025)

  Changed paths:
    M mlir/include/mlir/Target/LLVMIR/ModuleImport.h
    M mlir/lib/Target/LLVMIR/ModuleImport.cpp
    M mlir/test/Target/LLVMIR/Import/import-failure.ll

  Log Message:
  -----------
  [MLIR][LLVM] Avoid importing broken calls and invokes

This commit adds a check to catch calls/invokes that do not satisfy the
return type of their callee. This is not verified in LLVM IR but is
considered UB. Importing this into MLIR will lead to verification
errors, thus we should avoid this early on.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications