From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-412959-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16288 invoked by alias); 22 Jan 2013 15:33:50 -0000
Received: (qmail 16245 invoked by uid 48); 22 Jan 2013 15:33:34 -0000
From: "ysrumyan at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/53787] Possible IPA-SRA / IPA-CP improvement
Date: Tue, 22 Jan 2013 15:33:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ysrumyan at gmail dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jamborm at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: CC
Message-ID: <bug-53787-4-pJZqXq28tr@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-53787-4@http.gcc.gnu.org/bugzilla/>
References: <bug-53787-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
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
X-SW-Source: 2013-01/txt/msg02078.txt.bz2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53787

Yuri Rumyantsev <ysrumyan at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ysrumyan at gmail dot com

--- Comment #15 from Yuri Rumyantsev <ysrumyan at gmail dot com> 2013-01-22 15:33:33 UTC ---
We checked that for the attached simple test-case IPA_CP is done but it does
not work for the real bench UMTmk_1.1 it does not work. In this bench we have
the following chain of stmts:

UMTmk:
        npart = 16
        call driver(Size, Geom, npart, storePsi)

driver:
           call init(Size, Geom, npart, storePsi,  &
             next,omega,abdym,sigvol,qc,   &
             TPSIC,PSIC,PSIB,PSIFP,CUREZ)

and we did not see that value 16 for npart has been propagated (if so the
innermost loops with npart upper bound will be completely unrolled).

If we look at call graph for init we see that it does not have callee in graph:

init_.constprop.2/72 (init_.constprop.2) @0x7f0874ee3b90
  Type: function
  Visibility: used_from_other_partition public visibility_specified
visibility:hidden
  References: 
  Referring: 
  Read from file: /tmp/ccGZySlu.ltrans2.o
  Clone of init_.2535/55
  Function flags: analyzed local finalized
  Called by: 
...
I put into attachment the whole bench for investigation.