[Bug d/96156] d: No RVO when returning struct literals initialized with constructor.

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Iain Buclaw <ibuclaw@gcc.gnu.org>:

https://gcc.gnu.org/g:87e36d9baf41a8642ca8687e846764e0828a088b

commit r11-2869-g87e36d9baf41a8642ca8687e846764e0828a088b
Author: Iain Buclaw <ibuclaw@gdcproject.org>
Date:   Fri Jul 24 18:06:51 2020 +0200

    d: Fix no RVO when returning struct literals initialized with constructor.

    Backports a change from upstream dmd that moves front-end NRVO checking
    from ReturnStatement semantic to the end of FuncDeclaration semantic.

    In the codegen, retStyle has been partially implemented so that only
    structs and static arrays return RETstack.  This isn't accurate, but
    don't need to be for the purposes of semantic analysis.

    If a function either has TREE_ADDRESSABLE or must return in memory, then
    DECL_RESULT is set as the shidden field for the function.  This is used
    in the codegen pass for ReturnStatement where it is now detected whether
    a function is returning a struct literal or a constructor function, then
    the DECL_RESULT is used to directly construct the return value, instead
    of doing so via temporaries.

    Reviewed-on: https://github.com/dlang/dmd/pull/11622

    gcc/d/ChangeLog:

            PR d/96156
            * d-frontend.cc (retStyle): Only return RETstack for struct and
static
            array types.
            * decl.cc (DeclVisitor::visit (FuncDeclaration *)): Use NRVO return
            for all TREE_ADDRESSABLE types.  Set shidden to the RESULT_DECL.
            * expr.cc (ExprVisitor::visit (CallExp *)): Force TARGET_EXPR if
the
            'this' pointer reference is a CONSTRUCTOR.
            (ExprVisitor::visit (StructLiteralExp *)): Generate assignment to
the
            symbol to initialize with literal.
            * toir.cc (IRVisitor::visit (ReturnStatement *)): Detect returning
            struct literals and write directly into the RESULT_DECL.
            * dmd/MERGE: Merge upstream dmd fe5f388d8.

    gcc/testsuite/ChangeLog:

            PR d/96156
            * gdc.dg/pr96156.d: New test.