Mark untyped calls and handle them specially [PR98689]
authorRichard Sandiford <richard.sandiford@arm.com>
Fri, 16 Apr 2021 11:38:02 +0000 (12:38 +0100)
committerRichard Sandiford <richard.sandiford@arm.com>
Fri, 16 Apr 2021 11:38:02 +0000 (12:38 +0100)
commit49e651990a6966936a0273138dd56ac394e57b16
tree2f7562704a3604487afaa778caac2d52e1e6f1b0
parentb4d6af55fe55c0eab87ab875bfd0346677e12236
Mark untyped calls and handle them specially [PR98689]

This patch fixes a regression introduced by the rtl-ssa patches.
It was seen on HPPA but it might be latent elsewhere.

The problem is that the traditional way of expanding an untyped_call
is to emit sequences like:

   (call (mem (symbol_ref "foo")))
   (set (reg pseudo1) (reg result1))
   ...
   (set (reg pseudon) (reg resultn))

The ABI specifies that result1..resultn are clobbered by the call but
nothing in the RTL indicates that result1..resultn are the results
of the call.  Normally, using a clobbered value gives undefined results,
but in this case the results are well-defined and matter for correctness.

This seems like a niche case, so I think it would be better to mark
it explicitly rather than try to detect it heuristically.

Note that in expand_builtin_apply we already have an rtx_insn *,
so it doesn't matter whether we call emit_call_insn or emit_insn.
Calling emit_insn seems more natural now that the gen_* call
has been split out.  It also matches later code in the function.

gcc/
PR rtl-optimization/98689
* reg-notes.def (UNTYPED_CALL): New note.
* combine.c (distribute_notes): Handle it.
* emit-rtl.c (try_split): Likewise.
* rtlanal.c (rtx_properties::try_to_add_insn): Likewise.  Assume
that calls with the note implicitly set all return value registers.
* builtins.c (expand_builtin_apply): Add a REG_UNTYPED_CALL
to untyped_calls.
gcc/builtins.c
gcc/combine.c
gcc/emit-rtl.c
gcc/reg-notes.def
gcc/rtlanal.c