gcc/ChangeLog.graphite

   1 2008-06-12  Tobias Grosser  <grosser@fim.uni-passau.de>
   2
   3         * graphite.c (find_scop_params): Remove initialize_cloog_names.
   4
   5 2008-06-12  Tobias Grosser  <grosser@fim.uni-passau.de>
   6
   7         * graphite.c (end_scop): Style fix.
   8         (schedule_to_scattering): Style and comment fix.
   9
  10 2008-06-12  Tobias Grosser  <grosser@fim.uni-passau.de>
  11         * graphite.c (print_graphite_bb): Fix definiton of
  12         schedule_to_scattering.
  13         (initialize_cloog_names): Change nb_scattdims to max loop
  14         depth in SCoP.
  15         (schedule_to_scattering): Take parameter for number of scattering
  16         dimensions.
  17         (build_cloog_prog): Only build as much scattering dimensions as
  18         necessary.
  19
  20 2008-06-12  Tobias Grosser  <grosser@fim.uni-passau.de>
  21
  22         * graphite.c (end_scop): Disable bb splitting. Fixes SIGSEGV
  23         in polyhedron/aermod.f90.
  24
  25 2008-06-11  Tobias Grosser  <grosser@fim.uni-passau.de>
  26             Dwarak Rajagopal  <dwarak.rajagopal@amd.com>
  27             Harsha Jagasia  <harsha.jagasia@amd.com>
  28
  29         * graphite.c (is_bb_addable): Fix segfault.
  30
  31 2008-06-10  Tobias Grosser  <grosser@fim.uni-passau.de>
  32
  33         * graphite.c (is_bb_addable): Fix memory leak, handling of loops
  34         with multiple exits and conditional handling in edge cases.
  35         (is_loop_exit): Fix memory leak. (Forgotten in last commit)
  36
  37         * testsuite/gcc.dg/graphite/scop-14.c: New.
  38
  39 2008-06-06  Tobias Grosser  <grosser@fim.uni-passau.de>
  40             Adrien Eliche  <aeliche@isty.uvsq.fr>
  41
  42         * graphite.c (is_bb_addable): Add more comments and enhance
  43         readablity of the source code. Fix memory leak.
  44         (is_loop_exit): Fix memory leak.
  45
  46 2008-06-05  Tobias Grosser  <grosser@fim.uni-passau.de>
  47
  48         * graphite.c (first_loop_in_scop): Deleted.
  49         (setup_cloog_loop): Only walk the loop chain for inner loops.
  50         (build_scop_iteration_domain): Execute setup_cloog_loop for
  51         all loops in the first layer.
  52
  53 2008-06-05  Tobias Grosser  <grosser@fim.uni-passau.de>
  54
  55         * graphite.c (scan_tree_for_params): Change the way params are
  56         added to be indepenent of the number of loops.
  57         (setup_cloog_loop): Revert to short matrix format. Fix parameter
  58         handling.
  59         (build_cloog_prog): Revert to short matrix format.
  60
  61 2008-06-05  Sebastian Pop  <sebastian.pop@amd.com>
  62             Dwarak Rajagopal <dwarak.rajagopal@amd.com>
  63
  64         * tree-loop-fusion.c (fuse_loops): Fix uninitialized variable warning.
  65
  66 2008-06-05  Sebastian Pop  <sebastian.pop@amd.com>
  67
  68         * graphite.c (nb_data_refs_in_scop): New.
  69         (graphite_transform_loops): Print more stats: number of
  70         loops, basic blocks and data references per scop.
  71
  72 2008-06-04  Sebastian Pop  <sebastian.pop@amd.com>
  73             Jan Sjodin  <jan.sjodin@amd.com>
  74
  75         * graphite.c (loop_affine_expr, idx_record_params,
  76         find_scop_parameters, setup_cloog_loop): Use instantiate_scev
  77         instead of instantiate_parameters.
  78
  79 2008-06-04  Tobias Grosser  <grosser@fim.uni-passau.de>
  80
  81         * graphite.c (schedule_to_scattering): Fix scattering dimensions,
  82         add support for parameters, add STATIC_SCHEDULE at the right places,
  83         cleanup.
  84
  85 2008-06-04  Tobias Grosser  <grosser@fim.uni-passau.de>
  86
  87         * graphite.c (build_scop_loop_nests): Only add the loops, that
  88         are contained completely in the SCoP.
  89         (build_cloog_prog): Disable scattering, until schedule_to_scattering
  90         and the domains are fixed.
  91         (build_scop_canonical_schedules): Add support for bbs not contained
  92         in any SCoP.
  93
  94 2008-06-04  Tobias Grosser  <grosser@fim.uni-passau.de>
  95
  96         * graphite.h (scop_contains_loop): Update comments to match
  97         the actual behavior.
  98         (scop_contains_loop): New.
  99         * graphite.c (schedule_to_scattering): Use scop_contains_loop.
 100
 101 2008-06-04  Sebastian Pop  <sebastian.pop@amd.com>
 102
 103         * graphite.c (get_bb_type): On function body, i.e. loop_0,
 104         don't mark blocks as GBB_LOOP_SING_EXIT_HEADER, mark them
 105         as GBB_COND_HEADER.
 106
 107 2008-06-04  Sebastian Pop  <sebastian.pop@amd.com>
 108             Tobias Grosser  <grosser@fim.uni-passau.de>
 109
 110         * graphite.c (graphite_transform_loops): Early return when
 111         there are no loops in the function.
 112
 113 2008-05-31  Sebastian Pop  <sebastian.pop@amd.com>
 114             Jan Sjodin  <jan.sjodin@amd.com>
 115
 116         * graphite.c (scan_tree_for_params, setup_cloog_loop): Compute the offset
 117         of the last loop.
 118         (setup_cloog_loop): Copy the entire outer constraint matrix.
 119
 120 2008-05-31  Sebastian Pop  <sebastian.pop@amd.com>
 121             Jan Sjodin  <jan.sjodin@amd.com>
 122
 123         * graphite.c (stmt_in_scop_p, function_parameter_p,
 124         invariant_in_scop_p): Removed.
 125         (scan_tree_for_params): Can be used with no constraint
 126         matrix for gathering parameters.
 127         (idx_record_params): Don't use idx_record_param, instead use
 128         scan_tree_for_params.
 129         (find_scop_parameters): Same.
 130         (setup_cloog_loop, build_scop_iteration_domain, build_cloog_prog):
 131         Fix the size of loop domains.
 132         (schedule_to_scattering): Exit when the outer loop is not in scop.
 133         (find_transform): Enable build_cloog_prog.
 134
 135 2008-05-31  Sebastian Pop  <sebastian.pop@amd.com>
 136             Jan Sjodin  <jan.sjodin@amd.com>
 137
 138         * graphite.c (schedule_to_scattering): Make scattering domains
 139         uniformly of the same size, as required by CLooG 0.14.0 and before.
 140
 141 2008-05-31  Sebastian Pop  <sebastian.pop@amd.com>
 142             Jan Sjodin  <jan.sjodin@amd.com>
 143
 144         * graphite.c (schedule_to_scattering): Rewrite, correct the
 145         translation of the scheduling function to scattering.
 146         (build_cloog_prog): Call schedule_to_scattering only once.
 147         * graphite.h (scop_loop_index): Do not fail for loops not
 148         in the scop: return -1.
 149
 150 2008-05-30 Tobias Grosser  <grosser@fim.uni-passau.de>
 151
 152         * graphite.c (build_graphite_bb): Initialize GBB_DOMAIN.
 153         (loop_body_to_cloog_stmts): Export GBB_DOMAIN.
 154         (setup_cloog_loop): Export GBB_DOMAIN.
 155         (build_cloog_prog): New.  Create new CLOOG_PROG, which should be
 156         able to rebuild the original control flow.
 157         * graphite.h (graphite_bb): Add domain field and access macro.
 158         (GBB_DOMAIN): New.
 159
 160 2008-05-30  Sebastian Pop  <sebastian.pop@amd.com>
 161
 162         * graphite.c (debug_gbb): New.
 163         (print_scop, build_graphite_bb): Use SCOP_BBS.
 164         (build_scop_bbs): Reimplemented.
 165         (dfs_bb_in_scop_p): Removed.
 166         (build_scop_loop_nests): Reorder loops inserted in
 167         SCOP_LOOP_NEST: outer loops should come first.
 168         (build_scop_canonical_schedules): Reinitialize at zero
 169         the components of the SCOP_STATIC_SCHEDULE for the loops
 170         that have already been parsed.
 171
 172         * graphite.h (debug_gbb): Declared.
 173
 174 2008-05-30  Sebastian Pop  <sebastian.pop@amd.com>
 175             Jan Sjodin  <jan.sjodin@amd.com>
 176
 177         * graphite.c (create_empty_loop): Renamed graphite_create_new_loop.
 178         (graphite_loop_to_gcc_loop): Removed.
 179         (remove_all_edges): New.
 180         (graphite_stmt_to_gcc_stmt): Renamed translate_clast.
 181         (gloog): Remove useless code.
 182
 183 2008-05-29  Tobias Grosser  <grosser@fim.uni-passau.de>
 184
 185         * graphite.c (get_bb_type): Reworked. We distinguish between
 186         loops with one or multiple exits.
 187         (is_loop_exit): New.
 188         (is_pred): New.
 189         (is_bb_addable): Rework condition handling, now support for case
 190         case statements and loops with multiple exits.
 191
 192         * testsuite/gcc.dg/graphite/scop-11.c: New.
 193         * testsuite/gcc.dg/graphite/scop-12.c: New.
 194         * testsuite/gcc.dg/graphite/scop-13.c: New.
 195
 196 2008-05-29  Tobias Grosser  <grosser@fim.uni-passau.de>
 197
 198         * graphite.c (dot_all_scops_1): Fix some colors. Reuse colors, if
 199         we have too many colors.
 200
 201 2008-05-22  Sandeep Maram <smaram_b04@iiita.ac.in>
 202
 203         * doc/invoke.texi (-ftree-loop-fusion): Document.
 204         * tree-pass.h (pass_loop_fusion): Declared.
 205         * tree-loop-fusion.c: New.
 206         * timevar.def (TV_TREE_LOOP_FUSION): Declared.
 207         * tree-data-ref.c (find_data_references_in_loop): Make extern.
 208         * tree-data-ref.h (find_data_references_in_loop): Declared.
 209         * common.opt (ftree-loop-fusion): Declared.
 210         * Makefile.in (tree-loop-fusion.o): Added rule and to OBJS-common.
 211
 212 2008-05-21  Sebastian Pop  <sebastian.pop@amd.com>
 213
 214         * graphite.c (build_access_matrix): Fix typo from the merge.
 215
 216 2008-05-20  Sebastian Pop  <sebastian.pop@amd.com>
 217
 218         * Merge from mainline (130800:135673).
 219
 220 2008-05-07  Sebastian Pop  <sebastian.pop@amd.com>
 221
 222         * graphite.c (end_scop): The exit of the scop is not part of the scop.
 223         Update dominators after splitting.
 224
 225 2008-05-07  Sebastian Pop  <sebastian.pop@amd.com>
 226
 227         * graphite.c (is_bb_addable): Return the harmful statement.
 228         Factor up some code.
 229         (end_scop): New.  Splits end of scope bbs on a harmful statement.
 230         (build_scops_1): Call end_scop.
 231
 232 2008-05-07  Sebastian Pop  <sebastian.pop@amd.com>
 233
 234         * graphite.c: (succs_at_same_depth, end_scop, all_preds_visited_p,
 235         all_succs_visited_p, start_new_scop_for_each_succ, start_new_scop,
 236         add_dominators_to_open_scops, stop_last_open_scop, scop_end_loop,
 237         build_scops_1): Removed.
 238         (build_scops_2): Renamed build_scops_1.
 239
 240 2008-05-06  Sebastian Pop  <sebastian.pop@amd.com>
 241
 242         * graphite.c: Fix formatting.
 243
 244 2008-05-06  Tobias Grosser  <grosser@fim.uni-passau.de>
 245
 246         * graphite.c (get_bb_type): New.
 247         (move_scops): New.
 248         (build_scops_2): New.
 249         (is_bb_addable): New.
 250         (build_scops): Switch the scop detection.
 251         (build_scop_bbs): Add entry bb to scop.
 252         * graphite.h (struct scop): Update comment.
 253
 254 2008-05-06  Tobias Grosser  <grosser@fim.uni-passau.de>
 255
 256         * graphite.c (dot_all_scops_1): Fix some incorrect colors and add
 257         more colors.
 258
 259 2008-05-06  Tobias Grosser  <grosser@fim.uni-passau.de>
 260
 261         * testsuite/gcc.dg/graphite/scop-1.c: Update.
 262         * testsuite/gcc.dg/graphite/scop-2.c: Update.
 263         * testsuite/gcc.dg/graphite/scop-4.c: Update.
 264         * testsuite/gcc.dg/graphite/scop-5.c: Add.
 265         * testsuite/gcc.dg/graphite/scop-6.c: Add.
 266
 267 2008-05-06  Sebastian Pop  <sebastian.pop@amd.com>
 268
 269         * testsuite/gcc.dg/graphite/scop-0.c: Add.
 270         * testsuite/gcc.dg/graphite/scop-7.c: Add.
 271         * testsuite/gcc.dg/graphite/scop-8.c: Add.
 272         * testsuite/gcc.dg/graphite/scop-9.c: Add.
 273         * testsuite/gcc.dg/graphite/scop-10.c: Add.
 274
 275 2008-05-06  Tobias Grosser  <grosser@fim.uni-passau.de>
 276
 277         * graphite.c (scop_affine_expr): Renamed to loop_affine_expr.  Check affine
 278         expressions depending on the outermost loop instead of a scop.
 279         (stmt_simple_for_scop_p): Same.
 280         (harmfule_stmt_in_scop): Same.
 281
 282 2008-04-28  Tobias Grosser  <grosser@fim.uni-passau.de>
 283
 284         * graphite.c (dot_all_scops): Remove incorrect difficult bb coloring,
 285         mark entry and exit, that are not part of the SCoP and update HTML
 286         formatting.
 287
 288 2008-04-25  Sebastian Pop  <sebastian.pop@amd.com>
 289
 290         * graphite.c (basic_block_simple_for_scop_p): Renamed harmful_stmt_in_bb.
 291         (save_scop, preds_at_same_depth, test_for_scop_bound): Removed.
 292         (add_dominators_to_open_scops, build_scops_1): Reimplemented.
 293         (all_preds_visited_p, all_succs_visited_p, start_new_scop_for_each_succ,
 294         start_new_scop, stop_last_open_scop, scop_end_loop): New.
 295         (build_scops): Do not use dfs_enumerate_from.
 296
 297         * testsuite/gcc.dg/graphite/scop-{1,2,4}.c: Updated.
 298
 299 2008-04-23  Sebastian Pop  <sebastian.pop@amd.com>
 300
 301         * graphite.c: Add comments to functions that are missing a
 302         description.
 303         (graphite_create_iv): Removed.  Merged in graphite_loop_to_gcc_loop.
 304
 305 2008-04-23  Sebastian Pop  <sebastian.pop@amd.com>
 306
 307         * graphite.c (nb_params_in_scop): Moved...
 308         (graphite_bb_from_bb, loop_body_to_cloog_stmts): New.
 309         (setup_cloog_loop): Call loop_body_to_cloog_stmts.
 310         (clast_to_gcc_expression): Reduce column size to less than 80.
 311         (graphite_create_iv): Return the new name of the IV.
 312         (find_transform): Set options->esp and options->cpp.
 313         (gloog): Comment out the invalidation of the old loop code.
 314         (initialize_dependence_polyhedron): Replace scop_nb_params with
 315         nb_params_in_scop.
 316
 317         * graphite.h (nb_params_in_scop): ... here.
 318         (scop_nb_params): Removed.
 319         (loop_domain_dim): Return something even when the loop was not
 320         found in the hash table: avoid ICEing on all the graphite.exp
 321         testcases.
 322
 323 2008-04-14  Konrad Trifunovic  <konrad.trifunovic@inria.fr>
 324
 325         * tree-chrec.c (for_each_scev_op): SCEV can have 3 operands.
 326
 327         * graphite.c (build_scop_dynamic_schedules): Schedule is built
 328         according to nesting level.
 329         (find_scop_parameters): Call instantiate_parameters.
 330         (scan_tree_for_params): Extend it to handle general affine bounds.
 331         Inner loop bound can depend on outer loop induction variable.
 332         (setup_cloog_loop): tmp variable is allocated on stack. Call
 333         instantiate_parameters with respect to outermost_loop_in_scop.
 334         (loop_domain_dim, ref_nb_loops, loop_iteration_vector_dim): moved to
 335         graphite.h.
 336         (create_empty_loop): Function loopify should be given edge
 337         probability, instead of edge frequency. Dominance relation from
 338         switch_bb to loop_header.
 339         (clast_to_gcc_expression): Added handling of clast_reduction node.
 340         (gloog): New functionality for removing old loop.
 341         (test_dependence): Factored out from build_rdg_all_levels.
 342         (build_rdg_all_levels): Dependence testing factored out to
 343         test_dependence function.
 344
 345         * graphite.h (struct graphite_bb): Extended with dynamic_schedule.
 346         (loop_domain_dim, ref_nb_loops, loop_iteration_vector_dim): Moved
 347         from graphite.c
 348
 349 2008-04-07  Sebastian Pop  <sebastian.pop@amd.com>
 350
 351         * graphite.c (free_scop, param_index, initialize_cloog_names,
 352         nb_params_in_scop): Use name_tree map instead of just a tree
 353         for keeping track of the variable name associated to that tree.
 354         (create_empty_loop, gmp_cst_to_tree, clast_name_to_gcc,
 355         clast_to_gcc_expression, graphite_create_iv,
 356         graphite_loop_to_gcc_loop, graphite_cond_to_gcc_cond,
 357         graphite_stmt_to_gcc_stmt): New.
 358         (gloog): Call these.
 359         * graphite.h (struct name_tree): New.
 360         (struct scop): Use name_tree instead of tree for params.
 361         Store a vector of name_tree for new_ivs.
 362         (SCOP_NEWIVS): New.
 363         (scop_nb_params): Use name_tree instead of tree.
 364
 365 2008-04-05  Alexander Lamaison  <awl03@doc.ic.ac.uk>
 366             Sebastian Pop  <sebastian.pop@amd.com>
 367
 368         * tree-bounds.c: New.
 369         * tree-bounds.h: New.
 370         * tree-pass.h: Declare pass_bounds_early and pass_bounds_late.
 371         * passes.c: Schedule pass_bounds_early, pass_bounds_late.
 372         * builtins.c (expand_builtin_alloca): Add flag_bounds as for flag_mudflap.
 373         * gcc.c: Same.
 374         * toplev.c: Same.
 375         * c-cppbuiltin.c: Same.
 376         * c-pragma.c: Same.
 377         * common.opt: Same.
 378         * varasm.c: Same.
 379         * tree-outof-ssa.c: Same.
 380         * c-common.c: Same.
 381         * Makefile.in: Same.
 382
 383 2008-03-15  Antoniu Pop  <antoniu.pop@gmail.com>
 384             Sebastian Pop  <sebastian.pop@amd.com>
 385
 386         * tree-loop-distribution.c (remaining_stmts,
 387         upstream_mem_writes): Removed static variables.
 388         (copy_loop_before, create_bb_after_loop,
 389         mark_nodes_having_upstream_mem_writes, free_rdg_components,
 390         rdg_build_components, rdg_build_partitions, dump_rdg_partitions): Extern.
 391         (generate_loops_for_partition, generate_code_for_partition): Do not
 392         return a bool.
 393         (already_processed_vertex_p, predecessor_has_mem_write,
 394         mark_nodes_having_upstream_mem_writes, has_upstream_mem_writes,
 395         rdg_flag_all_uses, rdg_flag_uses, rdg_flag_vertex_and_dependent,
 396         rdg_flag_loop_exits, rdg_flag_similar_memory_accesses,
 397         build_rdg_partition_for_component, rdg_build_partitions, ldist_gen):
 398         Pass remaining_stmts and upstream_mem_writes as parameters.
 399         (rdg_component): Moved...
 400         (build_rdg_partition_for_component): Do not aggregate components when
 401         flag_streamize_loops is set.
 402         (gen_sequential_loops): New.
 403         (ldist_gen): Call gen_sequential_loops.
 404
 405         * tree-pass.h (pass_loop_streamization): Declared.
 406
 407         * omp-low.c (expand_omp_sections): Call add_bb_to_loop on created
 408         basic blocks when loops structures exist.
 409
 410         * builtin-types.def (BT_FN_VOID_PTR_PTR_INT): New.
 411
 412         * tree-ssa-loop-ivopts.c (expr_invariant_in_region_p): New.
 413
 414         * tree-parloops.c (take_address_of, eliminate_local_variables_1,
 415         eliminate_local_variables_stmt, eliminate_local_variables,
 416         separate_decls_in_loop_name, separate_decls_in_loop_stmt,
 417         separate_decls_in_loop, gen_parallel_loop): Make them work on a region
 418         of code delimited by two edges in the CFG.
 419         (separate_decls_in_loop_name): Renamed separate_decls_in_region_name.
 420         (separate_decls_in_loop_stmt): Renamed separate_decls_in_region_stmt.
 421         (separate_decls_in_loop): Renamed separate_decls_in_region.  Isolate
 422         the case of parallelisation of reductions.
 423         (create_loop_fn): Extern.
 424         (create_omp_parallel_region): New.
 425
 426         * tree-data-ref.c (dump_data_dependence_relation): Don't call
 427         dump_data_reference for printing dra and drb.
 428         (create_rdg_edge_for_ddr, create_rdg_edges_for_scalar): Initialise
 429         RDGE_RELATION.
 430         (build_rdg): Don't call free_dependence_relations for the moment, as
 431         we attach dependence relations on each edge of the RDG.  To be fixed later.
 432
 433         * tree-data-ref.h (rdg_component): ...here.
 434         (struct rdg_edge): New field ddr_p relation.
 435         (RDGE_RELATION): New.
 436         (create_bb_after_loop, copy_loop_before,
 437         mark_nodes_having_upstream_mem_writes, rdg_build_components,
 438         rdg_build_partitions, dump_rdg_partitions, free_rdg_components): Declared.
 439
 440         * omp-builtins.def (BUILT_IN_GOMP_STREAM_ALIGN_PUSH,
 441         BUILT_IN_GOMP_STREAM_ALIGN_POP): New.
 442
 443         * tree-loop-streamization.c: New.
 444
 445         * tree-flow.h (gather_blocks_in_sese_region, create_loop_fn,
 446         create_omp_parallel_region, expr_invariant_in_region_p): Declared.
 447
 448         * Makefile.in (tree-loop-streamization.o): Added to OBJS-common.
 449
 450         * tree-cfg.c (gather_blocks_in_sese_region): Extern.
 451
 452         * passes.c: Schedule pass_loop_streamization.
 453
 454 2008-03-08  Tobias Grosser  <grosser@fmi.uni-passau.de>
 455
 456         * graphite.c (dot_all_scops_1): Fix formatting for difficult bbs and
 457         update comment.
 458
 459 2008-03-07  Tobias Grosser  <grosser@fim.uni-passau.de>
 460
 461         * graphite.c (dot_all_scops): Update formatting.
 462         Bbs can now be part of more than one SCoP.
 463
 464 2008-03-04  Sebastian Pop  <sebastian.pop@amd.com>
 465
 466         * graphite.c (new_loop_to_cloog_loop_str, setup_cloog_loop): Fix
 467         malloc problems.
 468         (loop_domain_dim): Check for unregistered toplev SCOP loop.
 469         * graphite.h (loop_to_cloog_loop): New.
 470
 471 2008-03-04  Konrad Trifunovic  <konrad.trifunovic@inria.fr>
 472
 473         * graphite.c (loop_domain_dim, ref_nb_loops,
 474         loop_iteration_vector_dim): New.
 475         (build_access_matrix_with_af, build_access_matrix,
 476         initialize_dependence_polyhedron): Fixed for new matrix layout.
 477         No longer assume that all iteration domains are of the same
 478         dimensionality.
 479
 480 2008-03-02  Sebastian Pop  <sebastian.pop@amd.com>
 481
 482         * tree-scalar-evolution.c (instantiate_parameters_1): An SSA_NAME
 483         defined in a loop at depth 0 is invariant.
 484         * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto.
 485         * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Should never
 486         be called at loop depth 0.
 487
 488         * graphite.c (basic_block_simple_for_scop_p): Take the scop as
 489         a parameter.
 490         (dot_all_scops_1): Update use of basic_block_simple_for_scop_p.
 491         (down_open_scop): Removed.
 492         (loop_in_scop_p): Redefined.
 493         (scop_affine_expr): New argument: scop.
 494         (stmt_simple_for_scop_p): New argument: scop.  RETURN_EXPR is not
 495         a harmful statement ending a scop.
 496         (basic_block_simple_for_scop_p): New argument: scop.
 497         (get_loop_start): Removed.
 498         (new_scop): Initialize SCOP_LOOPS.
 499         (free_scop): Free SCOP_LOOPS.
 500         (succs_at_same_depth, preds_at_same_depth): New.
 501         (end_scop): Test the validity of a scop.
 502         (add_dominators_to_open_scops): New.
 503         (test_for_scop_bound): Call add_dominators_to_open_scops.
 504         Add cases for opening and closing multiple scops.
 505         (build_scops, build_scop_bbs): Iterate over basic blocks in depth first.
 506         (build_graphite_bb): Pass scop directly.
 507         (dfs_bb_in_scop_p): New.
 508         (scop_record_loop): Use SCOP_LOOPS for not recording the same loop
 509         several times.
 510         (nb_loops_around_gb): Use loop_in_scop_p.
 511         (schedule_to_scattering): Disabled for the moment the code computing
 512         the "textual order for outer loop".
 513
 514         * graphite.h (struct scop): New field loops.
 515         (SCOP_LOOPS): New.
 516         (scop_loop_index): Test that the given loop belongs to SCOP_LOOPS.
 517
 518         * testsuite/gcc.dg/graphite/scop-{1,...,7}.c: Updated.
 519
 520 2008-02-27  Antoniu Pop  <antoniu.pop@gmail.com>
 521             Sebastian Pop  <sebastian.pop@amd.com>
 522
 523         * builtin-types.def (BT_FN_PTR_SIZE_UINT, BT_FN_BOOL_PTR): New.
 524         * common.opt (fstreamize-loops): New.
 525         * omp-builtins.def (BUILT_IN_GOMP_STREAM_CREATE,
 526         BUILT_IN_GOMP_STREAM_PUSH, BUILT_IN_GOMP_STREAM_HEAD,
 527         BUILT_IN_GOMP_STREAM_POP, BUILT_IN_GOMP_STREAM_EOS_P,
 528         BUILT_IN_GOMP_STREAM_SET_EOS, BUILT_IN_GOMP_STREAM_DESTROY): New.
 529
 530 2008-02-22  Konrad Trifunovic  <konrad.trifunovic@inria.fr>
 531
 532         * tree-data-ref.c (build_empty_rdg): New.
 533         (build_rdg): Use it.
 534         * tree-data-ref.h (build_empty_rdg): Declared.
 535         * graphite.c (free_scop): Free SCOP_LOOP2CLOOG_LOOP.
 536         (find_vertex_for_stmt): Removed.
 537         (build_rdg_all_levels): Use build_empty_rdg and rdg_vertex_for_stmt.
 538
 539 2008-02-21  Sebastian Pop  <sebastian.pop@amd.com>
 540
 541         * tree-loop-distribution.c (generate_builtin): After cancelling the
 542         loop tree, also delete basic blocks.
 543         (rdg_flag_uses): Stop recursion when a vertex has already been
 544         processed.
 545
 546 2008-02-15  Konrad Trifunovic  <konrad.trifunovic@inria.fr>
 547
 548         * graphite.c (build_scop_alpha): Removed.
 549         (graphite_transform_loops): Add a dummy call to build_all_rdg_levels
 550         and dump_dependence_graph to avoid compiler warnings.
 551
 552 2008-02-14  Konrad Trifunovic  <konrad.trifunovic@inria.fr>
 553
 554         * tree-data-ref.c (dr_may_alias_p, create_rdg_vertices): Extern.
 555         * tree-data-ref.h (dr_may_alias_p, create_rdg_vertices): Declared.
 556         * graphite.c (new_loop_to_cloog_loop_str, hash_loop_to_cloog_loop,
 557         eq_loop_to_cloog_loop, del_loop_to_cloog_loop): New.
 558         (new_scop, setup_cloog_loop): Initialize SCOP_LOOP2CLOOG_LOOP.
 559         (initialize_dependence_polyhedron, find_vertex_for_stmt,
 560         initialize_data_dependence_polyhedron, is_empty_polyhedron,
 561         statement_precedes_p, build_rdg_all_levels, build_scop_alpha,
 562         dump_dependence_graph): New.
 563         * graphite.h (struct graphite_bb): New field compressed_alpha_matrix.
 564         (GBB_ALPHA): New.
 565         (struct scop): New field loop2cloog_loop.
 566         (SCOP_LOOP2CLOOG_LOOP, struct data_dependence_polyhedron,
 567         RDGE_DDP, ddp_p, struct loop_to_cloog_loop_str): New.
 568
 569 2008-02-10  Konrad Trifunovic  <konrad.trifunovic@inria.fr>
 570
 571         * graphite.c (build_graphite_bb): Fix initialization
 572         of the graphite basic block.
 573
 574 2008-02-05  Sebastian Pop  <sebastian.pop@amd.com>
 575
 576         * graphite.c (scan_tree_for_params): Rewrite for the new layout of
 577         loop domain matrix.  Pass in the number of loops contained in the
 578         constraint matrix.
 579         (nb_loops_around_gb): Moved before setup_cloog_loop that uses it.
 580         (setup_cloog_loop): Rewrite for the new layout of loop domain matrix:
 581         loops that are not surrounding the current loop are not represented
 582         in the domain constraint matrix.
 583         (build_scop_iteration_domain): Initial domain constraint matrix
 584         contains only the eq/ineq, cst, and scop parameters columns.
 585
 586 2008-01-29  Tobias Grosser  <grosser@fim.uni-passau.de>
 587
 588         * graphite.c (schedule_to_scattering, nb_loops_around_gb): New.
 589         (print_graphite_bb): Print scattering.
 590
 591 2008-01-29  Tobias Grosser  <grosser@fim.uni-passau.de>
 592
 593         * graphite.c (initialize_cloog_names): Initialize names of
 594         scattering variables.
 595
 596 2009-01-29  Tobias Grosser  <grosser@fim.uni-passau.de>
 597
 598         * graphite.c (dot_all_scops_1): Disable debug output while
 599         printing graph.
 600
 601 2008-01-29  Tobias Grosser  <grosser@fim.uni-passau.de>
 602
 603         * graphite.c (find_transform): Change cloog output language to C.
 604
 605 2008-01-27  Sebastian Pop  <sebastian.pop@amd.com>
 606
 607         * tree-loop-distribution.c (generate_memset_zero,
 608         generate_builtin, generate_code_for_partition, rdg_flag_all_uses): New.
 609         (rdg_flag_uses): Gather in the same partition the statements defining
 610         the VUSES of the current statement.
 611         (rdg_flag_similar_stores): Renamed rdg_flag_similar_memory_accesses.
 612         Gather in the same partition not only the stores to the same memory
 613         access, but also the reads.
 614         (ldist_generate_loops): Renamed ldist_gen.
 615
 616 2008-01-24  Sebastian Pop  <sebastian.pop@amd.com>
 617             Tobias Grosser  <grosser@fmi.uni-passau.de>
 618
 619         * graphite.c (setup_cloog_loop): Chain all cloog loops with the
 620         next pointer, don't use the inner pointer.
 621
 622 2008-01-20  Tobias Grosser  <grosser@fmi.uni-passau.de>
 623
 624         * graphite.c (dot_all_scops, dot_all_scops_1): New.
 625         (find_transform): Call dot_all_1.
 626         * graphite.h (dot_all_scops): Declared.
 627
 628 2007-12-14  Sebastian Pop  <sebastian.pop@amd.com>
 629
 630         * tree-loop-distribution.c: Fix apsi.f ICE.
 631         (create_bb_after_loop): New.
 632         (generate_loops_for_partition): Use it.
 633         * testsuite/gfortran.dg/ldist-1.f90: New.
 634
 635         * tree-data-ref.c (dot_rdg): Use /tmp/rdg.dot for dotty format.
 636         * graphite.c (dot_scop): Use /tmp/scop.dot for dotty format.
 637
 638 2007-12-13  Tobias Grosser  <grosser@fmi.uni-passau.de>
 639
 640         * graphite.c (find_transform): Dump cloog program sent to cloog.
 641
 642 2007-12-13  Tobias Grosser  <grosser@fmi.uni-passau.de>
 643
 644         * graphite.c (initialize_cloog_names): Initialize cloog iterator names.
 645
 646 2007-12-13  Tobias Grosser  <grosser@fmi.uni-passau.de>
 647
 648         * graphite.c (build_scop_context): Fix typo, for the matrix
 649         format: insert '0 >= 0' instead of '-1 >= 0'.
 650
 651 2007-12-13  Sebastian Pop  <sebastian.pop@amd.com>
 652
 653         * Fix merge problems.
 654
 655 2007-12-13  Sebastian Pop  <sebastian.pop@amd.com>
 656
 657         * graphite.c (setup_cloog_loop): Fix typo.
 658
 659 2007-12-12  Sebastian Pop  <sebastian.pop@amd.com>
 660
 661         * doc/invoke.texi (-ftree-loop-distribution): Documented.
 662         * tree-loop-distribution.c: Reimplemented.
 663         * tree-pass.h (pass_loop_distribution): New.
 664         * tree-scalar-evolution.c (number_of_iterations_for_all_loops): Use
 665         print_loops.
 666         * graphds.h (struct graph): New field indexes.
 667         * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New.
 668
 669         * tree-vect-analyze.c: Remove declaration of static functions when not
 670         needed.
 671         * tree-vectorizer.c: Same.
 672         (rename_variables_in_loop): Now extern.
 673         (slpeel_tree_duplicate_loop_to_edge_cfg): Renamed
 674         tree_duplicate_loop_to_edge_cfg.  Reset PENDING_STMT for edges after
 675         calling redirect_edge_and_branch_force.
 676
 677         * tree-vectorizer.h (tree_duplicate_loop_on_edge): Declared.
 678
 679         * tree-data-ref.c: Don't include tree-chrec.h.
 680         (debug_data_dependence_relations): New.
 681         (dump_data_dependence_relation): Call dump_data_reference on data refs
 682         in the relation.
 683         (same_access_functions): Moved...
 684         (find_vertex_for_stmt): Renamed rdg_vertex_for_stmt.
 685         (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
 686         debug_rdg_component, dump_rdg, debug_rdg, dot_rdg_1, dot_rdg,
 687         struct rdg_vertex_info, ): New.
 688         (create_rdg_edge_for_ddr): Compute the dependence level before looking
 689         at DDR_REVERSED_P.
 690         (create_rdg_vertices): Initialize the htab of graph->indexes.
 691         Initialize RDG_MEM_WRITE_STMT and RDG_MEM_READS_STMT.
 692         (stmts_from_loop): Don't save LABEL_EXPR.
 693         (hash_stmt_vertex_info, eq_stmt_vertex_info, hash_stmt_vertex_del): New.
 694         (build_rdg): Initialize rdg->indexes.
 695         (free_rdg, stores_from_loop, ref_base_address,
 696         rdg_defs_used_in_other_loops_p, have_similar_memory_accesses,
 697         have_similar_memory_accesses_1, ref_base_address_1,
 698         remove_similar_memory_refs): New.
 699
 700         * tree-data-ref.h: Include tree-chrec.h.
 701         (debug_data_dependence_relations): Declared.
 702         (same_access_functions): ...here.  Now static inline.
 703         (ddr_is_anti_dependent, ddrs_have_anti_deps, ddr_dependence_level): New.
 704         (struct rdg_vertex): New fields has_mem_write, has_mem_reads.
 705         (RDGV_HAS_MEM_WRITE, RDGV_HAS_MEM_READS, RDG_STMT, RDG_MEM_WRITE_STMT,
 706         RDG_MEM_READS_STMT): New.
 707         (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
 708         debug_rdg_component, dump_rdg, debug_rdg, dot_rdg,
 709         rdg_vertex_for_stmt): Declared.
 710         (struct rdg_edge): New field level.
 711         (RDGE_LEVEL, free_rdg): New.
 712         (stores_from_loop, remove_similar_memory_refs,
 713         rdg_defs_used_in_other_loops_p, have_similar_memory_accesses): Declared.
 714         (rdg_has_similar_memory_accesses): New.
 715
 716         * lambda.h (dependence_level): New.
 717         * common.opt (ftree-loop-distribution): New.
 718         * tree-flow.h (debug_loop_ir): Renamed debug_loops.
 719         (print_loop_ir): Renamed print_loops.
 720         (debug_loop, debug_loop_num, print_loops_bb, mark_virtual_ops_in_bb,
 721         tree_duplicate_loop_to_edge_cfg, rename_variables_in_loop): Declared.
 722         * Makefile.in (TREE_DATA_REF_H): Depends on tree-chrec.h.
 723         (tree-loop-distribution.o): Added.
 724         * tree-cfg.c (mark_virtual_ops_in_region): Use mark_virtual_ops_in_bb.
 725         (mark_virtual_ops_in_bb): New.
 726         (print_loops_bb, debug_loop_num, debug_loop): New.
 727         * passes.c: Scheduled pass_loop_distribution.
 728
 729 2007-12-12  Konrad Trifunovic  <konrad.trifunovic@inria.fr>
 730
 731         * graphite.c (scan_tree_for_params): Correct the number of columns
 732         for polylib format.
 733         (nb_flat_iterator): New.
 734         (setup_cloog_loop): Initialize to 1 the first column for inequalities.
 735         (build_scop_iteration_domain): Correct the number of columns for
 736         polylib format.
 737
 738 2007-12-12  Sebastian Pop  <sebastian.pop@amd.com>
 739
 740         * Merge from mainline (129697:130800).
 741
 742 2007-10-30  Sebastian Pop  <sebastian.pop@amd.com>
 743
 744         * graphite.c (build_graphite_bb): SCoP's basic blocks are post
 745         dominated by SCoP's exit.
 746         (graphite_transform_loops): Compute post dominators.
 747
 748 2007-10-28  Sebastian Pop  <sebastian.pop@amd.com>
 749
 750         * Merge from mainline (127169:129697).
 751
 752 2007-10-28  Sebastian Pop  <sebastian.pop@amd.com>
 753
 754         * graphite.c (affine_expr): Renamed scop_affine_expr.  Use an extra
 755         parameter for the basic block that contains the expression.  Use
 756         outermost_loop_in_scop for evolution_function_is_affine_multivariate_p.
 757         (stmt_simple_for_scop_p): Pass to scop_affine_expr the basic block of
 758         the expression.
 759         * graphite.h (gbb_loop): New.
 760         (GBB_LOOP): Removed.
 761
 762 2007-08-03  Sebastian Pop  <sebpop@gmail.com>
 763
 764         * Makefile.in: Fix merge problem.
 765
 766 2007-08-03  Sebastian Pop  <sebpop@gmail.com>
 767
 768         * Merge from mainline (125309:127169).
 769         * tree-loop-distribution.c: Disabled.
 770
 771 2007-06-05  Sebastian Pop  <sebpop@gmail.com>
 772
 773         * Merge from mainline (r123693:125309).
 774
 775 2007-05-30  Sebastian Pop  <sebpop@gmail.com>
 776
 777         * tree-loop-distribution.c (correct_modify_expr_p): Renamed
 778         correct_modify_p
 779         (correct_modify_p, check_statements, number_of_lvalue_uses,
 780         number_of_scalar_dependences, create_edges): Use GIMPLE_MODIFY_STMT
 781         instead of MODIFY_EXPR.
 782         (update_edge_with_ddv): Don't pass index_of_edge.  Initialize
 783         and push new edges.
 784
 785 2007-05-24  Sebastian Pop  <sebpop@gmail.com>
 786
 787         * tree-loop-distribution.c (struct rdg): Replace arrays by
 788         VECs for edges and vertices.
 789         (RDG_NBV, RDG_NBE, RDG_VERTEX, RDG_EDGE): Removed.
 790         (RDGV_NB_PARTITIONS): New.
 791         (PRDG_NBV, PRDG_NBE): Removed.
 792         (build_scc_graph, correct_partitions_p, mark_partitions, build_prdg,
 793         dump_rdg, find_vertex_with_stmt, create_vertices, free_rdg,
 794         number_of_scalar_dependences, create_edges, build_rdg): Use VECs.
 795
 796 2007-05-17  Georges-Andre Silber  <silber@cri.ensmp.fr>
 797             Sebastian Pop  <sebpop@gmail.com>
 798
 799         * doc/invoke.texi (-ftree-loop-distribution): Document.
 800         * tree-loop-distribution.c: New file.
 801         * tree-pass.h (pass_loop_distribution): Declared.
 802         * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New.
 803         * tree-data-ref.c (initialize_data_dependence_relation): Initialize and
 804         set reversed_p.
 805         * tree-data-ref.h (data_dependence_relation): Add reversed_p.
 806         (DDR_REVERSED_P): New.
 807         * common.opt (-ftree-loop-distribution): New.
 808         * tree-flow.h (distribute_loops): Declared.
 809         * Makefile.in (OBJS-common): Depend on tree-loop-distribution.o.
 810         * passes.c (init_optimization_passes): Schedule loop distribution.
 811
 812 2007-05-12  Sebastian Pop  <sebastian.pop@inria.fr>
 813
 814         * graphite.c (print_graphite_bb): Don't call dump_data_references.
 815         (print_scop): Don't print when scop is NULL.
 816         (build_scop_context, find_transform): Don't output to stderr.
 817
 818 2007-05-09  Sebastian Pop  <sebastian.pop@inria.fr>
 819
 820         * tree-data-ref.c: Don't include graphite.h.
 821         Comment out the code for printing data reference's scop.
 822         (build_access_matrix_with_af): Moved...
 823         * tree-data-ref.h (build_access_matrix_with_af): Removed declaration.
 824         * graphite.c (build_access_matrix_with_af): ... here.  Now static.
 825         (print_graphite_bb): Print basic block's schedule.
 826         (print_scop): Don't print the schedule, call cloog's pretty printer.
 827         (bb_in_scop_p): A basic block is in a scop only if it is both
 828         dominated and postdominated by the scop's entry and exit basic blocks.
 829         (function_parameter_p): New.
 830         (invariant_in_scop_p): Use function_parameter_p.
 831         (new_scop, save_scop): New.
 832         (end_scop, test_for_scop_bound, build_scops): Use new_scop, and
 833         save_scop.
 834         (scan_tree_for_params): Directly build the constraint as CloogMatrix.
 835         (loop_in_scop_p): New.
 836         (scop_record_loop): Use loop_in_scop_p.
 837         (build_scop_domain): Renamed build_scop_iteration_domain.
 838         (setup_cloog_loop, initialize_cloog_names, find_scop_parameters,
 839         nb_params_in_scop, build_scop_context, first_loop_in_scop,
 840         setup_cloog_loop, dot_scop_1, dot_scop): New.
 841         * graphite.h (GBB_LOOP, SCOP_PROG, dot_scop): New.
 842         (struct scop): Add a pointer to cloog's representation of a program.
 843
 844 2007-04-14  Sebastian Pop  <sebastian.pop@inria.fr>
 845
 846         * doc/invoke.texi (-ftree-check-verbose): Renamed -ftree-checks-verbose.
 847         * common.opt (flag_tree_check_verbose): Renamed flag_tree_checks_verbose.
 848         * tree-check.c (tree_check_warning): Use flag_tree_checks_verbose.
 849
 850 2007-04-14  Sebastian Pop  <sebastian.pop@inria.fr>
 851
 852         * configure: Regenerated.
 853         * config.in: Regenerated.
 854         * tree-ssa-loop.c (graphite_transforms): Execute graphite_transform_loops
 855         only when HAVE_cloog.
 856         * configure.ac (HAVE_polylib, HAVE_cloog, GRAPHITE): Defined.
 857         * graphite.c: Include polylibgmp.h and cloog.h.
 858         (graphite_transform_loops): Removed loops parameter.
 859         * tree-flow.h (graphite_transform_loops): Update declaration.
 860         * Makefile.in (POLYLIBLIBS, POLYLIBINC, CLOOGLIBS, CLOOGINC): New.
 861         (LIBS): Depend on CLOOGLIBS and on POLYLIBLIBS.
 862         (INCLUDES): Depend on POLYLIBINC and on CLOOGINC.
 863         (OBJS-common): Remove dependence on graphite.o.
 864         (BACKEND): Depend on @GRAPHITE@.
 865
 866 2007-04-13  Sebastian Pop  <sebastian.pop@inria.fr>
 867
 868         * doc/invoke.texi (-ftree-check-verbose): Documented.
 869         * testsuite/gcc.dg/tree-checker/tree-checks-1.c: New.
 870         * testsuite/gcc.dg/tree-checker/tree-checks-2.c: New.
 871         * testsuite/gcc.dg/tree-checker/tree-checks-3.c: New.
 872         * testsuite/gcc.dg/tree-checker/tree-checks-4.c: New.
 873         * testsuite/gcc.dg/tree-checker/tree-checks.exp: New.
 874         * testsuite/gcc.dg/tree-checker/condates.crp: New.
 875         * common.opt (ftree-checks-verbose): New.
 876         * tree-check.c (tree_check_warning): Move extra stderr output under control
 877         of flag_tree_check_verbose.
 878
 879 2007-04-12  Sebastian Pop  <sebastian.pop@inria.fr>
 880
 881         * tree-match.c: Fix comments formatting.
 882         * tree-match.h: Fix comments formatting.
 883         * tree-check.c: Fix comments formatting.
 884         (tree_check_init): Restructure.
 885
 886 2007-04-12  Nic Volanschi  <nic.volanschi@free.fr>
 887
 888         * doc/invoke.texi (-ftree-check, -ftree-checks): Documented.
 889
 890 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
 891
 892         * Merge from mainline (r120733:123693).
 893
 894 2007-03-20  Nic Volanschi  <nic.volanschi@free.fr>
 895
 896         * condate.y: New file.
 897         * tree-match.h (struct patt_info_s): New field sign.
 898         (struct condate_s): New field msg.
 899         (normalize_condate, name_condate, add_condate): New.
 900         (conds[], condate_parse): Made extern.
 901         * tree-check.c (tree_check_warning): First arg changed to cond; warning reformatted.
 902         (tree_check_init): Reset the TREE_VISITED bit on every CFG node.
 903         (tree_scan): New.
 904         (tree_check): Process trivial condates.
 905         (read_delimited_string): Removed.
 906         (print_cond): Print name and msg.
 907         (conds[]): Made extern.
 908         (parse_tree_check_file_once): Rewritten to use the parser in condate.y.
 909         Processing of option --tree_check_string moved to tree_scan().
 910         * Makefile.in: Added condate.y
 911
 912 2007-03-12  Sebastian Pop  <sebastian.pop@inria.fr>
 913
 914         * tree-pretty-print.c (dump_generic_bb_buff, lazy_dump_generic_node):
 915         Use VECs instead of varrays.
 916         * diagnostic.h (lazy_dump_generic_node): Update declaration.
 917         * Makefile.in (pretty-print.o): Depend on vec.h.
 918         * pretty-print.c: Include tree.h and vec.h.
 919         (pp_clear_state, pp_write_list_to_stream, pp_base_format,
 920         pp_base_format, pp_construct, pp_base_string, pp_lazy_mode,
 921         new_tree_chunk, pp_add_tree, pp_add_string, pp_add_char, pp_write_list,
 922         pp_free_list): Use VECs instead of varrays.
 923         * pretty-print.h: Do not include varray.h.
 924         (struct tree_chunk_s): Declaration moved before its use.
 925         (output_buffer): Rename varray field to chunks.
 926         * tree-match.c (tree_equal, chunk_1st_char, chunks_lookahead,
 927         tree_1st_char, match_chunks_pattinfo, match_tree_pattinfo,
 928         save_global_holes): Use VECs instead of varrays.
 929         * tree-match.h: Declare VECs of cfg_node, and hole_p.
 930         * tree-check.c (scan_cfg_stmts, push_node, print_matching_stmt): Removed.
 931         (tree_check_instance, push_global_holes_if_new, tree_check,
 932         execute_tree_check): Use VECs instead of varrays.
 933         (gate_tree_check): Don't execute the CFG check when basic_block_info
 934         is not available.
 935
 936 2007-01-12  Sebastian Pop  <sebastian.pop@inria.fr>
 937
 938         * Merge from mainline (r115016:120733).
 939
 940 2007-01-12  Sebastian Pop  <sebastian.pop@inria.fr>
 941
 942         * Merge from mainline (r117632:117661).
 943
 944 2007-01-12  Sebastian Pop  <sebastian.pop@inria.fr>
 945
 946         * tree-dump.c (dump_option_value_in): Add TDF_DEBUG.
 947         * tree-pass.h (TDF_DEBUG, debug_p): New.
 948         * tree-scalar-evolution.c (set_scalar_evolution, get_scalar_evolution,
 949         get_scalar_evolution, add_to_evolution, set_nb_iterations_in_loop,
 950         get_loop_exit_condition, analyze_evolution_in_loop,
 951         analyze_initial_condition, analyze_scalar_evolution,
 952         instantiate_parameters, number_of_latch_executions): Use debug_p.
 953         * tree-chrec.c (chrec_apply): Use debug_p.
 954         * tree-data-ref.c: Include graphite.h.
 955         (dump_data_reference): Print also the access matrix.
 956         (analyze_array, analyze_indirect_ref, init_data_ref,
 957         analyze_offset_expr, address_analysis, object_analysis,
 958         create_data_ref, finalize_ddr_dependent,
 959         non_affine_dependence_relation, analyze_ziv_subscript,
 960         analyze_siv_subscript_cst_affine,
 961         compute_overlap_steps_for_affine_1_2, analyze_subscript_affine_affine,
 962         can_use_analyze_subscript_affine_affine, analyze_siv_subscript,
 963         analyze_miv_subscript, analyze_overlapping_iterations,
 964         build_classic_dist_vector, subscript_dependence_tester,
 965         compute_affine_dependence, analyze_all_data_dependences): Use debug_p.
 966         (build_access_matrix_with_af): No longer static.
 967         * tree-data-ref.h (scop_p): ... declaration here.
 968         (data_reference.scop): New field.
 969         (DR_SCOP, DR_ACCESS_MATRIX): New.
 970         (build_access_matrix_with_af, dr_num_subscripts): Declared.
 971         * graphite.c (print_graphite_bb): Call dump_data_references.
 972         (print_scop): Use scop_nb_loops and scop_dim_domain.
 973         (test_for_scop_bound): Use debug_p.
 974         (scan_tree_for_params): Use scop_nb_loops, scop_nb_loops and
 975         scop_nb_params.
 976         (scop_loop_index): Moved...
 977         (scop_record_loop): New.
 978         (build_scop_loop_nests): Use scop_record_loop.
 979         (build_scop_domain): Use scop_dim_domain.
 980         (build_access_matrix): Implemented.
 981         (build_scop_canonical_schedules): Use scop_nb_loops.
 982         (build_graphite_bb): Initialize GBB_SCOP.
 983         * graphite.h (scop_p): Moved...
 984         (graphite_bb.scop): New field.
 985         (graphite_bb.iteration_domain, GBB_DOMAIN, scop.nb_params,
 986         scop.nb_loops, scop.dim_domain, SCOP_NB_LOOPS, SCOP_NB_PARAMS,
 987         SCOP_DIM_DOMAIN, SCOP_STMTS): Removed.
 988         (scop_nb_params, scop_nb_loops, scop_dim_domain, gbb_dim_domain,
 989         scop_loop_index): New.
 990         * Makefile.in (tree-data-ref.o): Depends on graphite.h.
 991
 992 2007-01-05  Sebastian Pop  <sebastian.pop@inria.fr>
 993
 994         * Merge from mainline (r117661:120450).
 995
 996 2006-10-12  Sebastian Pop  <sebastian.pop@inria.fr>
 997
 998         * tree-scalar-evolution.c (instantiate_parameters_1): Don't stop
 999         at the first declaration outside the varying loop, instantiate as
