[Bug tree-optimization/27332] [4.2 Regression] ICE in try_interchange_loops with -ftree-loop-linear
--- Comment #4 from spop at gcc dot gnu dot org 2006-05-17 12:47 --- Subject: Bug 27332 Author: spop Date: Wed May 17 12:47:43 2006 New Revision: 113856 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113856 Log: PR middle-end/27332 * tree-loop-linear.c (try_interchange_loops): Test for no data dependences. Modified: trunk/gcc/ChangeLog trunk/gcc/tree-loop-linear.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27332
[Bug tree-optimization/26435] [4.1/4.2 regression] ICE with -O1 -ftree-loop-linear and higher optimization
--- Comment #6 from spop at gcc dot gnu dot org 2006-05-17 14:26 --- Subject: Bug 26435 Author: spop Date: Wed May 17 14:25:59 2006 New Revision: 113862 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113862 Log: PR middle-end/20256 PR middle-end/26435 * tree-loop-linear.c (linear_transform_loops): Don't test perfect_nest_p. Call rewrite_into_loop_closed_ssa only when something changed. * lambda.h (gcc_loopnest_to_lambda_loopnest): Update declaration. * lambda-code.c (can_convert_to_perfect_nest): Declared. (gcc_loopnest_to_lambda_loopnest): Removed need_perfect_nest parameter. Test for perfect_nest_p here. Fix formating. (replace_uses_equiv_to_x_with_y): Fix formating. (stmt_uses_op): Removed. (can_convert_to_perfect_nest): Removed loopivs parameter. Complete the test by checking the scalar dependences. (perfect_nestify): Remove the test for can_convert_to_perfect_nest. Fix formating. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr20256.c trunk/gcc/testsuite/gcc.dg/tree-ssa/pr26435.c Modified: trunk/gcc/ChangeLog trunk/gcc/lambda-code.c trunk/gcc/lambda.h trunk/gcc/testsuite/gcc.dg/tree-ssa/ltrans-1.c trunk/gcc/tree-loop-linear.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26435
[Bug tree-optimization/20256] Perfect nest transformation not conservative enough
--- Comment #11 from spop at gcc dot gnu dot org 2006-05-17 14:26 --- Subject: Bug 20256 Author: spop Date: Wed May 17 14:25:59 2006 New Revision: 113862 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113862 Log: PR middle-end/20256 PR middle-end/26435 * tree-loop-linear.c (linear_transform_loops): Don't test perfect_nest_p. Call rewrite_into_loop_closed_ssa only when something changed. * lambda.h (gcc_loopnest_to_lambda_loopnest): Update declaration. * lambda-code.c (can_convert_to_perfect_nest): Declared. (gcc_loopnest_to_lambda_loopnest): Removed need_perfect_nest parameter. Test for perfect_nest_p here. Fix formating. (replace_uses_equiv_to_x_with_y): Fix formating. (stmt_uses_op): Removed. (can_convert_to_perfect_nest): Removed loopivs parameter. Complete the test by checking the scalar dependences. (perfect_nestify): Remove the test for can_convert_to_perfect_nest. Fix formating. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr20256.c trunk/gcc/testsuite/gcc.dg/tree-ssa/pr26435.c Modified: trunk/gcc/ChangeLog trunk/gcc/lambda-code.c trunk/gcc/lambda.h trunk/gcc/testsuite/gcc.dg/tree-ssa/ltrans-1.c trunk/gcc/tree-loop-linear.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20256
[Bug tree-optimization/27745] ICE in execute_todo with -O2 -ftree-loop-linear
--- Comment #1 from spop at gcc dot gnu dot org 2006-05-29 16:01 --- Subject: Bug 27745 Author: spop Date: Mon May 29 16:01:16 2006 New Revision: 114205 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114205 Log: PR middle-end/27745 * lambda-code.c (perfect_nestify): Don't copy statements in the inner loop: move them to the inner loop header. Modified: trunk/gcc/ChangeLog trunk/gcc/lambda-code.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27745
[Bug middle-end/37980] [graphite] ICE : verify_ssa failed
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 37980 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/38083] [graphite] ICE: in verify_loop_structure, at cfgloop.c:1569
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 38083 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/38125] [graphite] ICE :Segmentation fault
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 38125 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/37928] [graphite] ICE :Segmentation fault
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 37928 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/37852] [graphite] ICE in gbb_loop_index, at graphite.h:252
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 37852 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/38073] [graphite] ICE: Segmentation fault
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 38073 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/38038] [graphite] -03 -fgraphite-identity causes ICE when compiling ac.f90 Polyhedron 2005 benchmark
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 38038 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/37883] [graphite] ICE : in scan_tree_for_params, at graphite.c:2274
--- Comment #7 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 37883 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/38039] [graphite] -02/O3 -fgraphite-identity causes ICE when compiling aermod.f90 Polyhedron 2005 benchmark
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-03 07:35 --- Subject: Bug 38039 Author: spop Date: Wed Dec 3 07:33:52 2008 New Revision: 142384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142384 Log: 2008-12-02 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * testsuite/gcc.dg/graphite/pr38073.c: New. * testsuite/gcc.dg/graphite/pr37928.c: New. * testsuite/gcc.dg/graphite/pr37883.c: New. * testsuite/gcc.dg/graphite/pr38125.c: New. * testsuite/gfortran.dg/graphite/pr38083.f90: New. * testsuite/gfortran.dg/graphite/pr37852.f90: New. * testsuite/gfortran.dg/graphite/pr37980.f90: New. * testsuite/gcc.dg/graphite/scop-18.c: Remove reduction, test for the number of detected scops. Copy exact same test for loop blocking... * testsuite/gcc.dg/graphite/block-1.c: Fix the number of expected loops to be blocked as reductions are not handled. * testsuite/gcc.dg/graphite/block-4.c: ...here. New. * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (ma
[Bug middle-end/38250] ICE with -O2 -ftree-loop-distribution
--- Comment #6 from spop at gcc dot gnu dot org 2008-12-03 15:38 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38250
[Bug tree-optimization/37684] [graphite] basic block containing VDEF of a scalar does not dominate basic block containing VUSE of the same scalar
--- Comment #7 from spop at gcc dot gnu dot org 2008-12-03 20:50 --- *** Bug 37851 has been marked as a duplicate of this bug. *** -- spop at gcc dot gnu dot org changed: What|Removed |Added CC||dwarak dot rajagopal at amd ||dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37684
[Bug middle-end/37851] [graphite] ICE in expand_scalar_variables_expr, at graphite.c:3617
--- Comment #7 from spop at gcc dot gnu dot org 2008-12-03 20:50 --- Already fixed. *** This bug has been marked as a duplicate of 37684 *** -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37851
[Bug middle-end/38385] ICE with -O2 -ftree-loop-distribution
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-03 22:20 --- Subject: Re: ICE with -O2 -ftree-loop-distribution The patch looks good. Please fix formatting of the braces on the for stmt, and also add a more detailed description for the function fix_phis, saying what the arguments are doing. Thanks, Sebastian -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38385
[Bug bootstrap/38262] [4.4 regression] GCC components unnecessarily link with shared gmp/mpfr
--- Comment #9 from spop at gcc dot gnu dot org 2008-12-05 08:03 --- Subject: Bug 38262 Author: spop Date: Fri Dec 5 08:01:58 2008 New Revision: 142464 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142464 Log: 2008-11-07 Sebastian Pop <[EMAIL PROTECTED]> PR bootstrap/38262 * java/Make-lang.in (jc1): Add BACKENDLIBS, remove GMPLIBS. * objc/Make-lang.in (cc1obj-dummy, cc1obj): Same. * objcp/Make-lang.in (cc1objplus-dummy, cc1objplus): Same. * cp/Make-lang.in (cc1plus-dummy, cc1plus): Same. * ada/gcc-interface/Make-lang.in (gnat1): Same. * fortran/Make-lang.in (f951): Same. * Makefile.in (LIBS): Remove GMPLIBS, CLOOGLIBS and PPLLIBS. (BACKENDLIBS): New. (cc1-dummy, cc1): Add BACKENDLIBS, remove GMPLIBS. Modified: trunk/gcc/ChangeLog trunk/gcc/Makefile.in trunk/gcc/ada/gcc-interface/Make-lang.in trunk/gcc/cp/Make-lang.in trunk/gcc/fortran/Make-lang.in trunk/gcc/java/Make-lang.in trunk/gcc/objc/Make-lang.in trunk/gcc/objcp/Make-lang.in -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38262
[Bug bootstrap/38262] [4.4 regression] GCC components unnecessarily link with shared gmp/mpfr
--- Comment #8 from spop at gcc dot gnu dot org 2008-12-05 08:02 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38262
[Bug middle-end/38459] [graphite] SEGFAULT in cloog_clast_create
--- Comment #5 from spop at gcc dot gnu dot org 2008-12-09 21:14 --- I do already know about this bug, this is id-2.f90 problem. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|grosser at gcc dot gnu dot |spop at gcc dot gnu dot org |org | Status|NEW |ASSIGNED Last reconfirmed|2008-12-09 20:26:08 |2008-12-09 21:14:13 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38459
[Bug middle-end/38459] [graphite] SEGFAULT in cloog_clast_create
--- Comment #9 from spop at gcc dot gnu dot org 2008-12-10 15:28 --- Subject: Re: [graphite] SEGFAULT in cloog_clast_create > 2008-12-10 Tobias Grosser <[EMAIL PROTECTED]> > > * graphite.c (new_scop): Initialize SCOP_ADD_PARAMS. > (param_index): Assert if parameter is not know after parameter > detection. > (find_params_in_bb): Detect params directly in GBB_CONDITIONS. > (find_scop_parameters): Mark, that we have finished parameter > detection. > (graphite_transform_loops): Move condition detection before parameter > detection. > * graphite.h (struct scop): Add SCP_ADD_PARAMS. s/SCP_ADD_PARAMS/SCOP_ADD_PARAMS/ > * testsuite/gfortran.dg/graphite/pr38459.f90: New. Ok. Please apply to graphite branch. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38459
[Bug middle-end/37980] [graphite] ICE : verify_ssa failed
--- Comment #6 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 37980 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/37928] [graphite] ICE :Segmentation fault
--- Comment #5 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 37928 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/38039] [graphite] -02/O3 -fgraphite-identity causes ICE when compiling aermod.f90 Polyhedron 2005 benchmark
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 38039 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/37852] [graphite] ICE in gbb_loop_index, at graphite.h:252
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 37852 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/38125] [graphite] ICE :Segmentation fault
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 38125 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/37883] [graphite] ICE : in scan_tree_for_params, at graphite.c:2274
--- Comment #9 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 37883 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/38083] [graphite] ICE: in verify_loop_structure, at cfgloop.c:1569
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 38083 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/38073] [graphite] ICE: Segmentation fault
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 38073 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/38038] [graphite] -03 -fgraphite-identity causes ICE when compiling ac.f90 Polyhedron 2005 benchmark
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 07:24 --- Subject: Bug 38038 Author: spop Date: Thu Dec 11 07:23:02 2008 New Revision: 142673 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142673 Log: 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Fix testsuite/gfortran.dg/graphite/id-4.f90. * graphite.c (scan_tree_for_params): Do not compute the multiplicand when not needed. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> * graphite.c (build_scops_1): Initialize open_scop.exit and sinfo.last. 2008-12-11 Sebastian Pop <[EMAIL PROTECTED]> Jan Sjodin <[EMAIL PROTECTED]> Harsha Jagasia <[EMAIL PROTECTED]> PR middle-end/37852 PR middle-end/37883 PR middle-end/37928 PR middle-end/37980 PR middle-end/38038 PR middle-end/38039 PR middle-end/38073 PR middle-end/38083 PR middle-end/38125 * tree-phinodes.c (remove_phi_nodes): New, extracted from... * tree-cfg.c (remove_phi_nodes_and_edges_for_unreachable_block): ...here. * tree-flow.h (remove_phi_nodes, canonicalize_loop_ivs): Declared. * Makefile.in (graphite.o): Depend on value-prof.h. (graphite.o-warn): Removed -Wno-error. * tree-parloops.c (canonicalize_loop_ivs): Allow reduction_list to be a NULL pointer. Call update_stmt. Return the newly created cannonical induction variable. * graphite.h (debug_rename_map): Declared. Fix some comments. * graphite.c: Reimplement the code generation from graphite to gimple. Include value-prof.h. (loop_iv_stack_get_iv): Do not return NULL for constant substitutions. (get_old_iv_from_ssa_name): Removed. (graphite_stmt_p): New. (new_graphite_bb): Test for useful statements before building a graphite statement for the basic block. (free_graphite_bb): Do not free GBB_DATA_REFS: this is a bug in free_data_ref that calls BITMAP_FREE (DR_VOPS (dr)) without reason. (recompute_all_dominators, graphite_verify, nb_reductions_in_loop, graphite_loop_normal_form): New. (scop_record_loop): Call graphite_loop_normal_form. (build_scop_loop_nests): Iterate over all the blocks of the function instead of relying on the incomplete information from SCOP_BBS. Return the success of the operation. (find_params_in_bb): Use the data from GBB_DATA_REFS. (add_bb_domains): Removed. (build_loop_iteration_domains): Don't call add_bb_domains. Add the iteration domain only to the basic blocks that have been translated to graphite. (build_scop_conditions_1): Add constraints only if the basic block have been translated to graphite. (build_scop_data_accesses): Completely disabled until data dependence is correctly implemented. (debug_rename_elt, debug_rename_map_1, debug_rename_map): New. (remove_all_edges_1, remove_all_edges): Removed. (get_new_name_from_old_name): New. (graphite_rename_variables_in_stmt): Renamed rename_variables_in_stmt. Call get_new_name_from_old_name. Use replace_exp and update_stmt. (is_old_iv): Renamed is_iv. (expand_scalar_variables_stmt): Extra parameter for renaming map. Use replace_exp and update_stmt. (expand_scalar_variables_expr): Same. Use the map to get the new names for the renaming of induction variables and for the renaming of variables after a basic block has been copied. (expand_scalar_variables): Same. (graphite_rename_variables): Renamed rename_variables. (move_phi_nodes): Removed. (get_false_edge_from_guard_bb): New. (build_iv_mapping): Do not insert the induction variable of a loop in the renaming iv map if the basic block does not belong to that loop. (register_old_new_names, graphite_copy_stmts_from_block, copy_bb_and_scalar_dependences): New. (translate_clast): Heavily reimplemented: copy basic blocks, do not move them. Finally, in call cleanup_tree_cfg in gloog. At each translation step call graphite_verify ensuring the consistency of the SSA, loops and dominators information. (collect_virtual_phis, find_vdef_for_var_in_bb, find_vdef_for_var_1, find_vdef_for_var, patch_phis_for_virtual_defs): Removed huge hack. (mark_old_loops, remove_dead_loops, skip_phi_defs, collect_scop_exit_phi_args, patch_scop_exit_phi_args, gbb_can_be_ignored, scop_remove_ignoreable_gbbs, ): Removed. (remove_sese_region, ifsese, if_region_entry, if_region_exit, if_region_get_condition_block, if_region_set_false_region, create_if_region_on_edge, move_sese_in_condition, bb_in_s
[Bug middle-end/38073] [graphite] ICE: Segmentation fault
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 07:30 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38073
[Bug middle-end/38083] [graphite] ICE: in verify_loop_structure, at cfgloop.c:1569
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 07:30 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38083
[Bug middle-end/37980] [graphite] ICE : verify_ssa failed
--- Comment #7 from spop at gcc dot gnu dot org 2008-12-11 07:31 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37980
[Bug middle-end/38038] [graphite] -03 -fgraphite-identity causes ICE when compiling ac.f90 Polyhedron 2005 benchmark
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 07:32 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38038
[Bug middle-end/37928] [graphite] ICE :Segmentation fault
--- Comment #6 from spop at gcc dot gnu dot org 2008-12-11 07:32 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37928
[Bug middle-end/38039] [graphite] -02/O3 -fgraphite-identity causes ICE when compiling aermod.f90 Polyhedron 2005 benchmark
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 07:33 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38039
[Bug middle-end/38125] [graphite] ICE :Segmentation fault
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 07:34 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38125
[Bug middle-end/37852] [graphite] ICE in gbb_loop_index, at graphite.h:252
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 07:34 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37852
[Bug middle-end/38446] [graphite] The def for a var exists inside one of the scops bb's but an appropriate phi is not created to allow the phi to reach the use of that def ouside the scop.
--- Comment #6 from spop at gcc dot gnu dot org 2008-12-11 19:37 --- Subject: Bug 38446 Author: spop Date: Thu Dec 11 19:35:41 2008 New Revision: 142688 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142688 Log: 2008-12-11 Harsha Jagasia PR tree-optimization/38446 * graphite.c (register_bb_in_sese): New. (bb_in_sese_p): Check if bb belongs to sese region by explicitly looking at the bbs in the region. * graphite.h (sese): Add region_basic_blocks pointer set to structure and initialize at the time of defining new scop. 2008-12-11 Tobias Grosser * graphite.c (new_graphite_bb): Initialize GBB_STATIC_SCHEDULE. (find_params_in_bb): Do not free data refs. (free_graphite_bb): Add FIXME on disabled free_data_refs. 2008-12-11 Sebastian Pop * graphite.c (struct ivtype_map_elt): New. (debug_ivtype_elt, debug_ivtype_map_1, debug_ivtype_map, new_ivtype_map_elt, ivtype_map_elt_info, eq_ivtype_map_elts, gcc_type_for_cloog_iv): New. (loop_iv_stack_patch_for_consts): Use the type of the induction variable from the original loop, except for the automatically generated loops, i.e., in the case of a strip-mined loop, in which case there is no original loop: in that case just use integer_type_node. (new_graphite_bb): Initialize GBB_CLOOG_IV_TYPES. (free_graphite_bb): Free GBB_CLOOG_IV_TYPES. (clast_name_to_gcc): Accept params to be NULL. (clast_to_gcc_expression): Take an extra parameter for the type. Convert to that type all the expressions built by this function. (gcc_type_for_clast_expr, gcc_type_for_clast_eq): New. (graphite_translate_clast_equation): Compute the type of the clast_equation before translating its LHS and RHS. (clast_get_body_of_loop, gcc_type_for_iv_of_clast_loop): New. (graphite_create_new_loop): Compute the type of the induction variable before translating the lower and upper bounds and before creating the induction variable. (rename_variables_from_edge, rename_phis_end_scop): New. (copy_bb_and_scalar_dependences): Call rename_phis_end_scop. (sese_add_exit_phis_edge): Do not use integer_zero_node. (find_cloog_iv_in_expr, compute_cloog_iv_types_1, compute_cloog_iv_types): New. (gloog): Call compute_cloog_iv_types before starting the translation of the clast. * graphite.h (struct graphite_bb): New field cloog_iv_types. (GBB_CLOOG_IV_TYPES): New. (debug_ivtype_map): Declared. (oldiv_for_loop): New. 2008-12-10 Tobias Grosser PR middle-end/38459 * graphite.c (new_scop): Initialize SCOP_ADD_PARAMS. (param_index): Assert if parameter is not know after parameter detection. (find_params_in_bb): Detect params directly in GBB_CONDITIONS. (find_scop_parameters): Mark, that we have finished parameter detection. (graphite_transform_loops): Move condition detection before parameter detection. * graphite.h (struct scop): Add SCOP_ADD_PARAMS. 2008-12-11 Harsha Jagasia PR tree-optimization/38446 * gcc.dg/graphite/pr38446.c: New. 2008-12-11 Sebastian Pop * gcc.dg/graphite/scop-16.c: Test only scop specific info. * gcc.dg/graphite/scop-17.c: Same. * gcc.dg/graphite/block-5.c: New. * gcc.dg/graphite/block-6.c: New. * gcc.dg/graphite/pr37485.c: Clean dump file after. * gcc.dg/graphite/pr37684.c: Same. * gcc.dg/graphite/block-2.c: Same. 2008-12-10 Tobias Grosser PR middle-end/38459 * gfortran.dg/graphite/pr38459.f90: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/block-2.c trunk/gcc/testsuite/gcc.dg/graphite/block-5.c trunk/gcc/testsuite/gcc.dg/graphite/block-6.c trunk/gcc/testsuite/gcc.dg/graphite/pr38446.c trunk/gcc/testsuite/gfortran.dg/graphite/pr38459.f90 Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/graphite.h trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/graphite/pr37485.c trunk/gcc/testsuite/gcc.dg/graphite/pr37684.c trunk/gcc/testsuite/gcc.dg/graphite/scop-15.c trunk/gcc/testsuite/gcc.dg/graphite/scop-16.c trunk/gcc/testsuite/gcc.dg/graphite/scop-17.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38446
[Bug middle-end/38459] [graphite] SEGFAULT in cloog_clast_create
--- Comment #12 from spop at gcc dot gnu dot org 2008-12-11 19:37 --- Subject: Bug 38459 Author: spop Date: Thu Dec 11 19:35:41 2008 New Revision: 142688 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142688 Log: 2008-12-11 Harsha Jagasia PR tree-optimization/38446 * graphite.c (register_bb_in_sese): New. (bb_in_sese_p): Check if bb belongs to sese region by explicitly looking at the bbs in the region. * graphite.h (sese): Add region_basic_blocks pointer set to structure and initialize at the time of defining new scop. 2008-12-11 Tobias Grosser * graphite.c (new_graphite_bb): Initialize GBB_STATIC_SCHEDULE. (find_params_in_bb): Do not free data refs. (free_graphite_bb): Add FIXME on disabled free_data_refs. 2008-12-11 Sebastian Pop * graphite.c (struct ivtype_map_elt): New. (debug_ivtype_elt, debug_ivtype_map_1, debug_ivtype_map, new_ivtype_map_elt, ivtype_map_elt_info, eq_ivtype_map_elts, gcc_type_for_cloog_iv): New. (loop_iv_stack_patch_for_consts): Use the type of the induction variable from the original loop, except for the automatically generated loops, i.e., in the case of a strip-mined loop, in which case there is no original loop: in that case just use integer_type_node. (new_graphite_bb): Initialize GBB_CLOOG_IV_TYPES. (free_graphite_bb): Free GBB_CLOOG_IV_TYPES. (clast_name_to_gcc): Accept params to be NULL. (clast_to_gcc_expression): Take an extra parameter for the type. Convert to that type all the expressions built by this function. (gcc_type_for_clast_expr, gcc_type_for_clast_eq): New. (graphite_translate_clast_equation): Compute the type of the clast_equation before translating its LHS and RHS. (clast_get_body_of_loop, gcc_type_for_iv_of_clast_loop): New. (graphite_create_new_loop): Compute the type of the induction variable before translating the lower and upper bounds and before creating the induction variable. (rename_variables_from_edge, rename_phis_end_scop): New. (copy_bb_and_scalar_dependences): Call rename_phis_end_scop. (sese_add_exit_phis_edge): Do not use integer_zero_node. (find_cloog_iv_in_expr, compute_cloog_iv_types_1, compute_cloog_iv_types): New. (gloog): Call compute_cloog_iv_types before starting the translation of the clast. * graphite.h (struct graphite_bb): New field cloog_iv_types. (GBB_CLOOG_IV_TYPES): New. (debug_ivtype_map): Declared. (oldiv_for_loop): New. 2008-12-10 Tobias Grosser PR middle-end/38459 * graphite.c (new_scop): Initialize SCOP_ADD_PARAMS. (param_index): Assert if parameter is not know after parameter detection. (find_params_in_bb): Detect params directly in GBB_CONDITIONS. (find_scop_parameters): Mark, that we have finished parameter detection. (graphite_transform_loops): Move condition detection before parameter detection. * graphite.h (struct scop): Add SCOP_ADD_PARAMS. 2008-12-11 Harsha Jagasia PR tree-optimization/38446 * gcc.dg/graphite/pr38446.c: New. 2008-12-11 Sebastian Pop * gcc.dg/graphite/scop-16.c: Test only scop specific info. * gcc.dg/graphite/scop-17.c: Same. * gcc.dg/graphite/block-5.c: New. * gcc.dg/graphite/block-6.c: New. * gcc.dg/graphite/pr37485.c: Clean dump file after. * gcc.dg/graphite/pr37684.c: Same. * gcc.dg/graphite/block-2.c: Same. 2008-12-10 Tobias Grosser PR middle-end/38459 * gfortran.dg/graphite/pr38459.f90: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/block-2.c trunk/gcc/testsuite/gcc.dg/graphite/block-5.c trunk/gcc/testsuite/gcc.dg/graphite/block-6.c trunk/gcc/testsuite/gcc.dg/graphite/pr38446.c trunk/gcc/testsuite/gfortran.dg/graphite/pr38459.f90 Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/graphite.h trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/graphite/pr37485.c trunk/gcc/testsuite/gcc.dg/graphite/pr37684.c trunk/gcc/testsuite/gcc.dg/graphite/scop-15.c trunk/gcc/testsuite/gcc.dg/graphite/scop-16.c trunk/gcc/testsuite/gcc.dg/graphite/scop-17.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38459
[Bug middle-end/38446] [graphite] The def for a var exists inside one of the scops bb's but an appropriate phi is not created to allow the phi to reach the use of that def ouside the scop.
--- Comment #7 from spop at gcc dot gnu dot org 2008-12-11 19:39 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38446
[Bug middle-end/37857] [graphite] Segmentation fault
--- Comment #5 from spop at gcc dot gnu dot org 2008-12-11 19:57 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|WAITING |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37857
[Bug middle-end/38459] [graphite] SEGFAULT in cloog_clast_create
--- Comment #13 from spop at gcc dot gnu dot org 2008-12-11 19:58 --- Subject: Bug 38459 Author: spop Date: Thu Dec 11 19:57:18 2008 New Revision: 142690 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142690 Log: 2008-12-11 Sebastian Pop PR middle-end/38459 * gfortran.dg/graphite/pr37857.f90: New. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr37857.f90 Modified: trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38459
[Bug middle-end/38040] -O2 -fgraphite-identity causes ICE compiling capacita.f90 Polyhedron 2005 benchmark
--- Comment #1 from spop at gcc dot gnu dot org 2008-12-11 20:04 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38040
[Bug middle-end/38061] Triangle.c in pymol 1.1r2 ICEs compiler n build_graphite_scops, at graphite.c:1852
--- Comment #8 from spop at gcc dot gnu dot org 2008-12-11 20:13 --- All testcases work on trunk rev 142690 and on graphite branch with -O2 -floop-block, -O2 -fgraphite-identity -O2 -fgraphite Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38061
[Bug tree-optimization/37894] [graphite] Polyhedron is not compiling (Summary)
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 20:16 --- Trunk compiles Polyhedron with -O2 -fgraphite-identity, -O2 -floop-block. Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37894
[Bug middle-end/38413] [graphite] ICE: in build2_stat, at tree.c:3293
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-11 20:20 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38413
[Bug middle-end/38413] [graphite] ICE: in build2_stat, at tree.c:3293
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 20:21 --- Subject: Bug 38413 Author: spop Date: Thu Dec 11 20:19:54 2008 New Revision: 142691 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142691 Log: 2008-12-11 Sebastian Pop PR middle-end/38413 * gcc.dg/graphite/pr38413.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr38413.c Modified: trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38413
[Bug middle-end/38409] [graphite] ICE : in canonicalize_loop_ivs, at tree-parloops.c:1384
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-11 20:21 --- Mine. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|UNCONFIRMED |ASSIGNED Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2008-12-11 20:21:54 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38409
[Bug middle-end/38409] [graphite] ICE : in canonicalize_loop_ivs, at tree-parloops.c:1384
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-11 21:02 --- Subject: Bug 38409 Author: spop Date: Thu Dec 11 21:01:14 2008 New Revision: 142693 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142693 Log: 2008-12-11 Sebastian Pop PR tree-optimization/38409 * gcc.dg/graphite/pr38409.c: New. * graphite.c (nb_reductions_in_loop): Use simple_iv. Added: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38409.c Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38409
[Bug middle-end/38409] [graphite] ICE : in canonicalize_loop_ivs, at tree-parloops.c:1384
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 21:08 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38409
[Bug tree-optimization/37705] [graphite] Remove limit_scops() workaround
--- Comment #4 from spop at gcc dot gnu dot org 2008-12-11 21:13 --- I would consider this at a very low priority right now: I'm thus marking it as enhancement level. If you can get a fix for this one that would be great, otherwise let's fix this one in GCC4.5. Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added Severity|normal |enhancement http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37705
[Bug middle-end/38494] New: [graphite] Bootstrap fails with graphite enabled
Bootstrap is broken with BOOT_CFLAGS="-g -O2 -fgraphite-identity". -- Summary: [graphite] Bootstrap fails with graphite enabled Product: gcc Version: 4.4.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end AssignedTo: spop at gcc dot gnu dot org ReportedBy: spop at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38494
[Bug middle-end/38409] [graphite] ICE : in canonicalize_loop_ivs, at tree-parloops.c:1384
--- Comment #5 from spop at gcc dot gnu dot org 2008-12-12 17:29 --- Subject: Bug 38409 Author: spop Date: Fri Dec 12 17:28:06 2008 New Revision: 142716 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142716 Log: 2008-12-12 Sebastian Pop PR middle-end/38409 * gcc.dg/graphite/pr38409.c: New. * graphite.c (nb_reductions_in_loop): Use simple_iv. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr38409.c Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38409
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-12 21:52 --- Subject: Bug 38492 Author: spop Date: Fri Dec 12 21:50:57 2008 New Revision: 142722 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142722 Log: 2008-12-12 Sebastian Pop PR tree-optimization/38492 * graphite.c (rename_map_elt, debug_rename_elt, debug_rename_map_1, debug_rename_map, new_rename_map_elt, rename_map_elt_info, eq_rename_map_elts, get_new_name_from_old_name, bb_in_sese_p): Moved around. (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use. (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb. (sese_build_livein_liveouts): New. (new_sese, free_sese): New. (new_scop): Call new_sese. (free_scop): Call free_sese. (rename_variables_from_edge, rename_phis_end_scop): Removed. (register_old_new_names): Renamed register_old_and_new_names. (register_scop_liveout_renames, add_loop_exit_phis, insert_loop_close_phis, struct igp, default_liveout_before_guard, add_guard_exit_phis, insert_guard_phis, copy_renames): New. (translate_clast): Call insert_loop_close_phis and insert_guard_phis. (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge. (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts. (scop_adjust_phis_for_liveouts): New. (gloog): Call scop_adjust_phis_for_liveouts. * graphite.h (struct sese): Documented. Added fields liveout, num_ver and livein. (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New. (new_sese, free_sese, sese_build_livein_liveouts): Declared. (struct scop): Added field liveout_renames. (SCOP_LIVEOUT_RENAMES): New. Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite.c branches/graphite/gcc/graphite.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38492
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
--- Comment #3 from spop at gcc dot gnu dot org 2008-12-12 22:05 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38492
[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569
--- Comment #6 from spop at gcc dot gnu dot org 2008-12-12 23:31 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500
[Bug tree-optimization/38465] [4.4 Regression] graphite libraries undocumented
--- Comment #1 from spop at gcc dot gnu dot org 2008-12-13 01:52 --- Created an attachment (id=16901) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16901&action=view) install documentation for graphite Hi, Here are the documentation changes. I will send the patch to the gcc-patches list. -- spop at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |spop at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38465
[Bug middle-end/38409] [graphite] ICE : in canonicalize_loop_ivs, at tree-parloops.c:1384
--- Comment #7 from spop at gcc dot gnu dot org 2008-12-13 19:54 --- Fixed commit problem. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38409
[Bug tree-optimization/38465] [4.4 Regression] graphite libraries undocumented
--- Comment #2 from spop at gcc dot gnu dot org 2008-12-17 21:49 --- Fixed with http://gcc.gnu.org/viewcvs?view=rev&revision=142798 -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38465
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
--- Comment #8 from spop at gcc dot gnu dot org 2008-12-19 01:35 --- Subject: Re: [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity > The patch will prevent the scop from being transformed if the number of > iterations cannot be analyzed, and it will no longer ignore chrec_unknown. I > will run some more tests to make sure it does not break anything else. The > patch is below: [...] > + if (nit == chrec_dont_know) > +return NULL_TREE; Replace this test with if (chrec_contains_undetermined (nit)) With this change the patch looks good. Please apply to trunk and branch. Sebastian -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38492
[Bug middle-end/38510] Matrix.c from pymol 1.1r2 fails to compile with -O2 -fgraphite
--- Comment #6 from spop at gcc dot gnu dot org 2008-12-20 07:43 --- Subject: Re: Matrix.c from pymol 1.1r2 fails to compile with -O2 -fgraphite > --- Comment #4 from hjagasia at gcc dot gnu dot org 2008-12-19 18:20 > --- > Created an attachment (id=16946) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16946&action=view) > --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16946&action=view) > Fixed changes suggested by Sebastian Pop. > Why did you introduced all these calls of recompute_all_dominators before the graphite_verify functions? Are all these calls needed? I don't think so. For instance, here: + recompute_all_dominators (); graphite_verify (); cleanup_tree_cfg (); recompute_all_dominators (); recompute_all_dominators is called twice with just cleanup_tree_cfg in between. I do not like the recompute_all_dominators calls: in the long run we should have all this information correctly updated during code generation, and not rely at all on recompute_all_dominators. If you can minimize the number of calls to recompute_all_dominators it would be nice, otherwise the patch is ok. Thanks, Sebastian -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38510
[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569
--- Comment #8 from spop at gcc dot gnu dot org 2009-01-05 21:04 --- Subject: Bug 38500 Author: spop Date: Mon Jan 5 21:03:45 2009 New Revision: 143094 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143094 Log: 2009-01-05 Harsha Jagasia PR tree-optimization/38510 * graphite.c (recompute_all_dominators): Call mark_irreducible_loops. (translate_clast): Call recompute_all_dominators before graphite_verify. (gloog): Call recompute_all_dominators before graphite_verify. 2009-01-05 Harsha Jagasia Jan Sjodin PR tree-optimization/38500 * graphite.c (create_sese_edges): Call fix_loop_structure after splitting blocks. 2009-01-05 Harsha Jagasia PR tree-optimization/38510 * gcc.dg/graphite/pr38510.c: New. 2009-01-05 Harsha Jagasia Jan Sjodin PR tree-optimization/38500 * gcc.dg/graphite/pr38500.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr38500.c trunk/gcc/testsuite/gcc.dg/graphite/pr38510.c Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500
[Bug middle-end/38510] Matrix.c from pymol 1.1r2 fails to compile with -O2 -fgraphite
--- Comment #8 from spop at gcc dot gnu dot org 2009-01-05 21:04 --- Subject: Bug 38510 Author: spop Date: Mon Jan 5 21:03:45 2009 New Revision: 143094 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143094 Log: 2009-01-05 Harsha Jagasia PR tree-optimization/38510 * graphite.c (recompute_all_dominators): Call mark_irreducible_loops. (translate_clast): Call recompute_all_dominators before graphite_verify. (gloog): Call recompute_all_dominators before graphite_verify. 2009-01-05 Harsha Jagasia Jan Sjodin PR tree-optimization/38500 * graphite.c (create_sese_edges): Call fix_loop_structure after splitting blocks. 2009-01-05 Harsha Jagasia PR tree-optimization/38510 * gcc.dg/graphite/pr38510.c: New. 2009-01-05 Harsha Jagasia Jan Sjodin PR tree-optimization/38500 * gcc.dg/graphite/pr38500.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr38500.c trunk/gcc/testsuite/gcc.dg/graphite/pr38510.c Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38510
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
--- Comment #9 from spop at gcc dot gnu dot org 2009-01-05 21:21 --- Subject: Bug 38492 Author: spop Date: Mon Jan 5 21:21:16 2009 New Revision: 143097 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143097 Log: 2009-01-05 Sebastian Pop PR tree-optimization/38492 * graphite.c (rename_map_elt, debug_rename_elt, debug_rename_map_1, debug_rename_map, new_rename_map_elt, rename_map_elt_info, eq_rename_map_elts, get_new_name_from_old_name, bb_in_sese_p): Moved around. (sese_find_uses_to_rename_use): Renamed sese_build_livein_liveouts_use. (sese_find_uses_to_rename_bb): Renamed sese_build_livein_liveouts_bb. (sese_build_livein_liveouts): New. (new_sese, free_sese): New. (new_scop): Call new_sese. (free_scop): Call free_sese. (rename_variables_from_edge, rename_phis_end_scop): Removed. (register_old_new_names): Renamed register_old_and_new_names. (register_scop_liveout_renames, add_loop_exit_phis, insert_loop_close_phis, struct igp, default_liveout_before_guard, add_guard_exit_phis, insert_guard_phis, copy_renames): New. (translate_clast): Call insert_loop_close_phis and insert_guard_phis. (sese_add_exit_phis_edge): Renamed scop_add_exit_phis_edge. (rewrite_into_sese_closed_ssa): Renamed scop_insert_phis_for_liveouts. (scop_adjust_phis_for_liveouts): New. (gloog): Call scop_adjust_phis_for_liveouts. * graphite.h (struct sese): Documented. Added fields liveout, num_ver and livein. (SESE_LIVEOUT, SESE_LIVEIN, SESE_LIVEIN_VER, SESE_NUM_VER): New. (new_sese, free_sese, sese_build_livein_liveouts): Declared. (struct scop): Added field liveout_renames. (SCOP_LIVEOUT_RENAMES): New. Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/graphite.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38492
[Bug middle-end/38510] Matrix.c from pymol 1.1r2 fails to compile with -O2 -fgraphite
--- Comment #9 from spop at gcc dot gnu dot org 2009-01-05 23:31 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38510
[Bug middle-end/38498] [graphite] ICE : verify_ssa failed
--- Comment #2 from spop at gcc dot gnu dot org 2009-01-07 15:41 ---
Subject: Bug 38498
Author: spop
Date: Wed Jan 7 15:41:26 2009
New Revision: 143158
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143158
Log:
2009-01-06 Jan Sjodin
PR tree-optimization/38492
PR tree-optimization/38498
* tree-check.c (operator_is_linear, scev_is_linear_expression): New.
* tree-chrec.h (scev_is_linear_expression): Declared.
* graphite.c (graphite_cannot_represent_loop_niter): New.
(scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
(graphite_loop_normal_form): Use gcc_assert.
(scan_tree_for_params): Use CASE_CONVERT.
(phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
(build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
Use gcc_assert. Discard scops that contain unhandled cases.
(build_scop_conditions): Return a boolean status for unhandled cases.
(strip_mine_profitable_p): Print the loop number, not its depth.
(is_interchange_valid): Pass the depth of the loop nest, don't
recompute it wrongly.
(graphite_trans_bb_block): Same.
(graphite_trans_bb_block): Print tentative of loop blocking.
(graphite_trans_scop_block): Do not print that the loop has been
blocked.
(graphite_transform_loops): Do not handle scops that contain condition
scalar phi nodes.
* testsuite/gcc.dg/graphite/pr38500.c: Fixed warning as committed
in trunk.
* testsuite/gcc.dg/graphite/block-0.c: Update test.
* testsuite/gcc.dg/graphite/block-1.c: Same.
* testsuite/gcc.dg/graphite/block-2.c: Remove xfail and test for
blocking.
* testsuite/gcc.dg/graphite/block-4.c: Remove test for strip mine.
* testsuite/gcc.dg/graphite/block-3.c: New.
* testsuite/gcc.dg/graphite/pr38498.c: New.
Added:
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-3.c (with props)
branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38498.c
Modified:
branches/graphite/gcc/ChangeLog.graphite
branches/graphite/gcc/graphite.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-0.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-1.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-2.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-4.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38500.c
branches/graphite/gcc/tree-chrec.c
branches/graphite/gcc/tree-chrec.h
Propchange: branches/graphite/gcc/testsuite/gcc.dg/graphite/block-3.c
('svn:mergeinfo' added)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38498
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
--- Comment #10 from spop at gcc dot gnu dot org 2009-01-07 15:41 ---
Subject: Bug 38492
Author: spop
Date: Wed Jan 7 15:41:26 2009
New Revision: 143158
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143158
Log:
2009-01-06 Jan Sjodin
PR tree-optimization/38492
PR tree-optimization/38498
* tree-check.c (operator_is_linear, scev_is_linear_expression): New.
* tree-chrec.h (scev_is_linear_expression): Declared.
* graphite.c (graphite_cannot_represent_loop_niter): New.
(scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
(graphite_loop_normal_form): Use gcc_assert.
(scan_tree_for_params): Use CASE_CONVERT.
(phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
(build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
Use gcc_assert. Discard scops that contain unhandled cases.
(build_scop_conditions): Return a boolean status for unhandled cases.
(strip_mine_profitable_p): Print the loop number, not its depth.
(is_interchange_valid): Pass the depth of the loop nest, don't
recompute it wrongly.
(graphite_trans_bb_block): Same.
(graphite_trans_bb_block): Print tentative of loop blocking.
(graphite_trans_scop_block): Do not print that the loop has been
blocked.
(graphite_transform_loops): Do not handle scops that contain condition
scalar phi nodes.
* testsuite/gcc.dg/graphite/pr38500.c: Fixed warning as committed
in trunk.
* testsuite/gcc.dg/graphite/block-0.c: Update test.
* testsuite/gcc.dg/graphite/block-1.c: Same.
* testsuite/gcc.dg/graphite/block-2.c: Remove xfail and test for
blocking.
* testsuite/gcc.dg/graphite/block-4.c: Remove test for strip mine.
* testsuite/gcc.dg/graphite/block-3.c: New.
* testsuite/gcc.dg/graphite/pr38498.c: New.
Added:
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-3.c (with props)
branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38498.c
Modified:
branches/graphite/gcc/ChangeLog.graphite
branches/graphite/gcc/graphite.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-0.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-1.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-2.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/block-4.c
branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38500.c
branches/graphite/gcc/tree-chrec.c
branches/graphite/gcc/tree-chrec.h
Propchange: branches/graphite/gcc/testsuite/gcc.dg/graphite/block-3.c
('svn:mergeinfo' added)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38492
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
--- Comment #11 from spop at gcc dot gnu dot org 2009-01-07 15:53 --- Subject: Bug 38492 Author: spop Date: Wed Jan 7 15:53:03 2009 New Revision: 143159 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143159 Log: 2009-01-07 Jan Sjodin PR tree-optimization/38492 PR tree-optimization/38498 * tree-check.c (operator_is_linear, scev_is_linear_expression): New. * tree-chrec.h (scev_is_linear_expression): Declared. * graphite.c (graphite_cannot_represent_loop_niter): New. (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter. (graphite_loop_normal_form): Use gcc_assert. (scan_tree_for_params): Use CASE_CONVERT. (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New. (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes. Use gcc_assert. Discard scops that contain unhandled cases. (build_scop_conditions): Return a boolean status for unhandled cases. (strip_mine_profitable_p): Print the loop number, not its depth. (is_interchange_valid): Pass the depth of the loop nest, don't recompute it wrongly. (graphite_trans_bb_block): Same. (graphite_trans_bb_block): Print tentative of loop blocking. (graphite_trans_scop_block): Do not print that the loop has been blocked. (graphite_transform_loops): Do not handle scops that contain condition scalar phi nodes. * testsuite/gcc.dg/graphite/pr38500.c: Fixed warning as committed in trunk. * testsuite/gcc.dg/graphite/block-0.c: Update test. * testsuite/gcc.dg/graphite/block-1.c: Same. * testsuite/gcc.dg/graphite/block-2.c: Remove xfail and test for blocking. * testsuite/gcc.dg/graphite/block-4.c: Remove test for strip mine. * testsuite/gcc.dg/graphite/block-3.c: New. * testsuite/gcc.dg/graphite/pr38498.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/block-3.c trunk/gcc/testsuite/gcc.dg/graphite/pr38498.c Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/graphite/block-0.c trunk/gcc/testsuite/gcc.dg/graphite/block-1.c trunk/gcc/testsuite/gcc.dg/graphite/block-2.c trunk/gcc/testsuite/gcc.dg/graphite/block-4.c trunk/gcc/tree-chrec.c trunk/gcc/tree-chrec.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38492
[Bug middle-end/38498] [graphite] ICE : verify_ssa failed
--- Comment #3 from spop at gcc dot gnu dot org 2009-01-07 15:53 --- Subject: Bug 38498 Author: spop Date: Wed Jan 7 15:53:03 2009 New Revision: 143159 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143159 Log: 2009-01-07 Jan Sjodin PR tree-optimization/38492 PR tree-optimization/38498 * tree-check.c (operator_is_linear, scev_is_linear_expression): New. * tree-chrec.h (scev_is_linear_expression): Declared. * graphite.c (graphite_cannot_represent_loop_niter): New. (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter. (graphite_loop_normal_form): Use gcc_assert. (scan_tree_for_params): Use CASE_CONVERT. (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New. (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes. Use gcc_assert. Discard scops that contain unhandled cases. (build_scop_conditions): Return a boolean status for unhandled cases. (strip_mine_profitable_p): Print the loop number, not its depth. (is_interchange_valid): Pass the depth of the loop nest, don't recompute it wrongly. (graphite_trans_bb_block): Same. (graphite_trans_bb_block): Print tentative of loop blocking. (graphite_trans_scop_block): Do not print that the loop has been blocked. (graphite_transform_loops): Do not handle scops that contain condition scalar phi nodes. * testsuite/gcc.dg/graphite/pr38500.c: Fixed warning as committed in trunk. * testsuite/gcc.dg/graphite/block-0.c: Update test. * testsuite/gcc.dg/graphite/block-1.c: Same. * testsuite/gcc.dg/graphite/block-2.c: Remove xfail and test for blocking. * testsuite/gcc.dg/graphite/block-4.c: Remove test for strip mine. * testsuite/gcc.dg/graphite/block-3.c: New. * testsuite/gcc.dg/graphite/pr38498.c: New. Added: trunk/gcc/testsuite/gcc.dg/graphite/block-3.c trunk/gcc/testsuite/gcc.dg/graphite/pr38498.c Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/graphite/block-0.c trunk/gcc/testsuite/gcc.dg/graphite/block-1.c trunk/gcc/testsuite/gcc.dg/graphite/block-2.c trunk/gcc/testsuite/gcc.dg/graphite/block-4.c trunk/gcc/tree-chrec.c trunk/gcc/tree-chrec.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38498
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
--- Comment #12 from spop at gcc dot gnu dot org 2009-01-07 15:55 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38492
[Bug middle-end/38498] [graphite] ICE : verify_ssa failed
--- Comment #4 from spop at gcc dot gnu dot org 2009-01-07 15:56 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38498
[Bug middle-end/38520] [graphite] wrong code with -O3 -fgraphite-identity on polyhedron benchmarks
--- Comment #5 from spop at gcc dot gnu dot org 2009-01-07 16:10 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38520
[Bug middle-end/38494] [graphite] Bootstrap fails with graphite enabled
--- Comment #1 from spop at gcc dot gnu dot org 2009-01-07 18:13 --- Fixed: trunk now passes bootstrap on amd64-linux with BOOT_CFLAGS="-g -O2 -fgraphite-identity" all default languages. I will prepare a patch for the graphite branch to enable -fgraphite-identity by default in -O2 or higher. PR38499 is another bug, to be fixed later, that appears for BOOT_CFLAGS="-g -O2 -floop-block". -- spop at gcc dot gnu dot org changed: What|Removed |Added BugsThisDependsOn|38499 | Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38494
[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
--- Comment #3 from spop at gcc dot gnu dot org 2009-01-08 01:32 --- Subject: Bug 38559 Author: spop Date: Thu Jan 8 01:32:16 2009 New Revision: 143178 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143178 Log: 2009-01-07 Sebastian Pop Jan Sjodin PR tree-optimization/38559 * testsuite/gcc.dg/graphite/pr38559.c: New. * graphite.c (debug_value, copy_constraint, swap_constraint_variables, scale_constraint_variable, ): New. (get_lower_bound, get_upper_bound): Removed. (graphite_trans_bb_strip_mine): Clean up this code that works only for constant number of iterations. Fully copy upper and lower bound constraints, not only the constant part of them. * graphite.h (debug_value): Declared. Added: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38559.c Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite.c branches/graphite/gcc/graphite.h -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
--- Comment #4 from spop at gcc dot gnu dot org 2009-01-08 01:36 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
[Bug middle-end/38499] [graphite] ICE: in scan_tree_for_params, at graphite.c:253
--- Comment #2 from spop at gcc dot gnu dot org 2009-01-08 03:17 --- Fixed. This should have been fixed by the previous patches as now the graphite branch bootstraps with BOOT_CFLAGS="-g -O2 -floop-block". I will also enable -floop-block in -O2 in the graphite branch. Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38499
[Bug middle-end/38760] [graphite] wrong code with -fblock-loop
--- Comment #3 from spop at gcc dot gnu dot org 2009-01-08 05:00 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38760
[Bug c/38755] [graphite] wrong code with -O3 -fgraphite-identity -floop-block on polyhedron benchmarks
--- Comment #1 from spop at gcc dot gnu dot org 2009-01-08 13:57 --- Fixed. See below the graphite.chk for the run of polyhedron on amd64-linux for a graphite.par containing: "gfortran -O2 -floop-block %n.f90 -o %n" I don't know why aermod does fail the execution of one of the tests. Sebastian > Value=14159 Target=14159 Tolerance=0 > Value= 16 Target= 16 Tolerance=0 > Value= 100 Target= 100 Tolerance=0 > Value=0.44068679351 Target=0.44068679400 Tolerance=0.100E-06 > Value=1 Target=1 Tolerance=0 > Value= 1.4530259062 Target= 1.4530259100 Tolerance=0.100E-02 > Value=0.60312607314E-07 Target=0.60312607300E-07 Tolerance=0.100E-06 > Value=0.54549700079 Target=0.54549700100 Tolerance=0.300E-03 > Value=0.25209045155E-04 Target=0.25209045200E-04 Tolerance=0.100E-06 > Value= 139.68826600 Target= 139.68826600 Tolerance=0.100 > Value=0.15138495928E-01 Target=0.15138495900E-01 Tolerance=0.200E-04 ac PASSED 11 tests - no failures > Value= 2191.1142600 Target= 2191.1145000 Tolerance=0.100E-02 > Value= 34310.417970 Target= 34310.421880 Tolerance=0.300E-01 > Value= 4260.9589800 Target= 4260.9716800 Tolerance=0.500E-01 > Value= 37094.347660 Target= 37094.375000 Tolerance=0.200E-01 FAIL <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< > Value= 7924.8842800 Target= 7924.8842800 Tolerance=0.300E-01 > Value= 37094.347660 Target= 37094.375000 Tolerance= 1.00 aermod FAILED1 fails and5 passes = Value=1737 Target=1737 > Value=0.99606856460E-02 Target=0.99606856460E-02 Tolerance=0.100E-06 > Value=0.100E-01 Target=0.100E-01 Tolerance=0.100E-06 > Value=0.4152860 Target=0.4152860 Tolerance=0.100E-06 > Value=0.57795248195E-05 Target=0.57795248200E-05 Tolerance=0.100E-06 > Value=0.10001137147E-01 Target=0.10001137100E-01 Tolerance=0.100E-06 = Value=1744 Target=1744 air PASSED7 tests - no failures > Value=0.32603740700E-04 Target= 0.00 Tolerance=0.600E-04 > Value= 35.406277000 Target= 35.40800 Tolerance=0.200E-02 > Value=0.13642944400E-04 Target= 0.00 Tolerance=0.600E-04 > Value= 5.8969231000 Target= 5.898000 Tolerance=0.200E-02 capacita PASSED4 tests - no failures > Value=0.42933170391E-01 Target=0.42933170400E-01 Tolerance=0.100E-08 > Value= 667696.66592 Target= 667696.66000 Tolerance=0.100E-01 > Value= 9.780570 Target= 9.780570 Tolerance=0.100E-04 > Value= 6.40 Target= 6.40 Tolerance=0.100 > Value= 6.90 Target= 6.90 Tolerance=0.100 > Value= 7.40 Target= 7.40 Tolerance=0.100 > Value= 7.80 Target= 7.80 Tolerance=0.100 > Value= 8.20 Target= 8.20 Tolerance=0.100 > Value= 8.50 Target= 8.50 Tolerance=0.100 > Value= 8.70 Target= 8.70 Tolerance=0.100 > Value= 8.60 Target= 8.60 Tolerance=0.100 > Value= 8.50 Target= 8.50 Tolerance=0.100 > Value= 7.90 Target= 7.90 Tolerance=0.100 > Value= 7.40 Target= 7.40 Tolerance=0.100 > Value= 6.10 Target= 6.10 Tolerance=0.100 > Value= 5.00 Target= 5.00 Tolerance=0.100 > Value= 2.90 Target= 2.90 Tolerance=0.100 > Value=0.600 Target=0.600 Tolerance=0.100 channel PASSED 18 tests - no failures > Value= 2000.0002673 Target= 2000.0024122 Tolerance=0.100E-01 > Value= 529859 Target= 533050 Tolerance= 5000 doduc PASSED2 tests - no failures = Value=10 Target=10 > Value=0.6032500E-04 Target=0.6032500E-04 Tolerance=0.100E-08 = Value=9 Target=9 > Value=0.5397500E-04 Target=0.5397500E-04 Tolerance=0.100E-08 = Value=8 Target=8 > Value=0.4762500E-04 Target=0.4762500E-04 Tolerance=0.100E-08 > Value= 17.55810
[Bug middle-end/38559] [graphite] ICE :in build2_stat, at tree.c:3293
--- Comment #5 from spop at gcc dot gnu dot org 2009-01-08 14:14 --- Subject: Bug 38559 Author: spop Date: Thu Jan 8 14:14:41 2009 New Revision: 143187 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143187 Log: 2009-01-07 Sebastian Pop Jan Sjodin PR tree-optimization/38559 * testsuite/gcc.dg/graphite/pr38559.c: New. * graphite.c (debug_value, copy_constraint, swap_constraint_variables, scale_constraint_variable, ): New. (get_lower_bound, get_upper_bound): Removed. (graphite_trans_bb_strip_mine): Clean up this code that works only for constant number of iterations. Fully copy upper and lower bound constraints, not only the constant part of them. * graphite.h (debug_value): Declared. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr38559.c Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/graphite.h trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38559
[Bug tree-optimization/37031] [4.4 Regression] ICE for h264ref in gather_interchange_stats with -ftree-loop-linear
--- Comment #10 from spop at gcc dot gnu dot org 2009-01-08 14:18 --- Subject: Re: [4.4 Regression] ICE for h264ref in gather_interchange_stats with -ftree-loop-linear Patch looks good. Thanks for this fix. Sebastian -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37031
[Bug middle-end/38431] [graphite] several ICEs with CP2K (summary)
--- Comment #19 from spop at gcc dot gnu dot org 2009-01-08 17:10 --- Hi, With the latest trunk CP2K compiles with -O2 -floop-block. I tried to run CP2K with -floop-block but I got an error due to the libblas installation on my system (missing symbols in libblas that uses the libgfortran of gcc 4.2 of my system). I would have to install libblas manually with current gcc trunk. Could you try to run again the make test and report the status of CP2K? Thanks, Sebastian -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38431
[Bug middle-end/38786] New: [graphite] ICE with -floop-block in verify_ssa
Compiling with -O2 -fgraphite-identity -floop-block the program below,
cc1 fails with:
image.c:11: error: definition in block 10 does not dominate use in block 28
for SSA_NAME: D.1621_16 in statement:
# VUSE
D.1713_120 = *D.1621_16;
image.c:11: internal compiler error: verify_ssa failed
typedef struct
{
int cofAC;
} ImageParameters;
typedef struct
{
int cofAC;
} RD_DATA;
extern RD_DATA *rdopt;
extern ImageParameters *img;
dummy_slice_too_big (int bits_slice)
{
int i, j, k, l;
for (j = 0; j < 4; j++)
for (k = 0; k < 2; k++)
for (l = 0; l < 65; l++)
img->cofAC[i][j][k][l] = rdopt->cofAC[i][j][k][l];
}
--
Summary: [graphite] ICE with -floop-block in verify_ssa
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: spop at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38786
[Bug middle-end/38786] [graphite] ICE with -floop-block in verify_ssa
--- Comment #1 from spop at gcc dot gnu dot org 2009-01-09 16:58 --- This test also fails with only -O2 -fgraphite-identity. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38786
[Bug middle-end/38786] [graphite] ICE with -floop-block in verify_ssa
--- Comment #2 from spop at gcc dot gnu dot org 2009-01-11 06:54 --- Subject: Bug 38786 Author: spop Date: Sun Jan 11 06:54:19 2009 New Revision: 143260 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143260 Log: 2009-01-11 Sebastian Pop PR tree-optimization/38786 * testsuite/gcc.dg/graphite/pr38786.c: New. * graphite.c (expand_scalar_variables_ssa_name): New, outlined from the SSA_NAME case of expand_scalar_variables_expr. (expand_scalar_variables_expr): Also gather the scalar computation used to index the memory access. (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr the gimple_stmt_iterator where it inserts new code. Added: branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38786.c Modified: branches/graphite/gcc/graphite.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38786
[Bug middle-end/38786] [graphite] ICE with -floop-block in verify_ssa
--- Comment #3 from spop at gcc dot gnu dot org 2009-01-11 06:55 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38786
[Bug tree-optimization/38515] Disabling PPL/CLOOG with configure does not work
--- Comment #1 from spop at gcc dot gnu dot org 2009-01-12 21:37 --- Subject: Bug 38515 Author: spop Date: Mon Jan 12 21:36:58 2009 New Revision: 143311 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143311 Log: 2009-01-12 Sebastian Pop PR tree-optimization/38515 * configure.ac (cloog-polylib): Removed. (with_ppl, with_cloog): Test for "no". * configure: Regenerated. Modified: trunk/ChangeLog trunk/configure trunk/configure.ac -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38515
[Bug tree-optimization/38515] Disabling PPL/CLOOG with configure does not work
--- Comment #2 from spop at gcc dot gnu dot org 2009-01-12 21:38 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38515
[Bug middle-end/38786] [graphite] ICE with -floop-block in verify_ssa
--- Comment #4 from spop at gcc dot gnu dot org 2009-01-13 15:33 --- Subject: Bug 38786 Author: spop Date: Tue Jan 13 15:33:13 2009 New Revision: 143341 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143341 Log: 2009-01-13 Sebastian Pop PR tree-optimization/38786 * gcc.dg/graphite/pr38786.c: New. * graphite.c (expand_scalar_variables_ssa_name): New, outlined from the SSA_NAME case of expand_scalar_variables_expr. Set the type of an expression to the type of its assign statement. (expand_scalar_variables_expr): Also gather the scalar computation used to index the memory access. Do not pass loop_p. Fix comment. Stop recursion on tcc_constant or tcc_declaration. (expand_scalar_variables_stmt): Pass to expand_scalar_variables_expr the gimple_stmt_iterator where it inserts new code. Do not pass loop_p. (copy_bb_and_scalar_dependences): Do not pass loop_p. (translate_clast): Update call to copy_bb_and_scalar_dependences. Added: trunk/gcc/testsuite/gcc.dg/graphite/pr38786.c Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38786
[Bug middle-end/38431] [graphite] several ICEs with CP2K (summary)
--- Comment #37 from spop at gcc dot gnu dot org 2009-01-14 14:35 --- Subject: Bug 38431 Author: spop Date: Wed Jan 14 14:35:27 2009 New Revision: 143372 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143372 Log: 2009-01-14 Sebastian Pop PR middle-end/38431 * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New. (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi. (gloog): Do not call cleanup_tree_cfg. (graphite_transform_loops): Call cleanup_tree_cfg after all scops have been code generated. Modified: branches/graphite/gcc/ChangeLog.graphite branches/graphite/gcc/graphite.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38431
[Bug middle-end/38431] [graphite] several ICEs with CP2K (summary)
--- Comment #38 from spop at gcc dot gnu dot org 2009-01-14 14:36 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38431
[Bug testsuite/38791] FAIL: gcc.dg/graphite/block-3.c (test for excess errors)
--- Comment #9 from spop at gcc dot gnu dot org 2009-01-14 14:46 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38791
[Bug middle-end/38431] [graphite] several ICEs with CP2K (summary)
--- Comment #39 from spop at gcc dot gnu dot org 2009-01-14 21:11 --- Subject: Bug 38431 Author: spop Date: Wed Jan 14 21:11:05 2009 New Revision: 143384 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143384 Log: 2009-01-14 Sebastian Pop PR middle-end/38431 * graphite.c (get_vdef_before_scop, scop_adjust_vphi): New. (scop_adjust_phis_for_liveouts): Call scop_adjust_vphi. (gloog): Do not call cleanup_tree_cfg. (graphite_transform_loops): Call cleanup_tree_cfg after all scops have been code generated. Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38431
[Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation
This problem happened in the graphite branch where after the graphite pass we scheduled a pass of loop invariant motion (LIM). LIM does expect to see the loop closed SSA form, but that property is not maintained by the code generator of graphite. The testcase is extracted from the polyhedron benchmark aermod.f90 and it failed on graphite branch when compiled with -O3 that implies -floop-block and -fgraphite-identity. -- Summary: [graphite] loop closed SSA not maintained by graphite code generation Product: gcc Version: 4.4.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: spop at gcc dot gnu dot org ReportedBy: spop at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
[Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
--- Comment #1 from spop at gcc dot gnu dot org 2009-01-24 00:47 --- Created an attachment (id=17172) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17172&action=view) patch -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
[Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
--- Comment #2 from spop at gcc dot gnu dot org 2009-01-24 01:00 --- Subject: Bug 38953 Author: spop Date: Sat Jan 24 00:59:51 2009 New Revision: 143599 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143599 Log: 2009-01-24 Sebastian Pop PR tree-optimization/38953 * graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa. (scop_adjust_phis_for_liveouts): Initialize false_i to zero. (gloog): Split the exit of the scop when the scop exit is a loop exit. (graphite_transform_loops): Only call cleanup_tree_cfg if gloog changed the CFG. * gfortran.dg/graphite/pr38953.f90: New. Added: trunk/gcc/testsuite/gfortran.dg/graphite/pr38953.f90 Modified: trunk/gcc/ChangeLog trunk/gcc/graphite.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
[Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
--- Comment #3 from spop at gcc dot gnu dot org 2009-01-24 01:00 --- Fixed. -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
[Bug bootstrap/38971] RFE - Cloog .git is version "0.14.0" but gcc requires "0.15.0" (and our other problems with the cloog trunk)
--- Comment #1 from spop at gcc dot gnu dot org 2009-01-26 03:09 --- You are not supposed to use Cloog trunk, for GCC 4.4 you have to use this: ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-ppl-0.15.tar.gz and follow the install instructions either from GCC's docs or from the wiki page: http://gcc.gnu.org/wiki/Graphite_Build Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38971
[Bug driver/38911] RFE - Need verbose gcc to show cloog , ppl and pwl + more (and trivial fix)
--- Comment #2 from spop at gcc dot gnu dot org 2009-01-26 03:32 --- Again, you are not supposed to use other versions of CLooG than the one documented: CLooG-PPL. Sebastian -- spop at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38911
[Bug tree-optimization/40157] ICE with -floop-block
--- Comment #2 from spop at gcc dot gnu dot org 2009-05-15 17:49 --- This problem is fixed in the Graphite branch. I guess that the problem comes from the fact that in GCC4.4 we did not handled INDIRECT_REF in expand_scalar_variables_expr. Should I back-port that code? Thanks, Sebastian -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40157
