This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Problem with SSA inlining and default defs
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: Sun, 16 Dec 2007 19:06:53 +0100
- Subject: Re: Problem with SSA inlining and default defs
- References: <200712161854.29543.ebotcazou@adacore.com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Sun, Dec 16, 2007 at 06:54:29PM +0100, Eric Botcazou wrote:
> How SSA inlining and default defs for uninitialized variables are supposed to
> interact? Suppose you have the following situation
>
> BB0 ...
> | \
> (ab) | BB1 s_2 = f(s_1(D))
> | /
> BB2 s_3 = PHI <s_1(D), s2>
>
> in a function that gets inlined into a loop. The liveness of s_1(D) in BB0
> will propagate to BB2 along the backwards edge and you get overlapping live
> ranges for s_1(D) and s_3. If s_1(D) is SSA_NAME_OCCURS_IN_ABNORMAL_PHI, the
> compilation will abort during SSA coalescing because they must be coalesced.
This sounds like PR31081.
Jakub