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

Christian Ulmann via All-commits all-commits at lists.llvm.org
Thu Jan 30 01:22:49 PST 2025


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

  Changed paths:
    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


More information about the All-commits mailing list