[all-commits] [llvm/llvm-project] 8cdc16: [MLIR][LLVM] Avoid importing broken calls and invo...

[Christian Ulmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8cdc16d350c9f162759689402db841685e9534b1
      https://github.com/llvm/llvm-project/commit/8cdc16d350c9f162759689402db841685e9534b1
  Author: Christian Ulmann <christianulmann at gmail.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 (#125041)

This commit adds a check to catch calls/invokes that do not satisfy the
type constraints 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