[Bug ipa/64253] New: [5 Regression] IPA inline analysis processes a code transform operation

[Bug ipa/64253] New: [5 Regression] IPA inline analysis processes a code transform operation

[marxin at gcc dot gnu.org]

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

            Bug ID: 64253
           Summary: [5 Regression] IPA inline analysis processes a code
                    transform operation
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: hubicka at ucw dot cz

Hello.

I created this issue as underlying problem for PR63909, where one can find a
testcase.
Problem is that a BB is split here:

#0  gsi_split_seq_before (i=0x7fffffffd550, pnew_seq=0x7fffffffd528) at
../../gcc/gimple-iterator.c:429
#1  0x0000000000b95a2a in gimple_split_block (bb=0x7ffff6c41548,
stmt=0x0)
at ../../gcc/tree-cfg.c:5707
#2  0x00000000007563cf in split_block (bb=0x7ffff6c41548, i=i@entry=0x0)
at
../../gcc/cfghooks.c:508
#3  0x0000000000756b44 in split_block_after_labels (bb=<optimized out>)
at
../../gcc/cfghooks.c:549
#4  make_forwarder_block (bb=<optimized out>,
redirect_edge_p=redirect_edge_p@entry=0x75d4e0
<mfb_keep_just(edge_def*)>,
new_bb_cbk=new_bb_cbk@entry=0x0) at ../../gcc/cfghooks.c:842
#5  0x000000000076085a in create_preheader (loop=0x7ffff6d56948,
flags=<optimized out>) at ../../gcc/cfgloopmanip.c:1563
#6  0x0000000000760aea in create_preheaders (flags=1) at
../../gcc/cfgloopmanip.c:1613
#7  0x00000000009bc6b0 in apply_loop_flags (flags=15) at
../../gcc/loop-init.c:75
#8  0x00000000009bc7d3 in loop_optimizer_init (flags=15) at
../../gcc/loop-init.c:136
#9  0x0000000000957914 in estimate_function_body_sizes
(node=0x7ffff6c47620,
early=false) at ../../gcc/ipa-inline-analysis.c:2480
#10 0x000000000095948b in compute_inline_parameters (node=0x7ffff6c47620,
early=false) at ../../gcc/ipa-inline-analysis.c:2907
#11 0x000000000095bd88 in inline_analyze_function (node=0x7ffff6c47620)
at
../../gcc/ipa-inline-analysis.c:3994
#12 0x000000000095bed3 in inline_generate_summary () at
../../gcc/ipa-inline-analysis.c:4045
#13 0x0000000000a70b71 in execute_ipa_summary_passes (ipa_pass=0x1dcb9e0)

Thanks,
Martin

[Bug ipa/64253] [5 Regression] IPA inline analysis processes a code transform operation

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
   Target Milestone|---                         |5.0
>From gcc-bugs-return-470096-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Dec 10 14:03:44 2014
Return-Path: <gcc-bugs-return-470096-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20287 invoked by alias); 10 Dec 2014 14:03:44 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 20241 invoked by uid 48); 10 Dec 2014 14:03:40 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/64253] [5 Regression] IPA inline analysis processes a code transform operation
Date: Wed, 10 Dec 2014 14:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64253-4-gYGP5TW16g@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64253-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64253-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-12/txt/msg01103.txt.bz2
Content-length: 191

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd253

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
The issue is probably latent on branches (where nobody cares though).

[Bug ipa/64253] [5 Regression] IPA inline analysis processes a code transform operation

[hubicka at ucw dot cz]

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

--- Comment #2 from Jan Hubicka <hubicka at ucw dot cz> ---
> The issue is probably latent on branches (where nobody cares though).
Yep, inliner builds loop structure since about 4.5.  Until now it however did
not confuse any of the
other IPA passes.

[Bug ipa/64253] [5 Regression] IPA inline analysis processes a code transform operation

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-03-07
                 CC|                            |hubicka at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |hubicka at gcc dot gnu.org
   Target Milestone|5.0                         |6.0
     Ever confirmed|0                           |1

--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
I looked into making loop optimizer to be initialized before all analysis hooks
so inliner can use SCEV.  The issue is that the analysis is organized as a
series of passes over whole program (something I mean to change back, we used
to do it per function that is friendlier to caches). We have no way to
initiazlie SCEV on all functions at once and I do not htink we want to.
We can just do the initialization and rely on fact that another initialization
should not affect code, but it seems hackish.

In any case I think it is something for next stage1, not for GCC 5.

I am assigning myself and setting target milestone.

[Bug ipa/64253] IPA inline analysis processes a code transform operation

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[5 Regression] IPA inline   |IPA inline analysis
                   |analysis processes a code   |processes a code transform
                   |transform operation         |operation

--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Not a regression.