joker-eph wrote: I'm wondering now if this is the right fix though. Making arguments as dead could still allow simplification at call-sites (for example: replace with a constant or an "undef" value), while not touching the signature? https://github.com/llvm/llvm-project/pull/160648