[all-commits] [llvm/llvm-project] f7ef7e: llvm-reduce: Fix assert if call type mismatches fu...

Matt Arsenault via All-commits all-commits at lists.llvm.org
Wed Mar 19 00:56:38 PDT 2025


  Branch: refs/heads/users/arsenm/llvm-reduce/issue69312/fix-assert-on-call-signature-mismatch
  Home:   https://github.com/llvm/llvm-project
  Commit: f7ef7ea642a1dd067f938bbd42a2b69de35d5053
      https://github.com/llvm/llvm-project/commit/f7ef7ea642a1dd067f938bbd42a2b69de35d5053
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2025-03-19 (Wed, 19 Mar 2025)

  Changed paths:
    A llvm/test/tools/llvm-reduce/issue100880-mismatched-call-type.ll
    A llvm/test/tools/llvm-reduce/operands-to-args-wrong-call-type-issue69312.ll
    M llvm/tools/llvm-reduce/deltas/ReduceOperandsToArgs.cpp

  Log Message:
  -----------
  llvm-reduce: Fix assert if call type mismatches function type

This fixes asserting on IR with undefined behavior from calls
with a type that does not match the type of the target function.

Just ignore callsites which already didn't match the function
signature. This is the most straightforward fix, the reference
to the global will be replaced later anyway. A better implementation
would try to pad out unused arguments, particularly in the cases where
the signatures only differ in type and not count.

Fixes #69312, fixes #100880



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