OSDN Git Service

2009-10-07 Sebastian Pop <sebastian.pop@amd.com>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog.graphite
index 3688216..d640505 100644 (file)
@@ -1,3 +1,591 @@
+2009-10-07  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (reduction_phi_p): Call remove_invariant_phi
+       when the loop stride is zero.
+
+       * gcc.dg/graphite/id-16.c: New.
+
+2009-10-06  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (reduction_dr_1): New.
+       (reduction_dr_p): New.
+       (graphite_legal_transform_dr): Call reduction_dr_p.
+       (reduction_ddr): Renamed reduction_ddr_p.
+       * graphite-poly.h (same_pdr_p): New.
+       (number_of_write_pdrs): New.
+       * graphite-sese-to-poly.c (nb_data_writes_in_bb): New.
+       (split_reduction_stmt): Do not split reduction statements
+       when there are no writes to memory.
+       (translate_scalar_reduction_to_array_for_stmt): Insert the
+       memory reduction statement just after the scalar reduction statement.
+
+       * gcc.dg/graphite/interchange-10.c: Updated to differ from interchange-4.c.
+       Un-XFAIL-ed.
+       * gcc.dg/graphite/interchange-3.c: Un-XFAIL-ed.
+       * gcc.dg/graphite/interchange-4.c: Un-XFAIL-ed.
+
+2009-10-06  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-interchange.c (lst_apply_interchange): New.
+       (lst_interchange_profitable_p): New.
+       (lst_try_interchange_loops): New.
+       (lst_try_interchange): New.
+       (lst_do_interchange): New.
+       (pbb_do_interchange): Removed.
+       (scop_do_interchange): Call lst_do_interchange.
+
+2009-10-06  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-poly.c (print_scop): Print SCOP_ORIGINAL_SCHEDULE and
+       SCOP_TRANSFORMED_SCHEDULE.
+       (loop_to_lst): New.
+       (scop_to_lst): New.
+       (print_lst): New.
+       (debug_lst): New.
+       * graphite-poly.h (lst_p): New.
+       (struct lst): New.
+       (LST_LOOP_P): New.
+       (LST_LOOP_FATHER): New.
+       (LST_PBB): New.
+       (LST_SEQ): New.
+       (scop_to_lst): Declared.
+       (print_lst): Declared.
+       (debug_lst): Declared.
+       (new_lst_loop): New.
+       (new_lst_stmt): New.
+       (copy_lst): New.
+       (lst_depth): New.
+       (lst_dewey_number): New.
+       (struct scop): Add original_schedule and transformed_schedule fields.
+       (SCOP_ORIGINAL_SCHEDULE): New.
+       (SCOP_TRANSFORMED_SCHEDULE): New.
+       * graphite-sese-to-poly.c (build_poly_scop): Call scop_to_lst.
+
+2009-10-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (reduction_ddr): New.
+       (graphite_legal_transform_bb): Call reduction_ddr.
+       * graphite-poly.c (new_poly_bb): Pass a new bool parameter.
+       Initialize PBB_IS_REDUCTION.
+       * graphite-poly.h (struct poly_bb): New bool field is_reduction.
+       (PBB_IS_REDUCTION): New.
+       (new_poly_bb): Update declaration.
+       * graphite-scop-detection.h (build_scop_bbs): Removed.
+       (nb_reductions_in_loop): Removed.
+       * graphite-sese-to-poly.c (try_generate_gimple_bb): Pass a sbitmap
+       parameter for reductions.
+       (try_generate_gimple_bb): Update call to new_poly_bb.
+       (build_scop_bbs_1): Same.
+       (build_scop_bbs): Same.
+       (gsi_for_phi_node): New.
+       (scalar_close_phi_node_p): Remove gcc_assert.
+       (split_reduction_stmt): New.
+       (is_reduction_operation_p): New.
+       (phi_contains_arg): New.
+       (follow_ssa_with_commutative_ops): New.
+       (detect_commutative_reduction_arg): New.
+       (detect_commutative_reduction_assign): New.
+       (follow_inital_value_to_phi): New.
+       (edge_initial_value_for_loop_phi): New.
+       (initial_value_for_loop_phi): New.
+       (detect_commutative_reduction): New.
+       (translate_scalar_reduction_to_array_for_stmt): New.
+       (insert_copyout): New.
+       (insert_copyin): New.
+       (translate_scalar_reduction_to_array): New.
+       (rewrite_commutative_reductions_out_of_ssa_close_phi): New.
+       (rewrite_commutative_reductions_out_of_ssa_loop): New.
+       (rewrite_commutative_reductions_out_of_ssa): New.
+       (build_poly_scop): Call rewrite_commutative_reductions_out_of_ssa.
+       * sese.h (split_region_for_bb): New.
+
+       * gcc.dg/graphite/graphite.exp (DEFAULT_CFLAGS_GRAPHITE_BLOCK): Add -ffast-math.
+       * gcc.dg/graphite/interchange-1.c: Fix format.
+       * gcc.dg/graphite/interchange-10.c: New.
+
+2009-10-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (insert_out_of_ssa_copy): Remove
+       buggy assert.
+
+2009-10-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (scev_analyzable_p): New.
+       (rewrite_cross_bb_scalar_dependence): New.
+       (rewrite_cross_bb_scalar_deps): New.
+       (rewrite_reductions_out_of_ssa): Use bb_in_sese_p.
+       Call rewrite_cross_bb_scalar_deps.
+
+2009-10-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (gsi_for_ssa_name_def): Removed.
+       (insert_out_of_ssa_copy): Directly use gsi_after_labels and
+       gsi_for_stmt.
+
+2009-10-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-clast-to-gimple.c (build_cloog_prog): Use pbb_index.
+       * graphite-interchange.c (pbb_do_interchange): Same.
+       * graphite-poly.c (print_scattering_function): Same.
+       (debug_pdrs): Same.
+       * graphite-poly.h (pbb_loop): New.
+       * graphite-sese-to-poly.c (create_linear_expr_from_tree): Use pbb_loop.
+
+2009-09-27  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-scop-detection.c (limit_scops): Do not build poly_bbs.
+
+2009-09-27  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (partition_drs_to_sets): Drs is not modified,
+       so don't pass a pointer to it.
+       (build_alias_set_for_drs): Same.
+       (build_base_obj_set_for_drs): Same.
+       (build_scop_drs): Same.
+
+2009-09-26  Li Feng  <nemokingdom@gmail.com>
+
+       * graphite-sese-to-poly.c (build_scop_drs): Disable writing to file
+       the alias graph of data references.
+
+2009-09-25  Li Feng  <nemokingdom@gmail.com>
+
+       * graphite-sese-to-poly.c (write_alias_graph_to_ascii_dimacs): New.
+       (build_scop_drs): When debugging, write the alias graph to file,
+       otherwise, should be disabled.
+
+2009-09-17  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-scop-detection.c (stmt_simple_memref_p): Removed.
+       (is_simple_operand): Remove call to stmt_simple_memref_p.
+       (stmt_simple_for_scop_p): Update call to is_simple_operand.
+
+2009-09-17  David Edelsohn  <edelsohn@gnu.org>
+
+       * testsuite/gcc.dg/graphite/interchange-mvt.c: New File.
+       * testsuite/gcc.dg/graphite/scop-dsyrk.c: New File.
+       * testsuite/gcc.dg/graphite/scop-dsyr2k.c: New File.
+       * testsuite/gcc.dg/graphite/scop-mvt.c: New File.
+       * testsuite/gcc.dg/graphite/scop-sor.c: New File.
+
+2009-09-17 Li Feng  <nemokingdom@gmail.com>
+
+       PR middle-end/41118
+       * graphite-dependences.c (poly_drs_may_alias_p): Adjust definition.
+       (pddr_original_scattering): Make sure 2 pdr2 in the same base object set.
+       (graphite_carried_dependence_level_k): Ditto.
+       * graphite-poly.c (new_poly_dr): Add init of PDR_BASE_OBJECT_SET.
+       * graphite-poly.h (struct poly_dr): Add member dr_base_object_set.
+       (new_poly_dr): Adjust declaration.
+       * graphite-sese-to-poly.c (free_data_refs_aux): New.
+       (free_gimple_bb): Added free_data_refs_aux.
+       (build_poly_dr): Add dr_base_object_set.
+       (partition_drs_to_sets): New.
+       (dr_same_base_object_p): New.
+       (build_alias_set_for_drs): New.
+       (build_base_object_set_for_drs): New.
+       (build_scop_drs): Add build_base_obj_set_for_drs.
+       * graphite-sese-to-poly.h: Added #define for alias set number index and
+       base object set index.
+       * libgomp/testsuite/libgomp.graphite/force-parallel-6.c: Refine tests.
+       * libgomp/testsuite/libgomp.graphite/pr4118.c: New.
+
+2009-09-16  Alexander Monakov  <amonakov@ispras.ru>
+
+       * graphite-sese-to-poly.c (pdr_add_data_dimensions): Add bounds only
+       for ARRAY_REFs.  Use array_ref_{low,up}_bound to determine bounds.
+
+2009-09-14  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (struct irp_data): Removed.
+       (idx_record_params): Removed.
+       (find_params_in_bb): Scan for parameters the access functions; don't
+       parse the tree representation.
+
+2009-09-14  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-ssa-loop.c (gate_graphite_transforms): Disable Graphite
+       passes at -O1 and below.
+
+2009-09-14  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-blocking.c: Fix order of includes: tree-chrec.h, then
+       tree-scalar-evolution.h, and then tree-data-ref.h.
+       * graphite-clast-to-gimple.c: Same.
+       * graphite-dependences.c: Same.
+       * graphite-interchange.c: Same.
+       * graphite-poly.c: Same.
+       * graphite-scop-detection.c: Same.
+       * graphite-sese-to-poly.c: Same.
+       * graphite.c: Same.
+       * lambda-code.c: Same.
+       * matrix-reorg.c: Same.
+       * tree-data-ref.c: Same.
+       * tree-if-conv.c: Same.
+       * tree-loop-distribu: Same.: Same.
+       * tree-loop-linear.c: Same.
+       * tree-parloops.c: Same.
+       * tree-predcom.c: Same.
+       * tree-vect-patterns.c: Same.
+
+2009-09-02  Sebastian Pop  <sebastian.pop@amd.com>
+
+       Partially revert the previous patch, except the following.
+       * tree-scalar-evolution.c (instantiate_scev_not): Adapted to pass
+       as parameters the operands of the not expression.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_assign): New.
+       Do not call analyze_scalar_evolution on assignments.
+       (instantiate_scev_phi): Call analyze_scalar_evolution.
+       (instantiate_scev_name): Call instantiate_scev_assign and
+       instantiate_scev_phi.
+       (instantiate_scev_not): Adapted to pass as parameters the operands
+       of the not expression.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_binary): Adapted
+       to pass as parameters the operands of the binary expression.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_bitnot): Renamed
+       instantiate_scev_not.  Handle NEGATE_EXPR.
+       (instantiate_scev_r): Handle NEGATE_EXPR.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_1): Renamed
+       instantiate_scev_r.
+       (instantiate_scev_r): Move code in instantiate_scev_2
+       and instantiate_scev_1.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_3): New.
+       (instantiate_scev_1): Move code in instantiate_scev_3.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_poly): New.
+       (instantiate_scev_1): Move code in instantiate_scev_poly.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_bitnot): New.
+       (instantiate_scev_1): Move code in instantiate_scev_bitnot.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_convert): New.
+       (instantiate_scev_1): Move code in instantiate_scev_convert.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_binary): New.
+       (instantiate_scev_1): Move code in instantiate_scev_binary.
+
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-scalar-evolution.c (instantiate_scev_name): New.
+       (instantiate_scev_1): Move code in instantiate_scev_name.
+
+2009-08-28  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * Merge from mainline (150992:151171).
+
+2009-08-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (graphite_legal_transform_bb): Call
+       pbb_remove_duplicate_pdrs.
+       * graphite-poly.c (can_collapse_pdr): Removed.
+       (pdr_find_duplicate): Removed.
+       (can_collapse_pdrs): New.
+       (pbb_remove_duplicate_pdrs): New.
+       (new_poly_dr): Do not look for duplicates.
+       * graphite-poly.h (struct poly_bb): New field pdr_duplicates_removed.
+       (PBB_PDR_DUPLICATES_REMOVED): New.
+       (pbb_remove_duplicate_pdrs): Declared.
+
+2009-08-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-interchange.c (pbb_interchange_profitable_p): Adjust
+       the strides by multiplying by PDR_NB_REFS.
+       * graphite-poly.c (can_collapse_pdr): New.
+       (pdr_find_duplicate): New.
+       (new_poly_dr): Call pdr_find_duplicate.  Collapse duplicate PDRs.
+       Initialize PDR_NB_REFS.
+       * graphite-poly.h (struct poly_dr): Add field nb_refs.
+       (PDR_NB_REFS): New.
+       (new_poly_dr): Number of subscripts is a graphite_dim_t.
+
+2009-08-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       Revert one of the previous commits:
+       * graphite-dependences.c (graphite_legal_transform_bb): Avoid
+       the computation of symmetric data dependence relations.
+       (dependency_between_pbbs_p): Same.
+
+2009-08-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/40965
+       * graphite-poly.c (apply_poly_transforms): Remove legality test before
+       any transform.
+
+2009-08-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (pddr_original_scattering): Return NULL
+       for read-read dependence relations.
+       * graphite-poly.h (enum poly_dr_type): Fix comment.
+       (pdr_read_p): New.
+       (pdr_write_p): New.
+       (pdr_may_write_p): New.
+
+2009-08-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-poly.h (enum POLY_DR_TYPE): Renamed poly_dr_type.
+       (struct poly_dr): Same.
+       (new_poly_dr): Same.
+       * graphite-poly.c (new_poly_dr): Same.
+
+2009-08-25  Konrad Trifunovic  <konrad.trifunovic@gmail.com>
+           Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-blocking.c (pbb_strip_mine_loop_depth): Renamed
+       pbb_strip_mine_time_depth.  Changed the implementation so that
+       transformation is expressed as a transformation on
+       time (scatttering) dimensions.  Also, ensures that the 2d+1
+       scheduling format is preserved.
+       (pbb_strip_mine_profitable_p): Profitability is based on the
+       iteration number of a given time (scattering) dimension,
+       and not on a original loop depth dimension.
+       (pbb_strip_mine): Call pbb_number_of_iterations_at_time.
+       (pbb_do_strip_mine): Call psct_dynamic_dim.
+       * graphite-poly.c (pbb_number_of_iterations_at_time): New.
+       * graphite-poly.h (pbb_number_of_iterations_at_time): Declared.
+       (pbb_nb_dynamic_scattering_transform): New.
+       (psct_dynamic_dim): New.
+
+2009-08-25  Konrad Trifunovic  <konrad.trifunovic@gmail.com>
+
+       * graphite-ppl.c (ppl_max_for_le): Renamed ppl_max_for_le_pointset.
+       * graphite-ppl.h (ppl_max_for_le): Renamed ppl_max_for_le_pointset.
+       * graphite-poly.c (pbb_number_of_iterations): Rename ppl_max_for_le.
+       * graphite-interchange.c (build_linearized_memory_access): Same.
+       (memory_stride_in_loop): Same.
+
+2009-08-25  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (pddr_original_scattering): New.
+       (graphite_legal_transform_dr): Call pddr_original_scattering.
+       (dot_deps_1): New.
+       (dot_deps): New.
+       * graphite-dependences.h (dot_deps): Declared.
+       * graphite-poly.c (new_poly_dr): Initialize PDR_ID.
+       (print_pdr): Print PDR_ID.
+       * graphite-poly.h (struct poly_dr): Add field id.
+       (PDR_ID): New.
+       (pbb_index): New.
+       * graphite-scop-detection.c (dot_all_scops_1): Cleanup comment.
+
+2009-08-22  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (graphite_carried_dependence_level_k): Do
+       not delete the original dependence relation.
+
+2009-08-21  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (graphite_legal_transform_bb): Avoid
+       the computation of symmetric data dependence relations.
+       (dependency_between_pbbs_p): Same.
+
+2009-08-21  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (new_poly_dr_pair): Renamed new_poly_ddr.
+       (eq_poly_dr_pair_p): Renamed eq_poly_ddr_p.
+       (hash_poly_dr_pair_p): Renamed hash_poly_ddr_p.
+       (free_poly_ddr): New.
+       (pddr_is_empty): New.
+       (dependence_polyhedron_1): Now returns a poly_ddr_p.
+       (dependence_polyhedron): Same.  Remove useless gcc_assert.
+       Remove fprintfs.
+       (graphite_legal_transform_dr): Call pddr_is_empty and free_poly_ddr.
+       (graphite_carried_dependence_level_k): Call pddr_is_empty.
+       * graphite-dependences.h (enum poly_dependence_kind): New.
+       (poly_dr_pair): Renamed poly_ddr.  Added a field kind.
+       (PDRP_SOURCE): Renamed PDDR_SOURCE.
+       (PDRP_SINK): Renamed PDDR_SINK.
+       (PDRP_DDP): Renamed PDDR_DDP.
+       (PDDR_KIND): New.
+       (free_poly_ddr): Declared.
+       * graphite-poly.c (new_scop): Use the new hash function names.
+       * graphite-poly.h (struct scop): Renamed field original_pdr_pairs
+       into original_pddrs.
+       (SCOP_ORIGINAL_PDR_PAIRS): Renamed SCOP_ORIGINAL_PDDRS.
+
+2009-08-21  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * Merge from mainline (150764:150992).
+
+2009-08-18  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * cfgloopmanip.c (create_empty_loop_on_edge): Generate upper
+       bounds with LT_EXPR to make niter analysis more precise on code
+       generated by Graphite.
+
+2009-08-18  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (graphite_legal_transform_dr): Fix formatting.
+       (graphite_legal_transform_bb): Same.
+       (poly_drs_may_alias_p): Same.
+
+2009-08-15  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/40981
+       * graphite-ppl.c (ppl_max_for_le): Correct the use of
+       ppl_Pointset_Powerset_C_Polyhedron_maximize.
+
+2009-08-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-poly.c (print_pbb): Print PBB index.
+
+2009-08-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * Merge from mainline (r150672:150764).
+
+2009-08-13  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-interchange.c (ppl_max_for_le): Moved...
+       * graphite-poly.c (pbb_number_of_iterations): Call ppl_max_for_le.
+       * graphite-ppl.c (ppl_max_for_le): ... here.
+       * graphite-ppl.h (ppl_max_for_le): Declared.
+
+2009-08-12  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * Merge from mainline (r150372:150672).
+
+2009-08-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/40980
+       * sese.c (convert_for_phi_arg): New.
+       (add_guard_exit_phis): Use convert_for_phi_arg.
+
+       * testsuite/gfortran.dg/graphite/id-17.f: New.
+
+2009-08-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-sese-to-poly.c (pdr_add_data_dimensions): Dont add
+       unknown subscript upper bounds.
+
+       * testsuite/gcc.dg/graphite/interchange-6.c: Un-XFAIL.
+
+2009-08-11  Sebastian Pop  <sebastian.pop@amd.com>
+           Pranav Garg  <pranav.garg2107@gmail.com>
+
+       * graphite-interchange.c (gather_access_strides): Removed.
+       (ppl_max_for_le): New.
+       (build_linearized_memory_access): New.
+       (memory_stride_in_loop): New.
+       (pbb_interchange_profitable_p): Reimplemented.
+       * graphite-ppl.h (ppl_new_id_map): New.
+       (ppl_interchange): New.
+
+       * testsuite/gcc.dg/graphite/interchange-6.c: XFAILed.
+
+2009-08-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-interchange.c (compute_subscript): Removed.
+       (compute_array_size_cstr): Removed.
+       (compute_array_size_poly): Removed.
+       (compute_array_size): Removed.
+       (gather_access_strides_poly): Removed.
+       (gather_access_strides): Empty.
+
+2009-08-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (dependence_polyhedron_1): Replace
+       pdr_nb_subscripts with PDR_NB_SUBSCRIPTS.
+       (graphite_legal_transform_dr): Same.
+       (graphite_carried_dependence_level_k): Same.
+       * graphite-poly.c (new_poly_dr): Add a parameter nb_subscripts.
+       Initialize PDR_NB_SUBSCRIPTS.
+       (print_pdr_access_layout): Replace pdr_nb_subscripts with
+       PDR_NB_SUBSCRIPTS.
+       * graphite-poly.h (struct poly_dr): Add nb_subscripts field.
+       (PDR_NB_SUBSCRIPTS): New.
+       (pdr_nb_subscripts): Removed.
+       (pdr_dim): Simplified.
+       * graphite-sese-to-poly.c (build_poly_dr): Replace pdr_nb_subscripts
+       with PDR_NB_SUBSCRIPTS.
+
+2009-08-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-interchange.c (compute_array_size): Remove use of
+       PDR_DATA_CONTAINER.
+       * graphite-poly.c (new_poly_dr): Remove argument data_container.
+       Do not initialize PDR_DATA_CONTAINER.
+       (print_pdr): Do not print PDR_DATA_CONTAINER.
+       * graphite-poly.h (struct poly_dr): Remove data_container field.
+       (PDR_DATA_CONTAINER): Removed.
+       * graphite-sese-to-poly.c (pdr_add_data_dimensions): Remove use of
+       PDR_DATA_CONTAINER.
+       (build_poly_dr): Same.
+
+2009-08-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * testsuite/gcc.dg/graphite/interchange-9.c: New.
+
+2009-08-05  Konrad Trifunovic  <konrad.trifunovic@gmail.com>
+           Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-dependences.c (graphite_legal_transform_dr): Work on a
+       copy of the dependence polyhedron.  Free the temporary objects.
+       (graphite_carried_dependence_level_k): Free unused objects before
+       returning.
+
+       * testsuite/gcc.dg/graphite/interchange-1.c: XFAILed.
+       * testsuite/gcc.dg/graphite/interchange-2.c: XFAILed.
+       * testsuite/gcc.dg/graphite/interchange-3.c: XFAILed.
+       * testsuite/gcc.dg/graphite/interchange-4.c: XFAILed.
+       * testsuite/gcc.dg/graphite/interchange-7.c: XFAILed.
+
+2009-08-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-blocking.c (scop_do_strip_mine): Call store_scattering.
+       Early return without analyzing the data dependences if no
+       transform has been done.  Call restore_scattering if the transform
+       is not legal.
+       (graphite-interchange.c): Same.
+       * graphite-poly.c (print_scattering_function): Test for PBB_TRANSFORMED.
+       (graphite_read_transforms): Initialize PBB_TRANSFORMED.
+       (apply_poly_transforms): Do not gcc_assert that
+       the transform is legal.
+       (new_poly_bb): Initialize PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
+       Do not initialize PBB_NB_SCATTERING_TRANSFORM, PBB_NB_LOCAL_VARIABLES,
+       PBB_TRANSFORMED_SCATTERING, and PBB_ORIGINAL_SCATTERING.
+       (free_poly_dr): Free PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
+       * graphite-poly.h (struct poly_scattering): New.
+       (struct poly_bb): Add original, transformed, and saved fields.
+       Remove transformed_scattering, original_scattering, nb_local_variables,
+       and nb_scattering_transform fields.
+       (PBB_ORIGINAL, PBB_TRANSFORMED, PBB_SAVED): New.
+       (poly_scattering_new): New.
+       (poly_scattering_free): New.
+       (poly_scattering_copy): New.
+       (store_scattering_pbb): New.
+       (store_scattering): New.
+       (restore_scattering_pbb): New.
+       (restore_scattering): New.
+       * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons):
+       Initialize PBB_TRANSFORMED and PBB_ORIGINAL.
+
+2009-08-05  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * graphite-poly.c (print_pbb): Add parentheses in the pretty print.
+       (print_scop): Same.
+
 2009-08-05  Sebastian Pop  <sebastian.pop@amd.com>
 
        * Makefile.in (graphite.o): Depends on PREDICT_H.