[Bug middle-end/37375] [graphite] Parameter detection and scev only take a surrounding loop as border

2008-09-09 Thread spop at gcc dot gnu dot org 


--- Comment #2 from spop at gcc dot gnu dot org  2008-09-09 18:41 ---
Subject: Bug 37375

Author: spop
Date: Tue Sep  9 18:39:45 2008
New Revision: 140164

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=140164
Log:
2008-09-05  Sebastian Pop  [EMAIL PROTECTED]

PR tree-optimization/37375
* tree-scalar-evolution.c (scev_info_str): Add field
instantiated_below.
(new_scev_info_str, eq_scev_info, find_var_scev_info,
set_scalar_evolution, get_scalar_evolution, get_instantiated_value,
set_instantiated_value): Pass instantiated_below.
(analyze_scalar_evolution_1, analyze_scalar_evolution): Update calls to
above functions.
(instantiate_scev_1, instantiate_scev): Pass a basic block above which
the
definitions are not instantiated.

* tree-scalar-evolution.h (instantiate_scev): Update declaration.
(block_before_loop): New.
* tree-data-ref.c (dr_analyze_indices): Update uses of
instantiate_scev.
* graphite.c (block_before_scop): New.
(loop_affine_expr, stmt_simple_for_scop_p, harmful_stmt_in_bb): Pass a 
basic block, not a loop for determining the parameters.
(scopdet_edge_info, build_scops_1): Do not pass outermost loop in the
scop.
(idx_record_params, find_params_in_bb, find_scop_parameters,
build_loop_iteration_domains, add_conditions_to_domain): Update calls 
to instantiate_scev.

* Makefile.in (cfgloopmanip.o): Add missing dependency on TREE_FLOW_H.


Modified:
trunk/gcc/ChangeLog
trunk/gcc/Makefile.in
trunk/gcc/graphite.c
trunk/gcc/tree-data-ref.c
trunk/gcc/tree-scalar-evolution.c
trunk/gcc/tree-scalar-evolution.h


-- 


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

[Bug middle-end/37375] [graphite] Parameter detection and scev only take a surrounding loop as border

2008-09-09 Thread spop at gcc dot gnu dot org 


--- Comment #3 from spop at gcc dot gnu dot org  2008-09-09 19:05 ---
Fixed.


-- 

spop at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug middle-end/37375] [graphite] Parameter detection and scev only take a surrounding loop as border

2008-09-05 Thread spop at gcc dot gnu dot org 


--- Comment #1 from spop at gcc dot gnu dot org  2008-09-05 22:45 ---
Created an attachment (id=16239)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16239action=view)
fix

the attached patch fixes PR37375 by changing instantiate_scev to take
a basic block above which all the definitions are left uninstantiated.
Patch passes RUNTESTFLAGS=tree-ssa.exp, graphite.exp and vect.exp
I will do a complete bootstrap and submit to gcc-patches for review.


-- 


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

[Bug middle-end/37375] [graphite] Parameter detection and scev only take a surrounding loop as border

2008-09-04 Thread grosser at gcc dot gnu dot org 


-- 

grosser at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Priority|P3  |P5
   Last reconfirmed|-00-00 00:00:00 |2008-09-04 17:55:21
   date||


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

[Bug middle-end/37375] [graphite] Parameter detection and scev only take a surrounding loop as border

2008-09-04 Thread spop at gcc dot gnu dot org 


-- 

spop at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |spop at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
   Last reconfirmed|2008-09-04 17:55:21 |2008-09-05 05:20:20
   date||


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