[Bug tree-optimization/25680] Store CCP does not understand REALPART_EXPR COMPLEX_CST

[pinskia at gcc dot gnu dot org]

--- Comment #6 from pinskia at gcc dot gnu dot org  2006-02-18 21:09 ---
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.2.0


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

[Bug tree-optimization/25680] Store CCP does not understand REALPART_EXPR COMPLEX_CST

[pinskia at gcc dot gnu dot org]

--- Comment #7 from pinskia at gcc dot gnu dot org  2006-02-18 21:09 ---
Subject: Bug 25680

Author: pinskia
Date: Sat Feb 18 21:09:35 2006
New Revision: 111251

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=111251
Log:
2006-02-18  Andrew Pinski  [EMAIL PROTECTED]

PR tree-opt/25680
* tree-ssa-ccp.c (ccp_fold): Handle store CCP of REALPART_EXPR and
IMAGPART_EXPR.
2006-02-18  Andrew Pinski  [EMAIL PROTECTED]

PR tree-opt/25680
* testsuite/gcc.dg/tree-ssa/complex-3.c: New test.


Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/tree-ssa/complex-3.c
trunk/gcc/tree-ssa-ccp.c


-- 


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

[Bug tree-optimization/25680] Store CCP does not understand REALPART_EXPR COMPLEX_CST

[pinskia at gcc dot gnu dot org]

--- Comment #5 from pinskia at gcc dot gnu dot org  2006-01-16 17:24 ---
Patch posted:
http://gcc.gnu.org/ml/gcc-patches/2006-01/msg00870.html


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

URL||http://gcc.gnu.org/ml/gcc-
   ||patches/2006-
   ||01/msg00870.html
   Keywords||patch


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

[Bug tree-optimization/25680] Store CCP does not understand REALPART_EXPR COMPLEX_CST

[pinskia at gcc dot gnu dot org]

--- Comment #3 from pinskia at gcc dot gnu dot org  2006-01-11 15:17 ---
I have a three line fix.


-- 

pinskia at gcc dot gnu dot org changed:

   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=25680

[Bug tree-optimization/25680] Store CCP does not understand REALPART_EXPR COMPLEX_CST

[pinskia at gcc dot gnu dot org]

--- Comment #4 from pinskia at gcc dot gnu dot org  2006-01-11 19:18 ---
Created an attachment (id=10624)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10624action=view)
Patch which fixes this bug

ChangeLog:
* tree-ssa-ccp.c (ccp_fold): Handle store CCP of REALPART_EXPR and
IMAGPART_EXPR.


-- 


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

[Bug tree-optimization/25680] Store CCP does not understand REALPART_EXPR COMPLEX_CST

[pinskia at gcc dot gnu dot org]

--- Comment #1 from pinskia at gcc dot gnu dot org  2006-01-05 15:25 ---
The testcase is comment #0.

In .final_cleanup:
  t = __complex__ (0, 0);
  REALPART_EXPR t = REALPART_EXPR t + 2;
  IMAGPART_EXPR t = IMAGPART_EXPR t + 2;
  D.1520 = g (t);
  return D.1520;


--
in .store_ccp:
Visiting statement:
#   SFT.0_3 = V_MUST_DEF SFT.0_1;
#   SFT.1_4 = V_MUST_DEF SFT.1_2;
t = __complex__ (0, 0);

Lattice value changed to CONSTANT __complex__ (0, 0).  Adding SSA edges to
worklist.
Lattice value changed to CONSTANT __complex__ (0, 0).  Adding SSA edges to
worklist.

Visiting statement:
#   VUSE SFT.1_4;
D.1516_5 = REALPART_EXPR t;

Lattice value changed to VARYING.  Adding SSA edges to worklist.


I should note that on powerpc-darwin we don't even get the constant prop at the
RTL level either.


-- 


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

[Bug tree-optimization/25680] Store CCP does not understand REALPART_EXPR COMPLEX_CST

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2006-01-05 15:55 ---
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2006-01-05 15:55:11
   date||


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