[Bug optimization/13953] New: [tree-ssa] SRA does not work for structs that contain a struct as a member

[Bug optimization/13953] New: [tree-ssa] SRA does not work for structs that contain a struct as a member

[dann at godzilla dot ics dot uci dot edu]

SRA does not work for structs that contain a struct as a member.
This is a known issue, filed so that it can be tracked. 

/* { dg-do compile } */ 
/* { dg-options "-O1 -fdump-tree-optimized" } */

void link_error (void);

typedef struct teststruct
{
  double d;
  char f1;
  struct foo {
    char f2;
  } m;
} teststruct;

void
copystruct4 (teststruct param)
{
  teststruct local;
  param.f1 = 0;
  local = param;
  if (local.f1 != 0)
    link_error ();
}
/* There should be no reference to link_error. */
/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } */

-- 
           Summary: [tree-ssa] SRA does not work for structs that contain a
                    struct as a member
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dann at godzilla dot ics dot uci dot edu
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug optimization/13953] [tree-ssa] SRA does not work for structs that contain a struct as a member

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-31 21:18 -------
Confirmed (related to bug 13952) from *.t24.sra:
Cannot scalarize variable param because it contains an aggregate type field, m
Cannot scalarize variable local because it contains an aggregate type field, m

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |pessimizes-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-31 21:18:47
               date|                            |
   Target Milestone|---                         |tree-ssa


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

[Bug tree-optimization/13953] [tree-ssa] SRA does not work for structs that contain a struct as a member

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.5.0                       |---


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

[Bug tree-optimization/13953] [tree-ssa] SRA does not work for structs that contain a struct as a member

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-28 07:36 -------
I hear that Richard Henderson is working on a rewrite of SRA.

-- 


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

[Bug tree-optimization/13953] [tree-ssa] SRA does not work for structs that contain a struct as a member

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-29 17:20 -------
SRA works on the structs except for copying:
  param$f1_7 = param.f1;
  param$f1_8 = 0;
  param.f1 = param$f1_8;
  local = param;
  local$f1_10 = local.f1;
  T.0_4 = local$f1_10; 

-- 


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

[Bug tree-optimization/13953] [tree-ssa] SRA does not work for structs that contain a struct as a member

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2004-06-29 21:09 -------
Fixed on i686.  If it's still failing for you, Andrew, it's a 
duplicate of PR13952.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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

[Bug tree-optimization/13953] [tree-ssa] SRA does not work for structs that contain a struct as a member

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.5.0


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