1 2009-09-01 Sebastian Pop <sebastian.pop@amd.com>
3 * tree-scalar-evolution.c (instantiate_scev_name): New.
4 (instantiate_scev_1): Move code in instantiate_scev_name.
6 2009-08-28 Sebastian Pop <sebastian.pop@amd.com>
8 * Merge from mainline (150992:151171).
10 2009-08-25 Sebastian Pop <sebastian.pop@amd.com>
12 * graphite-dependences.c (graphite_legal_transform_bb): Call
13 pbb_remove_duplicate_pdrs.
14 * graphite-poly.c (can_collapse_pdr): Removed.
15 (pdr_find_duplicate): Removed.
16 (can_collapse_pdrs): New.
17 (pbb_remove_duplicate_pdrs): New.
18 (new_poly_dr): Do not look for duplicates.
19 * graphite-poly.h (struct poly_bb): New field pdr_duplicates_removed.
20 (PBB_PDR_DUPLICATES_REMOVED): New.
21 (pbb_remove_duplicate_pdrs): Declared.
23 2009-08-25 Sebastian Pop <sebastian.pop@amd.com>
25 * graphite-interchange.c (pbb_interchange_profitable_p): Adjust
26 the strides by multiplying by PDR_NB_REFS.
27 * graphite-poly.c (can_collapse_pdr): New.
28 (pdr_find_duplicate): New.
29 (new_poly_dr): Call pdr_find_duplicate. Collapse duplicate PDRs.
30 Initialize PDR_NB_REFS.
31 * graphite-poly.h (struct poly_dr): Add field nb_refs.
33 (new_poly_dr): Number of subscripts is a graphite_dim_t.
35 2009-08-25 Sebastian Pop <sebastian.pop@amd.com>
37 Revert one of the previous commits:
38 * graphite-dependences.c (graphite_legal_transform_bb): Avoid
39 the computation of symmetric data dependence relations.
40 (dependency_between_pbbs_p): Same.
42 2009-08-25 Sebastian Pop <sebastian.pop@amd.com>
45 * graphite-poly.c (apply_poly_transforms): Remove legality test before
48 2009-08-25 Sebastian Pop <sebastian.pop@amd.com>
50 * graphite-dependences.c (pddr_original_scattering): Return NULL
51 for read-read dependence relations.
52 * graphite-poly.h (enum poly_dr_type): Fix comment.
55 (pdr_may_write_p): New.
57 2009-08-25 Sebastian Pop <sebastian.pop@amd.com>
59 * graphite-poly.h (enum POLY_DR_TYPE): Renamed poly_dr_type.
60 (struct poly_dr): Same.
62 * graphite-poly.c (new_poly_dr): Same.
64 2009-08-25 Konrad Trifunovic <konrad.trifunovic@gmail.com>
65 Sebastian Pop <sebastian.pop@amd.com>
67 * graphite-blocking.c (pbb_strip_mine_loop_depth): Renamed
68 pbb_strip_mine_time_depth. Changed the implementation so that
69 transformation is expressed as a transformation on
70 time (scatttering) dimensions. Also, ensures that the 2d+1
71 scheduling format is preserved.
72 (pbb_strip_mine_profitable_p): Profitability is based on the
73 iteration number of a given time (scattering) dimension,
74 and not on a original loop depth dimension.
75 (pbb_strip_mine): Call pbb_number_of_iterations_at_time.
76 (pbb_do_strip_mine): Call psct_dynamic_dim.
77 * graphite-poly.c (pbb_number_of_iterations_at_time): New.
78 * graphite-poly.h (pbb_number_of_iterations_at_time): Declared.
79 (pbb_nb_dynamic_scattering_transform): New.
80 (psct_dynamic_dim): New.
82 2009-08-25 Konrad Trifunovic <konrad.trifunovic@gmail.com>
84 * graphite-ppl.c (ppl_max_for_le): Renamed ppl_max_for_le_pointset.
85 * graphite-ppl.h (ppl_max_for_le): Renamed ppl_max_for_le_pointset.
86 * graphite-poly.c (pbb_number_of_iterations): Rename ppl_max_for_le.
87 * graphite-interchange.c (build_linearized_memory_access): Same.
88 (memory_stride_in_loop): Same.
90 2009-08-25 Sebastian Pop <sebastian.pop@amd.com>
92 * graphite-dependences.c (pddr_original_scattering): New.
93 (graphite_legal_transform_dr): Call pddr_original_scattering.
96 * graphite-dependences.h (dot_deps): Declared.
97 * graphite-poly.c (new_poly_dr): Initialize PDR_ID.
98 (print_pdr): Print PDR_ID.
99 * graphite-poly.h (struct poly_dr): Add field id.
102 * graphite-scop-detection.c (dot_all_scops_1): Cleanup comment.
104 2009-08-22 Sebastian Pop <sebastian.pop@amd.com>
106 * graphite-dependences.c (graphite_carried_dependence_level_k): Do
107 not delete the original dependence relation.
109 2009-08-21 Sebastian Pop <sebastian.pop@amd.com>
111 * graphite-dependences.c (graphite_legal_transform_bb): Avoid
112 the computation of symmetric data dependence relations.
113 (dependency_between_pbbs_p): Same.
115 2009-08-21 Sebastian Pop <sebastian.pop@amd.com>
117 * graphite-dependences.c (new_poly_dr_pair): Renamed new_poly_ddr.
118 (eq_poly_dr_pair_p): Renamed eq_poly_ddr_p.
119 (hash_poly_dr_pair_p): Renamed hash_poly_ddr_p.
120 (free_poly_ddr): New.
121 (pddr_is_empty): New.
122 (dependence_polyhedron_1): Now returns a poly_ddr_p.
123 (dependence_polyhedron): Same. Remove useless gcc_assert.
125 (graphite_legal_transform_dr): Call pddr_is_empty and free_poly_ddr.
126 (graphite_carried_dependence_level_k): Call pddr_is_empty.
127 * graphite-dependences.h (enum poly_dependence_kind): New.
128 (poly_dr_pair): Renamed poly_ddr. Added a field kind.
129 (PDRP_SOURCE): Renamed PDDR_SOURCE.
130 (PDRP_SINK): Renamed PDDR_SINK.
131 (PDRP_DDP): Renamed PDDR_DDP.
133 (free_poly_ddr): Declared.
134 * graphite-poly.c (new_scop): Use the new hash function names.
135 * graphite-poly.h (struct scop): Renamed field original_pdr_pairs
137 (SCOP_ORIGINAL_PDR_PAIRS): Renamed SCOP_ORIGINAL_PDDRS.
139 2009-08-21 Sebastian Pop <sebastian.pop@amd.com>
141 * Merge from mainline (150764:150992).
143 2009-08-18 Sebastian Pop <sebastian.pop@amd.com>
145 * cfgloopmanip.c (create_empty_loop_on_edge): Generate upper
146 bounds with LT_EXPR to make niter analysis more precise on code
147 generated by Graphite.
149 2009-08-18 Sebastian Pop <sebastian.pop@amd.com>
151 * graphite-dependences.c (graphite_legal_transform_dr): Fix formatting.
152 (graphite_legal_transform_bb): Same.
153 (poly_drs_may_alias_p): Same.
155 2009-08-15 Sebastian Pop <sebastian.pop@amd.com>
158 * graphite-ppl.c (ppl_max_for_le): Correct the use of
159 ppl_Pointset_Powerset_C_Polyhedron_maximize.
161 2009-08-13 Sebastian Pop <sebastian.pop@amd.com>
163 * graphite-poly.c (print_pbb): Print PBB index.
165 2009-08-13 Sebastian Pop <sebastian.pop@amd.com>
167 * Merge from mainline (r150672:150764).
169 2009-08-13 Sebastian Pop <sebastian.pop@amd.com>
171 * graphite-interchange.c (ppl_max_for_le): Moved...
172 * graphite-poly.c (pbb_number_of_iterations): Call ppl_max_for_le.
173 * graphite-ppl.c (ppl_max_for_le): ... here.
174 * graphite-ppl.h (ppl_max_for_le): Declared.
176 2009-08-12 Sebastian Pop <sebastian.pop@amd.com>
178 * Merge from mainline (r150372:150672).
180 2009-08-11 Sebastian Pop <sebastian.pop@amd.com>
183 * sese.c (convert_for_phi_arg): New.
184 (add_guard_exit_phis): Use convert_for_phi_arg.
186 * testsuite/gfortran.dg/graphite/id-17.f: New.
188 2009-08-11 Sebastian Pop <sebastian.pop@amd.com>
190 * graphite-sese-to-poly.c (pdr_add_data_dimensions): Dont add
191 unknown subscript upper bounds.
193 * testsuite/gcc.dg/graphite/interchange-6.c: Un-XFAIL.
195 2009-08-11 Sebastian Pop <sebastian.pop@amd.com>
196 Pranav Garg <pranav.garg2107@gmail.com>
198 * graphite-interchange.c (gather_access_strides): Removed.
199 (ppl_max_for_le): New.
200 (build_linearized_memory_access): New.
201 (memory_stride_in_loop): New.
202 (pbb_interchange_profitable_p): Reimplemented.
203 * graphite-ppl.h (ppl_new_id_map): New.
204 (ppl_interchange): New.
206 * testsuite/gcc.dg/graphite/interchange-6.c: XFAILed.
208 2009-08-11 Sebastian Pop <sebastian.pop@amd.com>
210 * graphite-interchange.c (compute_subscript): Removed.
211 (compute_array_size_cstr): Removed.
212 (compute_array_size_poly): Removed.
213 (compute_array_size): Removed.
214 (gather_access_strides_poly): Removed.
215 (gather_access_strides): Empty.
217 2009-08-11 Sebastian Pop <sebastian.pop@amd.com>
219 * graphite-dependences.c (dependence_polyhedron_1): Replace
220 pdr_nb_subscripts with PDR_NB_SUBSCRIPTS.
221 (graphite_legal_transform_dr): Same.
222 (graphite_carried_dependence_level_k): Same.
223 * graphite-poly.c (new_poly_dr): Add a parameter nb_subscripts.
224 Initialize PDR_NB_SUBSCRIPTS.
225 (print_pdr_access_layout): Replace pdr_nb_subscripts with
227 * graphite-poly.h (struct poly_dr): Add nb_subscripts field.
228 (PDR_NB_SUBSCRIPTS): New.
229 (pdr_nb_subscripts): Removed.
230 (pdr_dim): Simplified.
231 * graphite-sese-to-poly.c (build_poly_dr): Replace pdr_nb_subscripts
232 with PDR_NB_SUBSCRIPTS.
234 2009-08-11 Sebastian Pop <sebastian.pop@amd.com>
236 * graphite-interchange.c (compute_array_size): Remove use of
238 * graphite-poly.c (new_poly_dr): Remove argument data_container.
239 Do not initialize PDR_DATA_CONTAINER.
240 (print_pdr): Do not print PDR_DATA_CONTAINER.
241 * graphite-poly.h (struct poly_dr): Remove data_container field.
242 (PDR_DATA_CONTAINER): Removed.
243 * graphite-sese-to-poly.c (pdr_add_data_dimensions): Remove use of
245 (build_poly_dr): Same.
247 2009-08-11 Sebastian Pop <sebastian.pop@amd.com>
249 * testsuite/gcc.dg/graphite/interchange-9.c: New.
251 2009-08-05 Konrad Trifunovic <konrad.trifunovic@gmail.com>
252 Sebastian Pop <sebastian.pop@amd.com>
254 * graphite-dependences.c (graphite_legal_transform_dr): Work on a
255 copy of the dependence polyhedron. Free the temporary objects.
256 (graphite_carried_dependence_level_k): Free unused objects before
259 * testsuite/gcc.dg/graphite/interchange-1.c: XFAILed.
260 * testsuite/gcc.dg/graphite/interchange-2.c: XFAILed.
261 * testsuite/gcc.dg/graphite/interchange-3.c: XFAILed.
262 * testsuite/gcc.dg/graphite/interchange-4.c: XFAILed.
263 * testsuite/gcc.dg/graphite/interchange-7.c: XFAILed.
265 2009-08-05 Sebastian Pop <sebastian.pop@amd.com>
267 * graphite-blocking.c (scop_do_strip_mine): Call store_scattering.
268 Early return without analyzing the data dependences if no
269 transform has been done. Call restore_scattering if the transform
271 (graphite-interchange.c): Same.
272 * graphite-poly.c (print_scattering_function): Test for PBB_TRANSFORMED.
273 (graphite_read_transforms): Initialize PBB_TRANSFORMED.
274 (apply_poly_transforms): Do not gcc_assert that
275 the transform is legal.
276 (new_poly_bb): Initialize PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
277 Do not initialize PBB_NB_SCATTERING_TRANSFORM, PBB_NB_LOCAL_VARIABLES,
278 PBB_TRANSFORMED_SCATTERING, and PBB_ORIGINAL_SCATTERING.
279 (free_poly_dr): Free PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL.
280 * graphite-poly.h (struct poly_scattering): New.
281 (struct poly_bb): Add original, transformed, and saved fields.
282 Remove transformed_scattering, original_scattering, nb_local_variables,
283 and nb_scattering_transform fields.
284 (PBB_ORIGINAL, PBB_TRANSFORMED, PBB_SAVED): New.
285 (poly_scattering_new): New.
286 (poly_scattering_free): New.
287 (poly_scattering_copy): New.
288 (store_scattering_pbb): New.
289 (store_scattering): New.
290 (restore_scattering_pbb): New.
291 (restore_scattering): New.
292 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons):
293 Initialize PBB_TRANSFORMED and PBB_ORIGINAL.
295 2009-08-05 Sebastian Pop <sebastian.pop@amd.com>
297 * graphite-poly.c (print_pbb): Add parentheses in the pretty print.
300 2009-08-05 Sebastian Pop <sebastian.pop@amd.com>
302 * Makefile.in (graphite.o): Depends on PREDICT_H.
303 * graphite.c: Include predict.h.
304 (graphite_finalize): Call tree_estimate_probability.
305 * predict.c (predict_loops): Do not call scev_initialize and
307 (tree_estimate_probability_bb): New.
308 (tree_estimate_probability): Do not initialize loops: move that
309 code to the driver. Call tree_estimate_probability_bb.
310 (tree_estimate_probability_driver): New.
311 (pass_profile): Use tree_estimate_probability_driver.
312 * predict.h (tree_estimate_probability): Declared.
314 2009-08-05 Sebastian Pop <sebastian.pop@amd.com>
316 * graphite-clast-to-gimple.c (gloog): Add time to TV_GRAPHITE_CODE_GEN.
317 * graphite-dependences.c (graphite_legal_transform): Add time to
318 TV_GRAPHITE_DATA_DEPS.
319 (dependency_between_pbbs_p): Same.
320 * timevar.def (TV_GRAPHITE_DATA_DEPS, TV_GRAPHITE_CODE_GEN): New.
322 2009-08-03 Sebastian Pop <sebastian.pop@amd.com>
324 * Merge from mainline (r149952:150372).
326 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
328 * ChangeLog.graphite: Fix indenting, white spaces and 80 columns.
329 * graphite-blocking.c: Same.
330 * graphite-clast-to-gimple.c: Same.
331 * graphite-dependences.c: Same.
332 * graphite-poly.c: Same.
333 * graphite-poly.h: Same.
334 * graphite-ppl.c: Same.
335 * graphite-scop-detection.c: Same.
336 * graphite-sese-to-poly.c: Same.
339 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
341 * graphite-sese-to-poly.c (loop_entry_phi_arg): New.
342 (remove_simple_copy_phi): New.
343 (remove_invariant_phi): New.
344 (simple_copy_phi_p): New.
345 (reduction_phi_p): New.
346 (gsi_for_ssa_name_def): New.
347 (insert_out_of_ssa_copy): New.
348 (insert_out_of_ssa_copy_on_edge): New.
349 (create_zero_dim_array): New.
350 (scalar_close_phi_node_p): New.
351 (rewrite_close_phi_out_of_ssa): New.
352 (rewrite_phi_out_of_ssa): New.
353 (rewrite_reductions_out_of_ssa): New.
354 (build_poly_scop): Call rewrite_reductions_out_of_ssa.
356 * testsuite/gcc.dg/graphite/id-11.c: New.
357 * testsuite/gcc.dg/graphite/id-15.c: New.
358 * testsuite/gcc.dg/graphite/interchange-1.c: Un-XFAIL.
359 * testsuite/gcc.dg/graphite/interchange-2.c: Un-XFAIL.
360 * testsuite/gcc.dg/graphite/interchange-3.c: Un-XFAIL.
361 * testsuite/gcc.dg/graphite/interchange-4.c: Un-XFAIL.
362 * testsuite/gcc.dg/graphite/interchange-7.c: Un-XFAIL.
363 * testsuite/gcc.dg/graphite/scop-matmult.c: Un-XFAIL.
364 * testsuite/gfortran.dg/graphite/id-13.f: New.
365 * testsuite/gfortran.dg/graphite/id-5.f: New.
367 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
369 * graphite-clast-to-gimple.c (graphite_loop_normal_form): Do not
370 check that nb_reductions_in_loop is zero.
371 * graphite-scop-detection.c (harmful_stmt_in_bb): Don't filter out
373 (nb_reductions_in_loop): Removed.
374 (graphite_can_represent_loop): Do not call nb_reductions_in_loop.
375 * graphite-sese-to-poly.c (phi_node_is_iv): Removed.
376 (bb_contains_non_iv_scalar_phi_nodes): Removed.
377 (scop_contains_non_iv_scalar_phi_nodes): Removed.
378 (build_poly_scop): Do not call scop_contains_non_iv_scalar_phi_nodes.
380 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
382 * graphite-clast-to-gimple.c (build_cloog_prog): Do not code generate
383 statements that have an empty iteration domain.
384 * testsuite/gfortran.dg/graphite/id-16.f: New.
386 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
388 * tree-scalar-evolution.c (instantiate_scev_1): Return
389 chrec_dont_know when the result is not above instantiate_below.
390 * graphite-scop-detection.c (scopdet_basic_block_info): Fix formatting.
391 * graphite-sese-to-poly.c (create_linear_expr_from_tree): Assert that
392 the tree has a known scalar evolution.
393 * testsuite/gfortran.dg/graphite/id-14.f: New.
394 * testsuite/gfortran.dg/graphite/id-15.f: New.
396 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
398 * sese.c (rename_variables_in_stmt): Pass in an extra parameter
400 (rename_variables): Keep inserting renames after the ones already
403 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
405 * graphite-sese-to-poly.c (compare_bb_depths): New.
406 (graphite_sort_dominated_info): New.
407 (build_scop_bbs_1): Call graphite_sort_dominated_info.
408 (build_scop_scattering): Fix comment.
410 2009-07-28 Sebastian Pop <sebastian.pop@amd.com>
412 * graphite.c (graphite_finalize): Call print_loops instead of
413 dump_function_to_file.
414 * testsuite/gcc.dg/graphite/graphite.exp: Fix formatting.
415 * testsuite/gcc.dg/graphite/pr35356-1.c: New. Look for the number of
416 loops generated in the graphite output file.
417 * testsuite/gcc.dg/graphite/pr35356-2.c: New.
418 * testsuite/gcc.dg/graphite/pr35356-3.c: New. XFAILed for now.
419 * testsuite/gfortran.dg/graphite/id-12.f: New.
421 2009-07-24 Li Feng <nemokingdom@gmail.com>
423 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-8.c:
426 2009-07-24 Li Feng <nemokingdom@gmail.com>
427 Tobias Grosser <grosser@fim.uni-passau.de>
429 * graphite-sese-to-poly.c (pdr_add_alias_set): Use data reference's
430 alias set number build alias in ACCESSES polyhedron.
431 (build_alias_set_for_drs): New.
432 (build_pbb_drs): Added build_alias_set_for_drs.
433 * graphite-dependences.c (poly_drs_may_alias_p): New.
434 (graphite_carried_dependence_level_k): Check alias information
435 before building polyhedron.
437 2009-07-24 Tobias Grosser <grosser@fim.uni-passau.de>
439 * Makefile.in (lambda-code.o): Fix formatting.
441 2009-07-24 Tobias Grosser <grosser@fim.uni-passau.de>
443 * Merge from mainline (r149350-149952)
445 2009-07-18 Tobias Grosser <grosser@fim.uni-passau.de>
447 * graphite-poly.c (apply_poly_transforms): Move strip_mine
448 before interchange to prepare for loop blocking.
450 2009-07-18 Tobias Grosser <grosser@fim.uni-passau.de>
452 * graphite-poly.c (apply_poly_transforms): Add checks after every
454 * graphite-sese-to-poly.c (build_poly_scop): Remove check, as already
455 done in apply_poly_transforms.
457 2009-07-17 Konrad Trifunovic <konrad.trifunovic@gmail.com>
459 * graphite-dependences.c (build_lexicographically_gt_constraint):
460 Replace RES parameter with *RES.
461 (dependence_polyhedron_1): Pass an address of the parameter RES
462 instead of value of RES.
464 2009-07-16 Sebastian Pop <sebastian.pop@amd.com>
466 * graphite.c (graphite_finalize): Fix comment.
467 (graphite_transform_loops): Reset scev info after code generation
470 2009-07-16 Sebastian Pop <sebastian.pop@amd.com>
472 * graphite.c (graphite_finalize): Call scev_reset.
474 2009-07-16 Sebastian Pop <sebastian.pop@amd.com>
476 * graphite-clast-to-gimple.c (compute_cloog_iv_types): Do not create
477 GBB_CLOOG_IV_TYPES hash table twice.
478 * graphite-sese-to-poly.c (free_gimple_bb): Call free_data_refs.
479 (add_condition_to_domain): Clear GMP values.
481 2009-07-16 Sebastian Pop <sebastian.pop@amd.com>
483 * graphite-dependences.c: Fix formatting.
484 * graphite-poly.c (free_poly_dr): Also free PDR_DATA_CONTAINER.
485 (pbb_number_of_iterations): Free ppl_Linear_Expression.
486 * graphite-sese-to-poly.c: Fix formatting.
487 * graphite.c (graphite_transform_loops): Create the hash table
488 after the early return.
490 2009-07-16 Sebastian Pop <sebastian.pop@amd.com>
492 * testsuite/gcc.dg/graphite/id-14.c: New.
493 * testsuite/gcc.dg/graphite/pr40157.c: New.
494 * testsuite/gfortran.dg/graphite/id-11.f: New.
496 2009-07-16 Sebastian Pop <sebastian.pop@amd.com>
498 * graphite-sese-to-poly.c (nb_pbbs_in_loops): New.
499 (build_poly_scop): Return false when there are no pbbs within
500 loops to avoid to pass to cloog scops with no loops.
502 2009-07-16 Sebastian Pop <sebastian.pop@amd.com>
504 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons): Avoid
505 useless test "i % 2".
506 (build_pbb_scattering_polyhedrons): Fix formatting.
507 (build_poly_dr): Same.
508 * graphite.c (graphite_transform_loops): Restructure.
510 2009-07-14 Razya Ladelsky <razya@il.ibm.com>
512 * tree-ssa-loop-manip.c (rewrite_phi_with_iv): Remove
513 reduction_list parameter.
514 (rewrite_all_phi_nodes_with_iv): Same.
515 (canonicalize_loop_ivs): Same.
516 * tree-parloops.c (struct brli): Removed.
517 (build_reduction_list_info): Removed.
518 (build_new_reduction): New.
519 (analyze_reduction_list): Removed.
520 (gather_scalar_reductions): Find reductions instead of phi
521 nodes that can't be canonicalized.
522 (try_create_reduction_list): Remove reduction_list parameter.
523 (gen_parallel_loop): Same.
524 (parallelize_loops): Remove analyze_reductions variable,
525 initialization and free.
526 Change reduction_list htab initialization to reduction_info
527 elements instead of ssa names.
528 Call try_create_reduction_list and gen_parallel_loop without
529 analyzed_reduction argument.
530 * graphite-clast-to-gimple (graphite_loop_normal_form): Call
531 canonicalize_loop_ivs with one less argument.
532 * tree-flow.h (canonicalize_loop_ivs): Remove one argument.
534 2009-07-14 Konrad Trifunovic <konrad.trifunovic@gmail.com>
536 * graphite-dependences.c (new_poly_dr_pair): New.
537 (dependence_polyhedron): Renamed into dependence_polyhedron_1.
538 (new_poly_dr_pair): New.
539 (eq_poly_dr_pair_p): New.
540 (hash_poly_dr_pair_p): New.
541 * graphite-dependences.h (struct poly_dr_pair): New.
542 (eq_poly_dr_pair_p): Declared.
543 (hash_poly_dr_pair_p): Declared.
544 * graphite-poly.c (new_scop): Initialize SCOP_ORIGINAL_PDR_PAIRS.
545 (free_scop): Free SCOP_ORIGINAL_PDR_PAIRS.
546 * graphite-poly.h (struct scop): Add original_pdr_pairs field.
547 * Makefile.in (graphite-poly.o): Add dependence on
548 graphite-dependences.h.
550 2009-07-14 Sebastian Pop <sebastian.pop@amd.com>
552 * graphite-scop-detection.c (graphite_can_represent_scev): Do not let
553 polynomials of degree > 1 pass to Graphite.
554 * tree-chrec.c (scev_is_linear_expression): Call
555 evolution_function_is_affine_multivariate_p.
556 * testsuite/gfortran.dg/graphite/id-10.f90: New.
558 2009-07-14 Sebastian Pop <sebastian.pop@amd.com>
560 * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop):
561 Instantiate scevs varying in outer loops.
562 * testsuite/gfortran.dg/graphite/id-9.f: Correct testcase.
564 2009-07-14 Sebastian Pop <sebastian.pop@amd.com>
566 * graphite-sese-to-poly.c (build_loop_iteration_domains): Do not insert
567 redundant constraint.
569 2009-07-14 Sebastian Pop <sebastian.pop@amd.com>
571 * testsuite/gcc.dg/graphite/graphite.exp: Fix comments.
572 * testsuite/gfortran.dg/graphite/graphite.exp: Trigger actions
573 based on the file names as in the C testsuite.
574 * testsuite/gfortran.dg/graphite/block-1.f90: Fix patterns.
575 * testsuite/gfortran.dg/graphite/block-2.f: Same.
576 * testsuite/gfortran.dg/graphite/block-3.f90: Same.
577 * testsuite/gfortran.dg/graphite/block-4.f90: Same.
578 * testsuite/gfortran.dg/graphite/id-1.f90: Same.
579 * testsuite/gfortran.dg/graphite/id-2.f90: Same.
580 * testsuite/gfortran.dg/graphite/id-3.f90: Same.
581 * testsuite/gfortran.dg/graphite/id-4.f90: Same.
582 * testsuite/gfortran.dg/graphite/id-6.f: Same.
583 * testsuite/gfortran.dg/graphite/id-9.f: Same.
584 * testsuite/gfortran.dg/graphite/interchange-1.f: Same.
585 * testsuite/gfortran.dg/graphite/interchange-2.f: Same.
586 * testsuite/gfortran.dg/graphite/scop-1.f: Same.
588 2009-07-14 Sebastian Pop <sebastian.pop@amd.com>
590 * sese.c (expand_scalar_variables_call): New.
591 (expand_scalar_variables_ssa_name): Handle calls in expander.
593 2009-07-13 Sebastian Pop <sebastian.pop@amd.com>
595 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-6.c:
596 Expect to see the pattern twice.
597 * testsuite/gcc.dg/graphite/interchange-0.c: Un-XFAIL.
598 * testsuite/gcc.dg/graphite/interchange-5.c: Same.
599 * testsuite/gcc.dg/graphite/interchange-6.c: Same.
601 2009-07-13 Sebastian Pop <sebastian.pop@amd.com>
603 * testsuite/gcc.dg/graphite/id-10.c: New.
604 * testsuite/gcc.dg/graphite/id-12.c: New.
605 * testsuite/gfortran.dg/graphite/id-7.f: New.
606 * testsuite/gfortran.dg/graphite/id-8.f: New.
608 2009-07-13 Sebastian Pop <sebastian.pop@amd.com>
610 * graphite-sese-to-poly.c (pdr_add_data_dimensions): Fix division by
613 2009-07-13 Sebastian Pop <sebastian.pop@amd.com>
615 * sese.c (rename_variables_in_stmt): Call fold_convert during renaming.
617 2009-07-13 Sebastian Pop <sebastian.pop@amd.com>
619 * sese.c (expand_scalar_variables_stmt): Avoid unnecessary expansion.
621 2009-07-10 Sebastian Pop <sebastian.pop@amd.com>
623 * graphite-sese-to-poly.c (pdr_add_memory_accesses): Fix order of
624 building PDR subscripts.
626 2009-07-10 Sebastian Pop <sebastian.pop@amd.com>
628 * graphite-sese-to-poly.c (pdr_add_data_dimensions): Fix the
629 computation of array sizes.
631 2009-07-10 Sebastian Pop <sebastian.pop@amd.com>
633 * graphite-sese-to-poly.c (add_param_constraints): Disabled.
635 2009-07-10 Tobias Grosser <grosser@fim.uni-passau.de>
637 * graphite-dependences.c (map_into_dep_poly, map_dr_into_dep_poly,
638 build_pairwise_constraint, dr_equality_constraints,
639 build_pairwise_scheduling_equality,
640 build_pairwise_scheduling_inequality, lexicographically_gt_p,
641 build_lexicographically_gt_constraint, dependence_polyhedron,
642 graphite_legal_transform_dr, graphite_carried_dependence_level_k):
643 Move from NNC_Polyhedron to C_Polyhedron.
644 * graphite-interchange.c (compute_array_size_poly,
645 gather_access_strides): Dito.
646 * graphite-poly.c (apply_poly_transforms, new_poly_dr, free_poly_bb,
647 free_scop, pbb_number_of_iterations): Dito.
648 * graphite-poly.h (struct poly_dr, pdr_nb_subscripts, struct poly_bb,
649 pbb_dim_iter_domain, struct scop): Dito.
650 * graphite-ppl.c (new_Constraint_System_from_Cloog_Matrix,
651 new_Cloog_Domain_from_ppl_Polyhedron,
652 new_Cloog_Domain_from_ppl_Pointset_Powerset, ppl_set_coef_gmp,
653 ppl_insert_dimensions_pointset, ppl_insert_dimensions_pointset,
654 ppl_strip_loop, ppl_strip_loop, ppl_print_polyhedron_matrix,
655 ppl_print_powerset_matrix, debug_ppl_polyhedron_matrix,
656 debug_ppl_powerset_matrix, ppl_read_polyhedron_matrix): Dito.
657 * graphite-ppl.h (ppl_Pointset_Powerset_C_Polyhedron_t,
658 new_C_Polyhedron_from_Cloog_Matrix, ppl_print_powerset_matrix,
659 debug_ppl_powerset_matrix, ppl_insert_dimensions_pointset): Dito.
660 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons,
661 build_loop_iteration_domains, ppl_constraint_type_from_tree_code,
662 add_condition_to_domain, add_condition_to_pbb, build_scop_context,
663 build_scop_iteration_domain, build_poly_dr): Dito
665 2009-07-09 Sebastian Pop <sebastian.pop@amd.com>
667 * testsuite/gcc.dg/graphite/graphite.exp: Added a rule to execute
669 * testsuite/gcc.dg/graphite/run-id-1.c: New.
671 2009-07-09 Sebastian Pop <sebastian.pop@amd.com>
673 * graphite-sese-to-poly.c (build_loop_iteration_domains): Add the
674 positivity constraint on the symbolic number of iterations.
676 2009-07-09 Sebastian Pop <sebastian.pop@amd.com>
678 * graphite-sese-to-poly.c (build_loop_iteration_domains): Rewrite.
680 2009-07-09 Sebastian Pop <sebastian.pop@amd.com>
681 Tobias Grosser <grosser@fim.uni-passau.de>
683 * graphite-clast-to-gimple.c (build_scop_context): Removed.
684 (build_cloog_prog): Directly use SCOP_CONTEXT.
685 * graphite-poly.c (new_scop): Initialize SCOP_CONTEXT.
686 (free_scop): Free SCOP_CONTEXT.
687 (print_scop_context): New.
688 (print_scop): Call print_scop_context.
689 (debug_scop_context): New.
690 * graphite-poly.h (print_scop_context, debug_scop_context): Declared.
691 (struct scop): Added field context.
693 * graphite-sese-to-poly.c (add_param_constraints): New.
694 (build_scop_context): New.
695 (build_poly_scop): Call build_scop_context.
697 2009-07-09 Sebastian Pop <sebastian.pop@amd.com>
699 * graphite-clast-to-gimple.c (gmp_cst_to_tree): Moved...
700 * graphite-ppl.c (ppl_set_inhomogeneous_gmp, ppl_set_coef_gmp): New.
701 (ppl_set_inhomogeneous, ppl_set_coef): Moved...
702 * graphite-ppl.h: Include double-int.h and tree.h.
703 (ppl_set_inhomogeneous_gmp, ppl_set_coef_gmp): Declared.
704 (ppl_set_inhomogeneous, ppl_set_coef): ...here.
705 (gmp_cst_to_tree): ...here. Reimplemented using mpz_get_double_int.
706 (tree_int_to_gmp, ppl_set_inhomogeneous_tree, ppl_set_coef_tree): New.
708 2009-07-09 Sebastian Pop <sebastian.pop@amd.com>
710 * graphite-clast-to-gimple.c (clast_to_gcc_expression_red): Generate
711 POINTER_PLUS_EXPR for pointer types.
712 (clast_to_gcc_expression): Same.
714 2009-07-09 Sebastian Pop <sebastian.pop@amd.com>
716 * graphite-poly.c (print_scattering_function): Early return when
717 PBB_TRANSFORMED_SCATTERING is not initialized.
718 (print_pbb_domain): Early return when PBB_DOMAIN is not initialized.
720 2009-07-08 Sebastian Pop <sebastian.pop@amd.com>
722 * tree-parloops.c (analyze_reduction_list): Remove unused variable
725 2009-07-08 Razya Ladelsky <razya@il.ibm.com>
727 * tree-parloops.c (analyze_reduction_list): Change return
729 (try_create_reduction_list): Move the call to
730 analyze_reduction_list to the beginining.
731 Call reduction_phi with analyzed_reductions as argument
732 instead of reduction_list.
734 2009-07-08 Tobias Grosser <grosser@fim.uni-passau.de>
736 * Merge from mainline (r148296:149346)
738 2009-07-07 Sebastian Pop <sebastian.pop@amd.com>
740 * graphite-scop-detection.c (graphite_can_represent_init): New.
741 (graphite_can_represent_scev): Call graphite_can_represent_init:
742 check that the initial value does not contain multiplications of
744 (stmt_has_simple_data_refs_p): New.
745 (stmt_simple_for_scop_p): Call stmt_simple_for_scop_p.
746 (is_simple_operand): Fix formatting.
747 * graphite-sese-to-poly.c (try_generate_gimple_bb): Fix formatting.
749 2009-07-07 Sebastian Pop <sebastian.pop@amd.com>
751 * testsuite/gcc.dg/graphite/id-13.c: New.
752 * graphite-sese-to-poly.c (graphite_stmt_p): Do not call
753 analyze_scalar_evolution, use scalar_evolution_in_region.
754 (scan_tree_for_params_right_scev): Add extra assert.
755 (parameter_index_in_region_1): Split from parameter_index_in_region.
756 (idx_record_params): Use scalar_evolution_in_region.
757 (find_params_in_bb): Same.
758 (find_scop_parameters): Same.
759 (build_loop_iteration_domains): Same.
760 (create_linear_expr_from_tree): Same.
761 * sese.c (scalar_evolution_in_region): New.
762 * sese.h (scalar_evolution_in_region): Declared.
763 (defined_in_sese_p): New.
764 * tree-scalar-evolution.c (compute_overall_effect_of_inner_loop): Not
766 * tree-scalar-evolution.h (compute_overall_effect_of_inner_loop):
769 2009-07-07 Sebastian Pop <sebastian.pop@amd.com>
771 * Makefile.in: Replace dependences on tree-chrec.h with SCEV_H.
772 TREE_DATA_REF_H also implies SCEV_H.
774 2009-07-07 Sebastian Pop <sebastian.pop@amd.com>
776 * graphite-poly.c (print_scop_params): New.
777 (print_scop): Call print_scop_params.
778 (debug_scop_params): New.
779 * graphite-poly.h (print_scop_params, debug_scop_params): Declared.
781 2009-07-07 Li Feng <nemokingdom@gmail.com>
783 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-4.c: New.
784 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-5.c: New.
785 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-6.c: New.
786 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-7.c: New.
787 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-8.c: New.
788 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-9.c: New.
790 2009-07-07 Li Feng <nemokingdom@gmail.com>
792 * graphite-clast-to-gimple.c (mark_loops_parallel): Dump information
793 for dependency checking part.
794 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-1.c: Add
795 tests for dependency checking.
796 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-2.c: Ditto.
797 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-3.c: Ditto.
798 * testsuite/gcc.dg/graphite/graphite_autopar/graphite_autopar.exp: Add
799 flag -fdump-tree-graphite-all for autopar testsuites.
801 2009-07-06 Sebastian Pop <sebastian.pop@amd.com>
803 * Makefile.in (tree-ssa-loop-manip.o): Depends on langhooks.h.
804 * tree-parloops.c (rewrite_phi_with_iv, rewrite_all_phi_nodes_with_iv,
805 canonicalize_loop_ivs): Moved...
806 * tree-ssa-loop-manip.c: ... here. Include langhooks.h.
808 2009-07-06 Sebastian Pop <sebastian.pop@amd.com>
810 * tree-parloops.c (try_create_reduction_list): Pass an extra
811 argument analyzed_reductions. Call analyze_reduction_list.
812 (gen_parallel_loop): Do not call analyze_reduction_list.
813 (parallelize_loops): Init and finalize analyzed_reductions.
815 2009-07-06 Li Feng <nemokingdom@gmail.com>
817 * testsuite/gcc.dg/graphite/graphite_autopar/graphite_autopar.exp:
818 Added flag -fno-loop-strip-mine for autopar testcase.
820 2009-07-04 Li Feng <nemokingdom@gmail.com>
822 * graphite-dependences.c (graphite_carried_dependence_level_k): Use
823 transformed scattering dimension instead of unmatch orignal when
824 calling dependence_polyhedron.
826 2009-06-30 Sebastian Pop <sebastian.pop@amd.com>
828 * opts.c (decode_options): Enable flag_loop_strip_mine at -O2.
830 2009-06-30 Sebastian Pop <sebastian.pop@amd.com>
832 * graphite-poly.c (pbb_number_of_iterations): Check for returned
833 value 1 from ppl_Pointset_Powerset_NNC_Polyhedron_maximize.
835 2009-06-30 Sebastian Pop <sebastian.pop@amd.com>
837 * graphite-blocking.c (pbb_strip_mine_profitable_p): New.
838 (pbb_do_strip_mine): Call pbb_strip_mine_profitable_p.
839 * graphite-poly.c (pbb_number_of_iterations): New.
840 * graphite-poly.h (pbb_number_of_iterations): Declared.
841 (pbb_iterator_dim, pbb_parameter_dim): New.
843 2009-06-29 Sebastian Pop <sebastian.pop@amd.com>
845 * graphite-clast-to-gimple.c (graphite_create_new_loop): Revert the
846 last commit on type of lower and upper bound of loops.
848 2009-06-29 Li Feng <nemokingdom@gmail.com>
850 * Makefile.in (graphite-clast-to-gimple.o): Added dependence on
851 graphite-dependences.h.
852 * graphite-clast-to-gimple.c (new_bb_pbb_def): New.
853 (mark_bb_with_pbb): New.
854 (get_stmtfor_depth): New.
855 (find_pbb_via_hash): New.
856 (dependency_in_loop_p): New.
857 (mark_loops_parallel): New.
858 (free_aux_in_new_loops): New.
859 (translate_clast): Add parameter BB_PBB_MAPPING. Mark newly created
860 bb with it's relevant pbb. Mark newly created loops. Remove mark
861 innermost loop parallel without checking.
862 (gloog): Add parameter BB_PBB_MAPPING.
863 * graphite-clast-to-gimple.h (struct bb_pbb_def): New.
864 (gloog): Change declaration.
865 (mark_loop_parallel): Make extern.
866 (free_aux_in_new_loops): Declare.
867 (bb_pbb_map_hash): New.
868 (eq_bb_pbb_map): New.
869 * graphite.c (graphite_transform_loops): Added BB_PBB_MAPPING. Trigger
870 auto parallelization when flag_graphite_force_parallel is set.
871 (graphite_finalize): Added free_aux_in_new_loops.
872 * tree-parloops.c (parallelize_loops): Only generate parallel code for
873 the innermost loop that marked parallel. Use
874 flag_graphite_force_parallel instead of loop->can_be_parallel.
875 (loop_parallel_p): Move inner most checking out of function.
877 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
879 * graphite-clast-to-gimple.c (graphite_create_new_loop): Make the
880 type of lower and upper bound of loops signed long int.
882 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
884 * cfgloopmanip.c (create_empty_loop_on_edge): Gimplify the loop exit
885 expression outside the loop.
887 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
889 * gcc.dg/graphite/interchange-8.c: New.
891 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
893 * gcc.dg/graphite/interchange-0.c: XFailed.
894 * gcc.dg/graphite/interchange-5.c: XFailed.
895 * gcc.dg/graphite/interchange-6.c: XFailed.
897 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
899 * graphite-interchange.c (compute_array_size_poly): The end of the
900 recursion should return 1.
902 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
904 * graphite-interchange.c (compute_array_size_cstr): Allow the
905 subscript multiplier to be -1.
906 (compute_array_size): Use PDR_DATA_CONTAINER and not PDR_ACCESSES.
907 * graphite-poly.c (new_poly_dr): Takes an extra argument for the
908 data_container. Initializes PDR_DATA_CONTAINER.
909 (print_pdr_access_layout): New.
910 (print_pdr): Call print_pdr_access_layout. Print PDR_DATA_CONTAINER.
911 * graphite-poly.h (struct poly_dr): Adjust comment. Add a new field
913 (PDR_DATA_CONTAINER): New.
914 (new_poly_dr): Update declaration.
915 * graphite-sese-to-poly.c (pdr_add_data_dimensions): New.
916 (build_poly_dr): Call pdr_add_data_dimensions.
918 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
920 * graphite-poly.h (struct poly_dr): Fix comment.
921 * graphite-sese-to-poly.c (pdr_add_alias_set): New.
922 (pdr_add_memory_accesses): New.
923 (build_poly_dr): Call pdr_add_memory_accesses and pdr_add_alias_set.
925 2009-06-26 Sebastian Pop <sebastian.pop@amd.com>
927 * graphite-poly.c (print_pdrs, debug_pdrs): New.
928 (print_pbb): Add call to print_pdrs.
929 * graphite-poly.h (print_pdrs, debug_pdrs): Declared.
931 2009-06-24 Konrad Trifunovic <konrad.trifunovic@gmail.com>
932 Li Feng <nemokingdom@gmail.com>
934 * graphite-dependences.c (graphite_carried_dependence_level_k): New.
935 (dependency_between_pbbs_p): New.
936 (lexicographically_gt_p): Assure !empty_p before polyhedron
938 (build_lexicographically_gt_constraint): Correct lexicographically
940 * graphite-dependences.h: New.
941 * Makefile.in (graphite-dependences.o): Add graphite-dependences.h.
943 2009-06-24 Sebastian Pop <sebastian.pop@amd.com>
945 * graphite-clast-to-gimple.c (print_clast_stmt): New.
946 (gloog): Print to dump_file the generated clast.
947 * graphite-clast-to-gimple.h (print_clast_stmt): Declared.
948 * graphite-interchange.c (pbb_do_interchange): Fix dump formatting.
950 2009-06-24 Sebastian Pop <sebastian.pop@amd.com>
952 * graphite-poly.c (extend_scattering): Increment
953 PBB_NB_LOCAL_VARIABLES by the number of added dimensions.
955 2009-06-24 Sebastian Pop <sebastian.pop@amd.com>
957 * graphite-interchange.c (compute_array_size_poly): Added exit of
958 recursion condition. Continue iterating even after the first equality.
959 (compute_array_size): Same.
961 2009-06-24 Li Feng <nemokingdom@gmail.com>
963 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-1.c: Update
964 -fdump-tree-final_cleanup to -fdump-tree-optimized.
965 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-2.c: Ditto.
966 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-3.c: Ditto.
967 * testsuite/gcc.dg/graphite/graphite_autopar/graphite_autopar.exp: Ditto.
969 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
971 * sese.c (expand_scalar_variables_stmt): Expand scalar variables
972 only when the use verifies is_gimple_reg.
974 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
976 * graphite-clast-to-gimple.c (build_cloog_prog): Fix memory corruption.
977 Allocate scaldims after call to unify_scattering_dimensions.
979 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
981 * graphite-clast-to-gimple.c (translate_clast): Fix memory leak.
983 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
984 Albert Cohen <albert.cohen@inria.fr>
986 * graphite-blocking.c (pbb_strip_mine_loop_depth): Do not use local
987 variables for the strip mining.
989 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
990 Pranav Garg <pranav.garg2107@gmail.com>
992 * Makefile.in (OBJS-common): Added graphite-blocking.o.
993 (graphite-sese-to-poly.o): Moved down to be in lexicographical order.
994 (graphite-blocking.o): New rule.
995 (graphite-poly.o, graphite-ppl.o): Moved to be in lexicographical order.
996 * graphite-blocking.c: New.
997 * graphite-poly.c (apply_poly_transforms): Call scop_do_strip_mine for
998 flag_loop_strip_mine.
999 (psct_scattering_dim_for_loop_depth): New.
1000 * graphite-poly.h (scop_do_strip_mine): Declared.
1001 (psct_add_local_variable): Increment PBB_NB_LOCAL_VARIABLES.
1002 * tree-ssa-loop.c (gate_graphite_transforms): Do not fail when using
1003 flag_loop_strip_mine.
1005 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
1007 * graphite-poly.c (extend_scattering): Avoid initializing and freeing
1008 a GMP value and a PPL coefficient at each iteration of a loop.
1010 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
1012 * graphite-dependences.c (dependence_polyhedron): Do not use
1013 pbb_nb_scattering_dims anymore. Use pbb_nb_scattering_orig and
1014 pbb_nb_scattering_transform.
1015 (graphite_legal_transform_dr): Same.
1016 * graphite-poly.c (extend_scattering): Same.
1017 (unify_scattering_dimensions): Same.
1018 (print_scattering_function): Same.
1019 (new_poly_bb): Initialize PBB_NB_SCATTERING_TRANSFORM and
1020 PBB_NB_LOCAL_VARIABLES.
1021 * graphite-poly.h (pbb_nb_scattering): Removed declaration.
1022 (struct poly_bb): Added nb_local_variables and nb_scattering_transform.
1023 (PBB_NB_LOCAL_VARIABLES, PBB_NB_SCATTERING_TRANSFORM): New.
1024 (pbb_nb_scattering_orig, pbb_nb_scattering_transform): New.
1025 (pbb_nb_scattering_dims, pbb_nb_scattering): Removed.
1026 (pbb_nb_scattering_transform): New.
1027 (pbb_nb_local_vars): Return PBB_NB_LOCAL_VARIABLES.
1028 (psco_scattering_dim): Add assert on parameters.
1029 (psct_scattering_dim): Same.
1030 (psct_scattering_dim_for_loop_depth): Declared.
1031 (psct_local_var_dim): New.
1032 (psco_iterator_dim, psco_parameter_dim): Add assert on parameters.
1033 (psct_iterator_dim, psct_parameter_dim): Same. To maintain the
1034 correct layout, call pbb_nb_local_vars.
1035 (psct_add_local_variable, psct_add_scattering_dimension): New.
1036 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons):
1037 Initialize PBB_NB_SCATTERING_TRANSFORM.
1039 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
1041 * graphite-ppl.c (set_inhomogeneous): Renamed ppl_set_inhomogeneous.
1042 (set_coef): Renamed ppl_set_coef.
1043 * graphite-ppl.h (ppl_set_inhomogeneous, ppl_set_coef): Declared.
1045 2009-06-23 Sebastian Pop <sebastian.pop@amd.com>
1047 * graphite-dependences.c (build_pairwise_scheduling_inequality): Don't
1048 test a boolean against 1.
1049 * graphite-interchange.c (pbb_interchange_loop_depths): Do not build
1050 a new polyhedron for the PBB_TRANSFORMED_SCATTERING.
1051 (pbb_do_interchange): Returns true when a transform has been performed.
1052 (scop_do_interchange): Same.
1053 * graphite-poly.c (apply_poly_transforms): Use the return value of
1054 scop_do_interchange.
1055 * graphite-poly.h (scop_do_interchange): Update declaration.
1057 2009-06-23 Tobias Grosser <grosser@fim.uni-passau.de>
1059 * graphite-clast-to-gimple.c (gloog): Reset loop->aux right
1061 * sese.c (sese_reset_aux_in_loops): New.
1062 * sese.h (sese_reset_aux_in_loops): New.
1064 2009-06-19 Sebastian Pop <sebastian.pop@amd.com>
1066 * graphite-sese-to-poly.c (scan_tree_for_params_int): Pass in the
1067 multiplier and multiply the constant by the multiplier.
1068 (scan_tree_for_params): Bound the multiplier to its MULT_EXPR.
1069 (build_poly_dr): Do not use the multiplier to define the subscript.
1071 2009-06-19 Sebastian Pop <sebastian.pop@amd.com>
1073 * graphite-poly.c (new_poly_dr): Pass an extra argument for the
1074 compiler's data reference. Initialize PDR_CDR.
1075 (print_pdr): Call dump_data_reference.
1076 * graphite-poly.h (struct poly_dr): Rename black_box into pbb.
1077 Add compiler_dr field.
1078 (PDR_BB): Renamed PDR_PBB.
1080 * graphite-sese-to-poly.c (build_poly_dr): Pass to new_poly_dr
1081 GCC's data reference representation.
1082 * tree-data-ref.c (debug_data_references, debug_data_reference): New.
1083 * tree-data-ref.h (debug_data_references, debug_data_reference): Decl.
1085 2009-06-19 Sebastian Pop <sebastian.pop@amd.com>
1087 * graphite-poly.c (print_scattering_function): Also print the layout.
1088 * graphite-poly.h (pbb_nb_local_vars): New.
1090 2009-06-19 Sebastian Pop <sebastian.pop@amd.com>
1092 * graphite-poly.c (print_pbb_domain): Also print the layout names.
1094 2009-06-19 Sebastian Pop <sebastian.pop@amd.com>
1096 * graphite-poly.c (print_pdr, debug_pdr): New.
1097 * graphite-poly.h (print_pdr, debug_pdr): Declared.
1098 (PDR_BASE): Removed.
1100 2009-06-18 Sebastian Pop <sebastian.pop@amd.com>
1102 * gcc/testsuite/gcc.dg/graphite/interchange-{1..7}.c: New avatars of
1105 2009-06-18 Sebastian Pop <sebastian.pop@amd.com>
1107 * graphite-interchange.c (compute_subscript): Allow also -1 in the
1108 subscript identification column.
1109 (pbb_do_interchange): Print to dump_file that some loops "will be
1110 interchanged". Rely on that chain of characters in the testcases.
1111 * gcc.dg/graphite/interchange-0.c: New.
1112 * gcc.dg/graphite/graphite.exp: Iterate over the testsuite
1113 interchange-*.c files and compile them with -floop-interchange.
1115 2009-06-18 Pranav Garg <pranav.garg2107@gmail.com>
1117 * graphite-interchange.c (interchange_profitable_p): Renamed
1118 pbb_interchange_profitable_p.
1120 2009-06-18 Sebastian Pop <sebastian.pop@amd.com>
1121 Harsha Jagasia <harsha.jagasia@amd.com>
1122 Pranav Garg <pranav.garg2107@gmail.com>
1124 * graphite-interchange.c (interchange_profitable_p): Make static.
1125 (pbb_interchange_loop_depths, pbb_do_interchange,
1126 scop_do_interchange): New.
1127 * graphite-poly.c (apply_poly_transforms): Call scop_do_interchange
1128 for flag_loop_interchange.
1129 * graphite-poly.h (scop_do_interchange): Declared.
1130 * tree-ssa-loop.c (gate_graphite_transforms): Do not fail when
1131 flag_loop_interchange is used.
1133 2009-06-18 Sebastian Pop <sebastian.pop@amd.com>
1135 * graphite-dependences.c (dependence_polyhedron): Update use of
1136 pbb_nb_scattering_dims.
1137 * graphite-poly.h (pbb_nb_scattering_dims): Do not pass SCOP.
1138 (pbb_nb_scattering): Update use of pbb_nb_scattering_dims.
1139 (psco_scattering_dim, psct_scattering_dim, psco_iterator_dim,
1140 psct_iterator_dim, psco_parameter_dim, psct_parameter_dim): New.
1142 2009-06-16 Sebastian Pop <sebastian.pop@amd.com>
1144 * graphite.c: Cleanup foo.
1146 2009-06-16 Sebastian Pop <sebastian.pop@amd.com>
1148 * Merge from mainline (r143684:148293).
1149 * Disabled libpcp until it gets fixed.
1151 2009-06-05 Sebastian Pop <sebastian.pop@amd.com>
1152 Harsha Jagasia <harsha.jagasia@amd.com>
1154 * graphite-interchange.c: New.
1155 * Makefile.in (graphite-interchange.o): New.
1156 * graphite-poly.h (interchange_profitable_p): Declared.
1157 * graphite-ppl.h (value_max): New.
1159 2009-06-04 Sebastian Pop <sebastian.pop@amd.com>
1161 * graphite-dependences.c (dependence_polyhedron): Use pdr_dim.
1162 * graphite-poly.h: Fix some comments.
1166 2009-06-04 Sebastian Pop <sebastian.pop@amd.com>
1169 (pdr_accessp_nb_subscripts): Renamed pdr_nb_subscripts.
1170 (pdr_accessp_nb_iterators): Renamed pdr_dim_iter_domain.
1171 (pdr_accessp_nb_params): Renamed pdr_nb_params.
1172 (pdr_accessp_alias_set_dim): Renamed pdr_alias_set_dim.
1173 (pdr_accessp_subscript_dim): Renamed pdr_subscript_dim.
1174 (pdr_accessp_iterator_dim): Renamed pdr_iterator_dim.
1175 (pdr_accessp_param_dim): Renamed pdr_parameter_dim.
1176 (pbb_nb_loops): Renamed pbb_dim_iter_domain.
1177 * graphite-clast-to-gimple.c: Same.
1178 * graphite-dependences.c: Same.
1179 * graphite-poly.c: Same.
1180 * graphite-sese-to-poly.c: Same.
1182 2009-06-03 Sebastian Pop <sebastian.pop@amd.com>
1184 * graphite-clast-to-gimple.c (build_iv_mapping): Insert full
1185 expressions for an IV rename, as returned by clast_to_gcc_expression.
1186 (copy_renames): Rename new_name to expr.
1187 * sese.c (debug_rename_elt): Same.
1190 (sese_adjust_liveout_phis): Call force_gimple_operand before using
1191 the information from the rename map.
1192 (rename_variables_in_stmt): Same.
1193 (add_loop_exit_phis): Rename new_name to expr.
1194 (insert_loop_close_phis): Same.
1195 (add_guard_exit_phis): Same. Call force_gimple_operand.
1196 * sese.h (struct rename_map_elt): Rename new_name to expr.
1197 (new_rename_map_elt): Same.
1199 2009-06-03 Sebastian Pop <sebastian.pop@amd.com>
1201 * graphite-clast-to-gimple.c (build_iv_mapping): Use set_rename.
1202 * sese.c (set_rename): Make it extern.
1203 * sese.h (set_rename): Declared.
1205 2009-06-03 Sebastian Pop <sebastian.pop@amd.com>
1207 * graphite-poly.c (extend_scattering): Free values.
1208 * graphite-ppl.c (new_Cloog_Domain_from_ppl_Pointset_Powerset):
1210 (ppl_print_powerset_matrix): Same.
1211 * graphite-scop-detection.c (free_scops_1): New.
1212 (limit_scops): Call free_scops_1.
1213 * graphite-sese-to-poly.c (build_scop_bbs_1): Free dom.
1214 (build_poly_dr): Free PPL coefficients.
1215 * tree-parloops.c (rewrite_all_phi_nodes_with_iv): Free bbs.
1217 2009-06-02 Sebastian Pop <sebastian.pop@amd.com>
1219 * graphite-dependences.c: New.
1220 * graphite-data-ref.c: Removed.
1221 * graphite-data-ref.h: Removed.
1222 * Makefile.in (graphite-data-ref.o): Removed.
1223 (graphite-dependences.o): Added.
1224 * graphite-clast-to-gimple.c: Remove dependence on graphite-data-ref.h.
1225 * graphite-poly.c: Same.
1226 Move the data dependence testing to graphite-dependences.c.
1228 2009-05-19 Tobias Grosser <grosser@fim.uni-passau.de>
1230 * graphite-scop-detection.c (graphite_can_represent_loop): Renamed
1231 from graphite_cannot_represent_loop. Code refactored.
1232 (scopdet_basic_block_info): Call graphite_can_represent_loop.
1234 2009-05-17 Li Feng <nemokingdom@gmail.com>
1236 * testsuite/gcc.dg/graphite/graphite_autopar/graphite_autopar.exp:
1237 Cover all the testcases (not only the filtered ones).
1239 2009-05-17 Tobias Grosser <grosser@fim.uni-passau.de>
1241 * graphite-scop-detection.c (stmt_simple_for_scop_p): Remove
1242 unnecessary check. Update comments. Move check for REAL_TYPE here.
1243 (harmful_stmt_in_bb): Remove checks for conditions. This is already
1244 done in (stmt_simple_for_scop_p).
1246 2009-05-14 Tobias Grosser <grosser@fim.uni-passau.de>
1248 * graphite.c (print_global_statistics): New.
1249 (print_graphite_scop_statistic): New.
1250 (print_graphite_statistics): New.
1251 (graphite_initialize, graphite_transform_loops): Print statistics.
1252 * graphite-scop-detection (build_scops): Print statistics.
1253 (print_graphite_scop_statistics): New.
1254 (print_graphite_statistics): New.
1256 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1258 * graphite-clast-to-gimple.c (struct clast_name_index): Removed.
1259 (debug_clast_name_index): Removed.
1260 (debug_clast_name_indexes_1): Removed.
1261 (debug_clast_name_indexes): Removed.
1262 (clast_name_index_elt_info): Removed.
1263 (eq_clast_name_indexes): Removed.
1264 (clast_name_to_index): Removed.
1265 (new_clast_name_index): Removed.
1266 (save_clast_name_index): Removed.
1267 (save_var_name): Moved...
1268 (init_sese_params_index): Removed.
1269 (clast_name_to_gcc): Remove use of name_tree.
1270 (initialize_cloog_names): Same.
1271 (gloog): Do not call init_sese_params_index.
1272 * graphite-sese-to-poly.c (save_var_name): ...here.
1273 (parameter_index_in_region): New.
1274 * sese.c (new_sese): Initialize SESE_PARAMS_NAMES.
1275 (parameter_index_in_region): Removed.
1276 (is_parameter): Remove use of name_tree.
1277 * sese.h (struct name_tree): Removed.
1278 (struct sese): Remove use of name_tree. New field params_names.
1279 (SESE_PARAMS_NAMES): New.
1280 (SESE_PARAMS): Remove duplicate.
1281 (parameter_index_in_region): Removed.
1282 (sese_nb_params): Remove use of name_tree.
1283 (struct clast_name_index): New.
1284 (new_clast_name_index): New.
1285 (clast_name_to_index): New.
1286 (save_clast_name_index): New.
1287 (debug_clast_name_index): New.
1288 (debug_clast_name_indexes_1): New.
1289 (debug_clast_name_indexes): New.
1290 (clast_name_index_elt_info): New.
1291 (eq_clast_name_indexes): New.
1293 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1295 * graphite-clast-to-gimple.c (compute_cloog_iv_types_1): Call
1296 pbb_to_depth_to_oldiv. Remove call to oldiv_for_loop.
1297 (graphite_loop_normal_form): Do not pass region. Do not
1298 initialize SESE_OLDIVS.
1299 (build_graphite_loop_normal_form): Update call to
1300 graphite_loop_normal_form.
1301 * sese.c (debug_oldivs): Removed.
1302 (new_sese): Do not initialize SESE_OLDIVS.
1303 (free_sese): Do not free SESE_OLDIVS.
1304 (oldiv_for_loop): Removed.
1305 * sese.h (struct sese): Remove old_ivs.
1306 (SESE_OLDIVS): Removed.
1307 (oldiv_for_loop): Removed.
1309 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1311 * graphite-clast-to-gimple.c (clast_name_to_gcc): Pass newivs,
1312 remove ivstack. Remove call to loop_iv_stack_get_iv_from_name,
1313 replaced by a call to newivs_to_depth_to_newiv.
1314 (clast_to_gcc_expression): Pass newivs, remove ivstack.
1315 (clast_to_gcc_expression_red): Same.
1316 (gcc_type_for_clast_expr): Same.
1317 (gcc_type_for_clast_eq): Same.
1318 (graphite_translate_clast_equation): Same.
1319 (graphite_create_guard_cond_expr): Same.
1320 (graphite_create_new_guard): Same.
1321 (graphite_create_new_loop): Same.
1322 (build_iv_mapping): Same.
1323 (translate_clast): Same.
1325 (loop_iv_stack_patch_for_consts): Removed. *
1326 sese.c (iv_stack_entry_is_constant): Removed.
1327 (iv_stack_entry_is_iv): Removed.
1328 (loop_iv_stack_push_iv): Removed.
1329 (loop_iv_stack_insert_constant): Removed.
1330 (loop_iv_stack_pop): Removed.
1331 (loop_iv_stack_get_iv): Removed.
1332 (loop_iv_stack_get_iv_from_name): Removed.
1333 (debug_loop_iv_stack): Removed.
1334 (free_loop_iv_stack): Removed.
1335 (loop_iv_stack_remove_constants): Removed. *
1336 sese.h (iv_stack_entry_kind): Removed.
1337 (iv_stack_entry_data_union): Removed.
1338 (iv_stack_entry_struct): Removed.
1339 (iv_stack_entry_p): Removed.
1340 (debug_oldivs, debug_loop_iv_stack, loop_iv_stack_insert_constant,
1341 loop_iv_stack_get_iv_from_name, loop_iv_stack_push_iv,
1342 loop_iv_stack_get_iv, loop_iv_stack_remove_constants,
1343 loop_iv_stack_pop, free_loop_iv_stack): Removed.
1344 (gbb_loop_at_index): Fix indenting.
1345 (gbb_loop_index): Removed.
1347 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1349 * graphite-clast-to-gimple.c (clast_name_to_gcc): Do not use strcmp.
1350 Call clast_name_to_index.
1352 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1354 * graphite-clast-to-gimple.c (clast_name_to_gcc): Pass region,
1355 do not pass params. Get params from SESE_PARAMS.
1356 (clast_to_gcc_expression): Same.
1357 (clast_to_gcc_expression_red): Same.
1358 (gcc_type_for_clast_eq): Same.
1359 (graphite_translate_clast_equation): Same.
1360 (graphite_create_new_loop): Same.
1361 * sese.c (rename_variables_in_stmt): Fix comment.
1363 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1365 * graphite-clast-to-gimple.c (graphite_create_new_loop): Pass
1367 Call save_clast_name_index.
1368 (translate_clast): Pass newivs_index.
1369 (gloog): Create and free newivs_index.
1371 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1373 * graphite-clast-to-gimple.c (clast_name_index): New structure.
1374 (clast_name_index_p): New type.
1375 (debug_clast_name_index): New.
1376 (debug_clast_name_indexes_1): New.
1377 (debug_clast_name_indexes): New.
1378 (clast_name_index_elt_info): New.
1379 (eq_clast_name_indexes): New.
1380 (clast_name_to_index): New.
1381 (new_clast_name_index): New.
1382 (save_clast_name_index): New.
1383 (init_sese_params_index): New.
1384 (gloog): Call init_sese_params_index.
1385 * graphite-clast-to-gimple.h (debug_clast_name_indexes): Declared.
1386 * sese.c (new_sese): Initialize SESE_PARAMS_INDEX.
1387 (free_sese): Free SESE_PARAMS_INDEX.
1388 * sese.h (struct sese): Add params_index.
1389 (SESE_PARAMS_INDEX): New.
1391 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1393 * graphite-clast-to-gimple.c (newivs_to_depth_to_newiv): New.
1394 (graphite_create_new_loop): Pass the newivs vector. Push the
1395 newly created IV to newivs.
1396 (translate_clast): Pass the newivs vector.
1397 (gloog): Create and destroy the newivs vector.
1399 2009-05-13 Sebastian Pop <sebastian.pop@amd.com>
1401 * graphite-clast-to-gimple.c (pbb_to_depth_to_oldiv): New.
1402 (graphite_loop_normal_form): Initialize loop->aux with the unique
1403 IV that has been created.
1405 2009-05-13 Tobias Grosser <grosser@fim.uni-passau.de>
1407 * tree-chrec.c (evolution_function_right_is_integer_cst): Allow
1408 scev with parameters in the base part. They where forbidden
1411 2009-05-11 Li Feng <nemokingdom@gmail.com>
1413 * testsuite/gcc.dg/graphite/graphite.exp: Set different default
1414 compile options by file names.
1415 * testsuite/gcc.dg/graphite/block{0-6}.c: Remove dg-option line.
1416 * testsuite/gcc.dg/graphite/id-{1-9}.c: Ditto.
1417 * testsuite/gcc.dg/graphite/scop-{0-20}.c: Ditto.
1418 * testsuite/gcc.dg/graphite/scop-matmult.c: Ditto.
1420 2009-05-08 Li Feng <nemokingdom@gmail.com>
1422 * testsuite/gcc.dg/graphite/graphite_autopar/graphite_autopar.exp: New.
1423 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-1.c: New.
1424 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-2.c: New.
1425 * testsuite/gcc.dg/graphite/graphite_autopar/force-parallel-3.c: New.
1427 2009-05-07 Tobias Grosser <grosser@fim.uni-passau.de>
1429 * graphite-scop-detection (build_scops_1): Fix little bug introduced
1432 2009-05-07 Tobias Grosser <grosser@fim.uni-passau.de>
1434 * graphite-scop-detection.c (graphite_can_represent_scev): Only
1435 allow integer constant strides.
1436 (graphite_can_represent_expr): Depend on outermost_loop.
1437 (stmt_simple_memref_p, graphite_cannot_represent_loop,
1438 harmful_stmt_in_bb, is_simple_operand, stmt_simple_for_scop_p,
1439 build_scops_1): Same.
1440 (scopdet_basic_block_info): Same and insert layered SCoP
1442 (try_generate_gimple_bb): Cleanup.
1443 (build_scops): Enable data references.
1445 * testsuite/gcc.dg/graphite/id-5.c: New.
1446 * testsuite/gcc.dg/graphite/id-9.c: New.
1447 * tree-chrec.c (evolution_function_right_is_integer_cst): New.
1448 * tree-chrec.h (evolution_function_right_is_integer_cst): New.
1450 2009-05-06 Tobias Grosser <grosser@fim.uni-passau.de>
1452 * sese.c (expand_scalar_variables_ssa_name): Only build expressions,
1453 that we have not yet built for this SCoP.
1455 2009-05-06 Tobias Grosser <grosser@fim.uni-passau.de>
1457 * sese.c (expand_scalar_variables_expr): Fix expand_scalar_variables
1458 for complex numbers.
1460 2009-05-06 Tobias Grosser <grosser@fim.uni-passau.de>
1462 * graphite-ppl.c: Fix build if cloog is not available.
1464 2009-05-04 Li Feng <nemokingdom@gmail.com>
1466 * tree-parloops.c (loop_parallel_p): Remove construction of
1467 NITER and REDUCTION_LIST.
1468 (try_get_loop_niter): New.
1469 (try_create_reduction_list): New.
1470 (parallelize_loops): Bypass the failed checkings in autopar
1471 when can_be_parallel in loop structure is set to true.
1473 2009-05-01 Tobias Grosser <grosser@fim.uni-passau.de>
1475 * testsuite/gcc.dg/graphite/id-6.c: Update testcase.
1476 * testsuite/gcc.dg/graphite/scop-3.c: Dito.
1478 2009-05-01 Tobias Grosser <grosser@fim.uni-passau.de>
1480 * graphite-scop-detection.c (stmt_simple_for_scop_p):
1481 Enable EQ_EXPR and NE_EXPR again.
1483 2009-04-30 Tobias Grosser <grosser@fim.uni-passau.de>
1485 * graphite-scop-detection.c (graphite_can_represent_scev):
1486 Add check if scev is affine multivariate.
1487 (harmful_stmt_in_bb): Check if we can represent the conditions.
1488 (scopdet_basic_block_info (basic_block bb, VEC): Pass the loop to
1490 * testsuite/gcc.dg/graphite/id-7.c: New.
1492 2009-04-30 Tobias Grosser <grosser@fim.uni-passau.de>
1494 * graphite-sese-to-poly.c (bb_contains_non_iv_scalar_phi_nodes):
1495 Check all bbs in region, not only the bbs that are represented in
1497 (build_poly_scop): Add newline.
1498 * testsuite/gcc.dg/graphite/id-8.c: New.
1500 2009-04-30 Li Feng <nemokingdom@gmail.com>
1502 * cfgloop.c (alloc_loop): Initialize can_be_parallel to false
1503 when loop initialize.
1504 * cfgloop.h (struct loop): Introduce flag can_be_parallel.
1505 * common.opt: Declare flag_graphite_force_parallel.
1506 * graphite-clast-to-gimple.c (translate_clast): Mark the innermost
1508 * graphite-poly.c (apply_poly_transforms): Introduce
1509 flag_graphite_force_parallel.
1510 * tree-ssa-loop.c (gate_graphite_transforms): ditto.
1511 * toplev.c (process_options): ditto and replace a not correctly
1514 2009-04-30 Li Feng <nemokingdom@gmail.com>
1516 * graphite-clast-to-gimple.c (loop_iv_stack_patch_for_consts):
1517 Change the call of gbb_loop_at_index and/or gbb_loop_index due
1518 to the redefinition.
1519 (compute_cloog_iv_types_1): ditto.
1520 (build_iv_mapping): ditto.
1521 * graphite-sese-to-poly.c (new_gimple_bb): Remove GBB_LOOPS related
1523 (free_gimple_bb): Removed GBB_LOOPS related free part.
1524 (build_bb_loops): Removed.
1525 * sese.h (struct gimple_bb): Removed loops.
1526 (GBB_LOOPS): Removed.
1527 (gbb_loop_at_index): Instead of using GBB_LOOPS, we use sese instead.
1528 (gbb_loop_index): ditto.
1530 2009-04-24 Tobias Grosser <grosser@fim.uni-passau.de>
1532 * graphite-scop-detection.c (graphite_can_represent_scev): Do not
1533 allow non constant strides.
1534 * testsuite/gcc.dg/graphite/scop-20.c: New.
1536 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1538 * graphite-scop-detection.c (dot_all_scops): Fix system call
1539 return value warning.
1542 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1544 * testsuite/gcc.dg/graphite/id-6.c: Fix pattern.
1545 * testsuite/gcc.dg/graphite/scop-3.c: Same.
1547 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1549 * graphite-poly.c (map_into_dep_poly, map_dr_into_dep_poly,
1550 build_pairwise_constraint, dr_equality_constraints,
1551 build_pairwise_scheduling_equality,
1552 build_pairwise_scheduling_inequality, lexicographically_gt_p,
1553 build_lexicographically_gt_constraint, dependence_polyhedron,
1554 graphite_legal_transform_dr, graphite_legal_transform_bb,
1555 graphite_legal_transform): New.
1556 * graphite-poly.h (graphite_legal_transform): Declared.
1557 * graphite-sese-to-poly.c (build_poly_scop): Call to
1558 graphite_legal_transform is disabled for the moment.
1560 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1562 * graphite-poly.h (pbb_nb_scattering_dims): New.
1563 (pbb_nb_scattering): Use it.
1565 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1567 * graphite-ppl.c (ppl_insert_dimensions_pointset): Add
1568 Pointset_Powerset version of ppl_insert_dimensions.
1569 * graphite-ppl.h (ppl_insert_dimensions_pointset): Declared.
1571 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1573 * graphite-ppl.c (ppl_insert_dimensions): Fix formatting.
1575 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1577 * graphite-poly.h: Fix comment.
1579 2009-04-24 Sebastian Pop <sebastian.pop@amd.com>
1581 * graphite-sese-to-poly.c (build_poly_dr): Fix data ref multiplier.
1583 2009-04-24 Tobias Grosser <grosser@fim.uni-passau.de>
1585 * sese.c (expand_scalar_variables_stmt): Only iterate over the old
1588 2009-04-24 Tobias Grosser <grosser@fim.uni-passau.de>
1590 * graphite-sese-to-poly.c (var_used_in_not_loop_header_phi_node): New.
1591 (graphite_stmt_p): Represent bbs necessary to build the phi nodes of
1594 2009-04-20 Sebastian Pop <sebastian.pop@amd.com>
1596 * graphite-scop-detection.c (stmt_simple_for_scop_p): Do not
1597 handle EQ_EXPR and NE_EXPR.
1599 2009-04-17 Tobias Grosser <grosser@fim.uni-passau.de>
1601 * graphite-poly.h (poly_dr): Fix comment.
1603 2009-04-09 Sebastian Pop <sebastian.pop@amd.com>
1604 Tobias Grosser <grosser@fim.uni-passau.de>
1606 * graphite-poly.c (new_poly_bb): Do not initialize PBB_DOMAIN
1607 with a zero dimension polyhedron.
1608 (find_scop_parameters): Move the call to scop_set_nb_params here.
1609 (build_loop_iteration_domains): Store in loop->aux the iteration
1611 (build_scop_iteration_domain): Fix PBB_DOMAIN for bbs not surrounded
1612 by any loop in scop.
1613 (build_poly_scop): Do not call scop_set_nb_params.
1615 2009-04-09 Sebastian Pop <sebastian.pop@amd.com>
1616 Tobias Grosser <grosser@fim.uni-passau.de>
1618 * graphite-sese-to-poly.c (add_condition_to_pbb): Pass code to
1619 add_condition_to_domain not GT_EXPR.
1621 2009-04-09 Tobias Grosser <grosser@fim.uni-passau.de>
1623 * graphite-ppl.c (debug_ppl_powerset_matrix): New.
1624 * graphite-ppl.h (debug_ppl_powerset_matrix): New.
1625 * graphite-sese-to-poly.c (add_condition_to_pbb): Use
1626 upper_bound_assign to calculate unions.
1627 * testsuite/gcc.dg/graphite/id-6.c: New.
1629 2009-04-09 Tobias Grosser <grosser@fim.uni-passau.de>
1631 * graphite-scop-detection.c (canonicalize_loop_closed_ssa): Do not
1632 handle abnormal edges.
1634 2009-04-09 Tobias Grosser <grosser@fim.uni-passau.de>
1636 * graphite-poly.c (new_poly_dr, free_poly_dr): New.
1637 (free_poly_bb): Also free poly_drs.
1638 * graphite-poly.h (new_poly_dr, free_poly_dr): New.
1639 (poly_dr): Polyhedron to Pointset_Powerset.
1640 (pdr_accessp_nb_subscripts): Same.
1641 * graphite-sese-to-poly.c (build_poly_dr): Same. And actually build
1644 2009-04-08 Sebastian Pop <sebastian.pop@amd.com>
1646 * graphite-clast-to-gimple.c (initialize_cloog_names): Change cloog
1647 names into more meaningful names.
1649 2009-04-08 Sebastian Pop <sebastian.pop@amd.com>
1651 * testsuite/gfortran.dg/graphite/interchange-1.c: New.
1652 * testsuite/gfortran.dg/graphite/interchange-2.c: New.
1654 2009-04-08 Sebastian Pop <sebastian.pop@amd.com>
1656 * graphite-clast-to-gimple.c (graphite_loop_normal_form): Do not build
1658 * tree-parloops.c (rewrite_phi_with_iv): New.
1659 (rewrite_all_phi_nodes_with_iv): New.
1660 (canonicalize_loop_ivs): Call them.
1662 2009-04-08 Sebastian Pop <sebastian.pop@amd.com>
1664 * graphite-sese-to-poly.c (try_generate_gimple_bb): Use
1665 graphite_find_data_references_in_stmt.
1666 * tree-data-ref.c (graphite_find_data_references_in_stmt): New.
1667 * tree-data-ref.h (graphite_find_data_references_in_stmt): Declared.
1669 2009-04-08 Sebastian Pop <sebastian.pop@amd.com>
1671 * sese.c (add_loop_exit_phis): Don't fail on non SSA_NAME renames.
1673 2009-04-08 Sebastian Pop <sebastian.pop@amd.com>
1675 * graphite-sese-to-poly.c (build_scop_bbs_1): Use bb_in_sese_p
1676 instead of bb_in_region.
1677 (flag_bb_in_region): Same. Renamed flag_bb_in_sese.
1678 (build_sese_conditions): Use flag_bb_in_sese.
1679 * sese.c (register_bb_in_sese): Removed.
1680 (new_sese): Remove initialization of SESE_REGION_BBS.
1681 (free_sese): Do not free SESE_REGION_BBS.
1682 * sese.h (struct sese): Remove field region_basic_blocks.
1683 (SESE_REGION_BBS): Removed.
1684 (bb_in_sese_p): Implement in function of bb_in_region.
1686 2009-04-08 Sebastian Pop <sebastian.pop@amd.com>
1688 * graphite-scop-detection.c (limit_scops): Deal only with single exit
1691 2009-04-08 Tobias Grosser <grosser@fim.uni-passau.de>
1693 * graphite-scop-detection.c (stmt_simple_for_scop_p): Allow NE_EXPR
1695 * graphite-sese-to-poly.c (create_linear_expr_from_tree): New.
1696 (add_condition_to_domain): New.
1697 (add_condition_to_pbb): New.
1698 (add_conditions_to_domain): Cleanup and handle of NE_EXPR and EQ_EXPR.
1699 * testsuite/gcc.dg/graphite/scop-3.c: Update number of detected SCoPs.
1701 2009-04-08 Tobias Grosser <grosser@fim.uni-passau.de>
1703 * graphite-clast-to-gimple.c (build_cloog_prog): ppl_Polyhedron ->
1704 ppl_Pointset_Powerset.
1705 * graphite-poly.c (new_poly_bb, free_poly_bb): Same.
1706 * graphite-poly.h (poly_bb): poly_bb.domain Same.
1707 (pbb_nb_loops): Same.
1708 * graphite-sese-to-poly.c (build_loop_iteration_domains,
1709 add_conditions_to_domain): Same.
1710 * graphite-ppl.c (new_Cloog_Domain_from_ppl_Pointset_Powerset): New.
1711 (ppl_print_polyhedron_matrix): ppl_Polyhedron_t ->
1712 ppl_const_Polyhedron_t.
1713 (ppl_print_powerset_matrix): New.
1714 * graphite-ppl.h (new_Cloog_Domain_from_ppl_Pointset_Powerset,
1715 ppl_print_powerset_matrix): New.
1716 (ppl_print_polyhedron_matrix): Updated.
1718 2009-04-07 Sebastian Pop <sebastian.pop@amd.com>
1720 * tree-scalar-evolution.c (analyze_scalar_evolution_1): Fix comment.
1722 2009-04-07 Sebastian Pop <sebastian.pop@amd.com>
1724 * graphite-poly.c (extend_scattering): Fix indenting. Free cstr.
1725 (print_iteration_domains, debug_iteration_domain,
1726 debug_iteration_domains): New.
1727 * graphite-poly.h (print_iteration_domains, debug_iteration_domain,
1728 debug_iteration_domains): Declared.
1729 * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons): Fix
1732 2009-04-03 Tobias Grosser <grosser@fim.uni-passau.de>
1733 Sebastian Pop <sebastian.pop@amd.com>
1735 * graphite-poly.h (print_iteration_domain): New.
1736 * graphite-sese-to-poly.c (add_conditions_to_domain): Fixed bug.
1737 (build_sese_conditions_1, build_sese_conditions_after,
1738 build_sese_conditions_before): New.
1739 (build_sese_conditions): Rewritten.
1741 2009-04-03 Sebastian Pop <sebastian.pop@amd.com>
1742 Tobias Grosser <grosser@fim.uni-passau.de>
1744 Cleanup of code generation liveouts.
1745 * graphite-clast-to-gimple.c (translate_clast): Use a single
1746 rename_map instead of one per translated statement.
1747 Do not use SESE_LIVEOUT_RENAMES.
1748 (graphite_loop_normal_form): Do not use SESE_REDUCTION_LIST.
1749 (gloog): Do not use SESE_LIVEOUT_RENAMES.
1750 * graphite-scop-detection.c (harmful_stmt_in_bb): Return the close
1751 phi node of a reduction: when a loop contains a reduction used outside
1752 the loop, there should be a scalar close phi node on the exit block.
1753 * sese.c (new_sese): Do not initialize SESE_LIVEOUT,
1754 SESE_LIVEOUT_RENAMES, and SESE_REDUCTION_LIST.
1755 (free_sese): Do not free them.
1756 (sese_build_liveouts_use): Do not use them.
1757 (sese_build_liveouts_bb): Same.
1758 (sese_build_liveouts): Same.
1759 (sese_insert_phis_for_liveouts): Same.
1760 (sese_adjust_phis_for_liveouts): Same. Renamed sese_adjust_liveout_phis.
1761 (defined_in_loop_p): New.
1762 (alive_after_loop): New.
1763 (close_phi_not_yet_inserted_p): New.
1764 (struct alep, alep_p): New.
1765 (add_loop_exit_phis): Remove from the rename_map all the names defined
1766 in the code generated loop.
1767 (insert_loop_close_phis): Traverse the rename_map passed to it.
1768 Don't use SESE_LIVEOUT_RENAMES.
1769 (default_liveout_before_guard): Renamed default_before_guard.
1770 (insert_guard_phis): Do not use SESE_LIVEOUT_RENAMES.
1771 (graphite_copy_stmts_from_block): Do not directly call set_rename.
1772 (register_sese_liveout_renames): Removed.
1773 (copy_bb_and_scalar_dependences): Do not call it.
1774 * sese.h (struct sese): Removed fields: liveout, liveout_renames, and
1776 (SESE_LIVEOUT): Removed.
1777 (SESE_LIVEOUT_RENAMES): Removed.
1778 (SESE_REDUCTION_LIST): Removed.
1779 (sese_build_liveouts): Removed.
1780 (sese_adjust_phis_for_liveouts): Renamed sese_adjust_liveout_phis.
1781 (insert_loop_close_phis): Pass a htab_t instead of a sese.
1782 (insert_guard_phis): Same.
1783 (rename_map_elt): Declare a VEC of them.
1784 * tree-parloops.c (canonicalize_loop_ivs): reduction_list contains
1785 trees not pointers to trees.
1787 Rewrite in canonical close SSA form:
1788 * graphite-scop-detection.c (contains_only_close_phi_nodes): New.
1789 (limit_scops): Close the scop after the block containing the close phi
1791 (canonicalize_loop_closed_ssa): New.
1792 (canonicalize_loop_closed_ssa_form): New.
1793 (build_scops): Call canonicalize_loop_closed_ssa_form.
1795 * graphite-sese-to-poly.c: Fix typos.
1797 2009-04-03 Sebastian Pop <sebastian.pop@amd.com>
1799 * graphite-poly.c (print_scattering_function, print_pbb_domain):
1801 (dump_gbb_conditions, dump_gbb_cases, print_iteration_domain): New.
1802 (print_pbb): Add conditions.
1804 2009-04-01 Tobias Grosser <grosser@fim.uni-passau.de>
1805 Sebastian Pop <sebastian.pop@amd.com>
1807 * graphite-scop-detection.c (bb_in_sd_region): Use bb_in_region.
1808 * graphite-sese-to-poly.c (all_non_dominated_preds_marked_p): New.
1809 (build_scop_bbs_1): New.
1810 (build_scop_bbs): Rewrite.
1811 * sese.h (bb_in_region): New.
1813 2009-03-29 Tobias Grosser <grosser@fim.uni-passau.de>
1815 * graphite-poly.c (new_poly_bb, free_poly_bb): Initialize/free
1817 (print_scop): Style.
1818 * graphite-poly.h (poly_bb): Add drs vector.
1819 (PBB_DRS): Add accessor.
1820 * graphite-sese-to-poly.c (build_poly_dr): New.
1821 (build_pbb_drs, build_scop_drs): New.
1822 (build_poly_scop): call build_scop_drs (Disabled at the moment).
1824 2009-03-29 Tobias Grosser <grosser@fim.uni-passau.de>
1826 * tree-ssa-loop.c: Include forgotten toplev.h
1828 2009-03-29 Tobias Grosser <grosser@fim.uni-passau.de>
1830 * graphite-poly.c: (apply_poly_transforms): sorry -> gcc_unreachable.
1831 * testsuite/gcc.dg/graphite/pr37883.c: Remove -floop-*
1832 * testsuite/gcc.dg/graphite/pr37928.c: Same
1833 * testsuite/gcc.dg/graphite/pr38409.c: Same
1834 * testsuite/gcc.dg/graphite/pr38498.c: Same
1835 * testsuite/gcc.dg/graphite/pr38559.c: Same
1836 * testsuite/gcc.dg/graphite/pr39335.c: Same
1837 * testsuite/gcc.dg/graphite/pr39335_1.c: Same
1838 * testsuite/gfortran.dg/graphite/block-2.f: Same
1839 * tree-ssa-loop.c (gate_graphite_transforms): Always fail if called
1842 2009-03-28 Tobias Grosser <grosser@fim.uni-passau.de>
1844 * graphite-sese-to-poly.c (ref_nb_loops, build_access_matrix_with_af,
1845 build_access_matrix, build_scop_data_accesses): Remove access function
1846 building. (We get a new version soon).
1847 (build_bb_loops, scan_tree_for_params_right_scev): Update.
1848 * sese.h (nb_loops_around_loop_in_sese): Remove.
1849 (sese_loop_depth): Do not use SESE_LOOP_NEST any more.
1851 2009-03-27 Tobias Grosser <grosser@fim.uni-passau.de>
1852 Sebastian Pop <sebastian.pop@amd.com>
1854 * graphite-scop-detection.c (struct scopdet_info): Rename last
1856 (scopdet_basic_block_info, build_scops_1): Don't use
1857 CDI_POST_DOMINATORS. CDI_POST_DOMINATORS should never be used.
1859 2009-03-26 Tobias Grosser <grosser@fim.uni-passau.de>
1860 Sebastian Pop <sebastian.pop@amd.com>
1862 * graphite-clast-to-gimple.c (gloog): Call sese_build_liveouts.
1863 * sese.c (sese_build_liveouts_use): Renamed from
1864 sese_build_livein_liveouts_use. Remove liveins.
1865 (sese_build_liveouts_bb): Renamed from sese_build_livein_liveouts_bb.
1866 Call sese_build_liveouts_use.
1867 (sese_build_liveouts): Renamed from sese_build_livein_liveouts.
1868 Call sese_build_liveouts_bb.
1869 (new_sese, free_sese): Remove liveins.
1870 (sese_add_exit_phis_var): Deleted.
1871 (sese_insert_phis_for_liveouts): Call sese_add_exit_phis_edge
1873 (graphite_copy_stmts_from_block): Remove SESE_NUM_VER.
1875 * sese.h (sese): Remove num_ver and livein.
1876 (SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): Removed.
1878 2009-03-25 Tobias Grosser <grosser@fim.uni-passau.de>
1880 * graphite-sese-to-poly.c (build_scop_scattering): Fix compile.
1882 2009-03-25 Tobias Grosser <grosser@fim.uni-passau.de>
1884 * graphite-sese-to-poly.c (compare_prefix_loops): Removed.
1885 (build_scop_scattering): Do not use compare_prefix_loops any more.
1886 (nb_common_loops): New.
1888 2009-03-24 Sebastian Pop <sebastian.pop@amd.com>
1890 * sese.c (get_new_name_from_old_name): Renamed get_rename.
1891 (register_old_and_new_names): Renamed set_rename.
1893 2009-03-24 Sebastian Pop <sebastian.pop@amd.com>
1895 * graphite-scop-detection.h (nb_reductions_in_loop): Revert removal
1896 of the decl from the previous commit.
1898 2009-03-24 Sebastian Pop <sebastian.pop@amd.com>
1900 * graphite-scop-detection.c (dot_scop): New.
1901 * graphite-scop-detection.h (dot_scop): Declared.
1903 2009-03-24 Sebastian Pop <sebastian.pop@amd.com>
1905 * graphite-sese-to-poly.c (compare_prefix_loops): Fix compare.
1907 2009-03-24 Sebastian Pop <sebastian.pop@amd.com>
1909 * cfgloopmanip.c (create_empty_loop_on_edge): Generate the loop exit
1910 condition at the end of the loop.
1911 * graphite.c (graphite_initialize, graphite_finalize): Print to
1912 dump_file the compiled function.
1913 * graphite-clast-to-gimple.c (graphite_create_new_loop): Update use
1914 of create_empty_loop_on_edge.
1915 (translate_clast): Update the code generation of loops for the new
1917 * cfgloop.h (create_empty_loop_on_edge): Update declaration.
1919 2009-03-24 Sebastian Pop <sebastian.pop@amd.com>
1921 Reverted the patch from 2009-03-19.
1923 2009-03-19 Tobias Grosser <grosser@fim.uni-passau.de>
1925 * graphite-poly.c (new_poly_bb, free_poly_bb): Initialize/free
1927 (print_scop): Style.
1928 * graphite-poly.h (poly_bb): Add drs vector.
1929 (PBB_DRS): Add accessor.
1930 * graphite-sese-to-poly.c (ref_nb_loops): Remove.
1931 (build_access_matrix_with_af, build_access_matrix,
1932 build_scop_data_accesses): Delete.
1933 (build_poly_dr): New.
1934 (build_pbb_drs, build_scop_drs): New.
1935 (build_poly_scop): call build_scop_drs.
1937 2009-03-13 Sebastian Pop <sebastian.pop@amd.com>
1939 * graphite-scop-detection.c (dot_all_scops_1): Close the table
1940 once per basic block.
1942 2009-03-13 Tobias Grosser <grosser@fim.uni-passau.de>
1944 * graphite-scop-detection.c (graphite_can_represent_scev): New.
1945 (graphite_can_represent_expr): Renamed from loop_affine_expr
1947 (stmt_simple_for_scop_p): Call graphite_can_represent_expr.
1948 (graphite_cannot_represent_loop): Add scop_entry to parameters.
1949 (scopdet_basic_block_info): Actually define entry_block.
1950 (stmt_simple_memref_p): Moved here from ...
1952 * tree-data-ref.c (stmt_simple_memref_p): here.
1953 * tree-data-ref.h (stmt_simple_memref_p): Removed.
1955 2009-03-13 Tobias Grosser <grosser@fim.uni-passau.de>
1957 * testsuite/gcc.dg/graphite/id-4.c: New.
1959 2009-03-12 Sebastian Pop <sebastian.pop@amd.com>
1961 * sese.c (expand_scalar_variables_expr): Handle tcc_comparison.
1962 (register_old_and_new_names): Update the content of the map.
1963 When there was already a rename_map_elt in the map at that
1965 (copy_bb_and_scalar_dependences): Do rename_variables after
1966 expand_scalar_variables.
1967 * graphite-clast-to-gimple.c (build_iv_mapping): Update the content
1968 of the map. When there was already a rename_map_elt in the
1969 map at that location, free it.
1970 (translate_clast): Pass the rename_map. Do not initialize and free
1971 a rename_map per stmt_user.
1972 (gloog): Initialize and free one rename_map and pass it to
1975 2009-03-12 Sebastian Pop <sebastian.pop@amd.com>
1977 * sese.c (expand_scalar_variables_stmt,
1978 expand_scalar_variables_ssa_name): Add a gimple_stmt_iterator
1980 (expand_scalar_variables_expr): Handle REALPART_EXPR and IMAGPART_EXPR.
1981 (expand_scalar_variables): Pass to expand_scalar_variables_stmt
1982 the gimple_stmt_iterator of the statement to be expanded.
1983 * graphite-scop-detection.c (is_simple_operand): Do handle
1986 2009-03-11 Tobias Grosser <grosser@fim.uni-passau.de>
1988 * graphite-scop-detection.c (is_simple_operand): Do not handle
1990 * testsuite/gcc.dg/graphite/id-2.c: New.
1992 * graphite-sese-to-poly.c (build_bb_loops,
1993 add_value_to_dim, scan_tree_for_params_right_scev,
1994 scan_tree_for_params_int, scan_tree_for_params, idx_record_params,
1995 find_params_in_bb, build_loop_iteration_domains,
1996 add_conditions_to_domain): Remove subtract.
1998 2009-03-11 Tobias Grosser <grosser@fim.uni-passau.de>
2000 * graphite-clast-to-gimple.c (loop_iv_stack_patch_for_consts,
2001 build_iv_mapping, compute_cloog_iv_types_1, build_cloog_prog):
2002 pbb_loop_at_index -> gbb_loop_at_index.
2003 * graphite-poly.c (new_poly_bb, new_scop): New accessors.
2004 (debug_loop_vec): Delete.
2005 * graphite-poly.h (poly_bb, scop): Change black_box and region to void
2006 pointer. Move LOOPS to gimple_bb_p and insert nb_params.
2007 (PBB_LOOPS): Removed.
2008 (PBB_BLACK_BOX): Insert cast.
2009 (pbb_set_black_box): New setter.
2010 (pbb_loop_at_index, pbb_loop_index): Removed.
2011 (scop_set_region, scop_set_nb_params): New.
2012 * graphite-sese-to-poly.c (new_gimple_bb, free_gimple_bb,
2013 build_scop_scattering, build_bb_loops): Add GBB_LOOPS.
2014 (build_poly_scop): Use scop_set_nb_params.
2015 * sese.h (gimple_bb): Add LOOPS.
2016 (GBB_LOOPS, gbb_loop_index, gbb_loop_at_index): New.
2018 2009-03-11 Tobias Grosser <grosser@fim.uni-passau.de>
2020 Revert previous commit.
2022 2009-03-11 Sebastian Pop <sebastian.pop@amd.com>
2024 * sese.c (expand_scalar_variables_expr): Handle tcc_comparison.
2025 (register_old_and_new_names): Update the content of the map.
2026 When there was already a rename_map_elt in the map at that
2028 (copy_bb_and_scalar_dependences): Do rename_variables after
2029 expand_scalar_variables.
2030 * graphite-clast-to-gimple.c (build_iv_mapping): Update the content
2031 of the map. When there was already a rename_map_elt in the
2032 map at that location, free it.
2033 (translate_clast): Pass the rename_map. Do not initialize and free
2034 a rename_map per stmt_user.
2035 (gloog): Initialize and free one rename_map and pass it to
2038 2009-03-11 Tobias Grosser <grosser@fim.uni-passau.de>
2040 Remove forgotten line in revert.
2042 2009-03-11 Sebastian Pop <sebastian.pop@amd.com>
2044 Revert previous commit.
2046 2009-03-10 Sebastian Pop <sebastian.pop@amd.com>
2048 * sese.c (register_old_and_new_names): Update the content
2049 of the map. When there was already a rename_map_elt in the
2050 map at that location, free it.
2051 (copy_bb_and_scalar_dependences): Do rename_variables after
2052 expand_scalar_variables.
2053 * graphite-clast-to-gimple.c (build_iv_mapping): Update the content
2054 of the map. When there was already a rename_map_elt in the
2055 map at that location, free it.
2056 (translate_clast): Pass the rename_map. Do not initialize and free
2057 a rename_map per stmt_user.
2058 (gloog): Initialize and free one rename_map and pass it to
2061 2009-03-10 Sebastian Pop <sebastian.pop@amd.com>
2063 * graphite-clast-to-gimple.c (translate_clast): context_loop
2066 2009-03-10 Tobias Grosser <grosser@fim.uni-passau.de>
2067 Sebastian Pop <sebastian.pop@amd.com>
2069 * graphite-ppl.c (ppl_insert_dimensions): Fix stupid mistake
2070 of the use of ppl_Polyhedron_map_space_dimensions.
2072 2009-03-10 Tobias Grosser <grosser@fim.uni-passau.de>
2073 Sebastian Pop <sebastian.pop@amd.com>
2075 * graphite-poly.c (unify_scattering_dimensions): Fix types.
2076 * graphite-poly.h (poly_dr_p, poly_dr, POLY_DR_TYPE, PDR_BB,
2077 PDR_TYPE, PDR_ACCESSES, pdr_accessp_nb_subscripts,
2078 pdr_accessp_nb_iterators, pdr_accessp_nb_params,
2079 pdr_accessp_alias_set_dim, pdr_accessp_subscript_dim,
2080 pdr_accessp_iterator_dim, pdr_accessp_param_dim,
2081 pbb_nb_params): New.
2082 (pbb_nb_loops, pbb_nb_scattering, scop_nb_params,
2083 nb_loops_around_pbb): Adapt return types.
2085 2009-03-09 Tobias Grosser <grosser@fim.uni-passau.de>
2087 * Makefile.in (graphite.o, graphite-sese-to-poly.o,
2088 graphite-clast-to-gimple.o, graphite-data-ref.o,
2089 graphite-scop-detection.o, graphite-poly.o): Add
2092 2009-03-05 Tobias Grosser <grosser@fim.uni-passau.de>
2094 * Makefile.in (graphite.o, graphite-sese-to-poly.o,
2095 graphite-clast-to-gimple.o, graphite-data-ref.o,
2096 graphite-scop-detection.o, graphite-poly.o): Add graphite-poly.h.
2098 2009-03-04 Tobias Grosser <grosser@fim.uni-passau.de>
2100 * testsuite/gcc.dg/graphite/pr37485.c: Remove -floop-block
2101 * testsuite/gcc.dg/graphite/pr37828.c: Same.
2102 * testsuite/gcc.dg/graphite/pr37684.c: Same.
2103 * testsuite/gcc.dg/graphite/block-0.c: Same.
2104 * testsuite/gcc.dg/graphite/block-1.c: Same.
2105 * testsuite/gcc.dg/graphite/block-2.c: Same.
2106 * testsuite/gcc.dg/graphite/block-3.c: Same.
2107 * testsuite/gcc.dg/graphite/block-4.c: Same.
2108 * testsuite/gcc.dg/graphite/block-5.c: Same.
2109 * testsuite/gcc.dg/graphite/block-6.c: Same.
2110 * testsuite/gfortran.dg/graphite/pr38083.f90: Same.
2111 * testsuite/gfortran.dg/graphite/block-1.f90: Same.
2112 * testsuite/gfortran.dg/graphite/block-3.f90: Same.
2113 * testsuite/gfortran.dg/graphite/pr37852.f90: Same.
2114 * testsuite/gfortran.dg/graphite/block-4.f90: Same.
2115 * testsuite/gfortran.dg/graphite/pr37980.f90: Same.
2116 * testsuite/gfortran.dg/graphite/pr38953.f90: Same.
2117 * testsuite/gfortran.dg/graphite/pr37857.f90: Same.
2118 * opts.c: Remove -floop-block from -O2.
2119 * graphite-poly.c: Fail if -floop-block -floop-interchange or
2120 -floop-strip-mine are used.
2122 2009-03-04 Tobias Grosser <grosser@fim.uni-passau.de>
2123 Sebastian Pop <sebastian.pop@amd.com>
2125 * graphite-clast-to-gimple.c (build_cloog_prog): Unify scattering
2127 * graphite-poly.c (pbb_compare, graphite_sort_pbbs,
2128 graphite_trans_bb_move_loop, graphite_trans_bb_strip_mine,
2129 strip_mine_profitable_p, is_interchange_valid,
2130 graphite_trans_bb_block, graphite_trans_loop_block,
2131 graphite_trans_scop_block): Temporary removed.
2132 (extend_scattering, unify_scattering_dimensions): New.
2133 (print_scattering_function, graphite_read_transforms):
2134 PBB_SCATTERING -> PBB_TRANSFORMED_SCATTERING.
2135 (graphite_generate_scattering_fns): Removed.
2136 (apply_poly_transforms): Cleanup.
2137 (free_poly_bb): Add PBB_SCATTERING -> PBB_TRANSFORMED_SCATTERING.
2138 (schedule_to_scattering): Moved.
2139 (PBB_STATIC_SCHEDULE, PBB_SCATTERING): Removed.
2140 (PBB_ORIGINAL_SCATTERING, PBB_TRANSFORMED_SCATTERING): New.
2141 (pbb_nb_scattering): New.
2142 (SCOP_ENTRY, SCOP_EXIT, SCOP_REGION_BBS, SCOP_DEP_GRAPH, SCOP_PARAMS,
2143 SCOP_LOOP_NEST, SCOP_PARAMS, SCOP_OLDIVS, SCOP_LIVEOUT_RENAMES):
2145 * graphite-ppl.c (ppl_insert_dimensions): Extended and renamed from
2147 (ppl_strip_loop): PBB_SCATTERING -> PBB_TRANSFORMED_SCATTERING.
2148 * graphite-scop-detection.c (dot_all_scops_1): PBB_SCATTERING
2149 -> PBB_TRANSFORMED_SCATTERING.
2150 * graphite-sese-to-poly.c (build_scop_bbs): Remove region.
2151 (build_pbb_scattering_polyhedron): Moved from schedule_to_scattering.
2152 (build_scop_scattering): Renamed from build_scop_canonical_schedules.
2153 (check_poly_representation): Do not return bool.
2154 (graphite_transform_loops): Reformat.
2155 * sese.h (SESE_ENTRY_BB, SESE_EXIT_BB): New.
2157 2009-03-04 Sebastian Pop <sebastian.pop@amd.com>
2159 * graphite-poly.c (print_pbb_domain, print_pbb, print_scop,
2160 debug_pbb_domain, debug_pbb, debug_scop): New.
2161 * graphite-poly.h (print_pbb_domain, print_pbb, print_scop,
2162 debug_pbb_domain, debug_pbb, debug_scop): Declared.
2164 2009-03-02 Sebastian Pop <sebastian.pop@amd.com>
2167 * tree-parloops.c (canonicalize_loop_ivs): Call fold_convert
2168 when the type precision of the induction variable should be
2169 larger than the type precision of nit.
2170 (gen_parallel_loop): Update use of canonicalize_loop_ivs.
2171 * graphite-clast-to-gimple.c (graphite_loop_normal_form): Same.
2172 * tree-flow.h (canonicalize_loop_ivs): Update declaration.
2174 * testsuite/gcc.dg/graphite/pr39335_1.c: New.
2175 * testsuite/gcc.dg/graphite/pr39335.c: New.
2177 2009-03-02 Sebastian Pop <sebastian.pop@amd.com>
2179 * tree-parloops.c (canonicalize_loop_ivs): reduction_list contains
2180 SSA_NAMES not struct reduction_info.
2182 2009-03-02 Sebastian Pop <sebastian.pop@amd.com>
2184 * sese.c (expand_scalar_variables_expr): Handle ADDR_EXPR.
2186 2009-02-27 Sebastian Pop <sebastian.pop@amd.com>
2187 Tobias Grosser <grosser@fim.uni-passau.de>
2189 * sese.c (new_sese): Initialize SESE_REDUCTION_LIST.
2190 (free_sese): Free SESE_REDUCTION_LIST.
2191 * sese.h (struct sese): Add field reduction_list.
2192 (SESE_REDUCTION_LIST): New.
2193 * graphite-clast-to-gimple.c (graphite_loop_normal_form): Call
2194 canonicalize_loop_ivs on SESE_REDUCTION_LIST.
2196 2009-02-27 Sebastian Pop <sebastian.pop@amd.com>
2197 Tobias Grosser <grosser@fim.uni-passau.de>
2199 * tree-flow.h (gather_scalar_reductions): Use struct loop * instead
2202 2009-02-27 Sebastian Pop <sebastian.pop@amd.com>
2203 Tobias Grosser <grosser@fim.uni-passau.de>
2205 * tree-parloops.c (struct brli, build_reduction_list_info,
2206 analyze_reduction_list, gather_scalar_reductions): New.
2207 (loop_parallel_p): Build a reduction list containing only
2208 PHI_RESULT SSA_NAMEs: call gather_scalar_reductions.
2209 (gen_parallel_loop): Call the analysis analyze_reduction_list.
2210 (parallelize_loops): Now reduction_list is a htab_t of SSA_NAMEs.
2211 * tree-flow.h (gather_scalar_reductions): Declared.
2213 2009-02-26 Sebastian Pop <sebastian.pop@amd.com>
2216 * graphite-clast-to-gimple.c (graphite_loop_normal_form): Do not call
2217 number_of_iterations_exit from a gcc_assert.
2219 2009-02-25 Sebastian Pop <sebastian.pop@amd.com>
2220 Jan Sjodin <jan.sjodin@amd.com>
2222 * output.h (graphite_out_file, graphite_in_file): Declared.
2223 * toplev.c (graphite_out_file, graphite_in_file): New.
2224 (init_asm_output): Initialize graphite_in_file and graphite_out_file.
2225 * graphite-clast-to-gimple.c (build_cloog_prog): Read PBB_SCATTERING.
2226 Don't call schedule_to_scattering.
2227 * common.opt (fgraphite-write, fgraphite-read): New.
2228 * graphite-poly.c: Include output.h.
2229 (print_scattering_function, print_scattering_functions,
2230 debug_scattering_function, debug_scattering_functions,
2231 graphite_write_transforms, graphite_read_transforms,
2232 graphite_generate_scattering_fns): New.
2233 (apply_poly_transforms): Do not apply transform if flag_graphite_read.
2234 Call graphite_generate_scattering_fns, graphite_write_transforms,
2235 graphite_read_transforms.
2236 (new_poly_bb): Initialize PBB_SCATTERING.
2237 (free_poly_bb): Free PBB_SCATTERING.
2238 (schedule_to_scattering): Does not return, initialize PBB_SCATTERING.
2239 * graphite-poly.h (struct poly_bb): Add field scattering.
2240 (PBB_SCATTERING): New.
2241 (print_scattering_function, print_scattering_functions,
2242 debug_scattering_function, debug_scattering_functions): Declared.
2243 * graphite-ppl.c (cloog_matrix_to_ppl_constraint): Matrices contain
2244 GMP values, not integers!
2245 (ppl_print_polyhedron_matrix, debug_ppl_polyhedron_matrix,
2246 ppl_read_polyhedron_matrix): New.
2247 * graphite-ppl.h (ppl_print_polyhedron_matrix,
2248 debug_ppl_polyhedron_matrix,
2249 ppl_read_polyhedron_matrix): Declared.
2250 * Makefile.in (graphite-poly.o): Depends on output.h.
2252 2009-02-23 Sebastian Pop <sebastian.pop@amd.com>
2253 Tobias Grosser <grosser@fim.uni-passau.de>
2256 * graphite-scop-detection.c (stmt_simple_for_scop_p): Analyze
2257 scalar evolutions in the scop_entry->loop_father.
2259 2009-02-23 Sebastian Pop <sebastian.pop@amd.com>
2260 Tobias Grosser <grosser@fim.uni-passau.de>
2262 * graphite.h (ref_nb_loops): Remove declaration.
2263 (struct gimple_bb, gimple_bb_p, GBB_BB, GBB_DATA_REFS, GBB_CONDITIONS,
2264 GBB_CONDITION_CASES, GBB_CLOOG_IV_TYPES, gbb_loop, print_gimple_bb,
2265 debug_gbb): Moved to sese.h.
2268 2009-02-23 Sebastian Pop <sebastian.pop@amd.com>
2269 Tobias Grosser <grosser@fim.uni-passau.de>
2271 * graphite-data-ref.[ch]: Disable.
2273 2009-02-23 Sebastian Pop <sebastian.pop@amd.com>
2274 Tobias Grosser <grosser@fim.uni-passau.de>
2276 * graphite-scop-detection.c (stmt_simple_for_scop_p): Analyze
2277 scalar evolutions in the scop_entry->loop_father.
2279 2009-02-23 Sebastian Pop <sebastian.pop@amd.com>
2281 * graphite-scop-detection.c (nb_reductions_in_loop): Moved here...
2282 (graphite_cannot_represent_loop_niter): Renamed
2283 graphite_cannot_represent_loop. Call nb_reductions_in_loop.
2284 (limit_scops): build_sese_loop_nests does not return a bool.
2285 * graphite-scop-detection.h (nb_reductions_in_loop): Declared.
2286 * sese.c (nb_reductions_in_loop): ... from here.
2287 (graphite_loop_normal_form): ... from here.
2288 (sese_record_loop): Does not fail, so does not return a bool.
2289 (build_sese_loop_nests): Same.
2290 * sese.h (build_sese_loop_nests): Update declaration.
2291 * graphite-clast-to-gimple.c (graphite_loop_normal_form): Moved here...
2292 (build_graphite_loop_normal_form): New.
2293 (gloog): Call build_graphite_loop_normal_form.
2294 * graphite-sese-to-poly.c (build_poly_scop): Don't fail on
2295 build_sese_loop_nests.
2297 * testsuite/gcc.dg/graphite/id-1.c: New.
2299 2009-02-23 Sebastian Pop <sebastian.pop@amd.com>
2300 Tobias Grosser <grosser@fim.uni-passau.de>
2302 * graphite-sese-to-poly.c (scan_tree_for_params): Remove REAL_CST.
2303 The SCoP detection fix is sufficient.
2305 2009-02-21 Sebastian Pop <sebastian.pop@amd.com>
2307 PR tree-optimization/39260
2308 * graphite-scop-detection.c (harmful_stmt_in_bb): Stop a SCoP when
2309 the basic block contains a condition with a real type.
2310 * graphite-sese-to-poly.c (scan_tree_for_params): Handle REAL_CST.
2312 * gcc.dg/graphite/pr39260.c: New.
2314 2009-02-21 Sebastian Pop <sebastian.pop@amd.com>
2316 * graphite-poly.c: Inlcude params.h.
2317 (graphite_trans_loop_block): Use PARAM_LOOP_BLOCK_TILE_SIZE for
2319 * Makefile.in (graphite-poly.o): Depend on PARAMS_H.
2320 * params.def (PARAM_LOOP_BLOCK_TILE_SIZE): Define.
2322 2009-02-20 Sebastian Pop <sebastian.pop@amd.com>
2323 Tobias Grosser <grosser@fim.uni-passau.de>
2325 * graphite-scop-detection.c (dot_all_scops_1,
2326 dot_all_scops): Moved here.
2327 * graphite-scop-detection.h (dot_all_scops): Declared here.
2328 * graphite.c (graphite_initialize, graphite_finalize): New.
2329 (graphite_transform_loops): Cleaned up.
2330 * sese.c (debug_oldivs): Moved here.
2331 * graphite-poly.c (graphite_apply_transformations): Renamed
2332 apply_poly_transforms.
2333 (debug_loop_vec): Moved here.
2334 * graphite-sese-to-poly.c (build_bb_loops, build_sese_conditions_1,
2335 scop_contains_non_iv_scalar_phi_nodes, build_sese_conditions,
2336 find_scop_parameters, build_scop_iteration_domain,
2337 add_conditions_to_constraints, build_scop_canonical_schedules,
2338 build_scop_data_accesses): Now static.
2339 (build_poly_scop, check_poly_representation): New.
2341 2009-02-20 Sebastian Pop <sebastian.pop@amd.com>
2343 * graphite.c (graphite_stmt_p, new_gimple_bb, free_gimple_bb,
2344 remove_gbbs_in_scop, free_scops, try_generate_gimple_bb,
2345 build_scop_bbs, ref_nb_loops, compare_prefix_loops,
2346 build_scop_canonical_schedules, build_bb_loops, add_value_to_dim,
2347 scan_tree_for_params_right_scev, scan_tree_for_params_int,
2348 scan_tree_for_params, struct irp_data, dx_record_params,
2349 find_params_in_bb, find_scop_parameters, gbb_from_bb,
2350 build_loop_iteration_domains, add_conditions_to_domain,
2351 phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes,
2352 scop_contains_non_iv_scalar_phi_nodes, build_sese_conditions_1,
2353 build_sese_conditions, add_conditions_to_constraints,
2354 build_scop_iteration_domain, build_access_matrix_with_af,
2355 build_access_matrix,
2356 build_scop_data_accesses): Moved to graphite-sese-to-poly.c.
2358 * graphite-sese-to-poly.c: New.
2359 * graphite-sese-to-poly.h: New.
2361 * Makefile.in: Add new rule for graphite-sese-to-poly.o.
2363 2009-02-20 Sebastian Pop <sebastian.pop@amd.com>
2365 * graphite.c: Split graphite code generation to a new file.
2366 (graphite_verify, gmp_cst_to_tree, clast_name_to_gcc,
2367 max_precision_type, clast_to_gcc_expression_red,
2368 clast_to_gcc_expression, gcc_type_for_clast_expr,
2369 gcc_type_for_clast_eq, loop_iv_stack_patch_for_consts,
2370 graphite_translate_clast_equation, graphite_create_guard_cond_expr,
2371 graphite_create_new_guard, clast_get_body_of_loop,
2372 gcc_type_for_cloog_iv, gcc_type_for_iv_of_clast_loop,
2373 graphite_create_new_loop, build_iv_mapping, copy_renames,
2374 translate_clast, find_cloog_iv_in_expr, compute_cloog_iv_types_1,
2375 compute_cloog_iv_types, free_scattering, save_var_name,
2376 initialize_cloog_names, build_scop_context, build_cloog_prog,
2377 set_cloog_options, debug_clast_stmt, scop_to_clast,
2378 print_generated_program, debug_generated_program,
2379 gloog): Moved to graphite-clast-to-gimple.c.
2381 (struct cloog_prog_clast): Moved to graphite-clast-to-gimple.h.
2383 (iv_stack_entry_is_constant, iv_stack_entry_is_iv,
2384 loop_iv_stack_push_iv, loop_iv_stack_insert_constant,
2385 loop_iv_stack_pop, loop_iv_stack_get_iv,
2386 loop_iv_stack_get_iv_from_name, debug_loop_iv_stack,
2387 free_loop_iv_stack, loop_iv_stack_remove_constants,
2388 debug_rename_elt, debug_rename_map_1, debug_rename_map,
2389 rename_map_elt_info, eq_rename_map_elts, debug_ivtype_elt,
2390 debug_ivtype_map_1, debug_ivtype_map, ivtype_map_elt_info,
2391 eq_ivtype_map_elts, sese_add_exit_phis_edge,
2392 sese_add_exit_phis_var, sese_insert_phis_for_liveouts,
2393 get_vdef_before_sese, sese_adjust_vphi,
2394 get_new_name_from_old_name, sese_adjust_phis_for_liveouts,
2395 oldiv_for_loop, rename_variables_in_stmt, is_parameter,
2396 is_iv, expand_scalar_variables_ssa_name,
2397 expand_scalar_variables_expr, expand_scalar_variables_stmt,
2398 expand_scalar_variables, rename_variables, remove_condition,
2399 get_true_edge_from_guard_bb, get_false_edge_from_guard_bb,
2400 add_loop_exit_phis, insert_loop_close_phis, struct igp,
2401 default_liveout_before_guard, add_guard_exit_phis,
2402 insert_guard_phis, register_old_and_new_names,
2403 graphite_copy_stmts_from_block, register_sese_liveout_renames,
2404 copy_bb_and_scalar_dependences, outermost_loop_in_sese,
2405 if_region_set_false_region, create_if_region_on_edge,
2406 move_sese_in_condition): Moved to sese.c.
2408 (nb_loops_around_loop_in_sese, struct ifsese, if_region_entry,
2409 if_region_exit, if_region_get_condition_block,
2410 struct rename_map_elt, new_rename_map_elt, enum iv_stack_entry_kind,
2411 union iv_stack_entry_data_union, struct iv_stack_entry_struct,
2412 iv_stack_entry_p, loop_iv_stack, struct ivtype_map_elt,
2413 ivtype_map_elt, new_ivtype_map_elt,
2414 recompute_all_dominators): Moved to sese.h.
2416 * graphite-clast-to-gimple.c: New.
2417 * graphite-clast-to-gimple.h: New.
2418 * Makefile.in: Add new rule for graphite-clast-to-gimple.o.
2419 * sese.c: Modified as said above.
2422 2009-02-20 Sebastian Pop <sebastian.pop@amd.com>
2424 * graphite.c: Split scop detection to a new file.
2425 (enum gbb_type, gbb_type, get_bb_type, struct sd_region_p, sd_region,
2426 move_sd_regions, loop_affine_expr, exclude_component_ref,
2427 is_simple_operand, stmt_simple_for_scop_p, harmful_stmt_in_bb,
2428 graphite_cannot_represent_loop_niter, struct scopdet_info,
2429 scopdet_basic_block_info, build_scops_1, bb_in_sd_region,
2430 find_single_entry_edge, find_single_exit_edge,
2431 create_single_entry_edge, sd_region_without_exit,
2432 create_single_exit_edge, unmark_exit_edges, mark_exit_edges,
2433 create_sese_edges, build_graphite_scops, limit_scops, build_scops):
2434 Moved to graphite-scop-detection.c.
2436 * graphite-scop-detection.c: New.
2437 * graphite-scop-detection.h: New.
2438 * Makefile.in: Add new rule for graphite-scop-detection.o.
2440 * sese.c: Include tree-chrec.h, tree-data-ref.h, and
2441 tree-scalar-evolution.h.
2442 (nb_reductions_in_loop, graphite_loop_normal_form, sese_record_loop,
2443 build_sese_loop_nests): Moved here from graphite.c.
2444 (param_index): Renamed parameter_index_in_region.
2446 2009-02-18 Tobias Grosser <grosser@fim.uni-passau.de>
2447 Sebastian Pop <sebastian.pop@amd.com>
2449 * gcc.dg/graphite/block-0.c: Expected to fail now.
2450 * gcc.dg/graphite/block-1.c: Same.
2451 * gcc.dg/graphite/block-5.c: Same.
2452 * gcc.dg/graphite/block-6.c: Same.
2454 2009-02-18 Tobias Grosser <grosser@fim.uni-passau.de>
2455 Sebastian Pop <sebastian.pop@amd.com>
2457 * graphite.h: Separate from graphite_bb_p the polyhedral
2458 representation in poly_bb_p and the GCC specifics in gimple_bb_p.
2459 (struct data_dependence_polyhedron, RDGE_DDP, ddp_p): Moved to
2460 graphite-data-ref.h.
2461 (struct poly_bb, PBB_SCOP, PBB_STATIC_SCHEDULE, PBB_DOMAIN,
2462 PBB_BLACK_BOX, PBB_LOOPS, pbb_nb_loops, pbb_loop_at_index,
2463 pbb_loop_index, struct scop, SCOP_BBS, SCOP_REGION, SCOP_ENTRY,
2464 SCOP_EXIT, SCOP_REGION_BBS, SCOP_DEP_GRAPH, SCOP_PARAMS,
2465 SCOP_LOOP_NEST, SCOP_PARAMS, SCOP_OLDIVS, SCOP_LIVEOUT_RENAMES,
2466 scop_nb_params): Moved to graphite-poly.h.
2467 * graphite-data-ref.c: Same.
2468 * graphite-data-ref.h: New.
2470 (pbb_compare, graphite_sort_pbbs, graphite_trans_bb_move_loop,
2471 graphite_trans_bb_strip_mine, strip_mine_profitable_p,
2472 is_interchange_valid, graphite_trans_bb_block,
2473 graphite_trans_loop_block, scop_max_loop_depth,
2474 graphite_trans_scop_block, graphite_apply_transformations,
2475 new_poly_bb, free_poly_bb, new_scop, free_scop): Moved to
2477 * graphite-poly.h: New.
2478 * graphite-poly.c: New.
2479 * Makefile.in (OBJS-common): Add graphite-poly.o.
2480 (graphite-poly.o): New rule.
2481 * tree-data-ref.h (struct data_reference): Remove unused scop field.
2484 2009-02-18 Sebastian Pop <sebastian.pop@amd.com>
2485 Tobias Grosser <grosser@fim.uni-passau.de>
2487 * graphite.c: Replace gb -> gbb.
2489 * graphite-data-ref.c: Same.
2491 2009-02-18 Sebastian Pop <sebastian.pop@amd.com>
2492 Tobias Grosser <grosser@fim.uni-passau.de>
2494 * Makefile.in (OBJS-commmon): Add sese.o.
2496 (graphite.o): Add sese.h.
2497 * graphite.c (bb_in_ss_p, loop_in_sese_p,
2498 sese_build_livein_liveouts_use, sese_build_livein_liveouts_bb,
2499 sese_build_livein_liveouts, register_bb_in_sese, new_sese, free_sese):
2501 (block_before_scop): Add missing return.
2502 (new_scop, free_scop): Remove SESE data structures.
2503 (scop_record_loop, scan_tree_for_params, find_params_in_bb,
2504 find_scop_parameters, build_loop_iteration_domains,
2505 add_conditions_to_domain, register_scop_liveout_renames,
2506 copy_bb_and_scalar_dependences): Scop -> SESE.
2508 (add_conditions_to_domain): SCoP -> SESE and remove check
2509 (scop_contains_non_iv_scalar_phi_nodes): New.
2510 (build_scop_conditions_1, build_scop_conditions): Remove check for
2511 non iv scalar phi nodes.
2512 (print_scop_statistics): New.
2513 (graphite_transform_loops): Cleanup.
2515 * graphite.h: Move to sese & cleanup.
2519 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2520 Tobias Grosser <grosser@fim.uni-passau.de>
2522 * graphite.c (build_scop_conditions_1): Conditions are only
2523 at the end of a basic block.
2525 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2526 Tobias Grosser <grosser@fim.uni-passau>
2528 * graphite.h (struct graphite_bb): Remove compressed_alpha_matrix
2530 (GBB_ALPHA): Removed.
2532 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2533 Tobias Grosser <grosser@fim.uni-passau.de>
2535 * graphite-data-ref.c (graphite_test_dependence): Don't use
2536 GBB_DYNAMIC_SCHEDULE.
2537 * graphite.c (new_graphite_bb): Same.
2538 (free_graphite_bb): Same.
2539 (build_scop_dynamic_schedules): Removed.
2540 (graphite_transform_loops): Don't call it.
2541 * graphite.h (struct graphite_bb): Remove dynamic_schedule field.
2542 (GBB_DYNAMIC_SCHEDULE): Removed.
2544 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2545 Tobias Grosser <grosser@fim.uni-passau.de>
2547 * graphite.c (schedule_to_scattering): Don't use CloogMatrix.
2548 (print_graphite_bb): Same.
2549 (build_cloog_prog): Same.
2551 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2552 Tobias Grosser <grosser@fim.uni-passau.de>
2554 * graphite.c (build_cloog_prog): Don't use CloogMatrix.
2556 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2557 Tobias Grosser <grosser@fim.uni-passau.de>
2559 * graphite.c (build_scop_context): Don't use CloogMatrix.
2560 * graphite-ppl.c (new_Cloog_Domain_from_ppl_Polyhedron): New.
2561 * graphite-ppl.h (new_Cloog_Domain_from_ppl_Polyhedron): Declared.
2563 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2564 Tobias Grosser <grosser@fim.uni-passau.de>
2566 * graphite.h (struct scop): Move params, old_ivs, loops, loop_nest,
2567 liveout_renames, add_params fields...
2568 (struct sese): ... here.
2569 (SESE_PARAMS, SESE_LOOPS, SESE_LOOP_NEST, SESE_ADD_PARAMS,
2570 SESE_PARAMS, SESE_OLDIVS, SESE_LIVEOUT_RENAMES): New.
2572 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2573 Tobias Grosser <grosser@fim.uni-passau.de>
2575 * graphite.c (print_scop): Do not print the CLooG program.
2576 (new_scop, free_scop, initialize_cloog_names, build_scop_context,
2577 build_cloog_prog, gloog): Don't use SCOP_PROG.
2578 (find_transform): Renamed scop_to_clast.
2579 (print_generated_program, debug_generated_program): New.
2580 (graphite_transform_loops): Adapt to new interface.
2581 * graphite.h (struct scop): Remove program field.
2582 (SCOP_PROG): Removed.
2583 (print_generated_program, debug_generated_program): Declared.
2585 2009-02-16 Sebastian Pop <sebastian.pop@amd.com>
2587 * graphite-data-ref.c (schedule_precedes_p, schedule_same_p): New.
2588 (statement_precedes_p): Use schedule_same_p and schedule_precedes_p.
2589 * graphite.c (gbb_compare, schedule_to_scattering, print_graphite_bb,
2590 free_graphite_bb, build_scop_canonical_schedules,
2591 graphite_trans_bb_strip_mine, graphite_trans_scop_block): Static
2592 schedules are now represented using a ppl_Linear_Expression_t.
2593 * graphite.h (struct graphite_bb): Same.
2594 * graphite-ppl.c (ppl_lexico_compare_linear_expressions): New.
2595 * graphite-ppl.h (ppl_lexico_compare_linear_expressions): Declared.
2597 2009-02-15 Sebastian Pop <sebastian.pop@amd.com>
2599 * graphite.c: Free local memory.
2600 * graphite-ppl.c: Same.
2602 2009-02-15 Sebastian Pop <sebastian.pop@amd.com>
2604 * graphite.c (const_column_index, get_first_matching_sign_row_index,
2605 get_lower_bound_row, get_upper_bound_row, copy_constraint,
2606 swap_constraint_variables, scale_constraint_variable): Removed.
2607 (graphite_trans_bb_strip_mine): Remove pong.
2608 * graphite-ppl.c: Include missing header files.
2609 (set_inhomogeneous, set_coef, shift_poly, ppl_strip_loop): New.
2610 * graphite-ppl.h (ppl_strip_loop): Declared.
2611 * Makefile.in (graphite-ppl.o): Adjust dependences.
2613 2009-02-14 Sebastian Pop <sebastian.pop@amd.com>
2615 * graphite.c (build_loop_iteration_domains): Remove ping pong.
2616 (build_scop_iteration_domain): Same.
2618 2009-02-13 Sebastian Pop <sebastian.pop@amd.com>
2620 * graphite.c (scan_tree_for_params, add_conditions_to_domain): Remove
2622 (add_value_to_dim, scan_tree_for_params_right_scev,
2623 scan_tree_for_params_int): New.
2624 * graphite-ppl.c (oppose_constraint): New.
2625 (insert_constraint_into_matrix): Implement missing cases.
2626 * graphite-ppl.h (insert_constraint_into_matrix): Declared.
2628 2009-02-13 Sebastian Pop <sebastian.pop@amd.com>
2630 * graphite.c (graphite_trans_bb_move_loop): Remove ping pong,
2631 use ppl_move_dimension.
2633 2009-02-12 Sebastian Pop <sebastian.pop@amd.com>
2635 * graphite-data-ref.c: Domains are now ppl_Polyhedra_t.
2638 * graphite-ppl.c: Same.
2639 * graphite-ppl.h: Same.
2641 2009-02-12 Sebastian Pop <sebastian.pop@amd.com>
2643 Revert last 3 commits.
2645 2009-02-10 Sebastian Pop <sebastian.pop@amd.com>
2647 * graphite.c (scan_tree_for_params, add_conditions_to_domain): Remove
2649 (add_value_to_dim, scan_tree_for_params_right_scev,
2650 scan_tree_for_params_int): New.
2651 * graphite-ppl.c (oppose_constraint): New.
2652 (insert_constraint_into_matrix): Implement missing cases.
2653 * graphite-ppl.h (insert_constraint_into_matrix): Declared.
2655 2009-02-10 Sebastian Pop <sebastian.pop@amd.com>
2657 * graphite.c (graphite_trans_bb_move_loop): Remove unused variables.
2659 2009-02-10 Sebastian Pop <sebastian.pop@amd.com>
2660 Tobias Grosser <grosser@fim.uni-passau.de>
2662 * graphite.c (graphite_trans_bb_move_loop): Remove ping pong,
2663 use ppl_move_dimension.
2664 * graphite-ppl.c (ppl_move_dimension): New.
2665 * graphite-ppl.h (ppl_move_dimension): Declared.
2667 2009-02-10 Sebastian Pop <sebastian.pop@amd.com>
2669 * graphite.c: Do not include cloog/cloog.h.
2670 (print_graphite_bb): Remove ping pong, call PPL print function.
2672 2009-02-10 Tobias Grosser <grosser@fim.uni-passau.de>
2674 * Makefile.in (OBJS-common): Add graphite-ppl.o.
2675 (graphite.o): Add dependence on graphite-ppl.h.
2676 (graphite-ppl.o): New.
2677 (graphite-data-ref.c): Ping pong between PPL data structures
2679 * graphite-ppl.c: New.
2680 * graphite-ppl.h: New.
2681 * graphite.c: Include graphite-ppl.h.
2682 (print_graphite_bb, add_conditions_to_domain, build_cloog_prog,
2683 graphite_trans_bb_move_loop, graphite_trans_bb_strip_mine):
2684 Ping pong between PPL data structures and matrices.
2685 (new_graphite_bb): Create a PPL constraint system.
2686 Call ppl_delete_Constraint_System instead of cloog_matrix_free.
2687 (build_loop_iteration_domains): Use PPL functions.
2688 * graphite.h: Include graphite-ppl.h. Fix comments.
2689 (graphite_bb): Use a ppl_Constraint_System_t instead of
2690 CloogMatrix for representing the domain.
2691 (scop): Remove static_schedule.
2692 (gbb_nb_loops): Ping pong between PPL data structures and matrices.
2694 2009-02-06 Sebastian Pop <sebastian.pop@amd.com>
2696 * graphite.c: Fix some comments.
2698 2009-02-05 Sebastian Pop <sebastian.pop@amd.com>
2701 * graphite.c (if_region_set_false_region): After moving a region
2702 in the false branch of a condition, remove the empty dummy
2704 (gloog): Remove wrong fix for PR38953.
2706 2009-02-03 Tobias Grosser <grosser@fim.uni-passau.de>
2708 * graphite.c (bb_in_sese_p, sese_build_livein_liveouts_use,
2709 sese_build_livein_liveouts_bb, sese_build_livein_liveouts,
2710 register_bb_in_sese, new_sese, free_sese): Moved.
2711 (dot_scop_1, build_scop_loop_nests, build_loop_iteration_domains,
2712 outermost_loop_in_scop, build_scop_iteration_domain,
2713 expand_scalar_variables_ssa_name, get_vdef_before_scop,
2714 limit_scops): Use bb_in_sese_p instead of bb_in_scop_p.
2715 Use loop_in_sese_p instead of loop_in_scop_p.
2716 (new_graphite_bb, new_scop, gloog): Do not initialize SCOP_BBS_B.
2717 (free_scop): Do not free SCOP_BBS_B.
2718 (nb_loops_around_loop_in_scop, nb_loops_around_gb,
2719 ref_nb_loops): Moved here...
2720 * graphite.h (ref_nb_loops): ... from here.
2721 (struct scop): Remove bbs_b bitmap.
2722 (SCOP_BBS_B, bb_in_scop_p, loop_in_scop_p): Removed.
2723 * testsuite/gcc.dg/graphite/scop-19.c: New
2725 2009-02-03 Tobias Grosser <grosser@fim.uni-passau.de>
2727 * graphite.c (scopdet_basic_block_info): Fix bug in scop
2730 2009-01-30 Tobias Grosser <grosser@fim.uni-passau.de>
2732 * graphite.c (new_loop_to_cloog_loop_str, hash_loop_to_cloog_loop,
2733 eq_loop_to_cloog_loop): Remove.
2734 (new_scop, free_scop): Remove SCOP_LOOP2CLOOG_LOOP.
2735 * graphite.h (struct scop): Remove loop2cloog_loop.
2736 (loop_domain_dim, loop_iteration_vector_dim): Remove.
2738 2009-01-30 Tobias Grosser <grosser@fim.uni-passau.de>
2740 * opts.c (decode_options): Only add graphite options to O2
2741 if we compile with graphite enabled.
2743 2009-01-26 Sebastian Pop <sebastian.pop@amd.com>
2745 * Merge from mainline (r143163:143684).
2747 2009-01-26 Sebastian Pop <sebastian.pop@amd.com>
2749 * graphite.c (debug_value): Removed.
2750 * graphite.h (debug_value): Removed.
2752 2009-01-23 Sebastian Pop <sebastian.pop@amd.com>
2754 * passes.c (init_optimization_passes): Do not call pass_copy_prop
2755 after graphite: pass_copy_prop does not maintain a proper loop closed
2756 SSA form. pass_copy_prop should be fixed.
2758 2009-01-23 Sebastian Pop <sebastian.pop@amd.com>
2760 * graphite.c (scop_adjust_phis_for_liveouts): Fix warning.
2762 2009-01-23 Sebastian Pop <sebastian.pop@amd.com>
2764 * graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa.
2765 (gloog): Split the exit of the scop when the scop exit is a loop exit.
2766 (graphite_transform_loops): Only call cleanup_tree_cfg if gloog
2769 2009-01-20 Sebastian Pop <sebastian.pop@amd.com>
2771 * graphite.c (gloog): Return true when code gen succeeded.
2772 (graphite_transform_loops): Do not call cleanup_tree_cfg if
2773 the code of the function did not changed. After cleanup_tree_cfg
2774 call rewrite_into_loop_closed_ssa to maintain the loop closed ssa
2777 2009-01-19 Sebastian Pop <sebastian.pop@amd.com>
2779 * graphite.c (stmt_simple_for_scop_p): Also handle cases when
2780 gimple_call_lhs is NULL.
2782 2009-01-16 Sebastian Pop <sebastian.pop@amd.com>
2783 Tobias Grosser <tobi.grosser@amd.com>
2785 * graphite.c (graphite_trans_scop_block): Do not block single
2788 2009-01-15 Sebastian Pop <sebastian.pop@amd.com>
2789 Tobias Grosser <tobi.grosser@amd.com>
2791 * graphite.c (build_scop_canonical_schedules): Start schedules at
2794 2009-01-15 Sebastian Pop <sebastian.pop@amd.com>
2795 Tobias Grosser <tobi.grosser@amd.com>
2797 * graphite.c (compare_prefix_loops): New.
2798 (build_scop_canonical_schedules): Rewritten.
2799 (graphite_transform_loops): Move build_scop_canonical_schedules
2800 after build_scop_iteration_domain.
2802 2009-01-14 Sebastian Pop <sebastian.pop@amd.com>
2803 Tobias Grosser <tobi.grosser@amd.com>
2805 * graphite.c (add_conditions_to_domain): Add the loops to
2806 the dimension of the iteration domain. Do copy the domain
2807 only when it exists.
2808 (build_scop_conditions_1): Do not call add_conditions_to_domain.
2809 (add_conditions_to_constraints): New.
2810 (can_generate_code_stmt, can_generate_code): Removed.
2811 (gloog): Do not call can_generate_code.
2812 (graphite_transform_loops): Call add_conditions_to_constraints
2813 after building the iteration domain.
2815 2009-01-14 Sebastian Pop <sebastian.pop@amd.com>
2816 Tobias Grosser <tobi.grosser@amd.com>
2817 Jan Sjodin <jan.sjodin@amd.com>
2819 * graphite.c (scan_tree_for_params): On substractions negate
2820 all the coefficients of the term.
2821 (clast_to_gcc_expression_red): New. Handle reduction expressions
2822 of more than two operands.
2823 (clast_to_gcc_expression): Call clast_to_gcc_expression_red.
2824 (get_vdef_before_scop): Handle also the case of default definitions.
2826 2009-01-14 Sebastian Pop <sebastian.pop@amd.com>
2829 * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New.
2830 (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi.
2831 (gloog): Do not call cleanup_tree_cfg.
2832 (graphite_transform_loops): Call cleanup_tree_cfg after all
2833 scops have been code generated.
2835 2009-01-13 Sebastian Pop <sebastian.pop@amd.com>
2837 * passes.c (init_optimization_passes): Schedule after
2838 graphite transforms pass_copy_prop, pass_dce_loop and pass_lim.
2840 2009-01-13 Sebastian Pop <sebastian.pop@amd.com>
2842 * graphite.c (expand_scalar_variables_stmt): Do not pass loop_p.
2844 (expand_scalar_variables_ssa_name): Do not pass loop_p. Fix comment.
2845 Set the type of an expression to the type of its assign statement.
2846 (expand_scalar_variables_expr): Do not pass loop_p.
2847 Fix comment. Stop recursion on tcc_constant or tcc_declaration.
2848 (copy_bb_and_scalar_dependences): Do not pass loop_p.
2849 (translate_clast): Update call to copy_bb_and_scalar_dependences.
2851 2009-01-11 Sebastian Pop <sebastian.pop@amd.com>
2853 * graphite.c (expand_scalar_variables_ssa_name): Set the type of
2854 an expression to the gimple_expr_type of its assign statement.
2855 (expand_scalar_variables_expr): Stop recursion on tcc_constant
2858 2009-01-11 Sebastian Pop <sebastian.pop@amd.com>
2860 PR tree-optimization/38786
2861 * testsuite/gcc.dg/graphite/pr38786.c: New.
2862 * graphite.c (expand_scalar_variables_ssa_name): New, outlined from
2863 the SSA_NAME case of expand_scalar_variables_expr.
2864 (expand_scalar_variables_expr): Also gather the scalar computation
2865 used to index the memory access.
2866 (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr
2867 the gimple_stmt_iterator where it inserts new code.
2869 2009-01-10 Sebastian Pop <sebastian.pop@amd.com>
2871 * testsuite/gcc.dg/graphite/block-3.c: Fix compile error on 32bit.
2873 2009-01-10 Sebastian Pop <sebastian.pop@amd.com>
2875 * opts.c (decode_options): Enable flag_graphite_identity and
2876 flag_loop_block in -O2 and above.
2878 2009-01-08 Sebastian Pop <sebastian.pop@amd.com>
2880 * libjava/classpath/lib/gnu/java/awt/peer/gtk/GtkMouseInfoPeer.class:
2881 Fix merge problem: replace with the file from trunk.
2883 2009-01-08 Sebastian Pop <sebastian.pop@amd.com>
2885 * Merge from mainline (r141727:143163).
2887 2009-01-07 Sebastian Pop <sebastian.pop@amd.com>
2888 Jan Sjodin <jan.sjodin@amd.com>
2890 PR tree-optimization/38559
2891 * testsuite/gcc.dg/graphite/pr38559.c: New.
2893 * graphite.c (debug_value, copy_constraint,
2894 swap_constraint_variables, scale_constraint_variable, ): New.
2895 (get_lower_bound, get_upper_bound): Removed.
2896 (graphite_trans_bb_strip_mine): Clean up this code that works
2897 only for constant number of iterations. Fully copy upper and
2898 lower bound constraints, not only the constant part of them.
2899 * graphite.h (debug_value): Declared.
2901 2009-01-06 Jan Sjodin <jan.sjodin@amd.com>
2903 PR tree-optimization/38492
2904 PR tree-optimization/38498
2905 * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
2906 * tree-chrec.h (scev_is_linear_expression): Declared.
2907 * graphite.c (graphite_cannot_represent_loop_niter): New.
2908 (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
2909 (graphite_loop_normal_form): Use gcc_assert.
2910 (scan_tree_for_params): Use CASE_CONVERT.
2911 (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
2912 (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
2913 Use gcc_assert. Discard scops that contain unhandled cases.
2914 (build_scop_conditions): Return a boolean status for unhandled cases.
2915 (strip_mine_profitable_p): Print the loop number, not its depth.
2916 (is_interchange_valid): Pass the depth of the loop nest, don't
2917 recompute it wrongly.
2918 (graphite_trans_bb_block): Same.
2919 (graphite_trans_bb_block): Print tentative of loop blocking.
2920 (graphite_trans_scop_block): Do not print that the loop has been
2922 (graphite_transform_loops): Do not handle scops that contain condition
2925 * testsuite/gcc.dg/graphite/pr38500.c: Fixed warning as committed
2927 * testsuite/gcc.dg/graphite/block-0.c: Update test.
2928 * testsuite/gcc.dg/graphite/block-1.c: Same.
2929 * testsuite/gcc.dg/graphite/block-2.c: Remove xfail and test for
2931 * testsuite/gcc.dg/graphite/block-4.c: Remove test for strip mine.
2932 * testsuite/gcc.dg/graphite/block-3.c: New.
2933 * testsuite/gcc.dg/graphite/pr38498.c: New.
2935 2008-12-22 Harsha Jagasia <harsha.jagasia@amd.com>
2937 PR tree-optimization/38510
2938 * gcc.dg/graphite/pr38510.c: New.
2939 * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
2940 (translate_clast): Call recompute_all_dominators before
2942 (gloog): Call recompute_all_dominators before graphite_verify.
2944 2008-12-12 Sebastian Pop <sebastian.pop@amd.com>
2946 PR tree-optimization/38492
2947 * graphite.c (rename_map_elt, debug_rename_elt,
2948 debug_rename_map_1, debug_rename_map, new_rename_map_elt,
2949 rename_map_elt_info, eq_rename_map_elts,
2950 get_new_name_from_old_name, bb_in_sese_p): Moved around.
2951 (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use.
2952 (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb.
2953 (sese_build_livein_liveouts): New.
2954 (new_sese, free_sese): New.
2955 (new_scop): Call new_sese.
2956 (free_scop): Call free_sese.
2957 (rename_variables_from_edge, rename_phis_end_scop): Removed.
2958 (register_old_new_names): Renamed register_old_and_new_names.
2959 (register_scop_liveout_renames, add_loop_exit_phis,
2960 insert_loop_close_phis, struct igp,
2961 default_liveout_before_guard, add_guard_exit_phis,
2962 insert_guard_phis, copy_renames): New.
2963 (translate_clast): Call insert_loop_close_phis and insert_guard_phis.
2964 (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge.
2965 (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts.
2966 (scop_adjust_phis_for_liveouts): New.
2967 (gloog): Call scop_adjust_phis_for_liveouts.
2969 * graphite.h (struct sese): Documented. Added fields liveout,
2971 (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New.
2972 (new_sese, free_sese, sese_build_livein_liveouts): Declared.
2973 (struct scop): Added field liveout_renames.
2974 (SCOP_LIVEOUT_RENAMES): New.
2976 2008-12-11 Sebastian Pop <sebastian.pop@amd.com>
2978 PR tree-optimization/38409
2979 * gcc.dg/graphite/pr38409.c: New.
2980 * graphite.c (nb_reductions_in_loop): Use simple_iv.
2982 2008-12-11 Sebastian Pop <sebastian.pop@amd.com>
2984 * graphite.c (gcc_type_for_cloog_iv): By default return
2986 (graphite_create_new_loop): Don't fold_convert the already
2987 fold_convert-ed expression.
2989 2008-12-11 Harsha Jagasia <harsha.jagasia@amd.com>
2991 PR tree-optimization/38446
2992 * gcc.dg/graphite/pr38446.c: New.
2993 * graphite.c (register_bb_in_sese): New.
2994 (bb_in_sese_p): Check if bb belongs to sese region by explicitly
2995 looking at the bbs in the region.
2996 * graphite.h (sese): Add region_basic_blocks pointer set to
2997 structure and initialize at the time of defining new scop.
2999 2008-12-11 Tobias Grosser <grosser@fim.uni-passau.de>
3001 * graphite.c (new_graphite_bb): Initialize GBB_STATIC_SCHEDULE.
3002 (find_params_in_bb): Do not free data refs.
3003 (free_graphite_bb): Add FIXME on disabled free_data_refs.
3005 2008-12-11 Sebastian Pop <sebastian.pop@amd.com>
3007 * testsuite/gcc.dg/graphite/scop-16.c: Test only scop specific info.
3008 * testsuite/gcc.dg/graphite/scop-17.c: Same.
3009 * testsuite/gcc.dg/graphite/block-5.c: New.
3010 * testsuite/gcc.dg/graphite/block-6.c: New.
3011 * testsuite/gcc.dg/graphite/pr37485.c: Clean dump file after.
3012 * testsuite/gcc.dg/graphite/pr37684.c: Same.
3013 * testsuite/gcc.dg/graphite/block-2.c: Same.
3015 * graphite.c (struct ivtype_map_elt): New.
3016 (debug_ivtype_elt, debug_ivtype_map_1, debug_ivtype_map,
3017 new_ivtype_map_elt, ivtype_map_elt_info, eq_ivtype_map_elts,
3018 gcc_type_for_cloog_iv): New.
3019 (loop_iv_stack_patch_for_consts): Use the type of the induction
3020 variable from the original loop, except for the automatically
3021 generated loops, i.e., in the case of a strip-mined loop, in
3022 which case there is no original loop: in that case just use
3024 (new_graphite_bb): Initialize GBB_CLOOG_IV_TYPES.
3025 (free_graphite_bb): Free GBB_CLOOG_IV_TYPES.
3026 (clast_name_to_gcc): Accept params to be NULL.
3027 (clast_to_gcc_expression): Take an extra parameter for the type.
3028 Convert to that type all the expressions built by this function.
3029 (gcc_type_for_clast_expr, gcc_type_for_clast_eq): New.
3030 (graphite_translate_clast_equation): Compute the type of the
3031 clast_equation before translating its LHS and RHS.
3032 (clast_get_body_of_loop, gcc_type_for_iv_of_clast_loop): New.
3033 (graphite_create_new_loop): Compute the type of the induction
3034 variable before translating the lower and upper bounds and before
3035 creating the induction variable.
3036 (rename_variables_from_edge, rename_phis_end_scop): New.
3037 (copy_bb_and_scalar_dependences): Call rename_phis_end_scop.
3038 (sese_add_exit_phis_edge): Do not use integer_zero_node.
3039 (find_cloog_iv_in_expr, compute_cloog_iv_types_1,
3040 compute_cloog_iv_types): New.
3041 (gloog): Call compute_cloog_iv_types before starting the
3042 translation of the clast.
3044 * graphite.h (struct graphite_bb): New field cloog_iv_types.
3045 (GBB_CLOOG_IV_TYPES): New.
3046 (debug_ivtype_map): Declared.
3047 (oldiv_for_loop): New.
3049 2008-12-10 Tobias Grosser <grosser@fim.uni-passau.de>
3052 * graphite.c (new_scop): Initialize SCOP_ADD_PARAMS.
3053 (param_index): Assert if parameter is not know after parameter
3055 (find_params_in_bb): Detect params directly in GBB_CONDITIONS.
3056 (find_scop_parameters): Mark, that we have finished parameter
3058 (graphite_transform_loops): Move condition detection before parameter
3060 * graphite.h (struct scop): Add SCOP_ADD_PARAMS.
3061 * testsuite/gfortran.dg/graphite/pr38459.f90: New.
3063 2008-12-09 Tobias Grosser <grosser@fim.uni-passau.de>
3065 * graphite.c (graphite_transform_loops): Always call find_transform ()
3066 in ENABLE_CHECKING. So we test these code paths, even if we do not
3069 2008-12-09 Tobias Grosser <grosser@fim.uni-passau.de>
3071 * graphite.c (print_graphite_bb): Fix printing to file != dump_file.
3072 (print_scop): Ditto.
3074 2008-12-08 Tobias Grosser <grosser@fim.uni-passau.de>
3077 Fix testsuite/gfortran.dg/graphite/id-3.f90.
3078 * graphite.c (scopdet_basic_block_info): Fix bug that found some
3079 regions more than once.
3081 2008-12-03 Sebastian Pop <sebastian.pop@amd.com>
3083 Fix testsuite/gfortran.dg/graphite/id-4.f90.
3084 * graphite.c (scan_tree_for_params): Do not compute the multiplicand
3087 2008-12-03 Sebastian Pop <sebastian.pop@amd.com>
3089 Fix testsuite/gfortran.dg/graphite/id-1.f90.
3090 * graphite.c (gmp_cst_to_tree): Pass the type in parameter.
3091 (loop_iv_stack_patch_for_consts): Update use of gmp_cst_to_tree.
3092 (max_precision_type): New.
3093 (value_clast): Removed.
3094 (clast_to_gcc_expression): Be more careful to types of expressions.
3095 Use max_precision_type and update use of gmp_cst_to_tree.
3096 (graphite_translate_clast_equation): Use max_precision_type.
3097 (graphite_create_guard_cond_expr): Do not use integer_type_node,
3098 use the type of the condition.
3099 (graphite_create_new_loop): Do not use integer_type_node, use the
3100 max_precision_type of lb and ub.
3102 2008-12-03 Sebastian Pop <sebastian.pop@amd.com>
3104 * graphite.c (build_scops_1): Initialize open_scop.exit
3107 2008-12-02 Sebastian Pop <sebastian.pop@amd.com>
3109 * testsuite/gcc.dg/graphite/pr38084.c: New.
3110 * testsuite/gfortran.dg/graphite/id-1.f90: New.
3111 * testsuite/gfortran.dg/graphite/id-2.f90: New.
3112 * testsuite/gfortran.dg/graphite/id-3.f90: New.
3113 * testsuite/gfortran.dg/graphite/id-4.f90: New.
3114 * testsuite/gfortran.dg/graphite/pr37857.f90: New.
3116 2008-12-02 Sebastian Pop <sebastian.pop@amd.com>
3117 Jan Sjodin <jan.sjodin@amd.com>
3118 Harsha Jagasia <harsha.jagasia@amd.com>
3130 * testsuite/gcc.dg/graphite/pr38073.c: New.
3131 * testsuite/gcc.dg/graphite/pr37928.c: New.
3132 * testsuite/gcc.dg/graphite/pr37883.c: New.
3133 * testsuite/gcc.dg/graphite/pr38125.c: New.
3134 * testsuite/gfortran.dg/graphite/pr38083.f90: New.
3135 * testsuite/gfortran.dg/graphite/pr37852.f90: New.
3136 * testsuite/gfortran.dg/graphite/pr37980.f90: New.
3138 * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for
3139 the number of detected scops. Copy exact same test for loop
3141 * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected
3142 loops to be blocked as reductions are not handled.
3143 * testsuite/gcc.dg/graphite/block-4.c: ...here. New.
3145 * tree-phinodes.c (remove_phi_nodes): New, extracted from...
3146 * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block):
3148 * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared.
3149 * Makefile.in (graphite.o): Depend on value-prof.h.
3150 (graphite.o-warn): Removed -Wno-error.
3151 * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list
3152 to be a NULL pointer. Call update_stmt. Return the newly created
3153 cannonical induction variable.
3155 * graphite.h (debug_rename_map): Declared. Fix some comments.
3157 * graphite.c: Reimplement the code generation from graphite to gimple.
3158 Include value-prof.h.
3159 (loop_iv_stack_get_iv): Do not return NULL for constant substitutions.
3160 (get_old_iv_from_ssa_name): Removed.
3161 (graphite_stmt_p): New.
3162 (new_graphite_bb): Test for useful statements before building a
3163 graphite statement for the basic block.
3164 (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug
3165 in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without
3167 (recompute_all_dominators, graphite_verify,
3168 nb_reductions_in_loop, graphite_loop_normal_form): New.
3169 (scop_record_loop): Call graphite_loop_normal_form.
3170 (build_scop_loop_nests): Iterate over all the blocks of the
3171 function instead of relying on the incomplete information from
3172 SCOP_BBS. Return the success of the operation.
3173 (find_params_in_bb): Use the data from GBB_DATA_REFS.
3174 (add_bb_domains): Removed.
3175 (build_loop_iteration_domains): Don't call add_bb_domains.
3176 Add the iteration domain only to the basic blocks that have been
3177 translated to graphite.
3178 (build_scop_conditions_1): Add constraints only if the basic
3179 block have been translated to graphite.
3180 (build_scop_data_accesses): Completely disabled until data
3181 dependence is correctly implemented.
3182 (debug_rename_elt, debug_rename_map_1, debug_rename_map): New.
3183 (remove_all_edges_1, remove_all_edges): Removed.
3184 (get_new_name_from_old_name): New.
3185 (graphite_rename_variables_in_stmt): Renamed
3186 rename_variables_in_stmt. Call get_new_name_from_old_name.
3187 Use replace_exp and update_stmt.
3188 (is_old_iv): Renamed is_iv.
3189 (expand_scalar_variables_stmt): Extra parameter for renaming map.
3190 Use replace_exp and update_stmt.
3191 (expand_scalar_variables_expr): Same. Use the map to get the
3192 new names for the renaming of induction variables and for the
3193 renaming of variables after a basic block has been copied.
3194 (expand_scalar_variables): Same.
3195 (graphite_rename_variables): Renamed rename_variables.
3196 (move_phi_nodes): Removed.
3197 (get_false_edge_from_guard_bb): New.
3198 (build_iv_mapping): Do not insert the induction variable of a
3199 loop in the renaming iv map if the basic block does not belong
3201 (register_old_new_names, graphite_copy_stmts_from_block,
3202 copy_bb_and_scalar_dependences): New.
3203 (translate_clast): Heavily reimplemented: copy basic blocks,
3204 do not move them. Finally, in call cleanup_tree_cfg in gloog.
3205 At each translation step call graphite_verify ensuring the
3206 consistency of the SSA, loops and dominators information.
3207 (collect_virtual_phis, find_vdef_for_var_in_bb,
3208 find_vdef_for_var_1, find_vdef_for_var,
3209 patch_phis_for_virtual_defs): Removed huge hack.
3210 (mark_old_loops, remove_dead_loops, skip_phi_defs,
3211 collect_scop_exit_phi_args, patch_scop_exit_phi_args,
3212 gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed.
3213 (remove_sese_region, ifsese, if_region_entry, if_region_exit,
3214 if_region_get_condition_block, if_region_set_false_region,
3215 create_if_region_on_edge, move_sese_in_condition, bb_in_sese_p,
3216 sese_find_uses_to_rename_use, sese_find_uses_to_rename_bb,
3217 sese_add_exit_phis_edge, sese_add_exit_phis_var,
3218 rewrite_into_sese_closed_ssa): New.
3219 (gloog): Remove dead code. Early return if code cannot be
3220 generated. Call cleanup_tree_cfg once the scop has been code
3222 (graphite_trans_scop_block, graphite_trans_loop_block): Do not
3223 block loops with less than two loops.
3224 (graphite_apply_transformations): Remove the call to
3225 scop_remove_ignoreable_gbbs.
3226 (limit_scops): When build_scop_loop_nests fails, continue on
3227 the next scop. Fix open_scop.entry.
3228 (graphite_transform_loops): Call recompute_all_dominators: force the
3229 recomputation of correct CDI_DOMINATORS and CDI_POST_DOMINATORS.
3230 Call initialize_original_copy_tables and free_original_copy_tables
3231 to be able to copy basic blocks during code generation.
3232 When build_scop_loop_nests fails, continue on next scop.
3233 (value_clast): New union.
3234 (clast_to_gcc_expression): Fix type cast warning.
3236 2008-11-09 Sebastian Pop <sebastian.pop@amd.com>
3238 * Merge from mainline (r140838:141727).
3240 2008-11-05 Tobias Grosser <grosser@fim.uni-passau.de>
3244 * graphite.c (scan_tree_for_params): Add POINTER_PLUS_EXPR.
3246 2008-11-05 Tobias Grosser <grosser@fim.uni-passau.de>
3250 * graphite.c (scopdet_basic_block_info): Fix loops with multiple
3251 exits and conditions.
3252 * testsuite/gcc.dg/graphite/pr37943.c: New.
3254 2008-10-23 Tobias Grosser <grosser@fim.uni-passau.de>
3257 * graphite.c (gloog): Replace EXIT_BLOCK_PTR with scop exit.
3259 2008-10-23 Tobias Grosser <grosser@fim.uni-passau.de>
3261 * doc/invoke.texi: Fix spaces.
3263 2008-10-22 Sebastian Pop <sebastian.pop@amd.com>
3265 PR tree-optimization/37891
3266 Reverted last commit.
3267 * graphite.c (create_single_entry_edge): Set
3268 EDGE_IRREDUCIBLE_LOOP and BB_IRREDUCIBLE_LOOP.
3270 2008-10-21 Sebastian Pop <sebastian.pop@amd.com>
3271 Mitul Thakkar <mitul.thakkar@amd.com>
3273 * graphite.c (create_single_entry_edge): Set
3274 EDGE_IRREDUCIBLE_LOOP and BB_IRREDUCIBLE_LOOP.
3276 2008-10-16 Tobias Grosser <grosser@fim.uni-passau.de>
3278 * doc/invoke.texi: Add -fgraphite-identity.
3279 * graphite.c (graphite_apply_transformations): Check for
3280 -fgraphite-identity.
3281 * toplev.c (process_options): Add flag_graphite_identity.
3282 * tree-ssa-loop.c: Add flag_graphite_identity.
3284 2008-10-14 Sebastian Pop <sebastian.pop@amd.com>
3286 Undo changes from 2008-10-02:
3287 * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Convert
3288 operand type when copying the operand to a variable of different type.
3289 * cfgloopmanip.c (create_empty_loop_on_edge): Write exit condition
3290 with the IV name after increment.
3292 2008-10-14 Sebastian Pop <sebastian.pop@amd.com>
3293 Harsha Jagasia <harsha.jagasia@amd.com>
3295 PR tree-optimization/37828
3296 * testsuite/gcc.dg/graphite/pr37828.c: New.
3297 * graphite.c (graphite_trans_loop_block): Do not loop block
3298 single nested loops.
3300 2008-10-09 Harsha Jagasia <harsha.jagasia@amd.com>
3301 Sebastian Pop <sebastian.pop@amd.com>
3303 * graphite.c (struct rename_map_elt, new_rename_map_elt,
3304 rename_map_elt_info, eq_rename_map_elts): New.
3305 (graphite_rename_ivs_stmt): Renamed graphite_rename_variables_in_stmt.
3306 (expand_scalar_variables_expr): Change parameters.
3307 (expand_scalar_variables_stmt): Same.
3308 (expand_scalar_variables): Same.
3309 (graphite_rename_ivs): Rename graphite_rename_variables.
3310 (build_iv_mapping): New.
3311 (translate_clast): Call build_iv_mapping.
3312 * graphite.h (gbb_p): New name.
3314 2008-10-03 Harsha Jagasia <harsha.jagasia@amd.com>
3316 PR tree-optimization/37684
3317 * gcc.dg/graphite/pr37684.c: New.
3318 * graphite.c (exclude_component_ref): New.
3319 (is_simple_operand): Call exclude_component_ref.
3321 2008-10-02 Jan Sjodin <jan.sjodin@amd.com>
3322 Harsha Jagasia <harsha.jagasia@amd.com>
3324 PR tree-optimization/37485
3325 * gcc.dg/graphite/block-2.c: New
3326 * graphite.c (gmp_cst_to_tree): Moved.
3327 (iv_stack_entry_is_constant): New.
3328 (iv_stack_entry_is_iv): New.
3329 (loop_iv_stack_push): Renamed to loop_iv_stack_push_iv.
3330 (loop_iv_stack_insert_constant): New.
3331 (loop_iv_stack_pop): Use new datatpype.
3332 (loop_iv_stack_get_iv): Same.
3333 (loop_iv_stack_get_iv_from_name): Same.
3334 (loop_iv_stack_debug): Renamed to debug_loop_iv_stack.
3335 (loop_iv_stack_patch_for_consts): New.
3336 (loop_iv_stack_remove_constants): New.
3337 (graphite_create_new_loop): Use loop_iv_stack_push_iv.
3338 (translate_clast): Call loop_iv_stack_patch_for_consts and
3339 loop_iv_stack_remove_constants.
3340 (gloog): Use new datatype. Redirect construction edge to end
3341 block to avoid accidental deletion.
3342 * graphite.h (enum iv_stack_entry_kind): New. Tag for data in
3344 (union iv_stack_entry_data): New. Data in iv stack entry.
3345 (struct iv_stack_entry): New. Datatype for iv stack entries.
3347 2008-10-02 Sebastian Pop <sebastian.pop@amd.com>
3349 * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Convert
3350 operand type when copying the operand to a variable of different type.
3352 2008-10-02 Sebastian Pop <sebastian.pop@amd.com>
3354 * cfgloopmanip.c (create_empty_loop_on_edge): Write exit condition
3355 with the IV name after increment.
3357 2008-10-02 Sebastian Pop <sebastian.pop@amd.com>
3359 * Merge from mainline (r140164:140838).
3361 2008-09-10 Konrad Trifunovic <konrad.trifunovic@inria.fr>
3363 * graphite-data-ref.c: New.
3364 * graphite.c (print_scop): Also dump the dependence graph.
3365 (bb_in_scop_p, loop_in_scop_p, nb_loops_around_gb): Moved...
3366 (new_scop): Initialize SCOP_DEP_GRAPH.
3367 (build_scop_dynamic_schedules): New.
3368 (build_access_matrix_with_af): Fixed column numbering.
3369 (graphite_transform_loops): Call build_scop_dynamic_schedules.
3370 * graphite.h: Add ifndef/define guards against multiple inclusion.
3371 (struct scop): Add dep_graph field.
3372 (SCOP_DEP_GRAPH): Defined.
3373 (ref_nb_loops): Fixed and moved to other position.
3374 (bb_in_scop_p, loop_in_scop_p, nb_loops_around_gb): ... here.
3375 (nb_loops_around_loop_in_scop): New.
3376 (graphite_dump_dependence_graph): Declared.
3377 (graphite_build_rdg_all_levels): Declared.
3378 (graphite_test_dependence): Declared.
3379 * Makefile.in (graphite-data-ref.o): New target.
3381 2008-09-09 Sebastian Pop <sebastian.pop@amd.com>
3383 * Merge from mainline (139870:140164).
3385 2008-09-01 Sebastian Pop <sebastian.pop@amd.com>
3387 * Merge from mainline (138275:139870).
3388 * testsuite/gcc.dg/graphite/scop-matmult.c: XFailed as one of
3389 the commits from trunk broke the niter detection.
3391 2008-09-01 Sebastian Pop <sebastian.pop@amd.com>
3393 * graphite.c: Add more documentation. Fix formatting.
3394 (debug_loop_vec, debug_oldivs, loop_iv_stack,
3395 loop_iv_stack_debug): Moved...
3396 (schedule_to_scattering): Move before use.
3397 (dot_all_scops): Include in "#if 0" the code for system
3400 * graphite.h: (debug_loop_vec, debug_oldivs, loop_iv_stack,
3401 loop_iv_stack_debug): ...here.
3403 2008-08-29 Jan Sjodin <jan.sjodin@amd.com>
3405 * tree-phinodes.c (make_phi_node): Extern.
3406 (add_phi_node_to_bb): New.
3407 (create_phi_node): Call add_phi_node_to_bb.
3408 * tree-ssa-loop-ivopts.c (get_phi_with_result): New.
3409 (remove_statement): Handle case where stored phi was updated
3410 and is no longer the same.
3411 * graphite.c (is_parameter): New.
3413 (expand_scalar_variables_expr): New.
3414 (expand_scalar_variables_stmt): New.
3415 (expand_scalar_variables): New.
3416 (move_phi_nodes): Create new phi instead of moving old one.
3417 (translate_clast): Call expand_scalar_variables.
3418 (find_vdef_for_var_in_bb): Also scan regular definitions.
3419 (skip_phi_defs): New.
3420 (collect_scop_exit_phi_args): New.
3421 (patch_scop_exit_phi_args): New.
3422 (gloog): Patch phis after scop.
3423 * tree-flow.h: (add_phi_node_to_bb): Declared.
3424 (make_phi_node): Declared.
3426 2008-08-26 Sebastian Pop <sebastian.pop@amd.com>
3428 * graphite.c (end_scop): Split the entry of the scop when it
3429 is the header of the loop in which the scop is ending.
3430 (build_scops_1, limit_scops): Update uses of end_scop.
3432 2008-08-26 Sebastian Pop <sebastian.pop@amd.com>
3434 * graphite.c (dot_all_scops_1): Do not fail on uninitialized
3435 SCOP_ENTRY or SCOP_EXIT.
3437 2008-08-25 Sebastian Pop <sebastian.pop@amd.com>
3439 * graphite.c (get_construction_edge): Removed.
3440 (gloog): Construction edge is the scop entry edge.
3442 2008-08-25 Sebastian Pop <sebastian.pop@amd.com>
3444 * graphite.c (can_generate_for_scop): Removed.
3445 (gloog): Do not call it.
3447 2008-08-25 Sebastian Pop <sebastian.pop@amd.com>
3449 * graphite.c (new_scop): Entry of a scop is an edge.
3450 Initialize SESE region.
3451 (free_scop): Free SESE region.
3452 (build_scops_1, scopdet_bb_info): Work on edges, not on bbs.
3453 (split_difficult_bb): New, split from end_scop.
3454 (end_scop): Exit of a scop is an edge.
3455 (build_scop_bbs): Never check CDI_POST_DOMINATORS: this info is
3456 not automatically updated and thus is always wrong.
3457 * graphite.h (struct sese): New.
3460 (struct scop): New field for a SESE region. Remove entry, exit.
3461 (SCOP_ENTRY, SCOP_EXIT): Update definitions to match same
3462 semantics as before. Moved comment around.
3464 2008-08-25 Tobias Grosser <grosser@fim.uni-passau.de>
3465 Sebastian Pop <sebastian.pop@amd.com>
3467 * graphite.c (graphite_transform_loops): Always enable gloog
3468 and find_transform when ENABLE_CHECKING.
3470 2008-08-25 Sebastian Pop <sebastian.pop@amd.com>
3472 * graphite.c (graphite_transform_loops): Move pretty printer
3473 of SCOPs before doing any transform. Remove call to print_scops
3474 and dot_all_scops_1.
3476 2008-08-25 Sebastian Pop <sebastian.pop@amd.com>
3478 * graphite.c (dump_gbb_conditions): Don't try to print NULL pointers.
3479 (print_graphite_bb): Same.
3481 2008-08-25 Sebastian Pop <sebastian.pop@amd.com>
3483 * graphite.c (dot_all_scops_1): Cleanup.
3484 (move_scops): Fix comment.
3486 2008-08-25 Sebastian Pop <sebastian.pop@amd.com>
3488 * graphite.c (build_scop_bbs): Revert commit 139355:
3490 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3491 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3493 * graphite.c (build_scop_bbs): Factor up code.
3495 2008-08-25 Tobias Grosser <grosser@fim.uni-passau.de>
3497 * graphite.c (gloog): Update dominator info.
3499 2008-08-25 Tobias Grosser <grosser@fim.uni-passau.de>
3501 * graphite.c (remove_cond_exprs): Do not fail on empty bbs.
3503 2008-08-24 Sebastian Pop <sebastian.pop@amd.com>
3505 * graphite.c (new_graphite_bb): Remove GBB_INDEX_TO_NUM_MAP
3507 (free_graphite_bb): Remove GBB_INDEX_TO_NUM_MAP free.
3508 (translate_clast): Correct formatting.
3509 * graphite.h (struct num_map): Removed.
3510 (struct graphite_bb): Remove num_map field.
3511 (GBB_INDEX_TO_NUM_MAP): Removed.
3513 2008-08-24 Sebastian Pop <sebastian.pop@amd.com>
3515 * graphite.c (build_access_matrix_with_af): Fix comments.
3516 (build_scop_data_accesses): Same.
3518 2008-08-24 Sebastian Pop <sebastian.pop@amd.com>
3520 * graphite.c (build_scop_data_accesses): Don't construct
3521 access matrices. Add a FIXME and an assert condition that
3522 should pass when the access matrices will be needed.
3524 2008-08-24 Sebastian Pop <sebastian.pop@amd.com>
3526 * tree-data-ref.c (stmt_simple_memref_p): Don't call
3528 * graphite.c (build_graphite_bb): Renamed new_graphite_bb.
3529 Moved close by free_graphite_bb.
3530 (free_graphite_bb): Call free_data_refs. Reset bb->aux.
3531 (new_scop): Move close by free_scop.
3532 (graphite_transform_loops): Avoid linear scan to reset bb->aux.
3534 2008-08-22 Jan Sjodin <jan.sjodin@amd.com>
3536 * cfgloopmanip.c (create_empty_if_region_on_edge): New.
3537 * graphite.c (clast_to_gcc_expression): Call gmp_cst_to_tree
3538 instead of recursive call.
3539 (graphite_translate_clast_equation): New.
3540 (graphite_create_guard_cond_expr): New.
3541 (graphite_create_new_guard): New.
3542 (get_stack_index_from_iv): Removed.
3543 (graphite_rename_ivs_stmt): Use gbb_loop_index.
3544 (get_true_edge_from_guard_bb): New.
3545 (translate_clast): Handle stmt_guard in clast.
3546 (get_construction_edge): Allow construction edge detection for
3547 a scope entry with multiple predecessors if one predecessor is
3548 the immediate dominator of scope entry.
3549 (can_generate_code_stmt): Enable code generation for clast_guard.
3550 (gloog): Use correct context loop. Removed check for post dominators.
3551 * cfgloop.h (create_empty_if_region_on_edge): Declared.
3553 2008-08-21 Sebastian Pop <sebastian.pop@amd.com>
3555 * graphite.c (remove_dead_loops): Document better which
3558 2008-08-21 Sebastian Pop <sebastian.pop@amd.com>
3560 * Makefile.in: Rename POLYLIBLIBS and POLYLIBINC to PPLLIBS
3562 (graphite.o): Also depends on pointer-set.h.
3564 2008-08-21 Sebastian Pop <sebastian.pop@amd.com>
3566 * graphite.c (scop_record_loop): Fix compile warning.
3568 2008-08-21 Harsha Jagasia <harsha.jagasia@amd.com>
3569 Sebastian Pop <sebastian.pop@amd.com>
3571 * graphite.c (scop_record_loop): DECL_NAME can be NULL.
3573 2008-08-21 Sebastian Pop <sebastian.pop@amd.com>
3575 * graphite.c (build_graphite_bb): Initialize bb->aux to
3576 point to the graphite_bb_p.
3577 (graphite_bb_from_bb): Renamed gbb_from_bb; returns the
3579 (add_bb_domains): Does not use the scop parameter.
3580 (graphite_transform_loops): Clean bb->aux at the end.
3582 2008-08-20 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3583 Sebastian Pop <sebastian.pop@amd.com>
3585 * testsuite/lib/target-supports.exp
3586 (check_effective_target_fgraphite): New.
3588 * testsuite/gcc.dg/graphite/graphite.exp: Early exit when
3589 check_effective_target_fgraphite returns false.
3590 Set dg-do-what-default to compile.
3591 (scan-graphite-dump-times): Removed.
3592 * testsuite/gfortran.dg/graphite/graphite.exp: Same.
3594 * testsuite/gcc.dg/graphite/scop-0.c: Do not use "dg-do compile".
3595 Use scan-tree-dump-times instead of scan-graphite-dump-times.
3596 * testsuite/gcc.dg/graphite/scop-1.c: Same.
3597 * testsuite/gcc.dg/graphite/scop-2.c: Same.
3598 * testsuite/gcc.dg/graphite/scop-3.c: Same.
3599 * testsuite/gcc.dg/graphite/scop-4.c: Same.
3600 * testsuite/gcc.dg/graphite/scop-5.c: Same.
3601 * testsuite/gcc.dg/graphite/scop-6.c: Same.
3602 * testsuite/gcc.dg/graphite/scop-7.c: Same.
3603 * testsuite/gcc.dg/graphite/scop-8.c: Same.
3604 * testsuite/gcc.dg/graphite/scop-9.c: Same.
3605 * testsuite/gcc.dg/graphite/scop-10.c: Same.
3606 * testsuite/gcc.dg/graphite/scop-11.c: Same.
3607 * testsuite/gcc.dg/graphite/scop-12.c: Same.
3608 * testsuite/gcc.dg/graphite/scop-13.c: Same.
3609 * testsuite/gcc.dg/graphite/scop-matmult.c: Same.
3610 * testsuite/gcc.dg/graphite/scop-14.c: Same.
3611 * testsuite/gcc.dg/graphite/scop-15.c: Same.
3612 * testsuite/gcc.dg/graphite/block-0.c: Same.
3613 * testsuite/gcc.dg/graphite/scop-16.c: Same.
3614 * testsuite/gcc.dg/graphite/block-1.c: Same.
3615 * testsuite/gcc.dg/graphite/scop-17.c: Same.
3616 * testsuite/gcc.dg/graphite/scop-18.c: Same.
3617 * testsuite/gfortran.dg/graphite/block-1.f90: Same.
3618 * testsuite/gfortran.dg/graphite/scop-1.f: Same.
3619 * testsuite/gfortran.dg/graphite/block-2.f: Same.
3621 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3623 * graphite.c: Fix some XXX comments.
3624 (build_scop_dynamic_schedules): Removed.
3626 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3628 * graphite.h (scop_max_loop_depth): Moved...
3629 * graphite.c (scop_max_loop_depth): ...here.
3630 (remove_all_edges_1): New.
3631 (remove_all_edges): Factored code.
3632 (remove_cond_exprs): Check only the last statement for
3633 a GIMPLE_COND expression.
3635 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3637 * graphite.c (scan_tree_for_params): Early return when the
3638 expression is a chrec_dont_know. Handle case NEGATE_EXPR.
3639 (find_scop_parameters): Factor out code.
3640 (graphite_trans_bb_strip_mine): Remove dead code.
3642 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3644 * graphite.c (clast_to_gcc_expression, graphite_create_new_loop,
3645 graphite_trans_bb_move_loop): Factor asserts.
3646 (gloog): Perform sanity checks only for ENABLE_CHECKING.
3647 Do not call calculate_dominance_info and estimate_bb_frequencies.
3649 2008-08-20 Jan Sjodin <jan.sjodin@amd.com>
3651 * graphite.c (create_loops_mapping, free_loops_mapping,
3652 create_loops_mapping_num, debug_loop_mapping_1,
3653 debug_loop_mapping, graphite_loops_mapping_max_loop_num,
3654 get_loop_mapping_for_num, graphite_loops_mapping_add_child,
3655 graphite_loops_mapping_add_child_num,
3656 graphite_loops_mapping_insert_child,
3657 graphite_loops_mapping_parent, get_loop_mapped_depth_for_num,
3658 get_loop_mapped_depth, split_loop_mapped_depth_for_num,
3659 loop_mapped_depth_split_loop, swap_loop_mapped_depth_for_num,
3660 create_num_from_index, get_num_from_index,
3661 swap_loop_mapped_depth): Removed.
3662 (new_scop): Do not initialize SCOP_LOOPS_MAPPING.
3663 (free_scop): Do not call free_loops_mapping.
3664 (graphite_get_new_iv_stack_index_from_old_iv): Renamed
3665 get_stack_index_from_iv. Use GBB_LOOPS instead of calling
3666 get_loop_mapped_depth.
3667 (graphite_trans_bb_move_loop): Do not update the loop mapping.
3668 (graphite_trans_bb_strip_mine): Same.
3669 * graphite.h (graphite_loops_mapping, graphite_loop_node): Removed.
3670 (struct scop): Remove field loops_mapping.
3672 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3673 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3675 * graphite.c (scop_record_loop): Factor out one level of the
3676 condition by early return.
3677 (build_scop_loop_nests): Format following FSF coding style.
3678 (build_scop_dynamic_schedules): Factor out code.
3679 (scopdet_bb_info): Reindent. Default case should not be reachable.
3681 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3682 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3684 * graphite.c (loop_affine_expr): Check for DECL_P or struct
3685 assignments that are not handled as simple operands for now.
3687 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3688 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3690 * graphite.c (build_scop_bbs): Factor up code.
3692 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3693 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3695 * graphite.c (stmt_simple_for_scop_p): Factor code out
3697 (enum gbb_type): New. Group all the GBB_* types under it.
3698 (is_loop_exit): Moved...
3699 (end_scop): Enable BB spliting.
3700 * cfgloop.c (is_loop_exit): ...here. Reimplemented.
3701 * cfgloop.h (is_loop_exit): Declared.
3703 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3705 * doc/invoke.texi: Remove strides from examples containing
3706 DO loops when the strides are equal to 1.
3708 2008-08-20 Harsha Jagasia <harsha.jagasia@amd.com>
3709 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3711 * graphite.c (graphite_trans_scop_block): Or the result with
3712 the result from graphite_trans_loop_block.
3713 * testsuite/gcc.dg/graphite/block-1.c: New.
3714 * testsuite/gfortran.dg/graphite/block-1.f90: New.
3715 * testsuite/gfortran.dg/graphite/block-2.f: New.
3717 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3719 * graphite.c (graphite_transform_loops): Call cloog_initialize
3722 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3724 * tree-data-ref.c) (stmt_simple_memref_p): New.
3725 * tree-data-ref.h (stmt_simple_memref_p): Declared.
3726 * graphite.c (stmt_simple_memref_for_scop_p): Removed.
3727 (is_simple_operand): Call stmt_simple_memref_p.
3729 * testsuite/gcc.dg/graphite/scop-matmult.c: Updated for not
3730 using pointer arithmetic, as this is optimized by PRE and
3731 makes the code too difficult to analyze.
3733 * testsuite/gcc.dg/graphite/scop-18.c: Same.
3735 2008-08-20 Sebastian Pop <sebastian.pop@amd.com>
3737 * gdbinit.in (pgg): New.
3739 2008-08-15 Tobias Grosser <grosser@fim.uni-passau.de>
3741 * graphite.c (graphite_trans_loop_block): Fix warning.
3743 2008-08-15 Tobias Grosser <grosser@fim.uni-passau.de>
3745 * graphite.c (graphite_trans_loop_block): Fix my merge error.
3747 2008-08-15 Tobias Grosser <grosser@fim.uni-passau.de>
3749 * graphite.c (graphite_trans_bb_block): Remove check for
3750 flag_loop_strip_mine, flag_loop_block, flag_loop_interchange.
3751 Check if loop blocking is profitable for every loop, before applying
3753 (graphite_apply_transformations): Call graphite_trans_bb_block only,
3754 if flag_loop_block is set.
3756 2008-08-14 Sebastian Pop <sebastian.pop@amd.com>
3758 * graphite.c: Add some more documentation for the loop
3761 2008-08-14 Sebastian Pop <sebastian.pop@amd.com>
3763 * Makefile.in (tree-data-ref.o): Remove dependence on graphite.h.
3764 * graphite.c: Format on less than 80 columns.
3767 2008-08-14 Sebastian Pop <sebastian.pop@amd.com>
3769 * cfgloopmanip.c (loopify): Use update_dominators_in_loop.
3771 2008-08-14 Sebastian Pop <sebastian.pop@amd.com>
3773 * doc/invoke.texi (floop-block, floop-strip-mine,
3774 floop-interchange): Update documentation with examples.
3776 2008-08-13 Sebastian Pop <sebastian.pop@amd.com>
3778 * cfgloopmanip.c (create_empty_loop_on_edge): Don't call
3780 * graphite.c (graphite_create_new_loop): Call add_referenced_var.
3782 2008-08-13 Sebastian Pop <sebastian.pop@amd.com>
3784 * cfgloopmanip.c (create_empty_loop_on_edge): Improve documentation.
3785 Factor gcc_asserts into a single one. Use force_gimple_operand_gsi.
3786 * tree-scalar-evolution.c: Revert useless changes.
3787 * tree-phinodes.c: Same.
3790 * tree-vectorizer.h: Same.
3791 * tree-flow.h: Same.
3793 * common.opt (fgraphite): Update documentation.
3795 2008-08-12 Harsha Jagasia <harsha.jagasia@amd.com>
3797 * doc/invoke.texi (-floop-block, -floop-strip-mine,
3798 -floop-interchange): Add more text for explaining what each of these
3800 * tree-into-ssa.c (gimple_vec): Moved to...
3801 * graphite.c: Include gimple.h.
3802 (gimple_vec): Moved to...
3803 (del_loop_to_cloog_loop): Removed.
3804 (loop_affine_expr): Do not call create_data_ref when the
3805 operand is a constant.
3806 (new_scop): Use free instead of del_loop_to_cloog_loop.
3807 * Makefile.in (graphite.o): Depend on GIMPLE_H.
3808 * gimple.h (gimple_vec): ... here.
3810 2008-08-11 Tobias Grosser <grosser@fim.uni-passau.de>
3812 * graphite.c (scopdet_bb_info): Only allow loops with known number of
3814 (build_loop_iteration_domains): Fail, if latch executions unknown.
3816 2008-08-11 Tobias Grosser <grosser@fim.uni-passau.de>
3818 * graphite.c (add_conditions_to_domain): New.
3819 (build_scop_conditions_1): Call add_conditions_to_domain.
3820 (set_cloog_options): Allow to disable optimizations.
3822 2008-08-11 Tobias Grosser <grosser@fim.uni-passau.de>
3824 * graphite.c (find_params_in_bb): Look for parameters in conditions.
3825 Do not use walk_dominator_tree.
3826 (find_scop_parameters): Do not use walk_dominator_tree.
3828 2008-08-11 Tobias Grosser <grosser@fim.uni-passau.de>
3830 * graphite.c (scan_tree_for_params) Add / Subtract inequality.
3831 (idx_record_params): Adapt.
3832 * graphite.h (scop_gimple_loop_depth): New.
3834 2008-08-11 Tobias Grosser <grosser@fim.uni-passau.de>
3836 * graphite.c (build_scop_dynamic_schedules): Remove value_init.
3837 (scan_tree_for_params): Remove value_init.
3838 (build_scop_context): Remove value_init.
3839 (build_loop_iteration_domains): Remove value_init.
3840 (schedule_to_scattering): Remove value_init.
3841 (graphite_trans_bb_strip_mine): Remove value_init.
3843 2008-08-11 Tobias Grosser <grosser@fim.uni-passau.de>
3845 * gcc/graphite.c (limit_scops): New.
3846 (graphite_transform_loops): Add limit SCoPs.
3847 * gcc/testsuite/gcc.dg/graphite/scop-0.c: Update number of SCoPs.
3848 * gcc/testsuite/gcc.dg/graphite/scop-1.c: Update number of SCoPs.
3849 * gcc/testsuite/gcc.dg/graphite/scop-10.c: Update number of SCoPs.
3850 * gcc/testsuite/gcc.dg/graphite/scop-11.c: Update number of SCoPs.
3851 * gcc/testsuite/gcc.dg/graphite/scop-12.c: Update number of SCoPs.
3852 * gcc/testsuite/gcc.dg/graphite/scop-13.c: Update number of SCoPs.
3853 * gcc/testsuite/gcc.dg/graphite/scop-14.c: Update number of SCoPs.
3854 * gcc/testsuite/gcc.dg/graphite/scop-15.c: Update number of SCoPs.
3855 * gcc/testsuite/gcc.dg/graphite/scop-16.c: Update number of SCoPs.
3856 Change loop numbers.
3857 * gcc/testsuite/gcc.dg/graphite/scop-17.c: Update number of SCoPs.
3858 Change loop numbers.
3859 * gcc/testsuite/gcc.dg/graphite/scop-18.c: Update number of SCoPs.
3860 * gcc/testsuite/gcc.dg/graphite/scop-2.c: Update number of SCoPs.
3861 * gcc/testsuite/gcc.dg/graphite/scop-3.c: Update number of SCoPs.
3862 * gcc/testsuite/gcc.dg/graphite/scop-4.c: Update number of SCoPs.
3863 * gcc/testsuite/gcc.dg/graphite/scop-5.c: Update number of SCoPs.
3864 * gcc/testsuite/gcc.dg/graphite/scop-6.c: Update number of SCoPs.
3865 * gcc/testsuite/gcc.dg/graphite/scop-7.c: Update number of SCoPs.
3866 * gcc/testsuite/gcc.dg/graphite/scop-8.c: Update number of SCoPs.
3867 * gcc/testsuite/gcc.dg/graphite/scop-9.c: Update number of SCoPs.
3868 * gcc/testsuite/gcc.dg/graphite/scop-matmult.c: Update number of SCoPs.
3870 2008-08-11 Tobias Grosser <grosser@fim.uni-passau.de>
3872 * graphite.c (graphite_transform_loops): Call always find_transform.
3874 2008-08-08 Tobias Grosser <grosser@fim.uni-passau.de>
3876 * graphite.c (free_loops_mapping): New.
3877 (stmt_simple_for_scop_p): Fix typo.
3878 (stmt_simple_for_scop_p): Fix tuples functions, that
3880 (free_graphite_bb): Fix some memleaks.
3881 (free_scop): Fix some memleaks.
3882 (scopdet_bb_info): Do not forget some tmp SCoPs.
3883 (find_params_in_bb): Fix some memleaks.
3884 (clast_to_gcc_expression): Fix warning.
3886 2008-08-07 Tobias Grosser <grosser@fim.uni-passau.de>
3888 * testsuite/gcc.dg/graphite/scop-16.c: Fix for 32bit.
3889 * testsuite/gcc.dg/graphite/scop-17.c: Fix for 32bit.
3891 2008-08-04 Sebastian Pop <sebastian.pop@amd.com>
3893 * tree-ssa-loop.c (tree-ssa-loop.o): Do not include toplev.h.
3894 Move code ifdef-ed HAVE_cloog...
3895 * graphite.c: Include toplev.h.
3897 * Makefile.in (OBJS-common): Always build graphite.o.
3898 (BACKEND): Remove @GRAPHITE@.
3899 (tree-ssa-loop.o): Do not depend on TOPLEV_H.
3900 (graphite.o): Depend on TOPLEV_H.
3902 2008-08-04 Sebastian Pop <sebastian.pop@amd.com>
3904 * Makefile.in (tree-ssa-loop.o): Depend on TOPLEV_H.
3905 Remove typo left from polylib to ppl conversion.
3906 * graphite.c (graphite_transforms): Use sorry instead of fatal.
3908 2008-08-03 Sebastian Pop <sebastian.pop@amd.com>
3910 * toplev.c (process_options): Move the graphite loop optimization
3912 * tree-ssa-loop.c (graphite_transforms): ... here.
3913 When not configured with CLooG, print to dump_file that
3914 Graphite transforms were not performed.
3915 * testsuite/gcc.dg/graphite/graphite.exp (scan-graphite-dump-times):
3917 * testsuite/gcc.dg/graphite/*.c: Updated all testcases to use
3918 scan-graphite-dump-times.
3920 2008-08-03 Sebastian Pop <sebastian.pop@amd.com>
3922 * graphite.c (dot_scop, dot_all_scops): Do not call system.
3923 Do not open /tmp/scop.dot and /tmp/allscops.dot.
3925 2008-08-02 Sebastian Pop <sebastian.pop@amd.com>
3926 Jan Sjodin <jan.sjodin@amd.com>
3928 * configure: Regenerated.
3929 * omp-low.c (expand_omp_sections): Remove now unused code.
3930 * config.in (HAVE_polylib): Removed.
3931 * configure.ac (HAVE_polylib, POLYLIBLIBS, POLYLIBINC): Removed.
3932 (PPLLIBS, PPLINC): Added.
3933 * graphite.c: Replace unsigned with int wherever possible.
3934 Don't access Cloog's data structures, but use accessor functions.
3935 Clast's stmt->type is now implemented as a vtable: change the
3936 switches of stmt->type into ifs.
3937 (polylib/polylibgmp.h): Don't include.
3938 (initialize_dependence_polyhedron,
3939 initialize_data_dependence_polyhedron, is_empty_polyhedron,
3940 statement_precedes_p, test_dependence, build_rdg_all_levels,
3941 dump_dependence_graph): Removed until this code is cleaned up
3943 * Makefile.in (POLYLIBLIBS): Renamed PPLLIBS.
3944 (POLYLIBINC): Renamed PPLINC.
3946 2008-08-01 Harsha Jagasia <harsha.jagasia@amd.com>
3947 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
3948 Jan Sjodin <jan.sjodin@amd.com>
3950 Finish the merge and tuplification of graphite.
3952 2008-07-24 Sebastian Pop <sebastian.pop@amd.com>
3953 Jan Sjodin <jan.sjodin@amd.com>
3955 Partial merge from mainline (138072:138275).
3956 * graphite.c still has to be tuplified.
3958 2008-07-29 Jan Sjodin <jan.sjodin@amd.com>
3960 * graphite.c (graphite_loops_mapping_max_loop_num): New.
3961 (create_num_from_index): New.
3962 (get_num_from_index): Also pass in the graphite BB.
3963 (free_graphite_bb): Free GBB_INDEX_TO_NUM_MAP.
3964 (build_graphite_bb): Initialize GBB_INDEX_TO_NUM_MAP.
3965 (graphite_trans_bb_strip_mine): Call create_num_from_index.
3966 (is_interchange_valid): Return false when failing.
3967 * graphite.h (struct num_map): New.
3968 (struct graphite_bb): New field num_map.
3969 (GBB_LOOPS_MAPPING): Renamed GBB_INDEX_TO_NUM_MAP.
3971 2008-07-29 Tobias Grosser <grosser@fim.uni-passau.de>
3973 * graphite.c (dump_gbb_conditions): Print also conditions like
3974 "if (a)". Remove dublicated code and use print_generic_expr ().
3975 (stmt_simple_for_scop_p): Only allow conditions we can handle
3978 2008-07-25 Jan Sjodin <jan.sjodin@amd.com>
3980 * graphite.h (struct scop): Removed new_ivs field.
3981 (SCOP_NEWIVS): Deleted.
3982 * graphite.c (new_scop, free_scop, clast_name_to_gcc,
3983 clast_to_gcc_expression, graphite_create_new_loop):
3984 Removed use of new_ivs.
3986 2008-07-25 Jan Sjodin <jan.sjodin@amd.com>
3988 * graphite.c (debug_oldivs, debug_loop_vec, create_loops_mapping,
3989 create_loops_mapping_num, debug_loop_mapping_1): New.
3990 (debug_loop_mapping): Call debug_loop_mapping_1.
3991 (get_loop_mapping_for_num,
3992 graphite_loops_mapping_add_child,
3993 graphite_loops_mapping_add_child_num,
3994 graphite_loops_mapping_insert_child,
3995 graphite_loops_mapping_parent,
3996 split_loop_mapped_depth_for_num,
3997 loop_mapped_depth_split_loop): New.
3998 (increment_loop_mapped_depths): Removed.
3999 (swap_loop_mapped_depth_for_num): Reimplemented.
4000 (new_scop): Call create_loops_mapping.
4001 (scop_record_loop): Call graphite_loops_mapping_insert_child.
4002 (translate_clast): Pass the old loop father in parameter, and pass
4003 it to get_old_iv_from_ssa_name.
4004 (remove_edges_around_useless_blocks, can_generate_code_stmt,
4005 can_generate_code, can_generate_for_scop): New.
4006 (graphite_trans_bb_block): Returns false when it fails to transform.
4007 * graphite.h (graphite_loop_node, graphite_loops_mapping): New.
4009 2008-07-25 Sebastian Pop <sebastian.pop@amd.com>
4011 Reverted all the changes related to the streamization and
4013 These changes are now tracked in the streamization branch.
4015 2008-07-25 Sebastian Pop <sebastian.pop@amd.com>
4016 Jan Sjodin <jan.sjodin@amd.com>
4018 * graphite.c (gbb_compare): Correctly constify.
4019 (gbb_can_be_ignored): Indent.
4020 (graphite_trans_scop_swap_1and2): Add legality check.
4023 2008-07-25 Sebastian Pop <sebastian.pop@amd.com>
4025 Remove fallouts from "Reverted the Condate changes".
4026 * tree.h: Remove unused decl.
4027 * testsuite/gcc.dg/tree-checker: Same.
4028 * timevar.def: Remove counter.
4030 2008-07-24 Sebastian Pop <sebastian.pop@amd.com>
4032 * Merge from mainline (135673:138072).
4034 Reverted the MIRO changes (from 2008-04-05) that are now
4035 tracked in the miro branch.
4036 * tree-bounds.c: Removed.
4037 * tree-bounds.h: Removed.
4039 Reverted the Condate changes (from 2006-07-04, 2007-03-20) that
4040 are now tracked in the condate branch.
4041 * tree-check.c: Removed.
4042 * tree-match.c: Removed.
4043 * condate.y: Removed.
4045 2008-07-24 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
4047 * common.opt: New user flag -floop-block, -floop-strip-mine
4048 and -floop-interchange.
4049 * toplev.c (process_options): Enable -fgraphite pass if any one of the
4050 graphite loop optimization flags is turned on.
4051 * graphite.c (graphite_apply_transformations): Add flag_loop_block,
4052 flag_loop_strip_mine and flag_loop_interchange checks before
4054 * doc/invoke.texi: Remove -fgraphite and add -floop-block,
4055 -floop-strip-mine and -floop-interchange.
4056 * testsuite/gcc.dg/graphite/block-0.c: Add -floop-block and remove
4058 * testsuite/gcc.dg/graphite/scop-16.c: Ditto.
4059 * testsuite/gcc.dg/graphite/scop-17.c: Ditto.
4060 * testsuite/gcc.dg/graphite/scop-18.c: Ditto.
4062 2008-07-23 Jan Sjodin <jan.sjodin@amd.com>
4063 Sebastian Pop <sebastian.pop@amd.com>
4065 * cfgloopmanip.c (update_dominators_in_loop): Make it static.
4066 (create_empty_loop_on_edge): More fixes.
4067 * tree-phinodes.c (resize_phi_node): Extern.
4068 (unlink_phi_node, move_phi_node): New split from remove_phi_node.
4069 * cfghooks.c (update_dominator_information): New split from
4071 * tree-vectorizer.c (rename_variables_in_bb): Extern.
4072 * tree-dfa.c (collect_dfa_stats): Start walking the CFG on the
4073 successor of the function entry block.
4075 * graphite.c: Include pointer-set.h.
4076 (debug_loop_mapping, increment_loop_mapped_depths,
4077 get_loop_mapped_depth_for_num, get_loop_mapped_depth,
4078 set_loop_mapped_depth_for_num, set_loop_mapped_depth,
4079 swap_loop_mapped_depth_for_num, get_num_from_index,
4080 swap_loop_mapped_depth, loop_iv_stack_debug,
4081 loop_iv_stack_push, loop_iv_stack_pop, loop_iv_stack_get_iv,
4082 loop_iv_stack_get_iv_from_name, loop_iv_stack_debug,
4083 get_old_iv_from_ssa_name): New.
4084 (new_scop): Initialize SCOP_LOOPS_MAPPING.
4085 (free_scop): Free SCOP_LOOPS_MAPPING.
4086 (scop_record_loop): Record old ivs.
4087 (create_var_name): Removed.
4088 (initialize_cloog_names): Allocate double space in case strip mine
4089 applies to all loops once.
4090 (clast_name_to_gcc): Look up in the map ivstack passed in parameter.
4091 (clast_to_gcc_expression): Same. Implement more clast to gimple
4093 (graphite_create_new_loop): Pass in ivstack.
4094 (remove_all_edges): Pass in the construction_edge.
4095 (graphite_remove_iv): Removed.
4096 (graphite_rename_ivs, graphite_rename_ivs_stmt,
4097 remove_cond_exprs): Rewritten.
4098 (move_phi_nodes): New.
4099 (disconnect_virtual_phi_nodes, disconnect_cond_expr): Removed.
4100 (translate_clast): Pass in ivstack. Rewrite some cases.
4101 (set_cloog_options, debug_clast_stmt): New.
4102 (find_transform): Use set_cloog_options.
4103 (outermost_loop_layer): Removed.
4104 (get_construction_edge, collect_virtual_phis, find_vdef_for_var_in_bb,
4105 find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs,
4106 mark_old_loops, remove_dead_loops): New.
4108 (graphite_trans_bb_move_loop): Call swap_loop_mapped_depth.
4109 (const_column_index, get_first_matching_sign_row_index,
4110 get_lower_bound_row, get_upper_bound_row, get_lower_bound,
4111 get_upper_bound): New.
4112 (graphite_trans_bb_strip_mine): Also update the iv map.
4114 * graphite.h (graphite_loops_mapping, GBB_LOOPS_MAPPING): New.
4115 (struct name_tree): Add a loop field.
4116 (struct scop): Add a graphite_loops_mapping field.
4117 (SCOP_LOOPS_MAPPING): New.
4118 (debug_clast_stmt): Declare.
4119 * lambda.h (find_induction_var_from_exit_cond): Declare.
4120 (lambda-code.c): (find_induction_var_from_exit_cond): Extern.
4121 * cfgloop.h (update_dominators_in_loop): Removed declaration.
4122 (create_empty_loop_on_edge): Updated.
4123 * tree-flow.h (remove_bb, resize_phi_node, move_phi_node,
4124 rename_variables_in_bb): Declare.
4125 * tree-cfg.c (remove_bb): Extern.
4127 * testsuite/gcc.dg/graphite/block-0.c: New.
4129 2008-07-21 Dwarakanath Rajagopal <dwarak.rajagopal@amd.com>
4130 Sebastian Pop <sebastian.pop@amd.com>
4132 * graphite.c (strip_mine_profitable_p): New.
4133 (graphite_trans_bb_block): Disable strip mining if not profitable.
4135 * testsuite/gcc.dg/graphite/scop-18.c: New.
4136 * testsuite/gcc.dg/graphite/scop-17.c: Fixed.
4137 * testsuite/gcc.dg/graphite/scop-16.c: Fixed.
4139 2008-07-17 Harsha Jagasia <harsha.jagasia@amd.com>
4140 Jan Sjodin <jan.sjodin@amd.com>
4141 Sebastian Pop <sebastian.pop@amd.com>
4143 * graphite.c (is_interchange_valid): New.
4144 (graphite_trans_bb_block): Check loop nest of basic block for legality
4147 * graphite.h (gbb_inner_most_loop_index, outer_most_loop_1,
4148 outer_most_loop, gbb_outer_most_loop_index): New.
4150 * tree-loop-linear.c (perfect_loop_nest_depth): Remove static.
4151 * tree-flow.h (perfect_loop_nest_depth): Declare as extern.
4152 * testsuite/gcc.dg/graphite/scop-16.c: New.
4153 * testsuite/gcc.dg/graphite/scop-17.c: New.
4155 2008-07-11 Tobias Grosser <grosser@fim.uni-passau.de>
4157 * graphite.c (scop_remove_ignoreable_gbbs): Also update bitmap.
4158 (graphite_trans_scop_block): Ignore SCoPs without bbs.
4160 2008-07-11 Tobias Grosser <grosser@fim.uni-passau.de>
4162 * graphite.c (new_scop): Initialize SCOP_EXIT.
4163 (scopdet_info): Add.
4164 (scopdet_bb_info): Rename from is_bb_addable. Cleanup, bugfixes.
4165 (build_scops_1): Cleanup, bugfixes.
4166 (build_scops): Cleanup.
4168 * testsuite/gcc.dg/graphite/scop-matmult.c: Remove duplicated code.
4169 * testsuite/gcc.dg/graphite/scop-15.c: Add SCoP numbers.
4171 2008-07-10 Harsha Jagasia <harsha.jagasia@amd.com>
4173 * testsuite/gfortran.dg/graphite/scop-1.f: Update to reduced test case.
4175 * testsuite/gfortran.dg/graphite/graphite.exp: Use
4176 DEFAULT_GRAPHITE_FLAGS.
4178 * testsuite/gcc.dg/graphite/scop-15.c: Update to reduced test case.
4180 2008-07-10 Harsha Jagasia <harsha.jagasia@amd.com>
4182 * graphite.c (scan_tree_for_params): Do not assert any more if
4183 MULT_EXPR parameter is negative.
4185 * testsuite/gfortran.dg/graphite/scop-1.f: New.
4187 * testsuite/gfortran.dg/graphite/graphite.exp: New.
4189 * testsuite/gcc.dg/graphite/scop-15.c: New.
4191 2008-07-10 Harsha Jagasia <harsha.jagasia@amd.com>
4193 * graphite.c (is_bb_addable): Fix segfault in spec gzip and reformat.
4195 2008-07-10 Tobias Grosser <grosser@fim.uni-passau.de>
4197 * graphite.c (graphite_trans_bb_swap_loops): Rename from
4198 graphite_swap_loops.
4199 (graphite_trans_bb_move_loop): New.
4200 (graphite_trans_bb_strip_mine): Rename from graphite_strip_mine_loop.
4201 (graphite_trans_bb_block): New.
4202 (graphite_trans_loop_block): New.
4203 (graphite_trans_scop_swap_1and2): Rename from
4204 graphite_trans_swap_1and2.
4205 (graphite_trans_scop_strip): Rename from graphite_trans_strip.
4206 (graphite_trans_scop_block): New.
4207 (graphite_apply_transformations): Rename from
4208 graphite_transformations.
4210 * testsuite/gcc.dg/graphite/scop-matmult.c: New.
4212 2008-07-10 Tobias Grosser <grosser@fim.uni-passau.de>
4214 * graphite.c (gbb_compare): New.
4215 (graphite_sort_gbbs): New.
4216 (gbb_can_be_ignored): New.
4217 (scop_remove_ignoreable_gbbs): New.
4218 (graphite_transformations): Cleanup and add
4219 scop_remove_ignoreable_gbbs.
4220 * lambda.h (lambda_vector_compare): New.
4222 2008-07-09 Tobias Grosser <grosser@fim.uni-passau.de>
4224 * graphite.c (print_graphite_bb): Correct printing of static schedule.
4225 (graphite_swap_loops): int -> unsigned
4226 (graphite_strip_mine_loop): int -> unsigned, Fix SCHEDULE
4227 (graphite_transformations): New.
4228 (graphite_transform_loops): Move to graphite_transformations.
4229 * graphite.h (gbb_nb_loops): Return unsigned.
4231 2008-07-04 Tobias Grosser <grosser@fim.uni-passau.de>
4233 * graphite.c (scan_tree_for_params): Fix insertion of parameters into
4234 the domain matrix. This makes scop-0.c work again.
4236 2008-06-20 Richard Guenther <rguenther@suse.de>
4238 * graphite.h: Adjust copyright to GPLv3.
4239 * graphite.c: Likewise.
4240 (stmt_simple_memref_for_scop_p): Split out from ...
4241 (stmt_simple_for_scop_p): ... here. Fix handling of calls
4243 (get_bb_type): Optimize.
4245 (is_bb_addable): Fix memleak, replace is_pred call with
4247 (build_scops): Use current_loops.
4248 (param_index): Fix memleak.
4250 2008-06-20 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4252 * graphite.c: Fix formatting.
4254 2008-06-19 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4256 * graphite.c (new_scop): Memory allocation for SCOP_{NEWIVS, OLDIVS}.
4257 (free_scop): Memory deallocation for SCOP_NEWIVS, SCOP_OLDIVS.
4258 (create_var_name, save_var_name): Newly defined functions.
4259 (initialize_cloog_names): Part of the code factored out to
4261 (clast_to_gcc_expression): Now handles the case of clast_red_sum
4262 in clast_reduction statement.
4263 (graphite_create_new_loop): Now takes a new parameter
4265 (translate_clast): Now also takes the context_loop and bb_exit
4266 parameters. Rewritten the code so that it creates a gimple code
4267 inside the given context.
4268 (outermost_loop_layer, graphite_remove_iv, graphite_rename_ivs,
4269 remove_cond_expr, disconnect_cond_expr,
4270 disconnect_virtual_phi_nodes): Newly defined functions.
4271 * graphite.h (struct scop): added old_ivs vector.
4272 SCOP_OLDIVS: New macro.
4274 2008-06-19 Sebastian Pop <sebastian.pop@amd.com>
4276 * cfgloopmanip.c: Add missing function comments, fix formatting.
4278 2008-06-18 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4280 * cfgloopmanip.c (update_dominators_in_loop): Defined.
4281 (create_empty_loop_on_edge): Defined.
4282 * tree-parloops.c (canonicalize_loop_ivs): Returns tree
4284 * cfgloop.h (create_empty_loop_on_edge): Declared as extern.
4285 (update_dominators_in_loop): Declared as extern
4286 * tree-flow.h (canonicalize_loop_ivs): Declared as extern.
4288 2008-06-16 Tobias Grosser <grosser@fim.uni-passau.de>
4290 * graphite.c (print_graphite_bb): Allow changing number of loops
4292 (initialize_cloog_names): Allow changing number of loops.
4293 (build_cloog_prog): Simplify.
4294 (find_transform): Enable cloog option --strides.
4295 (graphite_swap_loops): New.
4296 (graphite_strip_mine_loop): New.
4297 (graphite_trans_swap_1and2): New.
4298 (graphite_trans_strip): New.
4299 (graphite_transform_loops): Add graphite_trans_strip.
4300 * graphite.h (scop_max_loop_depth): New.
4302 2008-06-15 Tobias Grosser <grosser@fim.uni-passau.de>
4304 * graphite.c (build_scop_iteration_domain): Remove forgotten
4305 line. (Fixes compile)
4307 2008-06-15 Tobias Grosser <grosser@fim.uni-passau.de>
4309 * graphite.c (print_graphite_bb): Add output of GBB_LOOPS.
4310 (build_graphite_bb): Add GBB_LOOPS and GBB_DOMAIN and reorder.
4311 (build_bb_loops): New.
4312 (graphite_transform_loops): Add build_bb_loops.
4313 (schedule_to_scattering): Use gbb_nb_loops to support changing loop
4315 * graphite.h (graphite_bb): Add loops.
4316 (gbb_nb_loops): New.
4317 (gbb_loop_at_index): New.
4318 (gbb_loop_index): New.
4319 (nb_params_in_scop): Renamed to scop_nb_params. Updated all functions
4320 using nb_params_in_scop.
4322 2008-06-14 Tobias Grosser <grosser@fim.uni-passau.de>
4324 * graphite.c (print_graphite_bb): Adapt to minimized schedule.
4325 (build_scop_canonical_schedules): Build minimized schedule.
4326 (schedule_to_scattering): Adapt to minimized schedule.
4327 * graphite.h (graphite_bb): Add/Update descriptions.
4329 2008-06-14 Adrien Eliche <aeliche@isty.uvsq.fr>
4330 Tobias Grosser <grosser@fim.uni-passau.de>
4332 * graphite.c (print_graphite_bb): Add condition printing.
4334 (dump_gbb_conditions): New.
4335 (build_scop_conditions_1): New.
4336 (build_scop_conditions): New.
4337 * graphite.h (graphite_bb): Add conditions.
4339 2008-06-14 Tobias Grosser <grosser@fim.uni-passau.de>
4341 * graphite.c (print_graphite_bb):
4342 (free_graphite_bb): New.
4343 (free_scop): Free bbs.
4344 (get_bb_type): Free doms.
4345 (build_scop_context): Free context matrix.
4346 (build_loop_iteration_domains): Remove unused code.
4347 (build_cloog_prog): Free scattering function and blocklist.
4348 (find_transform): Free options.
4350 2008-06-13 Tobias Grosser <grosser@fim.uni-passau.de>
4352 * graphite.c (loop_body_to_cloog_stmts): Rename to add_bb_domains.
4353 Remove unnecessery cloog data structures. Make a copy of the domain
4354 (setup_cloog_loop): Rename to build_loop_iteration_domains. Remove
4355 unnecessary cloog data structures. Fix memory leaks. Remove insert
4356 into SCOP_LOOP2CLOOG_LOOP as the inserted CloogLoops will never be
4358 (build_scop_iteration_domain): Remove unnecessary cloog
4359 data structures. Fix memory leaks.
4360 (graphite_transform_loops): Disable build_scop_dynamic_schedules as it
4361 uses SCOP_LOOP2CLOOG_LOOP, that is at the moment not working.
4363 2008-06-12 Tobias Grosser <grosser@fim.uni-passau.de>
4365 * graphite.c (find_scop_params): Remove initialize_cloog_names.
4367 2008-06-12 Tobias Grosser <grosser@fim.uni-passau.de>
4369 * graphite.c (end_scop): Style fix.
4370 (schedule_to_scattering): Style and comment fix.
4372 2008-06-12 Tobias Grosser <grosser@fim.uni-passau.de>
4373 * graphite.c (print_graphite_bb): Fix definiton of
4374 schedule_to_scattering.
4375 (initialize_cloog_names): Change nb_scattdims to max loop
4377 (schedule_to_scattering): Take parameter for number of scattering
4379 (build_cloog_prog): Only build as much scattering dimensions as
4382 2008-06-12 Tobias Grosser <grosser@fim.uni-passau.de>
4384 * graphite.c (end_scop): Disable bb splitting. Fixes SIGSEGV
4385 in polyhedron/aermod.f90.
4387 2008-06-11 Tobias Grosser <grosser@fim.uni-passau.de>
4388 Dwarak Rajagopal <dwarak.rajagopal@amd.com>
4389 Harsha Jagasia <harsha.jagasia@amd.com>
4391 * graphite.c (is_bb_addable): Fix segfault.
4393 2008-06-10 Tobias Grosser <grosser@fim.uni-passau.de>
4395 * graphite.c (is_bb_addable): Fix memory leak, handling of loops
4396 with multiple exits and conditional handling in edge cases.
4397 (is_loop_exit): Fix memory leak. (Forgotten in last commit)
4399 * testsuite/gcc.dg/graphite/scop-14.c: New.
4401 2008-06-06 Tobias Grosser <grosser@fim.uni-passau.de>
4402 Adrien Eliche <aeliche@isty.uvsq.fr>
4404 * graphite.c (is_bb_addable): Add more comments and enhance
4405 readablity of the source code. Fix memory leak.
4406 (is_loop_exit): Fix memory leak.
4408 2008-06-05 Tobias Grosser <grosser@fim.uni-passau.de>
4410 * graphite.c (first_loop_in_scop): Deleted.
4411 (setup_cloog_loop): Only walk the loop chain for inner loops.
4412 (build_scop_iteration_domain): Execute setup_cloog_loop for
4413 all loops in the first layer.
4415 2008-06-05 Tobias Grosser <grosser@fim.uni-passau.de>
4417 * graphite.c (scan_tree_for_params): Change the way params are
4418 added to be indepenent of the number of loops.
4419 (setup_cloog_loop): Revert to short matrix format. Fix parameter
4421 (build_cloog_prog): Revert to short matrix format.
4423 2008-06-05 Sebastian Pop <sebastian.pop@amd.com>
4424 Dwarak Rajagopal <dwarak.rajagopal@amd.com>
4426 * tree-loop-fusion.c (fuse_loops): Fix uninitialized variable
4429 2008-06-05 Sebastian Pop <sebastian.pop@amd.com>
4431 * graphite.c (nb_data_refs_in_scop): New.
4432 (graphite_transform_loops): Print more stats: number of
4433 loops, basic blocks and data references per scop.
4435 2008-06-04 Sebastian Pop <sebastian.pop@amd.com>
4436 Jan Sjodin <jan.sjodin@amd.com>
4438 * graphite.c (loop_affine_expr, idx_record_params,
4439 find_scop_parameters, setup_cloog_loop): Use instantiate_scev
4440 instead of instantiate_parameters.
4442 2008-06-04 Tobias Grosser <grosser@fim.uni-passau.de>
4444 * graphite.c (schedule_to_scattering): Fix scattering dimensions,
4445 add support for parameters, add STATIC_SCHEDULE at the right places,
4448 2008-06-04 Tobias Grosser <grosser@fim.uni-passau.de>
4450 * graphite.c (build_scop_loop_nests): Only add the loops, that
4451 are contained completely in the SCoP.
4452 (build_cloog_prog): Disable scattering, until schedule_to_scattering
4453 and the domains are fixed.
4454 (build_scop_canonical_schedules): Add support for bbs not contained
4457 2008-06-04 Tobias Grosser <grosser@fim.uni-passau.de>
4459 * graphite.h (scop_contains_loop): Update comments to match
4460 the actual behavior.
4461 (scop_contains_loop): New.
4462 * graphite.c (schedule_to_scattering): Use scop_contains_loop.
4464 2008-06-04 Sebastian Pop <sebastian.pop@amd.com>
4466 * graphite.c (get_bb_type): On function body, i.e. loop_0,
4467 don't mark blocks as GBB_LOOP_SING_EXIT_HEADER, mark them
4470 2008-06-04 Sebastian Pop <sebastian.pop@amd.com>
4471 Tobias Grosser <grosser@fim.uni-passau.de>
4473 * graphite.c (graphite_transform_loops): Early return when
4474 there are no loops in the function.
4476 2008-05-31 Sebastian Pop <sebastian.pop@amd.com>
4477 Jan Sjodin <jan.sjodin@amd.com>
4479 * graphite.c (scan_tree_for_params, setup_cloog_loop): Compute the
4480 offset of the last loop.
4481 (setup_cloog_loop): Copy the entire outer constraint matrix.
4483 2008-05-31 Sebastian Pop <sebastian.pop@amd.com>
4484 Jan Sjodin <jan.sjodin@amd.com>
4486 * graphite.c (stmt_in_scop_p, function_parameter_p,
4487 invariant_in_scop_p): Removed.
4488 (scan_tree_for_params): Can be used with no constraint
4489 matrix for gathering parameters.
4490 (idx_record_params): Don't use idx_record_param, instead use
4491 scan_tree_for_params.
4492 (find_scop_parameters): Same.
4493 (setup_cloog_loop, build_scop_iteration_domain, build_cloog_prog):
4494 Fix the size of loop domains.
4495 (schedule_to_scattering): Exit when the outer loop is not in scop.
4496 (find_transform): Enable build_cloog_prog.
4498 2008-05-31 Sebastian Pop <sebastian.pop@amd.com>
4499 Jan Sjodin <jan.sjodin@amd.com>
4501 * graphite.c (schedule_to_scattering): Make scattering domains
4502 uniformly of the same size, as required by CLooG 0.14.0 and before.
4504 2008-05-31 Sebastian Pop <sebastian.pop@amd.com>
4505 Jan Sjodin <jan.sjodin@amd.com>
4507 * graphite.c (schedule_to_scattering): Rewrite, correct the
4508 translation of the scheduling function to scattering.
4509 (build_cloog_prog): Call schedule_to_scattering only once.
4510 * graphite.h (scop_loop_index): Do not fail for loops not
4511 in the scop: return -1.
4513 2008-05-30 Tobias Grosser <grosser@fim.uni-passau.de>
4515 * graphite.c (build_graphite_bb): Initialize GBB_DOMAIN.
4516 (loop_body_to_cloog_stmts): Export GBB_DOMAIN.
4517 (setup_cloog_loop): Export GBB_DOMAIN.
4518 (build_cloog_prog): New. Create new CLOOG_PROG, which should be
4519 able to rebuild the original control flow.
4520 * graphite.h (graphite_bb): Add domain field and access macro.
4523 2008-05-30 Sebastian Pop <sebastian.pop@amd.com>
4525 * graphite.c (debug_gbb): New.
4526 (print_scop, build_graphite_bb): Use SCOP_BBS.
4527 (build_scop_bbs): Reimplemented.
4528 (dfs_bb_in_scop_p): Removed.
4529 (build_scop_loop_nests): Reorder loops inserted in
4530 SCOP_LOOP_NEST: outer loops should come first.
4531 (build_scop_canonical_schedules): Reinitialize at zero
4532 the components of the SCOP_STATIC_SCHEDULE for the loops
4533 that have already been parsed.
4535 * graphite.h (debug_gbb): Declared.
4537 2008-05-30 Sebastian Pop <sebastian.pop@amd.com>
4538 Jan Sjodin <jan.sjodin@amd.com>
4540 * graphite.c (create_empty_loop): Renamed graphite_create_new_loop.
4541 (graphite_loop_to_gcc_loop): Removed.
4542 (remove_all_edges): New.
4543 (graphite_stmt_to_gcc_stmt): Renamed translate_clast.
4544 (gloog): Remove useless code.
4546 2008-05-29 Tobias Grosser <grosser@fim.uni-passau.de>
4548 * graphite.c (get_bb_type): Reworked. We distinguish between
4549 loops with one or multiple exits.
4550 (is_loop_exit): New.
4552 (is_bb_addable): Rework condition handling, now support for case
4553 case statements and loops with multiple exits.
4555 * testsuite/gcc.dg/graphite/scop-11.c: New.
4556 * testsuite/gcc.dg/graphite/scop-12.c: New.
4557 * testsuite/gcc.dg/graphite/scop-13.c: New.
4559 2008-05-29 Tobias Grosser <grosser@fim.uni-passau.de>
4561 * graphite.c (dot_all_scops_1): Fix some colors. Reuse colors, if
4562 we have too many colors.
4564 2008-05-22 Sandeep Maram <smaram_b04@iiita.ac.in>
4566 * doc/invoke.texi (-ftree-loop-fusion): Document.
4567 * tree-pass.h (pass_loop_fusion): Declared.
4568 * tree-loop-fusion.c: New.
4569 * timevar.def (TV_TREE_LOOP_FUSION): Declared.
4570 * tree-data-ref.c (find_data_references_in_loop): Make extern.
4571 * tree-data-ref.h (find_data_references_in_loop): Declared.
4572 * common.opt (ftree-loop-fusion): Declared.
4573 * Makefile.in (tree-loop-fusion.o): Added rule and to OBJS-common.
4575 2008-05-21 Sebastian Pop <sebastian.pop@amd.com>
4577 * graphite.c (build_access_matrix): Fix typo from the merge.
4579 2008-05-20 Sebastian Pop <sebastian.pop@amd.com>
4581 * Merge from mainline (130800:135673).
4583 2008-05-07 Sebastian Pop <sebastian.pop@amd.com>
4585 * graphite.c (end_scop): The exit of the scop is not part of the scop.
4586 Update dominators after splitting.
4588 2008-05-07 Sebastian Pop <sebastian.pop@amd.com>
4590 * graphite.c (is_bb_addable): Return the harmful statement.
4591 Factor up some code.
4592 (end_scop): New. Splits end of scope bbs on a harmful statement.
4593 (build_scops_1): Call end_scop.
4595 2008-05-07 Sebastian Pop <sebastian.pop@amd.com>
4597 * graphite.c: (succs_at_same_depth, end_scop, all_preds_visited_p,
4598 all_succs_visited_p, start_new_scop_for_each_succ, start_new_scop,
4599 add_dominators_to_open_scops, stop_last_open_scop, scop_end_loop,
4600 build_scops_1): Removed.
4601 (build_scops_2): Renamed build_scops_1.
4603 2008-05-06 Sebastian Pop <sebastian.pop@amd.com>
4605 * graphite.c: Fix formatting.
4607 2008-05-06 Tobias Grosser <grosser@fim.uni-passau.de>
4609 * graphite.c (get_bb_type): New.
4611 (build_scops_2): New.
4612 (is_bb_addable): New.
4613 (build_scops): Switch the scop detection.
4614 (build_scop_bbs): Add entry bb to scop.
4615 * graphite.h (struct scop): Update comment.
4617 2008-05-06 Tobias Grosser <grosser@fim.uni-passau.de>
4619 * graphite.c (dot_all_scops_1): Fix some incorrect colors and add
4622 2008-05-06 Tobias Grosser <grosser@fim.uni-passau.de>
4624 * testsuite/gcc.dg/graphite/scop-1.c: Update.
4625 * testsuite/gcc.dg/graphite/scop-2.c: Update.
4626 * testsuite/gcc.dg/graphite/scop-4.c: Update.
4627 * testsuite/gcc.dg/graphite/scop-5.c: Add.
4628 * testsuite/gcc.dg/graphite/scop-6.c: Add.
4630 2008-05-06 Sebastian Pop <sebastian.pop@amd.com>
4632 * testsuite/gcc.dg/graphite/scop-0.c: Add.
4633 * testsuite/gcc.dg/graphite/scop-7.c: Add.
4634 * testsuite/gcc.dg/graphite/scop-8.c: Add.
4635 * testsuite/gcc.dg/graphite/scop-9.c: Add.
4636 * testsuite/gcc.dg/graphite/scop-10.c: Add.
4638 2008-05-06 Tobias Grosser <grosser@fim.uni-passau.de>
4640 * graphite.c (scop_affine_expr): Renamed to loop_affine_expr.
4641 Check affine expressions depending on the outermost loop
4643 (stmt_simple_for_scop_p): Same.
4644 (harmfule_stmt_in_scop): Same.
4646 2008-04-28 Tobias Grosser <grosser@fim.uni-passau.de>
4648 * graphite.c (dot_all_scops): Remove incorrect difficult bb coloring,
4649 mark entry and exit, that are not part of the SCoP and update HTML
4652 2008-04-25 Sebastian Pop <sebastian.pop@amd.com>
4654 * graphite.c (basic_block_simple_for_scop_p): Renamed
4656 (save_scop, preds_at_same_depth, test_for_scop_bound): Removed.
4657 (add_dominators_to_open_scops, build_scops_1): Reimplemented.
4658 (all_preds_visited_p, all_succs_visited_p,
4659 start_new_scop_for_each_succ, start_new_scop, stop_last_open_scop,
4660 scop_end_loop): New.
4661 (build_scops): Do not use dfs_enumerate_from.
4663 * testsuite/gcc.dg/graphite/scop-{1,2,4}.c: Updated.
4665 2008-04-23 Sebastian Pop <sebastian.pop@amd.com>
4667 * graphite.c: Add comments to functions that are missing a
4669 (graphite_create_iv): Removed. Merged in graphite_loop_to_gcc_loop.
4671 2008-04-23 Sebastian Pop <sebastian.pop@amd.com>
4673 * graphite.c (nb_params_in_scop): Moved...
4674 (graphite_bb_from_bb, loop_body_to_cloog_stmts): New.
4675 (setup_cloog_loop): Call loop_body_to_cloog_stmts.
4676 (clast_to_gcc_expression): Reduce column size to less than 80.
4677 (graphite_create_iv): Return the new name of the IV.
4678 (find_transform): Set options->esp and options->cpp.
4679 (gloog): Comment out the invalidation of the old loop code.
4680 (initialize_dependence_polyhedron): Replace scop_nb_params with
4683 * graphite.h (nb_params_in_scop): ... here.
4684 (scop_nb_params): Removed.
4685 (loop_domain_dim): Return something even when the loop was not
4686 found in the hash table: avoid ICEing on all the graphite.exp
4689 2008-04-14 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4691 * tree-chrec.c (for_each_scev_op): SCEV can have 3 operands.
4693 * graphite.c (build_scop_dynamic_schedules): Schedule is built
4694 according to nesting level.
4695 (find_scop_parameters): Call instantiate_parameters.
4696 (scan_tree_for_params): Extend it to handle general affine bounds.
4697 Inner loop bound can depend on outer loop induction variable.
4698 (setup_cloog_loop): tmp variable is allocated on stack. Call
4699 instantiate_parameters with respect to outermost_loop_in_scop.
4700 (loop_domain_dim, ref_nb_loops, loop_iteration_vector_dim): moved to
4702 (create_empty_loop): Function loopify should be given edge
4703 probability, instead of edge frequency. Dominance relation from
4704 switch_bb to loop_header.
4705 (clast_to_gcc_expression): Added handling of clast_reduction node.
4706 (gloog): New functionality for removing old loop.
4707 (test_dependence): Factored out from build_rdg_all_levels.
4708 (build_rdg_all_levels): Dependence testing factored out to
4709 test_dependence function.
4711 * graphite.h (struct graphite_bb): Extended with dynamic_schedule.
4712 (loop_domain_dim, ref_nb_loops, loop_iteration_vector_dim): Moved
4715 2008-04-07 Sebastian Pop <sebastian.pop@amd.com>
4717 * graphite.c (free_scop, param_index, initialize_cloog_names,
4718 nb_params_in_scop): Use name_tree map instead of just a tree
4719 for keeping track of the variable name associated to that tree.
4720 (create_empty_loop, gmp_cst_to_tree, clast_name_to_gcc,
4721 clast_to_gcc_expression, graphite_create_iv,
4722 graphite_loop_to_gcc_loop, graphite_cond_to_gcc_cond,
4723 graphite_stmt_to_gcc_stmt): New.
4724 (gloog): Call these.
4725 * graphite.h (struct name_tree): New.
4726 (struct scop): Use name_tree instead of tree for params.
4727 Store a vector of name_tree for new_ivs.
4729 (scop_nb_params): Use name_tree instead of tree.
4731 2008-04-05 Alexander Lamaison <awl03@doc.ic.ac.uk>
4732 Sebastian Pop <sebastian.pop@amd.com>
4734 * tree-bounds.c: New.
4735 * tree-bounds.h: New.
4736 * tree-pass.h: Declare pass_bounds_early and pass_bounds_late.
4737 * passes.c: Schedule pass_bounds_early, pass_bounds_late.
4738 * builtins.c (expand_builtin_alloca): Add flag_bounds as for
4742 * c-cppbuiltin.c: Same.
4746 * tree-outof-ssa.c: Same.
4748 * Makefile.in: Same.
4750 2008-03-15 Antoniu Pop <antoniu.pop@gmail.com>
4751 Sebastian Pop <sebastian.pop@amd.com>
4753 * tree-loop-distribution.c (remaining_stmts,
4754 upstream_mem_writes): Removed static variables.
4755 (copy_loop_before, create_bb_after_loop,
4756 mark_nodes_having_upstream_mem_writes, free_rdg_components,
4757 rdg_build_components, rdg_build_partitions,
4758 dump_rdg_partitions): Extern.
4759 (generate_loops_for_partition, generate_code_for_partition): Do not
4761 (already_processed_vertex_p, predecessor_has_mem_write,
4762 mark_nodes_having_upstream_mem_writes, has_upstream_mem_writes,
4763 rdg_flag_all_uses, rdg_flag_uses, rdg_flag_vertex_and_dependent,
4764 rdg_flag_loop_exits, rdg_flag_similar_memory_accesses,
4765 build_rdg_partition_for_component, rdg_build_partitions, ldist_gen):
4766 Pass remaining_stmts and upstream_mem_writes as parameters.
4767 (rdg_component): Moved...
4768 (build_rdg_partition_for_component): Do not aggregate components when
4769 flag_streamize_loops is set.
4770 (gen_sequential_loops): New.
4771 (ldist_gen): Call gen_sequential_loops.
4773 * tree-pass.h (pass_loop_streamization): Declared.
4775 * omp-low.c (expand_omp_sections): Call add_bb_to_loop on created
4776 basic blocks when loops structures exist.
4778 * builtin-types.def (BT_FN_VOID_PTR_PTR_INT): New.
4780 * tree-ssa-loop-ivopts.c (expr_invariant_in_region_p): New.
4782 * tree-parloops.c (take_address_of, eliminate_local_variables_1,
4783 eliminate_local_variables_stmt, eliminate_local_variables,
4784 separate_decls_in_loop_name, separate_decls_in_loop_stmt,
4785 separate_decls_in_loop, gen_parallel_loop): Make them work on a region
4786 of code delimited by two edges in the CFG.
4787 (separate_decls_in_loop_name): Renamed separate_decls_in_region_name.
4788 (separate_decls_in_loop_stmt): Renamed separate_decls_in_region_stmt.
4789 (separate_decls_in_loop): Renamed separate_decls_in_region. Isolate
4790 the case of parallelisation of reductions.
4791 (create_loop_fn): Extern.
4792 (create_omp_parallel_region): New.
4794 * tree-data-ref.c (dump_data_dependence_relation): Don't call
4795 dump_data_reference for printing dra and drb.
4796 (create_rdg_edge_for_ddr, create_rdg_edges_for_scalar): Initialise
4798 (build_rdg): Don't call free_dependence_relations for the moment, as
4799 we attach dependence relations on each edge of the RDG.
4802 * tree-data-ref.h (rdg_component): ...here.
4803 (struct rdg_edge): New field ddr_p relation.
4804 (RDGE_RELATION): New.
4805 (create_bb_after_loop, copy_loop_before,
4806 mark_nodes_having_upstream_mem_writes, rdg_build_components,
4807 rdg_build_partitions, dump_rdg_partitions,
4808 free_rdg_components): Declared.
4810 * omp-builtins.def (BUILT_IN_GOMP_STREAM_ALIGN_PUSH,
4811 BUILT_IN_GOMP_STREAM_ALIGN_POP): New.
4813 * tree-loop-streamization.c: New.
4815 * tree-flow.h (gather_blocks_in_sese_region, create_loop_fn,
4816 create_omp_parallel_region, expr_invariant_in_region_p): Declared.
4818 * Makefile.in (tree-loop-streamization.o): Added to OBJS-common.
4820 * tree-cfg.c (gather_blocks_in_sese_region): Extern.
4822 * passes.c: Schedule pass_loop_streamization.
4824 2008-03-08 Tobias Grosser <grosser@fmi.uni-passau.de>
4826 * graphite.c (dot_all_scops_1): Fix formatting for difficult bbs and
4829 2008-03-07 Tobias Grosser <grosser@fim.uni-passau.de>
4831 * graphite.c (dot_all_scops): Update formatting.
4832 Bbs can now be part of more than one SCoP.
4834 2008-03-04 Sebastian Pop <sebastian.pop@amd.com>
4836 * graphite.c (new_loop_to_cloog_loop_str, setup_cloog_loop): Fix
4838 (loop_domain_dim): Check for unregistered toplev SCOP loop.
4839 * graphite.h (loop_to_cloog_loop): New.
4841 2008-03-04 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4843 * graphite.c (loop_domain_dim, ref_nb_loops,
4844 loop_iteration_vector_dim): New.
4845 (build_access_matrix_with_af, build_access_matrix,
4846 initialize_dependence_polyhedron): Fixed for new matrix layout.
4847 No longer assume that all iteration domains are of the same
4850 2008-03-02 Sebastian Pop <sebastian.pop@amd.com>
4852 * tree-scalar-evolution.c (instantiate_parameters_1): An SSA_NAME
4853 defined in a loop at depth 0 is invariant.
4854 * tree-chrec.c (evolution_function_is_invariant_rec_p): Ditto.
4855 * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Should never
4856 be called at loop depth 0.
4858 * graphite.c (basic_block_simple_for_scop_p): Take the scop as
4860 (dot_all_scops_1): Update use of basic_block_simple_for_scop_p.
4861 (down_open_scop): Removed.
4862 (loop_in_scop_p): Redefined.
4863 (scop_affine_expr): New argument: scop.
4864 (stmt_simple_for_scop_p): New argument: scop. RETURN_EXPR is not
4865 a harmful statement ending a scop.
4866 (basic_block_simple_for_scop_p): New argument: scop.
4867 (get_loop_start): Removed.
4868 (new_scop): Initialize SCOP_LOOPS.
4869 (free_scop): Free SCOP_LOOPS.
4870 (succs_at_same_depth, preds_at_same_depth): New.
4871 (end_scop): Test the validity of a scop.
4872 (add_dominators_to_open_scops): New.
4873 (test_for_scop_bound): Call add_dominators_to_open_scops.
4874 Add cases for opening and closing multiple scops.
4875 (build_scops, build_scop_bbs): Iterate over basic blocks in
4877 (build_graphite_bb): Pass scop directly.
4878 (dfs_bb_in_scop_p): New.
4879 (scop_record_loop): Use SCOP_LOOPS for not recording the same loop
4881 (nb_loops_around_gb): Use loop_in_scop_p.
4882 (schedule_to_scattering): Disabled for the moment the code computing
4883 the "textual order for outer loop".
4885 * graphite.h (struct scop): New field loops.
4887 (scop_loop_index): Test that the given loop belongs to SCOP_LOOPS.
4889 * testsuite/gcc.dg/graphite/scop-{1,...,7}.c: Updated.
4891 2008-02-27 Antoniu Pop <antoniu.pop@gmail.com>
4892 Sebastian Pop <sebastian.pop@amd.com>
4894 * builtin-types.def (BT_FN_PTR_SIZE_UINT, BT_FN_BOOL_PTR): New.
4895 * common.opt (fstreamize-loops): New.
4896 * omp-builtins.def (BUILT_IN_GOMP_STREAM_CREATE,
4897 BUILT_IN_GOMP_STREAM_PUSH, BUILT_IN_GOMP_STREAM_HEAD,
4898 BUILT_IN_GOMP_STREAM_POP, BUILT_IN_GOMP_STREAM_EOS_P,
4899 BUILT_IN_GOMP_STREAM_SET_EOS, BUILT_IN_GOMP_STREAM_DESTROY): New.
4901 2008-02-22 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4903 * tree-data-ref.c (build_empty_rdg): New.
4904 (build_rdg): Use it.
4905 * tree-data-ref.h (build_empty_rdg): Declared.
4906 * graphite.c (free_scop): Free SCOP_LOOP2CLOOG_LOOP.
4907 (find_vertex_for_stmt): Removed.
4908 (build_rdg_all_levels): Use build_empty_rdg and rdg_vertex_for_stmt.
4910 2008-02-21 Sebastian Pop <sebastian.pop@amd.com>
4912 * tree-loop-distribution.c (generate_builtin): After cancelling the
4913 loop tree, also delete basic blocks.
4914 (rdg_flag_uses): Stop recursion when a vertex has already been
4917 2008-02-15 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4919 * graphite.c (build_scop_alpha): Removed.
4920 (graphite_transform_loops): Add a dummy call to build_all_rdg_levels
4921 and dump_dependence_graph to avoid compiler warnings.
4923 2008-02-14 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4925 * tree-data-ref.c (dr_may_alias_p, create_rdg_vertices): Extern.
4926 * tree-data-ref.h (dr_may_alias_p, create_rdg_vertices): Declared.
4927 * graphite.c (new_loop_to_cloog_loop_str, hash_loop_to_cloog_loop,
4928 eq_loop_to_cloog_loop, del_loop_to_cloog_loop): New.
4929 (new_scop, setup_cloog_loop): Initialize SCOP_LOOP2CLOOG_LOOP.
4930 (initialize_dependence_polyhedron, find_vertex_for_stmt,
4931 initialize_data_dependence_polyhedron, is_empty_polyhedron,
4932 statement_precedes_p, build_rdg_all_levels, build_scop_alpha,
4933 dump_dependence_graph): New.
4934 * graphite.h (struct graphite_bb): New field compressed_alpha_matrix.
4936 (struct scop): New field loop2cloog_loop.
4937 (SCOP_LOOP2CLOOG_LOOP, struct data_dependence_polyhedron,
4938 RDGE_DDP, ddp_p, struct loop_to_cloog_loop_str): New.
4940 2008-02-10 Konrad Trifunovic <konrad.trifunovic@inria.fr>
4942 * graphite.c (build_graphite_bb): Fix initialization
4943 of the graphite basic block.
4945 2008-02-05 Sebastian Pop <sebastian.pop@amd.com>
4947 * graphite.c (scan_tree_for_params): Rewrite for the new layout of
4948 loop domain matrix. Pass in the number of loops contained in the
4950 (nb_loops_around_gb): Moved before setup_cloog_loop that uses it.
4951 (setup_cloog_loop): Rewrite for the new layout of loop domain matrix:
4952 loops that are not surrounding the current loop are not represented
4953 in the domain constraint matrix.
4954 (build_scop_iteration_domain): Initial domain constraint matrix
4955 contains only the eq/ineq, cst, and scop parameters columns.
4957 2008-01-29 Tobias Grosser <grosser@fim.uni-passau.de>
4959 * graphite.c (schedule_to_scattering, nb_loops_around_gb): New.
4960 (print_graphite_bb): Print scattering.
4962 2008-01-29 Tobias Grosser <grosser@fim.uni-passau.de>
4964 * graphite.c (initialize_cloog_names): Initialize names of
4965 scattering variables.
4967 2009-01-29 Tobias Grosser <grosser@fim.uni-passau.de>
4969 * graphite.c (dot_all_scops_1): Disable debug output while
4972 2008-01-29 Tobias Grosser <grosser@fim.uni-passau.de>
4974 * graphite.c (find_transform): Change cloog output language to C.
4976 2008-01-27 Sebastian Pop <sebastian.pop@amd.com>
4978 * tree-loop-distribution.c (generate_memset_zero,
4979 generate_builtin, generate_code_for_partition,
4980 rdg_flag_all_uses): New.
4981 (rdg_flag_uses): Gather in the same partition the statements defining
4982 the VUSES of the current statement.
4983 (rdg_flag_similar_stores): Renamed rdg_flag_similar_memory_accesses.
4984 Gather in the same partition not only the stores to the same memory
4985 access, but also the reads.
4986 (ldist_generate_loops): Renamed ldist_gen.
4988 2008-01-24 Sebastian Pop <sebastian.pop@amd.com>
4989 Tobias Grosser <grosser@fmi.uni-passau.de>
4991 * graphite.c (setup_cloog_loop): Chain all cloog loops with the
4992 next pointer, don't use the inner pointer.
4994 2008-01-20 Tobias Grosser <grosser@fmi.uni-passau.de>
4996 * graphite.c (dot_all_scops, dot_all_scops_1): New.
4997 (find_transform): Call dot_all_1.
4998 * graphite.h (dot_all_scops): Declared.
5000 2007-12-14 Sebastian Pop <sebastian.pop@amd.com>
5002 * tree-loop-distribution.c: Fix apsi.f ICE.
5003 (create_bb_after_loop): New.
5004 (generate_loops_for_partition): Use it.
5005 * testsuite/gfortran.dg/ldist-1.f90: New.
5007 * tree-data-ref.c (dot_rdg): Use /tmp/rdg.dot for dotty format.
5008 * graphite.c (dot_scop): Use /tmp/scop.dot for dotty format.
5010 2007-12-13 Tobias Grosser <grosser@fmi.uni-passau.de>
5012 * graphite.c (find_transform): Dump cloog program sent to cloog.
5014 2007-12-13 Tobias Grosser <grosser@fmi.uni-passau.de>
5016 * graphite.c (initialize_cloog_names): Initialize cloog
5019 2007-12-13 Tobias Grosser <grosser@fmi.uni-passau.de>
5021 * graphite.c (build_scop_context): Fix typo, for the matrix
5022 format: insert '0 >= 0' instead of '-1 >= 0'.
5024 2007-12-13 Sebastian Pop <sebastian.pop@amd.com>
5026 * Fix merge problems.
5028 2007-12-13 Sebastian Pop <sebastian.pop@amd.com>
5030 * graphite.c (setup_cloog_loop): Fix typo.
5032 2007-12-12 Sebastian Pop <sebastian.pop@amd.com>
5034 * doc/invoke.texi (-ftree-loop-distribution): Documented.
5035 * tree-loop-distribution.c: Reimplemented.
5036 * tree-pass.h (pass_loop_distribution): New.
5037 * tree-scalar-evolution.c (number_of_iterations_for_all_loops): Use
5039 * graphds.h (struct graph): New field indexes.
5040 * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New.
5042 * tree-vect-analyze.c: Remove declaration of static functions when not
5044 * tree-vectorizer.c: Same.
5045 (rename_variables_in_loop): Now extern.
5046 (slpeel_tree_duplicate_loop_to_edge_cfg): Renamed
5047 tree_duplicate_loop_to_edge_cfg. Reset PENDING_STMT for edges after
5048 calling redirect_edge_and_branch_force.
5050 * tree-vectorizer.h (tree_duplicate_loop_on_edge): Declared.
5052 * tree-data-ref.c: Don't include tree-chrec.h.
5053 (debug_data_dependence_relations): New.
5054 (dump_data_dependence_relation): Call dump_data_reference on data refs
5056 (same_access_functions): Moved...
5057 (find_vertex_for_stmt): Renamed rdg_vertex_for_stmt.
5058 (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
5059 debug_rdg_component, dump_rdg, debug_rdg, dot_rdg_1, dot_rdg,
5060 struct rdg_vertex_info, ): New.
5061 (create_rdg_edge_for_ddr): Compute the dependence level before looking
5063 (create_rdg_vertices): Initialize the htab of graph->indexes.
5064 Initialize RDG_MEM_WRITE_STMT and RDG_MEM_READS_STMT.
5065 (stmts_from_loop): Don't save LABEL_EXPR.
5066 (hash_stmt_vertex_info, eq_stmt_vertex_info,
5067 hash_stmt_vertex_del): New.
5068 (build_rdg): Initialize rdg->indexes.
5069 (free_rdg, stores_from_loop, ref_base_address,
5070 rdg_defs_used_in_other_loops_p, have_similar_memory_accesses,
5071 have_similar_memory_accesses_1, ref_base_address_1,
5072 remove_similar_memory_refs): New.
5074 * tree-data-ref.h: Include tree-chrec.h.
5075 (debug_data_dependence_relations): Declared.
5076 (same_access_functions): ...here. Now static inline.
5077 (ddr_is_anti_dependent, ddrs_have_anti_deps,
5078 ddr_dependence_level): New.
5079 (struct rdg_vertex): New fields has_mem_write, has_mem_reads.
5080 (RDGV_HAS_MEM_WRITE, RDGV_HAS_MEM_READS, RDG_STMT, RDG_MEM_WRITE_STMT,
5081 RDG_MEM_READS_STMT): New.
5082 (dump_rdg_vertex, debug_rdg_vertex, dump_rdg_component,
5083 debug_rdg_component, dump_rdg, debug_rdg, dot_rdg,
5084 rdg_vertex_for_stmt): Declared.
5085 (struct rdg_edge): New field level.
5086 (RDGE_LEVEL, free_rdg): New.
5087 (stores_from_loop, remove_similar_memory_refs,
5088 rdg_defs_used_in_other_loops_p,
5089 have_similar_memory_accesses): Declared.
5090 (rdg_has_similar_memory_accesses): New.
5092 * lambda.h (dependence_level): New.
5093 * common.opt (ftree-loop-distribution): New.
5094 * tree-flow.h (debug_loop_ir): Renamed debug_loops.
5095 (print_loop_ir): Renamed print_loops.
5096 (debug_loop, debug_loop_num, print_loops_bb, mark_virtual_ops_in_bb,
5097 tree_duplicate_loop_to_edge_cfg, rename_variables_in_loop): Declared.
5098 * Makefile.in (TREE_DATA_REF_H): Depends on tree-chrec.h.
5099 (tree-loop-distribution.o): Added.
5100 * tree-cfg.c (mark_virtual_ops_in_region): Use mark_virtual_ops_in_bb.
5101 (mark_virtual_ops_in_bb): New.
5102 (print_loops_bb, debug_loop_num, debug_loop): New.
5103 * passes.c: Scheduled pass_loop_distribution.
5105 2007-12-12 Konrad Trifunovic <konrad.trifunovic@inria.fr>
5107 * graphite.c (scan_tree_for_params): Correct the number of columns
5109 (nb_flat_iterator): New.
5110 (setup_cloog_loop): Initialize to 1 the first column for inequalities.
5111 (build_scop_iteration_domain): Correct the number of columns for
5114 2007-12-12 Sebastian Pop <sebastian.pop@amd.com>
5116 * Merge from mainline (129697:130800).
5118 2007-10-30 Sebastian Pop <sebastian.pop@amd.com>
5120 * graphite.c (build_graphite_bb): SCoP's basic blocks are post
5121 dominated by SCoP's exit.
5122 (graphite_transform_loops): Compute post dominators.
5124 2007-10-28 Sebastian Pop <sebastian.pop@amd.com>
5126 * Merge from mainline (127169:129697).
5128 2007-10-28 Sebastian Pop <sebastian.pop@amd.com>
5130 * graphite.c (affine_expr): Renamed scop_affine_expr. Use an extra
5131 parameter for the basic block that contains the expression. Use
5132 outermost_loop_in_scop for evolution_function_is_affine_multivariate_p.
5133 (stmt_simple_for_scop_p): Pass to scop_affine_expr the basic block of
5135 * graphite.h (gbb_loop): New.
5136 (GBB_LOOP): Removed.
5138 2007-08-03 Sebastian Pop <sebpop@gmail.com>
5140 * Makefile.in: Fix merge problem.
5142 2007-08-03 Sebastian Pop <sebpop@gmail.com>
5144 * Merge from mainline (125309:127169).
5145 * tree-loop-distribution.c: Disabled.
5147 2007-06-05 Sebastian Pop <sebpop@gmail.com>
5149 * Merge from mainline (r123693:125309).
5151 2007-05-30 Sebastian Pop <sebpop@gmail.com>
5153 * tree-loop-distribution.c (correct_modify_expr_p): Renamed
5155 (correct_modify_p, check_statements, number_of_lvalue_uses,
5156 number_of_scalar_dependences, create_edges): Use GIMPLE_MODIFY_STMT
5157 instead of MODIFY_EXPR.
5158 (update_edge_with_ddv): Don't pass index_of_edge. Initialize
5161 2007-05-24 Sebastian Pop <sebpop@gmail.com>
5163 * tree-loop-distribution.c (struct rdg): Replace arrays by
5164 VECs for edges and vertices.
5165 (RDG_NBV, RDG_NBE, RDG_VERTEX, RDG_EDGE): Removed.
5166 (RDGV_NB_PARTITIONS): New.
5167 (PRDG_NBV, PRDG_NBE): Removed.
5168 (build_scc_graph, correct_partitions_p, mark_partitions, build_prdg,
5169 dump_rdg, find_vertex_with_stmt, create_vertices, free_rdg,
5170 number_of_scalar_dependences, create_edges, build_rdg): Use VECs.
5172 2007-05-17 Georges-Andre Silber <silber@cri.ensmp.fr>
5173 Sebastian Pop <sebpop@gmail.com>
5175 * doc/invoke.texi (-ftree-loop-distribution): Document.
5176 * tree-loop-distribution.c: New file.
5177 * tree-pass.h (pass_loop_distribution): Declared.
5178 * timevar.def (TV_TREE_LOOP_DISTRIBUTION): New.
5179 * tree-data-ref.c (initialize_data_dependence_relation): Initialize
5181 * tree-data-ref.h (data_dependence_relation): Add reversed_p.
5182 (DDR_REVERSED_P): New.
5183 * common.opt (-ftree-loop-distribution): New.
5184 * tree-flow.h (distribute_loops): Declared.
5185 * Makefile.in (OBJS-common): Depend on tree-loop-distribution.o.
5186 * passes.c (init_optimization_passes): Schedule loop distribution.
5188 2007-05-12 Sebastian Pop <sebastian.pop@inria.fr>
5190 * graphite.c (print_graphite_bb): Don't call dump_data_references.
5191 (print_scop): Don't print when scop is NULL.
5192 (build_scop_context, find_transform): Don't output to stderr.
5194 2007-05-09 Sebastian Pop <sebastian.pop@inria.fr>
5196 * tree-data-ref.c: Don't include graphite.h.
5197 Comment out the code for printing data reference's scop.
5198 (build_access_matrix_with_af): Moved...
5199 * tree-data-ref.h (build_access_matrix_with_af): Removed declaration.
5200 * graphite.c (build_access_matrix_with_af): ... here. Now static.
5201 (print_graphite_bb): Print basic block's schedule.
5202 (print_scop): Don't print the schedule, call cloog's pretty printer.
5203 (bb_in_scop_p): A basic block is in a scop only if it is both
5204 dominated and postdominated by the scop's entry and exit basic blocks.
5205 (function_parameter_p): New.
5206 (invariant_in_scop_p): Use function_parameter_p.
5207 (new_scop, save_scop): New.
5208 (end_scop, test_for_scop_bound, build_scops): Use new_scop, and
5210 (scan_tree_for_params): Directly build the constraint as CloogMatrix.
5211 (loop_in_scop_p): New.
5212 (scop_record_loop): Use loop_in_scop_p.
5213 (build_scop_domain): Renamed build_scop_iteration_domain.
5214 (setup_cloog_loop, initialize_cloog_names, find_scop_parameters,
5215 nb_params_in_scop, build_scop_context, first_loop_in_scop,
5216 setup_cloog_loop, dot_scop_1, dot_scop): New.
5217 * graphite.h (GBB_LOOP, SCOP_PROG, dot_scop): New.
5218 (struct scop): Add a pointer to cloog's representation of a program.
5220 2007-04-14 Sebastian Pop <sebastian.pop@inria.fr>
5222 * doc/invoke.texi (-ftree-check-verbose): Renamed
5223 -ftree-checks-verbose.
5224 * common.opt (flag_tree_check_verbose): Renamed
5225 flag_tree_checks_verbose.
5226 * tree-check.c (tree_check_warning): Use flag_tree_checks_verbose.
5228 2007-04-14 Sebastian Pop <sebastian.pop@inria.fr>
5230 * configure: Regenerated.
5231 * config.in: Regenerated.
5232 * tree-ssa-loop.c (graphite_transforms): Execute
5233 graphite_transform_loops only when HAVE_cloog.
5234 * configure.ac (HAVE_polylib, HAVE_cloog, GRAPHITE): Defined.
5235 * graphite.c: Include polylibgmp.h and cloog.h.
5236 (graphite_transform_loops): Removed loops parameter.
5237 * tree-flow.h (graphite_transform_loops): Update declaration.
5238 * Makefile.in (POLYLIBLIBS, POLYLIBINC, CLOOGLIBS, CLOOGINC): New.
5239 (LIBS): Depend on CLOOGLIBS and on POLYLIBLIBS.
5240 (INCLUDES): Depend on POLYLIBINC and on CLOOGINC.
5241 (OBJS-common): Remove dependence on graphite.o.
5242 (BACKEND): Depend on @GRAPHITE@.
5244 2007-04-13 Sebastian Pop <sebastian.pop@inria.fr>
5246 * doc/invoke.texi (-ftree-check-verbose): Documented.
5247 * testsuite/gcc.dg/tree-checker/tree-checks-1.c: New.
5248 * testsuite/gcc.dg/tree-checker/tree-checks-2.c: New.
5249 * testsuite/gcc.dg/tree-checker/tree-checks-3.c: New.
5250 * testsuite/gcc.dg/tree-checker/tree-checks-4.c: New.
5251 * testsuite/gcc.dg/tree-checker/tree-checks.exp: New.
5252 * testsuite/gcc.dg/tree-checker/condates.crp: New.
5253 * common.opt (ftree-checks-verbose): New.
5254 * tree-check.c (tree_check_warning): Move extra stderr output
5255 under control of flag_tree_check_verbose.
5257 2007-04-12 Sebastian Pop <sebastian.pop@inria.fr>
5259 * tree-match.c: Fix comments formatting.
5260 * tree-match.h: Fix comments formatting.
5261 * tree-check.c: Fix comments formatting.
5262 (tree_check_init): Restructure.
5264 2007-04-12 Nic Volanschi <nic.volanschi@free.fr>
5266 * doc/invoke.texi (-ftree-check, -ftree-checks): Documented.
5268 2007-04-10 Sebastian Pop <sebastian.pop@inria.fr>
5270 * Merge from mainline (r120733:123693).
5272 2007-03-20 Nic Volanschi <nic.volanschi@free.fr>
5274 * condate.y: New file.
5275 * tree-match.h (struct patt_info_s): New field sign.
5276 (struct condate_s): New field msg.
5277 (normalize_condate, name_condate, add_condate): New.
5278 (conds[], condate_parse): Made extern.
5279 * tree-check.c (tree_check_warning): First arg changed to cond;
5280 warning reformatted.
5281 (tree_check_init): Reset the TREE_VISITED bit on every CFG node.
5283 (tree_check): Process trivial condates.
5284 (read_delimited_string): Removed.
5285 (print_cond): Print name and msg.
5286 (conds[]): Made extern.
5287 (parse_tree_check_file_once): Rewritten to use the parser in
5289 Processing of option --tree_check_string moved to tree_scan().
5290 * Makefile.in: Added condate.y
5292 2007-03-12 Sebastian Pop <sebastian.pop@inria.fr>
5294 * tree-pretty-print.c (dump_generic_bb_buff, lazy_dump_generic_node):
5295 Use VECs instead of varrays.
5296 * diagnostic.h (lazy_dump_generic_node): Update declaration.
5297 * Makefile.in (pretty-print.o): Depend on vec.h.
5298 * pretty-print.c: Include tree.h and vec.h.
5299 (pp_clear_state, pp_write_list_to_stream, pp_base_format,
5300 pp_base_format, pp_construct, pp_base_string, pp_lazy_mode,
5301 new_tree_chunk, pp_add_tree, pp_add_string, pp_add_char, pp_write_list,
5302 pp_free_list): Use VECs instead of varrays.
5303 * pretty-print.h: Do not include varray.h.
5304 (struct tree_chunk_s): Declaration moved before its use.
5305 (output_buffer): Rename varray field to chunks.
5306 * tree-match.c (tree_equal, chunk_1st_char, chunks_lookahead,
5307 tree_1st_char, match_chunks_pattinfo, match_tree_pattinfo,
5308 save_global_holes): Use VECs instead of varrays.
5309 * tree-match.h: Declare VECs of cfg_node, and hole_p.
5310 * tree-check.c (scan_cfg_stmts, push_node,
5311 print_matching_stmt): Removed.
5312 (tree_check_instance, push_global_holes_if_new, tree_check,
5313 execute_tree_check): Use VECs instead of varrays.
5314 (gate_tree_check): Don't execute the CFG check when basic_block_info
5317 2007-01-12 Sebastian Pop <sebastian.pop@inria.fr>
5319 * Merge from mainline (r115016:120733).
5321 2007-01-12 Sebastian Pop <sebastian.pop@inria.fr>
5323 * Merge from mainline (r117632:117661).
5325 2007-01-12 Sebastian Pop <sebastian.pop@inria.fr>
5327 * tree-dump.c (dump_option_value_in): Add TDF_DEBUG.
5328 * tree-pass.h (TDF_DEBUG, debug_p): New.
5329 * tree-scalar-evolution.c (set_scalar_evolution, get_scalar_evolution,
5330 get_scalar_evolution, add_to_evolution, set_nb_iterations_in_loop,
5331 get_loop_exit_condition, analyze_evolution_in_loop,
5332 analyze_initial_condition, analyze_scalar_evolution,
5333 instantiate_parameters, number_of_latch_executions): Use debug_p.
5334 * tree-chrec.c (chrec_apply): Use debug_p.
5335 * tree-data-ref.c: Include graphite.h.
5336 (dump_data_reference): Print also the access matrix.
5337 (analyze_array, analyze_indirect_ref, init_data_ref,
5338 analyze_offset_expr, address_analysis, object_analysis,
5339 create_data_ref, finalize_ddr_dependent,
5340 non_affine_dependence_relation, analyze_ziv_subscript,
5341 analyze_siv_subscript_cst_affine,
5342 compute_overlap_steps_for_affine_1_2, analyze_subscript_affine_affine,
5343 can_use_analyze_subscript_affine_affine, analyze_siv_subscript,
5344 analyze_miv_subscript, analyze_overlapping_iterations,
5345 build_classic_dist_vector, subscript_dependence_tester,
5346 compute_affine_dependence, analyze_all_data_dependences): Use debug_p.
5347 (build_access_matrix_with_af): No longer static.
5348 * tree-data-ref.h (scop_p): ... declaration here.
5349 (data_reference.scop): New field.
5350 (DR_SCOP, DR_ACCESS_MATRIX): New.
5351 (build_access_matrix_with_af, dr_num_subscripts): Declared.
5352 * graphite.c (print_graphite_bb): Call dump_data_references.
5353 (print_scop): Use scop_nb_loops and scop_dim_domain.
5354 (test_for_scop_bound): Use debug_p.
5355 (scan_tree_for_params): Use scop_nb_loops, scop_nb_loops and
5357 (scop_loop_index): Moved...
5358 (scop_record_loop): New.
5359 (build_scop_loop_nests): Use scop_record_loop.
5360 (build_scop_domain): Use scop_dim_domain.
5361 (build_access_matrix): Implemented.
5362 (build_scop_canonical_schedules): Use scop_nb_loops.
5363 (build_graphite_bb): Initialize GBB_SCOP.
5364 * graphite.h (scop_p): Moved...
5365 (graphite_bb.scop): New field.
5366 (graphite_bb.iteration_domain, GBB_DOMAIN, scop.nb_params,
5367 scop.nb_loops, scop.dim_domain, SCOP_NB_LOOPS, SCOP_NB_PARAMS,
5368 SCOP_DIM_DOMAIN, SCOP_STMTS): Removed.
5369 (scop_nb_params, scop_nb_loops, scop_dim_domain, gbb_dim_domain,
5370 scop_loop_index): New.
5371 * Makefile.in (tree-data-ref.o): Depends on graphite.h.
5373 2007-01-05 Sebastian Pop <sebastian.pop@inria.fr>
5375 * Merge from mainline (r117661:120450).
5377 2006-10-12 Sebastian Pop <sebastian.pop@inria.fr>
5379 * tree-scalar-evolution.c (instantiate_parameters_1): Don't stop
5380 at the first declaration outside the varying loop, instantiate as
5382 * tree-chrec.c (for_each_scev_op): New.
5383 * tree-chrec.h (for_each_scev_op): Declared.
5384 * tree-ssa-loop.c (pass_graphite_trans): Don't dump the function.
5385 * tree-data-ref.c (get_references_in_stmt,
5386 find_data_references_in_stmt): New, from trunk.
5387 (find_data_references_in_loop): Use get_references_in_stmt
5388 and find_data_references_in_loop, modified as in trunk.
5389 (build_access_matrix_with_af): New.
5390 * tree-data-ref.h (data_reference): Add a field access_matrix.
5391 (data_ref_loc): New, as in trunk.
5392 * graphite.c (print_graphite_bb, bb_in_scop_p, stmt_in_scop_p,
5393 invariant_in_scop_p, param_index, scan_tree_for_params,
5394 scop_loop_index, build_scop_loop_nests, build_scop_domain, irp_data,
5395 idx_record_param, idx_record_params, build_access_matrix,
5396 build_scop_data_accesses, build_scop_canonical_schedules,
5397 build_graphite_bb, build_scop_bbs, find_params_in_bb,
5398 build_scop_params): New.
5399 * graphite.h (graphite_bb): New.
5400 (scop): Add fields static_schedule, params, loop_nest,
5402 * lambda.h: Declare vecs of lambda_matrix.
5403 * tree-flow.h (print_loop_ir_bb): Declared.
5404 * tree-cfg.c (print_loop_ir_bb): New.
5405 (print_loop): Use print_loop_ir_bb.
5407 2006-10-12 Sebastian Pop <pop@cri.ensmp.fr>
5409 * Merge from mainline (r115016:117632).
5411 2006-10-11 Sebastian Pop <pop@cri.ensmp.fr>
5413 * graphite.c (debug_scops): Adjust definition for avoiding a bootstrap
5414 break due to a warning.
5416 2006-10-10 Sebastian Pop <pop@cri.ensmp.fr>
5418 * graphite.c (print_scops, debug_scops): New.
5419 (graphite_transform): Renamed graphite_find_transform.
5420 * graphite.h (debug_scops): Declared.
5422 2006-08-17 Sebastian Pop <pop@cri.ensmp.fr>
5424 * tree-match.c: Reformat following the GNU style.
5425 * tree-match.h: Reformat following the GNU style.
5426 * tree-pattern.h: Removed empty file.
5427 * Makefile.in: Remove references to tree-pattern.h.
5428 * tree-check.c: Reformat following the GNU style.
5429 (execute_tree_check): Move gate condition code to...
5430 (gate_tree_check): ...here. New function.
5431 (pass_check): Use the gate function.
5433 2006-07-04 Nic Volanschi <nic.volanschi@free.fr>
5435 * tree-pattern.h: New. Tree pattern matching and checking using
5437 * tree-check.c: New. Tree/CFG checking pass.
5438 * tree-match.c: New. Library for tree pattern matching.
5439 * opts.c, common.opt: Add options --ftree-check & --ftree-checks.
5440 * toplev.c, flags.h: Add globals for tree-check pass.
5441 * Makefile.in: Integrate the files in tree-check pass.
5442 * timevar.def, tree-optimize.c, tree-pass.h: Register tree-check pass.
5443 * pretty-print.c, pretty-print.h, tree-pretty-print.c, diagnostic.h:
5444 Introduce a "lazy" pretty-print mode.
5445 * tree.c, tree.h: Add tree_name.
5447 2006-07-04 Sebastian Pop <pop@cri.ensmp.fr>
5449 * doc/invoke.texi (-fgraphite): Correct typo.
5450 * tree-scalar-evolution.c (number_of_iterations_for_all_loops): Update
5451 use of print_loop_ir.
5452 * testsuite/gcc.dg/graphite/scop-1.c: New.
5453 * testsuite/gcc.dg/graphite/scop-2.c: New.
5454 * testsuite/gcc.dg/graphite/graphite.exp: New.
5455 * graphite.c: Include domwalk.h.
5456 (print_scop): Print only the entry and exit blocks.
5457 (debug_scop): No longer static.
5458 (affine_expr): Fix formating. Return also true when the expression is
5460 (stmt_simple_for_scop_p): Fix formating.
5461 (build_scops): Use domwalk.
5462 (get_loop_start, end_scop, test_for_scop_bound): New.
5463 (graphite_transform_loops): Avoid printing on stderr.
5464 * graphite.h (debug_scop): Declared.
5465 * tree-flow.h (debug_loop_ir, print_loop_ir): Update declarations.
5466 * Makefile.in (graphite.o): Depend on domwalk.h.
5467 * tree-cfg.c (print_loop, print_pred_bbs, print_succ_bbs): Remove
5468 declarations for static functions.
5469 (print_loop, print_loop_ir, debug_loop_ir): Use an extra parameter for
5470 controlling output verbosity.
5472 2006-06-26 Sebastian Pop <pop@cri.ensmp.fr>
5473 Plesco Alexandru <shurikx@gmail.com>
5475 * doc/invoke.texi (-fgraphite): Document.
5476 * tree-pass.h (pass_graphite_transforms): Declared.
5477 * timevar.def (TV_GRAPHITE_TRANSFORMS): New.
5478 * tree-ssa-loop.c (graphite_transforms, gate_graphite_transforms): New.
5479 (pass_graphite_transforms): Defined.
5480 * tree-data-ref.c (free_data_ref, data_reference): Extern.
5481 * tree-data-ref.h (free_data_ref, data_reference): Declared.
5482 * graphite.c, graphite.h: New.
5483 * common.opt (fgraphite): Declared.
5484 * tree-flow.h (graphite_transform_loops): Declared.
5485 * Makefile.in (OBJS-common): Add graphite.o.
5486 (graphite.o): New rule.
5487 * passes.c (pass_graphite_transforms): Scheduled.
OSDN Git Service
