public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/58404] New: &noninvariant_address not forwproped into ->handled_component
@ 2013-09-12 10:42 jakub at gcc dot gnu.org
  2013-09-12 10:43 ` [Bug tree-optimization/58404] " rguenth at gcc dot gnu.org
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-09-12 10:42 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 58404
           Summary: &noninvariant_address not forwproped into
                    ->handled_component
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org

On:

struct S { int s; };
S a[1024];

void
foo ()
{
  for (int i = 0; i < 1024; i++)
    {
      S &r = a[i];
      r.s++;
    }
}

we don't forwprop
  r_4 = &a[i_9];
  r_4->s = 2;
even when a[i_9].s is valid is_gimple_val.  Seen on libgomp.c++/simd-6.C on
gomp-4_0-branch.


^ permalink raw reply	[flat|nested] 4+ messages in thread

* [Bug tree-optimization/58404] &noninvariant_address not forwproped into ->handled_component
  2013-09-12 10:42 [Bug tree-optimization/58404] New: &noninvariant_address not forwproped into ->handled_component jakub at gcc dot gnu.org
@ 2013-09-12 10:43 ` rguenth at gcc dot gnu.org
  2013-09-12 13:20 ` rguenth at gcc dot gnu.org
  2013-09-12 13:20 ` rguenth at gcc dot gnu.org
  2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-09-12 10:43 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |missed-optimization
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-09-12
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  I will have a look.


^ permalink raw reply	[flat|nested] 4+ messages in thread

* [Bug tree-optimization/58404] &noninvariant_address not forwproped into ->handled_component
  2013-09-12 10:42 [Bug tree-optimization/58404] New: &noninvariant_address not forwproped into ->handled_component jakub at gcc dot gnu.org
  2013-09-12 10:43 ` [Bug tree-optimization/58404] " rguenth at gcc dot gnu.org
  2013-09-12 13:20 ` rguenth at gcc dot gnu.org
@ 2013-09-12 13:20 ` rguenth at gcc dot gnu.org
  2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-09-12 13:20 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Sep 12 13:20:17 2013
New Revision: 202525

URL: http://gcc.gnu.org/viewcvs?rev=202525&root=gcc&view=rev
Log:
2013-09-12  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/58404
    * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Also
    propagate non-invariant addresses into dereferences wrapped
    in component references.

    * g++.dg/tree-ssa/pr58404.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr58404.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c


^ permalink raw reply	[flat|nested] 4+ messages in thread

* [Bug tree-optimization/58404] &noninvariant_address not forwproped into ->handled_component
  2013-09-12 10:42 [Bug tree-optimization/58404] New: &noninvariant_address not forwproped into ->handled_component jakub at gcc dot gnu.org
  2013-09-12 10:43 ` [Bug tree-optimization/58404] " rguenth at gcc dot gnu.org
@ 2013-09-12 13:20 ` rguenth at gcc dot gnu.org
  2013-09-12 13:20 ` rguenth at gcc dot gnu.org
  2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-09-12 13:20 UTC (permalink / raw)
  To: gcc-bugs

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.9.0

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2013-09-12 13:20 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-09-12 10:42 [Bug tree-optimization/58404] New: &noninvariant_address not forwproped into ->handled_component jakub at gcc dot gnu.org
2013-09-12 10:43 ` [Bug tree-optimization/58404] " rguenth at gcc dot gnu.org
2013-09-12 13:20 ` rguenth at gcc dot gnu.org
2013-09-12 13:20 ` rguenth at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).