[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #10 from Richard Biener  ---
Fixed.

[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[rguenth at gcc dot gnu.org]

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

--- Comment #9 from Richard Biener  ---
Author: rguenth
Date: Wed Apr 12 13:47:26 2017
New Revision: 246875

URL: https://gcc.gnu.org/viewcvs?rev=246875=gcc=rev
Log:
2017-04-12  Richard Biener  
Jeff Law  

PR tree-optimization/80359
* tree-ssa-dse.c (maybe_trim_partially_dead_store): Do not
trim stores to TARGET_MEM_REFs.

* gcc.dg/torture/pr80359.c: New testcase.

Added:
trunk/gcc/testsuite/gcc.dg/torture/pr80359.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-dse.c

[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[law at redhat dot com]

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

--- Comment #8 from Jeffrey A. Law  ---
That's exactly what I tested yesterday.  It bootstraps and regression tests
successfully.  So no need to wait on the testrun.

[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|law at redhat dot com  |rguenth at gcc dot 
gnu.org

--- Comment #7 from Richard Biener  ---
Created attachment 41190
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41190=edit
patch

Patch I am testing.  Constructor stores are similarly affected.

[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener  ---
(In reply to Jeffrey A. Law from comment #4)
> Given how late in stage4 we are, I think rejecting TMR without trying to
> rewrite them into a regular MEM_REF is probably the best thing to do.

Agreed.

[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 CC||zeccav at gmail dot com

--- Comment #5 from Richard Biener  ---
*** Bug 80395 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[law at redhat dot com]

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

--- Comment #4 from Jeffrey A. Law  ---
Given how late in stage4 we are, I think rejecting TMR without trying to
rewrite them into a regular MEM_REF is probably the best thing to do.

[Bug tree-optimization/80359] [7 Regression] DSE causes error: invalid reference prefix

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2017-04-09
 CC||law at gcc dot gnu.org
   Target Milestone|--- |7.0
Summary|-O3 causes error: invalid   |[7 Regression] DSE causes
   |reference prefix|error: invalid reference
   ||prefix
 Ever confirmed|0   |1

--- Comment #3 from Richard Biener  ---
(gdb) p t
$1 = 

indeed we may not subset TMRs.  Caused by DSE (Jeffs improvements).

Note the particular TMR (just base and constant offset) could be rewritten
to a regular MEM_REF.