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

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


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

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



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