OSDN Git Service

Add testcases for PR43464.
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog.graphite
index 56b4694..9b55225 100644 (file)
@@ -1,3 +1,239 @@
+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>
 
 
        * 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