From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id AA28E385E017; Fri, 27 Mar 2020 21:48:56 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AA28E385E017
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1585345736;
 bh=BmHfMZfG24Z0+Thwos60/vt6BRCZ14ZmS0Gm1s7Ht2E=;
 h=From:To:Subject:Date:In-Reply-To:References:From;
 b=QLnTXpuftn8mNtTw4N9wAQIkJxEBXfyEvOIJFEbr8LFdq1LijaEUEHw9jo0iTmQyc
 EzsQpLPk4x2JL5nr4inZQwNHhm+nvsYSB3E2Qy3Bq6Ncac0CHXZzTyEfw9IsM+pKfQ
 fSucnSj4LdxZkpmaOsjftyxlGSouIQydWtAkF1o0=
From: "iains at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/94359] new test case
 g++.dg/coroutines/torture/symmetric-transfer-00-basic.C fails
Date: Fri, 27 Mar 2020 21:48:56 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 10.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: iains at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-94359-4-ROS8OU0R50@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-94359-4@http.gcc.gnu.org/bugzilla/>
References: <bug-94359-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <http://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Fri, 27 Mar 2020 21:48:56 -0000

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

--- Comment #3 from Iain Sandoe <iains at gcc dot gnu.org> ---
Note1 : the 32b multilib works without any error.

Note2 : The dumps are gimple from symmetric-transfer-00-basic.C.020t.fixup_=
cfg1
which is the pass after all the coroutine-specific stuff is complete.

thus, For O0 (produces the error saying it can't tail call):

  <bb 25> :
actor.continue.ret:
  actor.continue =3D VIEW_CONVERT_EXPR<struct coroutine_handle>(D.38505);
  _38 =3D std::__n4835::coroutine_handle<void>::address (&actor.continue);
  _39 =3D MEM[(void (*<Te3>) (void *) *)_38];
  _39 (_38); [tail call] [must tail call]
  goto <bb 38>; [INV]

...

  <bb 38> :

  <bb 39> :
  actor.continue =3D {CLOBBER};

  <bb 40> :
<L55>:
  return;

=3D=3D=3D=3D

for O2 (execute fails, because without the tail-call we overflow the stack).

  <bb 14> :
actor.continue.ret:
  frame_ptr->__resume_at =3D 6;
  _22 =3D &frame_ptr->__lv.1.1.aw;
  D.38734 =3D Loopy<int>::loopy_awaiter::await_suspend (_22,
frame_ptr->__self_h); [return slot optimization]
  actor.continue =3D VIEW_CONVERT_EXPR<struct coroutine_handle>(D.38734);
  _38 =3D std::__n4835::coroutine_handle<void>::address (&actor.continue);
  _39 =3D MEM[(void (*<Te3>) (void *) *)_38];
  _39 (_38); [tail call]
  goto <bb 21>; [INV]

...

  <bb 21> :
actor.suspend.ret:
<L63>:
  actor.continue =3D {CLOBBER};
  return;=