[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[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=14287

[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14287
Bug 14287 depends on bug 15459, which changed state.

Bug 15459 Summary: [meta-bug] there should be a tree combiner like the rtl one
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=15459

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

[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[rguenth at gcc dot gnu dot org]

------- Comment #14 from rguenth at gcc dot gnu dot org  2006-05-04 15:13 -------
Fixed.

after 034.t.fre:


;; Function foo (foo)

foo (a)
{
  long int c;
  short int b;
  short int D.1528;
  short int D.1527;

<bb 2>:
  D.1527_2 = (short int) a_1;
  b_3 = D.1527_2 & 3;
  c_4 = (long int) b_3;
  D.1528_5 = b_3;
  g = D.1528_5;
  D.1528_8 = b_3;
  h = D.1528_8;
  return;

}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.2.0


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

[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2006-05-04 13:57 -------
Subject: Bug 14287

Author: rguenth
Date: Thu May  4 13:56:52 2006
New Revision: 113527

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113527
Log:
2006-05-04  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/14287
        PR tree-optimization/14844
        PR tree-optimization/19792
        PR tree-optimization/21608
        PR tree-optimization/27090
        * tree-ssa-pre.c (try_combine_conversion): New function.
        (compute_avail): After constructing the value-handle
        expression, use try_combine_conversion to combine NOP_EXPRs
        with previous value-handle expressions and use the result if it
        is available.

        * gcc.dg/tree-ssa/ssa-fre-1.c: New testcase.
        * gcc.dg/tree-ssa/ssa-fre-2.c: Likewise.
        * gcc.dg/tree-ssa/ssa-fre-3.c: Likewise.
        * gcc.dg/tree-ssa/ssa-fre-4.c: Likewise.
        * gcc.dg/tree-ssa/ssa-fre-5.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-2.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-3.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-4.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-5.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-pre.c


-- 


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

[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-21 05:07 -------
With the tree-combiner (which I am going to post soon), I get:

foo (a)
{
  short int T.1;

<bb 0>:
  T.1 = (short int)a & 3;
  g = T.1;
  h = T.1;
  return;

}

-- 


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

[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[pinskia at gcc dot gnu dot org]

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


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

[Bug tree-optimization/14287] [tree-ssa] does not remove unnecessary extensions

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-17 01:36 -------
Actually I found out that fold can do the same simplier and it also can be the done using 
the combine pass I am poposing in PR 15459.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |15459
           Keywords|patch                       |


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