1000         far as possible.
1001         * tree-chrec.c (for_each_scev_op): New.
1002         * tree-chrec.h (for_each_scev_op): Declared.
1003         * tree-ssa-loop.c (pass_graphite_trans): Don't dump the function.
1004         * tree-data-ref.c (get_references_in_stmt,
1005         find_data_references_in_stmt): New, from trunk.
1006         (find_data_references_in_loop): Use get_references_in_stmt
1007         and find_data_references_in_loop, modified as in trunk.
1008         (build_access_matrix_with_af): New.
1009         * tree-data-ref.h (data_reference): Add a field access_matrix.
1010         (data_ref_loc): New, as in trunk.
1011         * graphite.c (print_graphite_bb, bb_in_scop_p, stmt_in_scop_p,
1012         invariant_in_scop_p, param_index, scan_tree_for_params,
1013         scop_loop_index, build_scop_loop_nests, build_scop_domain, irp_data,
1014         idx_record_param, idx_record_params, build_access_matrix,
1015         build_scop_data_accesses, build_scop_canonical_schedules,
1016         build_graphite_bb, build_scop_bbs, find_params_in_bb,
1017         build_scop_params): New.
1018         * graphite.h (graphite_bb): New.
1019         (scop): Add fields static_schedule, params, loop_nest,
1020         iteration_domain.
1021         * lambda.h: Declare vecs of lambda_matrix.
1022         * tree-flow.h (print_loop_ir_bb): Declared.
1023         * tree-cfg.c (print_loop_ir_bb): New.
1024         (print_loop): Use print_loop_ir_bb.
1025
1026 2006-10-12  Sebastian Pop  <pop@cri.ensmp.fr>
1027
1028         * Merge from mainline (r115016:117632).
1029
1030 2006-10-11  Sebastian Pop  <pop@cri.ensmp.fr>
1031
1032         * graphite.c (debug_scops): Adjust definition for avoiding a bootstrap
1033         break due to a warning.
1034
1035 2006-10-10  Sebastian Pop  <pop@cri.ensmp.fr>
1036
1037         * graphite.c (print_scops, debug_scops): New.
1038         (graphite_transform): Renamed graphite_find_transform.
1039         * graphite.h (debug_scops): Declared.
1040
1041 2006-08-17  Sebastian Pop  <pop@cri.ensmp.fr>
1042
1043         * tree-match.c: Reformat following the GNU style.
1044         * tree-match.h: Reformat following the GNU style.
1045         * tree-pattern.h: Removed empty file.
1046         * Makefile.in: Remove references to tree-pattern.h.
1047         * tree-check.c: Reformat following the GNU style.
1048         (execute_tree_check): Move gate condition code to...
1049         (gate_tree_check): ...here.  New function.
1050         (pass_check): Use the gate function.
1051
1052 2006-07-04  Nic Volanschi <nic.volanschi@free.fr>
1053
1054         * tree-pattern.h: New. Tree pattern matching and checking using
1055         concrete syntax.
1056         * tree-check.c: New. Tree/CFG checking pass.
1057         * tree-match.c: New. Library for tree pattern matching.
1058         * opts.c, common.opt: Add options --ftree-check & --ftree-checks.
1059         * toplev.c, flags.h: Add globals for tree-check pass.
1060         * Makefile.in: Integrate the files in tree-check pass.
1061         * timevar.def, tree-optimize.c, tree-pass.h: Register tree-check pass.
1062         * pretty-print.c, pretty-print.h, tree-pretty-print.c, diagnostic.h:
1063         Introduce a "lazy" pretty-print mode.
1064         * tree.c, tree.h: Add tree_name.
1065
1066 2006-07-04  Sebastian Pop  <pop@cri.ensmp.fr>
1067
1068         * doc/invoke.texi (-fgraphite): Correct typo.
1069         * tree-scalar-evolution.c (number_of_iterations_for_all_loops): Update use
1070         of print_loop_ir.
1071         * testsuite/gcc.dg/graphite/scop-1.c: New.
1072         * testsuite/gcc.dg/graphite/scop-2.c: New.
1073         * testsuite/gcc.dg/graphite/graphite.exp: New.
1074         * graphite.c: Include domwalk.h.
1075         (print_scop): Print only the entry and exit blocks.
1076         (debug_scop): No longer static.
1077         (affine_expr): Fix formating.  Return also true when the expression is
1078         constant.
1079         (stmt_simple_for_scop_p): Fix formating.
1080         (build_scops): Use domwalk.
1081         (get_loop_start, end_scop, test_for_scop_bound): New.
1082         (graphite_transform_loops): Avoid printing on stderr.
1083         * graphite.h (debug_scop): Declared.
1084         * tree-flow.h (debug_loop_ir, print_loop_ir): Update declarations.
1085         * Makefile.in (graphite.o): Depend on domwalk.h.
1086         * tree-cfg.c (print_loop, print_pred_bbs, print_succ_bbs): Remove
1087         declarations for static functions.
1088         (print_loop, print_loop_ir, debug_loop_ir): Use an extra parameter for
1089         controlling output verbosity.
1090
1091 2006-06-26  Sebastian Pop  <pop@cri.ensmp.fr>
1092             Plesco Alexandru  <shurikx@gmail.com>
1093
1094         * doc/invoke.texi (-fgraphite): Document.
1095         * tree-pass.h (pass_graphite_transforms): Declared.
1096         * timevar.def (TV_GRAPHITE_TRANSFORMS): New.
1097         * tree-ssa-loop.c (graphite_transforms, gate_graphite_transforms): New.
1098         (pass_graphite_transforms): Defined.
1099         * tree-data-ref.c (free_data_ref, data_reference): Extern.
1100         * tree-data-ref.h (free_data_ref, data_reference): Declared.
1101         * graphite.c, graphite.h: New.
1102         * common.opt (fgraphite): Declared.
1103         * tree-flow.h (graphite_transform_loops): Declared.
1104         * Makefile.in (OBJS-common): Add graphite.o.
1105         (graphite.o): New rule.
1106         * passes.c (pass_graphite_transforms): Scheduled.
1107