[Bug tree-optimization/15555] New: compute_may_alias failes when scheduled again

[Bug tree-optimization/15555] New: compute_may_alias failes when scheduled again

[dorit at il dot ibm dot com]

Applying this patch to gcc mainline:

*** tree-optimize.c     13 May 2004 06:39:48 -0000      2.15
--- tree-optimize.c     19 May 2004 13:57:41 -0000
*************** init_tree_optimization_passes (void)
*** 307,312 ****
--- 307,317 ----
    NEXT_PASS (pass_fold_builtins);
    NEXT_PASS (pass_split_crit_edges);
    NEXT_PASS (pass_pre);
+ #if 1 
+   NEXT_PASS (DUP_PASS (pass_build_pta));
+   NEXT_PASS (DUP_PASS (pass_may_alias));
+   NEXT_PASS (DUP_PASS (pass_del_pta));
+ #endif
    NEXT_PASS (DUP_PASS (pass_dominator));
    NEXT_PASS (DUP_PASS (pass_redundant_phi));
    NEXT_PASS (pass_cd_dce);

Is causing a compilation error at verify_ssa right after the new invocation of 
compute_may_aliases, on the testcase below: 

float *gl_copy_map_points1f( int uorder,
              const float *points, unsigned int size)
{
   float *buffer, *p;
   unsigned int i;
   buffer = (float *) malloc(uorder * size * sizeof(float));
   if (buffer)
     for (i=0, p=buffer; i<uorder; i++)
       *p++ = points[i];
   return buffer;
}

with the following error:

aaa.c: In function `gl_copy_map_points1f':
aaa.c:4: error: Missing definition
for SSA_NAME: TMT.9<D1145>_25

in statement:
TMT.9<D1145>_27 = PHI <TMT.9<D1145>_25(2), TMT.9<D1145>_23(1)>;

PHI argument
TMT.9<D1145>_25

PHI argument
TMT.9<D1145>_23

for PHI node
TMT.9<D1145>_27 = PHI <TMT.9<D1145>_25(2), TMT.9<D1145>_23(1)>;

aaa.c:4: internal compiler error: verify_ssa failed.

more details here: http://gcc.gnu.org/ml/gcc/2004-05/msg01034.html

-- 
           Summary: compute_may_alias failes when scheduled again
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: dnovillo at gcc dot gnu dot org
        ReportedBy: dorit at il dot ibm dot com
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug tree-optimization/15555] compute_may_alias failes when scheduled again

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-20 19:39 -------
Confirmed, I had the same problem when I tried this.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-05-20 19:39:12
               date|                            |


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

[Bug tree-optimization/15555] compute_may_alias failes when scheduled again

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-20 19:50 -------
I should note that I tried to postpone pass_del_pta untill after pass_may_alias and not do 
pass_build_pta right before and still ran into troubles.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/15555] compute_may_alias failes when scheduled again

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-07-08 23:25 -------

I'm now testing a patch for this.

-- 


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

[Bug tree-optimization/15555] compute_may_alias failes when scheduled again

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-07-09 15:16 -------
Subject: Bug 15555

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-07-09 15:16:24

Modified files:
	gcc            : ChangeLog 

Log message:
	Fix PR tree-optimization/15555
	* tree-dfa.c (dump_variable): If the variable is a pointer
	SSA_NAME, also dump its points-to information.
	* tree-flow.h (struct ptr_info_def): Add field
	is_dereferenced.
	(dump_points_to_info_for): Declare.
	(debug_points_to_info_for): Declare.
	* tree-optimize.c (init_tree_optimization_passes): Add a
	second alias analysis pass after DOM2.
	Move pass_del_pta to a later spot.
	* tree-ssa-alias.c (compute_points_to_and_addr_escape): Do not
	create a name tags when we find a dereferenced pointer.  Just
	mark the pointer dereferenced.
	(collect_points_to_info_for): Move code to clear points-to
	information to create_name_tags.
	(create_name_tags): New function.
	(compute_flow_sensitive_aliasing): Call it.
	(setup_pointers_and_addressables): Mark type tags for renaming
	here instead of ...
	(create_memory_tag): ... here.
	(merge_pointed_to_info): Do not merge PT_MALLOC attributes.
	(dump_points_to_info_for): Declare extern.
	(debug_points_to_info_for): New function.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.4424&r2=2.4425



-- 


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

[Bug tree-optimization/15555] compute_may_alias failes when scheduled again

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-07-09 15:21 -------

Fixed with http://gcc.gnu.org/ml/gcc-patches/2004-07/msg00958.html

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


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

[Bug tree-optimization/15555] compute_may_alias failes when scheduled again

[pinskia at gcc dot gnu dot org]

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


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