[Bug tree-optimization/95966] New: soft float operations are not tail called

[Bug tree-optimization/95966] New: soft float operations are not tail called

[nsz at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95966

            Bug ID: 95966
           Summary: soft float operations are not tail called
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nsz at gcc dot gnu.org
  Target Milestone: ---

i'd expect this to be a tail call into the soft float add
operation on soft float targets:

fp_t foo(fp_t a, fp_t b)
{
    return a + b;
}

e.g. on x86 with 'typedef __float128 fp_t' the generated code is

foo:
        sub     rsp, 8
        call    __addtf3
        add     rsp, 8
        ret

on aarch64 with 'typedef long double fp_t' the generated code is

foo:
        stp     x29, x30, [sp, -16]!
        mov     x29, sp
        bl      __addtf3
        ldp     x29, x30, [sp], 16
        ret

i see similar code on other softfp targets.

[Bug middle-end/95966] soft float operations are not tail called

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95966

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |missed-optimization
          Component|tree-optimization           |rtl-optimization

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|rtl-optimization            |middle-end
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Possibly libcall sequences are never tail-called.

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 15473.

*** This bug has been marked as a duplicate of bug 15473 ***