aboutsummaryrefslogtreecommitdiff
path: root/gcc/graphite-poly.c
AgeCommit message (Collapse)AuthorFilesLines
2010-04-02Make-lang.in, [...]: Update copyright years.Steven Bosscher1-1/+1
* ada/gcc-interface/Make-lang.in, alias.c, attribs.c, auto-inc-dec.c, basic-block.h, bb-reorder.c, calls.c, c-common.c, cgraph.h, collect2.h, config/alpha/alpha.c, config/alpha/alpha.md, config/alpha/predicates.md, config/arm/arm.md, config/arm/lib1funcs.asm, config/arm/neon-schedgen.ml, config/avr/avr.c, config/avr/avr.md, config/bfin/bfin.c, config/darwin9.h, config/darwin.c, config/darwin.h, config/h8300/h8300.c, config/i386/cpuid.h, config/i386/cygming.h, config/i386/cygwin.h, config/i386/mingw32.h, config/i386/msformat-c.c, config/i386/sol2-10.h, config/i386/xopintrin.h, config/ia64/ia64.c, config/ia64/ia64.md, config/ia64/sync.md, config/mep/mep.c, config/mips/mips.md, config/mn10300/mn10300.c, config/mn10300/mn10300.h, config/pa/pa.c, config/pa/pa.md, config/rs6000/aix.h, config/rs6000/dfp.md, config/rs6000/rs6000-builtin.def, config/rs6000/rs6000-c.c, config/rs6000/vector.md, config/rtems.h, config/rx/rx.md, config/s390/s390.md, config/sol2-c.c, config/sparc/sol2-bi.h, config/sparc/sol2-gas.h, config/sparc/sparc.h, config/sparc/sparc.md, config/sparc/sparc-protos.h, config/spu/spu.c, config/spu/spu-c.c, config/t-darwin, convert.c, c.opt, c-opts.c, cp/Make-lang.in, c-pretty-print.c, c-typeck.c, df-core.c, df-scan.c, diagnostic.c, diagnostic.h, doc/cppopts.texi, doc/cpp.texi, doc/extend.texi, doc/gimple.texi, doc/languages.texi, doc/plugins.texi, doc/rtl.texi, doc/standards.texi, doc/tree-ssa.texi, doc/trouble.texi, dominance.c, fold-const.c, fortran/Make-lang.in, fwprop.c, gcc-plugin.h, gensupport.c, gimple.h, gimple-iterator.c, graphite.c, graphite-clast-to-gimple.c, graphite-clast-to-gimple.h, graphite-dependences.c, graphite-poly.c, graphite-poly.h, graphite-ppl.c, graphite-ppl.h, graphite-scop-detection.c, graphite-sese-to-poly.c, graphite-sese-to-poly.h, ifcvt.c, intl.c, intl.h, ipa.c, ipa-cp.c, ipa-inline.c, ipa-prop.c, ipa-prop.h, ipa-pure-const.c, ipa-reference.c, ipa-type-escape.c, ira-color.c, ira-conflicts.c, ira-lives.c, java/Make-lang.in, lambda-code.c, loop-invariant.c, lto/Make-lang.in, lto-streamer.h, lto-streamer-in.c, objc/Make-lang.in, objcp/Make-lang.in, omp-low.c, optc-gen.awk, opt-functions.awk, opth-gen.awk, params.def, passes.c, postreload-gcse.c, print-tree.c, recog.c, regrename.c, reload.h, rtl.def, sched-int.h, sched-rgn.c, sel-sched-dump.c, sese.c, sese.h, store-motion.c, stor-layout.c, tree-cfgcleanup.c, tree-chrec.c, tree-complex.c, tree-data-ref.c, tree.def, tree-eh.c, tree-flow.h, tree-flow-inline.h, tree.h, tree-loop-distribution.c, tree-outof-ssa.c, tree-parloops.c, tree-pass.h, tree-predcom.c, tree-profile.c, tree-scalar-evolution.c, tree-ssa-address.c, tree-ssa-alias.c, tree-ssa-coalesce.c, tree-ssa-copy.c, tree-ssa-dce.c, tree-ssa-dom.c, tree-ssa-dse.c, tree-ssa-loop-im.c, tree-ssa-loop-ivcanon.c, tree-ssa-loop-manip.c, tree-ssa-math-opts.c, tree-ssa-operands.c, tree-ssa-pre.c, tree-ssa-sccvn.c, tree-ssa-structalias.c, tree-ssa-uncprop.c, tree-tailcall.c, tree-vect-data-refs.c, tree-vect-loop.c, tree-vectorizer.h, tree-vect-slp.c, tree-vrp.c, unwind-dw2-fde-darwin.c, varpool.c: Update copyright years. From-SVN: r157950
2010-03-31Add a verbosity parameter to clean up the comments of pretty printers.Sebastian Pop1-168/+309
2010-03-23 Sebastian Pop <sebastian.pop@amd.com> * graphite-dependences.c (print_pddr): Call print_pdr with an extra argument. * graphite-poly.c (debug_pdr): Add an extra argument for the verbosity level. (print_pdr): Same. (print_pbb_domain): Same. (print_pbb): Same. (print_scop_context): Same. (print_scop): Same. (print_cloog): Same. (debug_pbb_domain): Same. (debug_pbb): Same. (print_pdrs): Same. (debug_pdrs): Same. (debug_scop_context): Same. (debug_scop): Same. (debug_cloog): Same. (print_scop_params): Same. (debug_scop_params): Same. (print_iteration_domain): Same. (print_iteration_domains): Same. (debug_iteration_domain): Same. (debug_iteration_domains): Same. (print_scattering_function): Same. (print_scattering_functions): Same. (debug_scattering_function): Same. (debug_scattering_functions): Same. * graphite-poly.h (debug_pdr): Update declaration. (print_pdr): Same. (print_pbb_domain): Same. (print_pbb): Same. (print_scop_context): Same. (print_scop): Same. (print_cloog): Same. (debug_pbb_domain): Same. (debug_pbb): Same. (print_pdrs): Same. (debug_pdrs): Same. (debug_scop_context): Same. (debug_scop): Same. (debug_cloog): Same. (print_scop_params): Same. (debug_scop_params): Same. (print_iteration_domain): Same. (print_iteration_domains): Same. (debug_iteration_domain): Same. (debug_iteration_domains): Same. (print_scattering_function): Same. (print_scattering_functions): Same. (debug_scattering_function): Same. (debug_scattering_functions): Same. From-SVN: r157888
2010-03-31Print SCoPs under CLooG format.Sebastian Pop1-16/+76
2010-03-23 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (print_scattering_function_1): New. (print_scattering_function): Call it. (print_scop_params): Remove spaces at the end of lines. (print_cloog): New. (debug_cloog): New. * graphite-poly.h (print_cloog): Declared. (debug_cloog): Declared. From-SVN: r157887
2010-03-31Make print_scop output the scoplib format.Sebastian Pop1-34/+125
2010-03-16 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (print_scattering_function): Pretty print following the scoplib format. (print_pdr): Same. (print_pbb_domain): Same. (dump_gbb_cases): Same. (dump_gbb_conditions): Same. (print_pdrs): Same. (print_pbb): Same. (print_scop_params): Same. (print_scop_context): Same. (print_scop): Same. (print_pbb_body): New. (lst_indent_to): New. (print_lst): Start new lines with a #. * graphite-poly.h (pbb_bb): New. (pbb_index): Use pbb_bb. * graphite-ppl.c (ppl_print_powerset_matrix): Print the number of disjuncts. * tree-data-ref.c (dump_data_reference): Start new lines with a #. From-SVN: r157883
2010-02-11re PR tree-optimization/42771 ([graphite] ICE: in graphite_loop_normal_form, ↵Sebastian Pop1-0/+2
at graphite-sese-to-poly.c (2)) Fix PR42771. 2010-02-10 Sebastian Pop <seb@napoca> PR middle-end/42771 * graphite-clast-to-gimple.c (gloog): Call rename_sese_parameters. * graphite-clast-to-gimple.h (gloog): Update declaration. * graphite-poly.c (new_scop): Clear POLY_SCOP_P. * graphite-poly.h (struct poly_bb): Add missing comments. (struct scop): Add poly_scop_p field. (POLY_SCOP_P): New. * graphite-sese-to-poly.c (build_poly_scop): Set POLY_SCOP_P. * graphite.c (graphite_transform_loops): Build the polyhedral representation for each scop before code generation. * sese.c (rename_variables_in_operand): Removed. (rename_variables_in_expr): Return the renamed expression. (rename_sese_parameters): New. * sese.h (rename_sese_parameters): Declared. * gcc.dg/graphite/pr42771.c: New. From-SVN: r156711
2009-11-25graphite-blocking.c (scop_do_block): New.Sebastian Pop1-4/+1
2009-11-18 Sebastian Pop <sebastian.pop@amd.com> * graphite-blocking.c (scop_do_block): New. * graphite-poly.c (apply_poly_transforms): Call scop_do_block. * graphite-poly.h (scop_do_block): Declared. From-SVN: r154638
2009-11-25graphite-interchange.c (lst_perfect_nestify): Pass 3 parameters for the ↵Sebastian Pop1-1/+0
loops created by the loop distribution. 2009-11-03 Sebastian Pop <sebastian.pop@amd.com> * graphite-interchange.c (lst_perfect_nestify): Pass 3 parameters for the loops created by the loop distribution. Do not modify the input LSTs. (lst_try_interchange_loops): Same. Use a temporary LST for the transformed schedule. Call lst_update_scattering before data dependence analysis. (lst_try_interchange): Pass an extra parameter INDEX. (lst_do_interchange_1): New. (lst_do_interchange): Call lst_do_interchange_1. (scop_do_interchange): Call lst_update_scattering. * graphite-poly.c (apply_poly_transforms): Do not call lst_update_scattering. * graphite-poly.h (lst_pred): New. (lst_succ): New. (lst_find_first_pbb): Return NULL when not found. (lst_empty_p): New. (lst_insert_in_sequence): Allow LST1 to be NULL. (lst_replace): New. (lst_substitute_3): New. * gcc.dg/graphite/interchange-1.c: XFail. * gcc.dg/graphite/interchange-8.c: XFail. * gcc.dg/graphite/interchange-11.c: XFail. From-SVN: r154632
2009-11-25graphite-interchange.c (lst_perfectly_nested_p): New.Sebastian Pop1-0/+1
2009-10-30 Sebastian Pop <sebastian.pop@amd.com> * graphite-interchange.c (lst_perfectly_nested_p): New. (lst_perfect_nestify): New. (lst_try_interchange_loops): Call store_lst_schedule, lst_perfectly_nested_p, lst_perfect_nestify and restore_lst_schedule. (scop_do_interchange): Avoid redundant legality test. Call lst_do_interchange on a copy of SCOP_TRANSFORMED_SCHEDULE. * graphite-poly.c (apply_poly_transforms): Call lst_update_scattering. * graphite-poly.h (psct_static_dim): New. (lst_dewey_number_at_depth): New. (lst_find_pbb): Restructured. (lst_find_first_pbb): Restructured. (lst_find_last_pbb): New. (lst_contains_p): New. (lst_contains_pbb): New. (lst_create_nest): New. (lst_remove_from_sequence): New. (pbb_update_scattering): New. (lst_update_scattering_under): New. (lst_update_scattering_seq): New. (lst_update_scattering): New. (lst_insert_in_sequence): New. (lst_distribute_lst): New. (lst_remove_all_before_including_pbb): New. (lst_remove_all_before_excluding_pbb): New. From-SVN: r154631
2009-11-25graphite-poly.c (pbb_remove_duplicate_pdrs): Free collapsed.Sebastian Pop1-0/+1
2009-10-30 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (pbb_remove_duplicate_pdrs): Free collapsed. From-SVN: r154629
2009-11-25graphite-poly.c (new_scop): Initialize SCOP_ORIGINAL_SCHEDULE...Sebastian Pop1-0/+6
2009-10-22 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (new_scop): Initialize SCOP_ORIGINAL_SCHEDULE, SCOP_TRANSFORMED_SCHEDULE, and SCOP_SAVED_SCHEDULE. (free_scop): Call free_lst on SCOP_ORIGINAL_SCHEDULE, SCOP_TRANSFORMED_SCHEDULE, and SCOP_SAVED_SCHEDULE. * graphite-poly.h (free_lst): New. (store_lst_schedule): Free SCOP_SAVED_SCHEDULE. (restore_lst_schedule): Free SCOP_TRANSFORMED_SCHEDULE. From-SVN: r154618
2009-11-25graphite-poly.c (pbb_remove_duplicate_pdrs): Initialize ↵Sebastian Pop1-0/+3
PBB_PDR_DUPLICATES_REMOVED. 2009-10-17 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (pbb_remove_duplicate_pdrs): Initialize PBB_PDR_DUPLICATES_REMOVED. (new_poly_bb): Same. From-SVN: r154602
2009-11-25graphite-blocking.c (lst_do_strip_mine): Avoid strip mining the root of the LST.Sebastian Pop1-6/+24
2009-10-15 Sebastian Pop <sebastian.pop@amd.com> * graphite-blocking.c (lst_do_strip_mine): Avoid strip mining the root of the LST. * graphite-interchange.c (lst_do_interchange): Avoid interchanging the root of the LST. * graphite-poly.c (scop_to_lst): Fix LST sequence in an outermost fake loop. (print_lst): Print the root of LST in a different format. * graphite-poly.h (lst_depth): Adjust to include the root of the LST. From-SVN: r154593
2009-11-25graphite-poly.c (print_scop): Fix pretty printing of a SCoP.Sebastian Pop1-2/+2
2009-10-15 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (print_scop): Fix pretty printing of a SCoP. From-SVN: r154592
2009-11-25graphite-poly.c (pbb_number_of_iterations_at_time): Cleanup comments.Sebastian Pop1-9/+17
2009-10-14 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (pbb_number_of_iterations_at_time): Cleanup comments. From-SVN: r154584
2009-11-25graphite-blocking.c (pbb_do_strip_mine): Removed.Sebastian Pop1-1/+1
2009-10-14 Sebastian Pop <sebastian.pop@amd.com> * graphite-blocking.c (pbb_do_strip_mine): Removed. (lst_do_strip_mine_loop): New. (lst_do_strip_mine): New. (scop_do_strip_mine): Call lst_do_strip_mine. * graphite-poly.h (lst_add_loop_under_loop): New. (lst_find_first_pbb): New. From-SVN: r154582
2009-11-25graphite-poly.c (loop_to_lst): Fix LST creation.Sebastian Pop1-13/+10
2009-10-14 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (loop_to_lst): Fix LST creation. From-SVN: r154581
2009-11-25graphite-poly.c (dot_lst_1): New.Sebastian Pop1-0/+62
2009-10-13 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (dot_lst_1): New. (dot_lst): New. * graphite-poly.h (dot_lst): Declared. From-SVN: r154573
2009-11-25graphite-poly.c (apply_poly_transforms): Implement the high level driver for ↵Sebastian Pop1-6/+11
flag_loop_block. 2009-10-09 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (apply_poly_transforms): Implement the high level driver for flag_loop_block. * tree-ssa-loop.c (gate_graphite_transforms): Remove call to sorry for flag_loop_block. * gcc.dg/graphite/graphite.exp (DEFAULT_CFLAGS_GRAPHITE_BLOCK): Add -floop-block. * gfortran.dg/graphite/graphite.exp (DEFAULT_CFLAGS_GRAPHITE_BLOCK): Add -floop-block. From-SVN: r154569
2009-11-25graphite-poly.c (new_scop): Remove init of SCOP_DEP_GRAPH.Sebastian Pop1-1/+0
2009-10-09 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (new_scop): Remove init of SCOP_DEP_GRAPH. * graphite-poly.h (struct scop): Remove dep_graph field. (SCOP_DEP_GRAPH): Removed. From-SVN: r154567
2009-11-25graphite-poly.c (print_scop): Print SCOP_ORIGINAL_SCHEDULE and ↵Sebastian Pop1-0/+95
SCOP_TRANSFORMED_SCHEDULE. 2009-10-06 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (print_scop): Print SCOP_ORIGINAL_SCHEDULE and SCOP_TRANSFORMED_SCHEDULE. (loop_to_lst): New. (scop_to_lst): New. (print_lst): New. (debug_lst): New. * graphite-poly.h (lst_p): New. (struct lst): New. (LST_LOOP_P): New. (LST_LOOP_FATHER): New. (LST_PBB): New. (LST_SEQ): New. (scop_to_lst): Declared. (print_lst): Declared. (debug_lst): Declared. (new_lst_loop): New. (new_lst_stmt): New. (copy_lst): New. (lst_depth): New. (lst_dewey_number): New. (struct scop): Add original_schedule and transformed_schedule fields. (SCOP_ORIGINAL_SCHEDULE): New. (SCOP_TRANSFORMED_SCHEDULE): New. * graphite-sese-to-poly.c (build_poly_scop): Call scop_to_lst. From-SVN: r154562
2009-11-25graphite-dependences.c (reduction_ddr): New.Sebastian Pop1-1/+2
2009-10-05 Sebastian Pop <sebastian.pop@amd.com> * graphite-dependences.c (reduction_ddr): New. (graphite_legal_transform_bb): Call reduction_ddr. * graphite-poly.c (new_poly_bb): Pass a new bool parameter. Initialize PBB_IS_REDUCTION. * graphite-poly.h (struct poly_bb): New bool field is_reduction. (PBB_IS_REDUCTION): New. (new_poly_bb): Update declaration. * graphite-scop-detection.h (build_scop_bbs): Removed. (nb_reductions_in_loop): Removed. * graphite-sese-to-poly.c (try_generate_gimple_bb): Pass a sbitmap parameter for reductions. (try_generate_gimple_bb): Update call to new_poly_bb. (build_scop_bbs_1): Same. (build_scop_bbs): Same. (gsi_for_phi_node): New. (scalar_close_phi_node_p): Remove gcc_assert. (split_reduction_stmt): New. (is_reduction_operation_p): New. (phi_contains_arg): New. (follow_ssa_with_commutative_ops): New. (detect_commutative_reduction_arg): New. (detect_commutative_reduction_assign): New. (follow_inital_value_to_phi): New. (edge_initial_value_for_loop_phi): New. (initial_value_for_loop_phi): New. (detect_commutative_reduction): New. (translate_scalar_reduction_to_array_for_stmt): New. (insert_copyout): New. (insert_copyin): New. (translate_scalar_reduction_to_array): New. (rewrite_commutative_reductions_out_of_ssa_close_phi): New. (rewrite_commutative_reductions_out_of_ssa_loop): New. (rewrite_commutative_reductions_out_of_ssa): New. (build_poly_scop): Call rewrite_commutative_reductions_out_of_ssa. * sese.h (split_region_for_bb): New. * gcc.dg/graphite/graphite.exp (DEFAULT_CFLAGS_GRAPHITE_BLOCK): Add -ffast-math. * gcc.dg/graphite/interchange-1.c: Fix format. * gcc.dg/graphite/interchange-10.c: New. From-SVN: r154561
2009-11-25graphite-clast-to-gimple.c (build_cloog_prog): Use pbb_index.Sebastian Pop1-2/+2
2009-10-05 Sebastian Pop <sebastian.pop@amd.com> * graphite-clast-to-gimple.c (build_cloog_prog): Use pbb_index. * graphite-interchange.c (pbb_do_interchange): Same. * graphite-poly.c (print_scattering_function): Same. (debug_pdrs): Same. * graphite-poly.h (pbb_loop): New. * graphite-sese-to-poly.c (create_linear_expr_from_tree): Use pbb_loop. From-SVN: r154557
2009-11-25re PR tree-optimization/41118 (Wrong dependence analysis in graphite for ↵Li Feng1-1/+2
unrestricted pointers) 2009-09-17 Li Feng <nemokingdom@gmail.com> PR middle-end/41118 * graphite-dependences.c (poly_drs_may_alias_p): Adjust definition. (pddr_original_scattering): Make sure 2 pdr2 in the same base object set. (graphite_carried_dependence_level_k): Ditto. * graphite-poly.c (new_poly_dr): Add init of PDR_BASE_OBJECT_SET. * graphite-poly.h (struct poly_dr): Add member dr_base_object_set. (new_poly_dr): Adjust declaration. * graphite-sese-to-poly.c (free_data_refs_aux): New. (free_gimple_bb): Added free_data_refs_aux. (build_poly_dr): Add dr_base_object_set. (partition_drs_to_sets): New. (dr_same_base_object_p): New. (build_alias_set_for_drs): New. (build_base_object_set_for_drs): New. (build_scop_drs): Add build_base_obj_set_for_drs. * graphite-sese-to-poly.h: Added #define for alias set number index and base object set index. * libgomp/testsuite/libgomp.graphite/force-parallel-6.c: Refine tests. * libgomp/testsuite/libgomp.graphite/pr4118.c: New. From-SVN: r154549
2009-08-28graphite-dependences.c (graphite_legal_transform_bb): Call ↵Sebastian Pop1-39/+25
pbb_remove_duplicate_pdrs. 2009-08-28 Sebastian Pop <sebastian.pop@amd.com> * graphite-dependences.c (graphite_legal_transform_bb): Call pbb_remove_duplicate_pdrs. * graphite-poly.c (can_collapse_pdr): Removed. (pdr_find_duplicate): Removed. (can_collapse_pdrs): New. (pbb_remove_duplicate_pdrs): New. (new_poly_dr): Do not look for duplicates. * graphite-poly.h (struct poly_bb): New field pdr_duplicates_removed. (PBB_PDR_DUPLICATES_REMOVED): New. (pbb_remove_duplicate_pdrs): Declared. From-SVN: r151192
2009-08-28graphite-interchange.c (pbb_interchange_profitable_p): Adjust the strides by ↵Sebastian Pop1-2/+58
multiplying by PDR_NB_REFS. 2009-08-28 Sebastian Pop <sebastian.pop@amd.com> * graphite-interchange.c (pbb_interchange_profitable_p): Adjust the strides by multiplying by PDR_NB_REFS. * graphite-poly.c (can_collapse_pdr): New. (pdr_find_duplicate): New. (new_poly_dr): Call pdr_find_duplicate. Collapse duplicate PDRs. Initialize PDR_NB_REFS. * graphite-poly.h (struct poly_dr): Add field nb_refs. (PDR_NB_REFS): New. (new_poly_dr): Number of subscripts is a graphite_dim_t. From-SVN: r151191
2009-08-28re PR middle-end/40965 ([graphite] slow compilation)Sebastian Pop1-2/+0
2009-08-28 Sebastian Pop <sebastian.pop@amd.com> PR middle-end/40965 * graphite-poly.c (apply_poly_transforms): Remove legality test before any transform. From-SVN: r151190
2009-08-28graphite-poly.h (enum POLY_DR_TYPE): Renamed poly_dr_type.Sebastian Pop1-1/+1
2009-08-28 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.h (enum POLY_DR_TYPE): Renamed poly_dr_type. (struct poly_dr): Same. (new_poly_dr): Same. * graphite-poly.c (new_poly_dr): Same. * graphite-dependences.c (dot_deps): Disable call to system. From-SVN: r151188
2009-08-28graphite-blocking.c (pbb_strip_mine_loop_depth): Renamed ↵Konrad Trifunovic1-0/+41
pbb_strip_mine_time_depth. 2009-08-28 Konrad Trifunovic <konrad.trifunovic@gmail.com> Sebastian Pop <sebastian.pop@amd.com> * graphite-blocking.c (pbb_strip_mine_loop_depth): Renamed pbb_strip_mine_time_depth. Changed the implementation so that transformation is expressed as a transformation on time (scatttering) dimensions. Also, ensures that the 2d+1 scheduling format is preserved. (pbb_strip_mine_profitable_p): Profitability is based on the iteration number of a given time (scattering) dimension, and not on a original loop depth dimension. (pbb_strip_mine): Call pbb_number_of_iterations_at_time. (pbb_do_strip_mine): Call psct_dynamic_dim. * graphite-poly.c (pbb_number_of_iterations_at_time): New. * graphite-poly.h (pbb_number_of_iterations_at_time): Declared. (pbb_nb_dynamic_scattering_transform): New. (psct_dynamic_dim): New. Co-Authored-By: Sebastian Pop <sebastian.pop@amd.com> From-SVN: r151186
2009-08-28graphite-ppl.c (ppl_max_for_le): Renamed ppl_max_for_le_pointset.Konrad Trifunovic1-1/+1
2009-08-28 Konrad Trifunovic <konrad.trifunovic@gmail.com> * graphite-ppl.c (ppl_max_for_le): Renamed ppl_max_for_le_pointset. * graphite-ppl.h (ppl_max_for_le): Renamed ppl_max_for_le_pointset. * graphite-poly.c (pbb_number_of_iterations): Rename ppl_max_for_le. * graphite-interchange.c (build_linearized_memory_access): Same. (memory_stride_in_loop): Same. From-SVN: r151184
2009-08-28graphite-dependences.c (pddr_original_scattering): New.Sebastian Pop1-1/+3
2009-08-28 Sebastian Pop <sebastian.pop@amd.com> * graphite-dependences.c (pddr_original_scattering): New. (graphite_legal_transform_dr): Call pddr_original_scattering. (dot_deps_1): New. (dot_deps): New. * graphite-dependences.h (dot_deps): Declared. * graphite-poly.c (new_poly_dr): Initialize PDR_ID. (print_pdr): Print PDR_ID. * graphite-poly.h (struct poly_dr): Add field id. (PDR_ID): New. (pbb_index): New. * graphite-scop-detection.c (dot_all_scops_1): Cleanup comment. From-SVN: r151183
2009-08-28graphite-dependences.c (new_poly_dr_pair): Renamed new_poly_ddr.Sebastian Pop1-3/+3
2009-08-28 Sebastian Pop <sebastian.pop@amd.com> * graphite-dependences.c (new_poly_dr_pair): Renamed new_poly_ddr. (eq_poly_dr_pair_p): Renamed eq_poly_ddr_p. (hash_poly_dr_pair_p): Renamed hash_poly_ddr_p. (free_poly_ddr): New. (pddr_is_empty): New. (dependence_polyhedron_1): Now returns a poly_ddr_p. (dependence_polyhedron): Same. Remove useless gcc_assert. Remove fprintfs. (graphite_legal_transform_dr): Call pddr_is_empty and free_poly_ddr. (graphite_carried_dependence_level_k): Call pddr_is_empty. * graphite-dependences.h (enum poly_dependence_kind): New. (poly_dr_pair): Renamed poly_ddr. Added a field kind. (PDRP_SOURCE): Renamed PDDR_SOURCE. (PDRP_SINK): Renamed PDDR_SINK. (PDRP_DDP): Renamed PDDR_DDP. (PDDR_KIND): New. (free_poly_ddr): Declared. * graphite-poly.c (new_scop): Use the new hash function names. * graphite-poly.h (struct scop): Renamed field original_pdr_pairs into original_pddrs. (SCOP_ORIGINAL_PDR_PAIRS): Renamed SCOP_ORIGINAL_PDDRS. From-SVN: r151181
2009-08-15Print PBB index.Sebastian Pop1-1/+1
2009-08-15 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (print_pbb): Print PBB index. From-SVN: r150790
2009-08-15Correct the use of ppl_Pointset_Powerset_C_Polyhedron_maximize.Sebastian Pop1-23/+3
2009-08-15 Sebastian Pop <sebastian.pop@amd.com> PR middle-end/40981 * graphite-interchange.c (ppl_max_for_le): Moved... * graphite-poly.c (pbb_number_of_iterations): Call ppl_max_for_le. * graphite-ppl.c (ppl_max_for_le): ... here. Correct the use of ppl_Pointset_Powerset_C_Polyhedron_maximize. * graphite-ppl.h (ppl_max_for_le): Declared. From-SVN: r150789
2009-08-12Add PDR->nb_subscripts.Sebastian Pop1-4/+6
2009-08-11 Sebastian Pop <sebastian.pop@amd.com> * graphite-dependences.c (dependence_polyhedron_1): Replace pdr_nb_subscripts with PDR_NB_SUBSCRIPTS. (graphite_legal_transform_dr): Same. (graphite_carried_dependence_level_k): Same. * graphite-poly.c (new_poly_dr): Add a parameter nb_subscripts. Initialize PDR_NB_SUBSCRIPTS. (print_pdr_access_layout): Replace pdr_nb_subscripts with PDR_NB_SUBSCRIPTS. * graphite-poly.h (struct poly_dr): Add nb_subscripts field. (PDR_NB_SUBSCRIPTS): New. (pdr_nb_subscripts): Removed. (pdr_dim): Simplified. * graphite-sese-to-poly.c (build_poly_dr): Replace pdr_nb_subscripts with PDR_NB_SUBSCRIPTS. From-SVN: r150690
2009-08-12Undo changes to the PDR representation.Sebastian Pop1-9/+0
2009-08-11 Sebastian Pop <sebastian.pop@amd.com> * graphite-interchange.c (compute_array_size): Remove use of PDR_DATA_CONTAINER. * graphite-poly.c (new_poly_dr): Remove argument data_container. Do not initialize PDR_DATA_CONTAINER. (print_pdr): Do not print PDR_DATA_CONTAINER. * graphite-poly.h (struct poly_dr): Remove data_container field. (PDR_DATA_CONTAINER): Removed. * graphite-sese-to-poly.c (pdr_add_data_dimensions): Remove use of PDR_DATA_CONTAINER. (build_poly_dr): Same. From-SVN: r150689
2009-08-12Restore original scattering when the transform is not legal.Sebastian Pop1-17/+13
2009-08-05 Sebastian Pop <sebastian.pop@amd.com> * graphite-blocking.c (scop_do_strip_mine): Call store_scattering. Early return without analyzing the data dependences if no transform has been done. Call restore_scattering if the transform is not legal. (graphite-interchange.c): Same. * graphite-poly.c (print_scattering_function): Test for PBB_TRANSFORMED. (graphite_read_transforms): Initialize PBB_TRANSFORMED. (apply_poly_transforms): Do not gcc_assert that the transform is legal. (new_poly_bb): Initialize PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL. Do not initialize PBB_NB_SCATTERING_TRANSFORM, PBB_NB_LOCAL_VARIABLES, PBB_TRANSFORMED_SCATTERING, and PBB_ORIGINAL_SCATTERING. (free_poly_dr): Free PBB_TRANSFORMED, PBB_SAVED, and PBB_ORIGINAL. * graphite-poly.h (struct poly_scattering): New. (struct poly_bb): Add original, transformed, and saved fields. Remove transformed_scattering, original_scattering, nb_local_variables, and nb_scattering_transform fields. (PBB_ORIGINAL, PBB_TRANSFORMED, PBB_SAVED): New. (poly_scattering_new): New. (poly_scattering_free): New. (poly_scattering_copy): New. (store_scattering_pbb): New. (store_scattering): New. (restore_scattering_pbb): New. (restore_scattering): New. * graphite-sese-to-poly.c (build_pbb_scattering_polyhedrons): Initialize PBB_TRANSFORMED and PBB_ORIGINAL. From-SVN: r150686
2009-08-12Correctly parenthesize pretty print structures.Sebastian Pop1-0/+5
2009-08-05 Sebastian Pop <sebastian.pop@amd.com> * graphite-poly.c (print_pbb): Add parentheses in the pretty print. (print_scop): Same. From-SVN: r150685
2009-08-01Rename -fgraphite-force-parallel to -floop-parallelize-all.Sebastian Pop1-1/+1
2009-08-01 Sebastian Pop <sebastian.pop@amd.com> * doc/invoke.texi (-fgraphite-force-parallel): Renamed -floop-parallelize-all. * toplev.c (process_options): Rename flag_graphite_force_parallel to flag_loop_parallelize_all. * tree-ssa-loop.c (gate_graphite_transforms): Same. * graphite.c (graphite_transform_loops): Same. * common.opt: Same. * graphite-poly.c (apply_poly_transforms): Same. * gcc.dg/graphite/graphite_autopar/graphite_autopar.exp: Rename -fgraphite-force-parallel to -floop-parallelize-all. From-SVN: r150334
2009-07-31New Graphite files.Sebastian Pop1-0/+752
2009-07-30 Sebastian Pop <sebastian.pop@amd.com> * ChangeLog.graphite: New. * graphite-blocking.c: New. * graphite-clast-to-gimple.c: New. * graphite-clast-to-gimple.h: New. * graphite-dependences.c: New. * graphite-dependences.h: New. * graphite-interchange.c: New. * graphite-poly.c: New. * graphite-poly.h: New. * graphite-ppl.c: New. * graphite-ppl.h: New. * graphite-scop-detection.c: New. * graphite-scop-detection.h: New. * graphite-sese-to-poly.c: New. * graphite-sese-to-poly.h: New. * sese.c: New. * sese.h: New. From-SVN: r150300