[Bug optimization/13745] [tree-ssa] expressions not converted back to array form

[Bug optimization/13745] [tree-ssa] expressions not converted back to array form

[dann at godzilla dot ics dot uci dot edu]

------- Additional Comments From dann at godzilla dot ics dot uci dot edu  2004-01-19 18:52 -------
Created an attachment (id=5525)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5525&action=view)
The oopack version converted to use ints instead of doubles as describe in the
initial bug report.


-- 


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

[Bug optimization/13745] New: [tree-ssa] expressions not converted back to array form

[dann at godzilla dot ics dot uci dot edu]

In the oopack benchmark converted to use ints instead of doubles the following
can be seen in the .optimized dump:

in Matrix::c_style
 sum = C[pretmp.432 + k] * D[k * 50 + j] + sum;

The equivalent in Matrix::oop_style: 
<L2>:;
  <D7085> = (int *)((unsigned int)(pretmp.525 + k) * 4) + &C;
<L3>:;
  T.275 = *<D7085>;
  <D7098> = (int *)((unsigned int)(k * 50 + j) * 4) + &D;
<L4>:;
  sum = T.275 * *<D7098> + sum;


This might or might not be related to the Matrix slowdown mentioned at:
 http://gcc.gnu.org/ml/gcc/2004-01/msg01161.html

-- 
           Summary: [tree-ssa] expressions not converted back to array form
           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=13745

[Bug optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-19 19:04 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |pessimizes-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-19 19:04:31
               date|                            |
   Target Milestone|---                         |tree-ssa


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

[Bug optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement


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

[Bug optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|enhancement                 |normal


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

[Bug optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-15 22:55 -------
This is related to bug 14029.

-- 


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

[Bug c++/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-19 22:19 -------
A front-end bug which I am working on, the problem is that the front-end lowers things 
like this: &a[b] into a+b.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
           Severity|normal                      |enhancement
             Status|NEW                         |ASSIGNED
          Component|optimization                |c++


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

[Bug c++/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-23 20:40 -------
With my patch I am working on, the front-end now produces the right trees but after 
generic it is converted back to the way descripted above.

-- 


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

[Bug c++/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-03-07 03:42 -------
There is no way for me to fix at least not yet.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|pinskia at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


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

[Bug optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-04 07:19 -------
Still happens:
  sum = *(int &)((int *)((unsigned int)(T.282 + k) * 4) + &C) * *(int &)((int *)((unsigned int)(k 
* 50 + j) * 4) + &D) + sum;



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c++                         |optimization
   Last reconfirmed|2004-03-22 02:31:24         |2004-04-04 07:19:31
               date|                            |


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

[Bug tree-optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

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


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

[Bug tree-optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-24 01:35 -------
I should note that this is related to bug 14814 (or is the same as that PR).

-- 


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

[Bug tree-optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-03 09:33 -------
Mine, I am working on this.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug tree-optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 21:27 -------
It might be a while for me to rewrite the tree combiner so unassigning for now.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|pinskia at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


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

[Bug tree-optimization/13745] [tree-ssa] expressions not converted back to array form

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-20 17:16 -------
The difference now is:
<L2>:;
  sum = MEM[base: (int *) ivtmp.278] * MEM[base: (int *) ivtmp.280] + sum;
  k = k + 1;
  ivtmp.278 = ivtmp.278 + 4B;
  ivtmp.280 = ivtmp.280 + 200B;
  if (k != 50) goto <L2>; else goto <L4>;

For c_style.

And
<L2>:;
  sum = sum + C[(unsigned int) (int) ((unsigned int) k + ivtmp.1004)] * D[(unsigned int) (int) ivtmp.991];
  k = k + 1;
  ivtmp.991 = ivtmp.991 + 50;
  if (k != 50) goto <L2>; else goto <L4>;

For oop_style which means we don't do IV-opts on it for some reason.

-- 


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