OSDN Git Service

Add testcases for PR43464.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog.graphite
index d563ad3..9b55225 100644 (file)
@@ -1,3 +1,303 @@
+2010-03-23  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-ssa-copy.c: Revert this previous change:
+       (init_copy_prop): Loop closed phi nodes cancontain more than one
+       argument.
+       (execute_copy_prop): Revert the previous change: do not call
+       rewrite_into_loop_closed_ssa.
+
+2010-03-21  Sebastian Pop  <sebastian.pop@amd.com>
+           Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/43464
+       * tree-ssa-copy.c (init_copy_prop): Loop closed phi nodes can
+       contain more than one argument.
+       (execute_copy_prop): Revert the previous change: do not call
+       rewrite_into_loop_closed_ssa.
+
+       * gcc.dg/graphite/id-pr43464.c: Remove compile warning.
+       * gcc.dg/graphite/id-pr43464-1.c: New.
+
+2010-03-21  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43464
+       * tree-ssa-copy.c (execute_copy_prop): Call rewrite_into_loop_closed_ssa
+       and verify_loop_closed_ssa when copy prop is executed in the LNO.
+
+       * gcc.dg/graphite/id-pr43464.c: New.
+
+2010-03-16  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (graphite_loop_normal_form): Add the IV bump
+       in loop->header.
+       * tree-flow.h (canonicalize_loop_ivs): Updated declaration.
+       * tree-parloops.c (gen_parallel_loop): Add the IV bump in loop->latch.
+       * tree-ssa-loop-manip.c (canonicalize_loop_ivs): Add a new parameter
+       to switch between adding the IV bump in loop->latch or in loop->header.
+
+2010-03-16  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * passes.c (init_optimization_passes): Add pass_copy_prop
+       after Graphite.
+
+2010-03-16  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-poly.c (print_scattering_function): Pretty print following
+       the scoplib format.
+       (print_pdr): Same.
+       (print_pbb_domain): Same.
+       (dump_gbb_cases): Same.
+       (dump_gbb_conditions): Same.
+       (print_pdrs): Same.
+       (print_pbb): Same.
+       (print_scop_params): Same.
+       (print_scop_context): Same.
+       (print_scop): Same.
+       (print_pbb_body): New.
+       (lst_indent_to): New.
+       (print_lst): Start new lines with a #.
+       * graphite-poly.h (pbb_bb): New.
+       (pbb_index): Use pbb_bb.
+       * graphite-ppl.c (ppl_print_powerset_matrix): Print the number of
+       disjuncts.
+       * tree-data-ref.c (dump_data_reference): Start new lines with a #.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43351
+       * gcc.dg/graphite/id-pr43351.c
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43354
+       * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Do not
+       call insert_out_of_ssa_copy for default definitions.
+       * gfortran.dg/graphite/id-pr43354.f: New.
+
+2010-03-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43349
+       * gfortran.dg/graphite/pr43349.f: New.
+
+2010-03-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-clast-to-gimple.c (my_long_long): Defined.
+       (gcc_type_for_cloog_iv): Use it instead of long_long_integer_type_node.
+       * graphite-sese-to-poly.c (my_long_long): Defined.
+       (scop_ivs_can_be_represented): Use it.
+
+2010-03-10  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * doc/invoke.texi: Fix documentation of graphite-max-nb-scop-params,
+       graphite-max-bbs-per-function, and loop-block-tile-size.
+       * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Replace "maximal"
+       with "maximum".
+       (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Same.
+
+2010-03-10  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-clast-to-gimple.c (gcc_type_for_iv_of_clast_loop): Remove
+       forward declaration.
+       * graphite-sese-to-poly.c (reduction_phi_p): Remove FIXME comment.
+       (add_upper_bounds_from_estimated_nit): New.
+       (build_loop_iteration_domains): Use it.
+
+2010-03-09  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * doc/invoke.texi (PARAM_LOOP_BLOCK_TILE_SIZE): Document.
+
+2010-03-09  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43306
+       * tree-chrec.c (evolution_function_right_is_integer_cst): CHREC_RIGHT
+       should be an INTEGER_CST.  Also handle CASE_CONVERT.
+       * gcc.dg/graphite/pr43306.c: New.
+
+2010-03-09  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite.c (graphite_initialize): To bound the number of bbs per
+       function, use PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION.
+       * params.def (PARAM_GRAPHITE_MAX_BBS_PER_FUNCTION): Declared.
+       * doc/invoke.texi: Document it.
+
+2010-03-09  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (build_poly_scop): Do not return bool.
+       * graphite-sese-to-poly.h (build_poly_scop): Same.
+
+2010-03-09  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (build_poly_scop): Limit scops following
+       the number of parameters in the scop.  Use as an upper bound
+       PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS.
+       * params.def (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS): Declared.
+       * doc/invoke.texi: Document it.
+
+2010-03-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (add_param_constraints): Use
+       lower_bound_in_type and upper_bound_in_type.
+
+2010-03-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (add_param_constraints): Use sizetype
+       instead of unsigned_type_node.
+
+2010-03-05  Sebastian Pop  <sebastian.pop@amd.com>
+           Reza Yazdani  <reza.yazdani@amd.com>
+
+       PR middle-end/43065
+       * graphite-sese-to-poly.c (add_param_constraints): Insert bounds
+       on pointer type parameters.
+
+       * gcc.dg/graphite/run-id-4.c: New.
+
+2010-03-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43065
+       * gcc.dg/graphite/run-id-3.c: New.
+
+2010-03-05  Tobias Grosser  <grosser@fim.uni-passau.de>
+           Ramakrishna Upadrasta <Ramakrishna.Upadrasta@inria.fr>
+
+       * graphite-clast-to-gimple.c (clast_to_gcc_expression): Also
+       handle conversions from pointer to integers.
+       (gcc_type_for_cloog_iv): Choose the smalles signed integer as an
+       induction variable, to be able to work with code generated by CLooG.
+       * graphite-sese-to-poly.c (scop_ivs_can_be_represented): New.
+       (build_poly_scop): Bail out if we cannot codegen a loop.
+
+2010-03-04  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+       * graphite-clast-to-gimple.c (translate_clast): Do not short-cut
+       code generation with gloog_error.
+
+2010-03-04  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * sese.c (expand_scalar_variables_ssa_name): Add new argument for type.
+       Call fold_convert on all the returned values.
+       (expand_scalar_variables_expr): Pass to expand_scalar_variables_ssa_name
+       the type of the resulting expression.
+
+2010-03-04  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-ppl.c (ppl_min_for_le_polyhedron): Renamed
+       ppl_min_for_le_pointset.  Use ppl_Pointset_Powerset_C_Polyhedron_minimize.
+       * graphite-ppl.h (ppl_min_for_le_polyhedron): Update declaration.
+
+2010-03-04  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (map_into_dep_poly): Removed.
+       (dependence_polyhedron_1): Use combine_context_id_scat.
+
+2010-03-04  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-poly.h (struct poly_scattering): Add layout documentation.
+       (struct poly_bb): Same.
+       (combine_context_id_scat): New.
+
+2010-03-02  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/42326
+       * sese.c (name_defined_in_loop_p): Return false for default
+       definitions.
+
+       * gcc.dg/graphite/pr42326.c: New.
+
+2010-02-23  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-clast-to-gimple.c (find_cloog_iv_in_expr): Simplify
+       and clean up the logic.
+
+2010-02-23  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (add_param_constraints): Enabled: remove
+       early return.
+
+2010-02-22  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43083
+       * graphite-scop-detection.c (create_single_exit_edge): Move
+       the call to find_single_exit_edge to....
+       (create_sese_edges): ...here.  Don't handle multiple edges
+       exiting the function.
+       (build_graphite_scops): Don't handle multiple edges
+       exiting the function.
+
+       * gcc.dg/graphite/pr43083.c: New.
+
+2010-02-22  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43097
+       * sese.c (get_rename): Assert that old_name is an SSA_NAME.
+       (rename_variables_in_stmt): Continue when the use is not an SSA_NAME.
+
+       * gfortran.dg/graphite/pr43097.f: New.
+
+2010-02-22  Sebastian Pop  <sebastian.pop@amd.com>
+           Manuel López-Ibáñez  <manu@gcc.gnu.org>
+
+       PR middle-end/43140
+       * g++.dg/graphite/pr41305.C: Add -Wno-conversion-null.
+
+2010-02-22  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43026
+       * sese.c (expand_scalar_variables_expr): Handle COMPONENT_REF.
+
+       * g++.dg/graphite/pr43026.C: New.
+
+2010-02-13  Tobias Grosser  <grosser@fim.uni-passau.de>
+
+       * Merge from mainline (154736:156693).
+
+2010-02-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/43012
+       * gcc.dg/graphite/pr43012.c: New.
+
+2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite.c (graphite_transform_loops): Re-enable dbg_cnt.
+2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * g++.dg/graphite/pr42930.C: New.
+
+2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/42930
+       * graphite-scop-detection.c (graphite_can_represent_scev): Call
+       graphite_can_represent_init for MULT_EXPR.
+
+2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/42914
+       PR middle-end/42530
+       * graphite-sese-to-poly.c (remove_phi): New.
+       (translate_scalar_reduction_to_array): Call remove_phi.
+
+       * gcc.dg/graphite/pr42530.c: New.
+       * gcc.dg/graphite/pr42914.c: New.
+
+2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/42771
+       * graphite-clast-to-gimple.c (gloog): Call rename_sese_parameters.
+       * graphite-clast-to-gimple.h (gloog): Update declaration.
+       * graphite-poly.c (new_scop): Clear POLY_SCOP_P.
+       * graphite-poly.h (struct poly_bb): Add missing comments.
+       (struct scop): Add poly_scop_p field.
+       (POLY_SCOP_P): New.
+       * graphite-sese-to-poly.c (build_poly_scop): Set POLY_SCOP_P.
+       * graphite.c (graphite_transform_loops): Build the polyhedral
+       representation for each scop before code generation.
+       * sese.c (rename_variables_in_operand): Removed.
+       (rename_variables_in_expr): Return the renamed expression.
+       (rename_sese_parameters): New.
+       * sese.h (rename_sese_parameters): Declared.
+
+       * gcc.dg/graphite/pr42771.c: New.
+
 2010-02-07  Sebastian Pop  <sebastian.pop@amd.com>
 
        * gcc.dg/graphite/block-0.c: Call abort for runtime test.  Always