Bug 23969 - no flow-sensitive alias info for pretmp.28_145 in D.1305_17 = *pretmp.28_145;
Summary: no flow-sensitive alias info for pretmp.28_145 in D.1305_17 = *pretmp.28_145;
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: tree-optimization (show other bugs)
Version: 4.1.0
: P2 normal
Target Milestone: 4.2.0
Assignee: Not yet assigned to anyone
URL:
Keywords: alias
Depends on:
Blocks:
 
Reported: 2005-09-19 18:47 UTC by Richard Biener
Modified: 2006-01-01 01:10 UTC (History)
2 users (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Richard Biener 2005-09-19 18:47:05 UTC
PRE fails to merge flow-sensitive alias-information for

void Ekin(double *e, int *stridee,
          double *vx, int *stridevx,
          double *vy, int *stridevy,
          double *vz, int *stridevz,
          int *sz)
{
  int i1 = sz[0];
  int j1 = sz[1];
  int k1 = sz[2];
  int i, j, k;
  for (k=0; k<k1; ++k)
   for (j=0; j<j1; ++j)
    for (i=0; i<i1; ++i)
     {
       e[i + j * stridee[1] + k * stridee[2]]
        = 0.128 * (
            ((vx[i + j * stridevx[1] + k * stridevx[2]]
              + vx[i+1 + j * stridevx[1] + k * stridevx[2]])
             * (vx[i + j * stridevx[1] + k * stridevx[2]]
                + vx[i+1 + j * stridevx[1] + k * stridevx[2]]))
          + ((vy[i + j * stridevy[1] + k * stridevy[2]]
              + vy[i + (j+1) * stridevy[1] + k * stridevy[2]])
             * (vy[i + j * stridevy[1] + k * stridevy[2]]
                + vy[i + (j+1) * stridevy[1] + k * stridevy[2]]))
          + ((vz[i + j * stridevz[1] + k * stridevz[2]]
              + vz[i + j * stridevz[1] + (k+1) * stridevz[2]])
             * (vz[i + j * stridevz[1] + k * stridevz[2]]
                + vz[i + j * stridevz[1] + (k+1) * stridevz[2]])));

     }
}

From the .lim dump:

NOTE: no flow-sensitive alias info for pretmp.28_145 in D.1305_17 = *pretmp.28_145;
NOTE: no flow-sensitive alias info for pretmp.29_46 in D.1308_20 = *pretmp.29_46;
NOTE: no flow-sensitive alias info for pretmp.30_50 in D.1317_31 = *pretmp.30_50;
NOTE: no flow-sensitive alias info for pretmp.31_3 in D.1320_34 = *pretmp.31_3;
NOTE: no flow-sensitive alias info for pretmp.32_212 in D.1340_90 = *pretmp.32_212;
NOTE: no flow-sensitive alias info for pretmp.33_197 in D.1343_93 = *pretmp.33_197;
NOTE: no flow-sensitive alias info for pretmp.35_2 in D.1365_150 = *pretmp.35_2;
NOTE: no flow-sensitive alias info for pretmp.36_211 in D.1368_153 = *pretmp.36_211;
Comment 1 Andrew Pinski 2006-01-01 01:10:55 UTC
Fixed.