summaryrefslogtreecommitdiffstats
path: root/gcc/testsuite/g++.dg/tree-ssa
Commit message (Collapse)AuthorAgeFilesLines
...
* * tree-vrp.c (infer_value_range): Only count pointer useslaw2006-03-081-0/+14
| | | | | | | | | | | | | | | | | | and dereferences if -fdelete-null-pointer-checks is enabled. * tree-vrp.c (find_assert_locations): Infer value ranges for single use pointers, but do not create ASSERT_EXPRs for them. When a non-null range is inferred for a pointer, backwards propagate that range to other equivalent pointers through the use-def chain. * gcc.dg/tree-ssa/20030730-1.c: No longer expected to fail. * gcc.dg/tree-ssa/20030730-2.c: No longer expected to fail. * g++.dg/tree-ssa/pr26406.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111848 138bc75d-0d04-0410-961f-82ee72b054a4
* 2006-03-01 Daniel Berlin <dberlin@dberlin.org>dberlin2006-03-011-0/+20
| | | | | | | | | | | | | Fix PR tree-optimization/26443 * tree-vrp.c (pass_vrp): Add TODO_update_tmt_usage to todo and PROP_tmt_usage to properties_destroyed. * tree-ssa-ccp.c (pass_ccp): Ditto. (pass_store_ccp): Ditto. * tree-ssa-dom.c (pass_dominator): Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111608 138bc75d-0d04-0410-961f-82ee72b054a4
* 2006-02-07 Jeff Law <law@redhat.com>law2006-02-071-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * tree-vrp.c (find_conditional_asserts): Update comments. (simplify_stmt_for_jump_threading): New. (identify_jump_threads, finalize_jump_threads): New. (vrp_finalize): Call identify_jump_threads. (execute_vrp): Call finalize_jump_threads. * tree-ssa-dom.c (struct opt_stats_d): Remove num_iterations field. (vrp_element, vrp_data, vrp_element_p): Remove. (vrp_hash_elt, vrp_variables_stack): Remove. (vrp_hash, vrp_eq, record_range): Remove. (simplify_cond_and_lookup_avail_expr): Remove. (extract_range_from_cond): Remove. (thread_across_edge): Relocated into tree-ssa-threadedge.c. (simplify_stmt_for_jump_threading): New. (dom_thread_across_edge): New wrapper. (tree_ssa_dominator_optimize): No longer initialize or finalize any of the VRP datastructures. Remove iteration step and simplify as a result of removal of iteration step. (pass_dominator): Perform a cfg cleanup after DOM. (dom_opt_finalize_block): Use the new common routines for threading jumps. Simplify stack management slightly. No longer need to unwind VRP state. (record_equivalences_from_incoming_edge): No longer record VRP information. (eliminate_redundant_computations): No longer call simplify_cond_and_lookup_avail_expr. * tree-flow.h (potentially_threadable_block): Prototype. (thread_across_edge): Likewise. * Makefile.in (OBJS-common): Add tree-ssa-threadedge.o (tree-ssa-threadedge.o): Add dependencies. * tree-ssa-threadedge.c: New file. * passes.c (init_optimization_passes): Merge PHIs before calling VRP. Run VRP again late in the SSA optimization pipeline. * gcc.dg/tree-ssa/vrp01.c: Update dumpfile names now that we have multiple VRP passes. * gcc.dg/tree-ssa/vrp09.c: Likewise. * gcc.dg/tree-ssa/vrp18.c: Likewise. * gcc.dg/tree-ssa/pr21582.c: Likewise. * gcc.dg/tree-ssa/pr20657.c: Likewise. * gcc.dg/tree-ssa/pr21001.c: Likewise. * gcc.dg/tree-ssa/vrp02.c: Likewise * gcc.dg/tree-ssa/vrp11.c: Likewise * gcc.dg/tree-ssa/pr14341.c: Likewise * gcc.dg/tree-ssa/vrp19.c: Likewise * gcc.dg/tree-ssa/vrp20.c: Likewise * gcc.dg/tree-ssa/vrp03.c: Likewise * gcc.dg/tree-ssa/pr21086.c: Likewise * gcc.dg/tree-ssa/pr21959.c: Likewise * gcc.dg/tree-ssa/vrp21.c: Likewise * gcc.dg/tree-ssa/vrp04.c: Likewise * gcc.dg/tree-ssa/pr25485.c: Likewise * gcc.dg/tree-ssa/pr22026.c: Likewise * gcc.dg/tree-ssa/vrp22.c: Likewise * gcc.dg/tree-ssa/vrp05.c: Likewise * gcc.dg/tree-ssa/20030807-10.c: Likewise * gcc.dg/tree-ssa/pr20701.c: Likewise * gcc.dg/tree-ssa/vrp23.c: Likewise * gcc.dg/tree-ssa/vrp06.c: Likewise * gcc.dg/tree-ssa/pr22117.c: Likewise * gcc.dg/tree-ssa/pr20702.c: Likewise * gcc.dg/tree-ssa/vrp15.c: Likewise * gcc.dg/tree-ssa/pr21090.c: Likewise * gcc.dg/tree-ssa/pr21294.c: Likewise * gcc.dg/tree-ssa/vrp24.c: Likewise * gcc.dg/tree-ssa/vrp07.c: Likewise * gcc.dg/tree-ssa/pr21563.c: Likewise * gcc.dg/tree-ssa/pr25382.c: Likewise * gcc.dg/tree-ssa/vrp16.c: Likewise * gcc.dg/tree-ssa/vrp25.c: Likewise * gcc.dg/tree-ssa/vrp08.c: Likewise * gcc.dg/tree-ssa/20030807-6.c: Likewise * gcc.dg/tree-ssa/vrp17.c: Likewise * gcc.dg/tree-ssa/pr21458.c: Likewise * g++.dg/tree-ssa/pr18178.C: Likewise git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110705 138bc75d-0d04-0410-961f-82ee72b054a4
* 2006-02-07 Richard Guenther <rguenther@suse.de>rguenth2006-02-071-0/+15
| | | | | | | | | | | | | | | | | | | PR c++/26140 Revert 2006-01-30 Richard Guenther <rguenther@suse.de> PR c++/23372 * gimplify.c (gimplify_target_expr): Handle easy cases without creating a temporary. Revert 2006-01-30 Richard Guenther <rguenther@suse.de> PR c++/23372 * gcc.dg/pr23372-1.C: New testcase. * g++.dg/tree-ssa/pr26140.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110699 138bc75d-0d04-0410-961f-82ee72b054a4
* Grr, wrong versiondberlin2006-01-131-0/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@109670 138bc75d-0d04-0410-961f-82ee72b054a4
* 2006-01-13 Daniel Berlin <dberlin@dberlin.org>dberlin2006-01-131-0/+32
| | | | | | | | | | PR tree-optimization/25771 * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal SSA_NAMES. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@109669 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc:bonzini2006-01-111-0/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2006-01-11 Paolo Bonzini <bonzini@gnu.org> PR tree-optimization/23109 PR tree-optimization/23948 PR tree-optimization/24123 * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies. * tree-cfg.c (single_noncomplex_succ): New. * tree-flow.h (single_noncomplex_succ): Declare it. * tree-ssa-math-opts.c (enum place_reciprocal): Remove. * tree-ssa-math-opts.c (enum place_reciprocal): Remove. (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit, insert_bb, register_division_in, insert_reciprocals, replace_reciprocal, free_bb): New. (execute_cse_reciprocals_1): Rewritten. (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1. Do not commit any edge insertion. Always compute dominators and create the allocation pool. * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New. * target.h (struct gcc_target): Add min_divistions_for_recip_mul. * targhooks.c (default_min_divistions_for_recip_mul): New. * targhooks.h (default_min_divistions_for_recip_mul): New prototype. * passes.c (init_optimization_passes): Run recip after tree loop optimizations. * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL. gcc/testsuite: 2006-01-11 Paolo Bonzini <bonzini@gnu.org> PR tree-optimization/23109 PR tree-optimization/23948 PR tree-optimization/24123 * gcc.dg/tree-ssa/recip-3.c, gcc.dg/tree-ssa/recip-4.c, gcc.dg/tree-ssa/recip-5.c, gcc.dg/tree-ssa/recip-6.c, gcc.dg/tree-ssa/recip-7.c, gcc.dg/tree-ssa/pr23109.c, g++.dg/tree-ssa/pr23948.C: New testcases. * gcc.dg/tree-ssa/recip-2.c, gcc.dg/tree-ssa/pr23234.c: Provide three divisions in order to do the optimization. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@109578 138bc75d-0d04-0410-961f-82ee72b054a4
* 2006-01-05 Richard Guenther <rguenther@suse.de>rguenth2006-01-054-12/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Diego Novillo <dnovillo@redhat.com> * tree-pass.h (TODO_remove_unused_locals): Define. * gimple-low.c (expand_var_p, remove_useless_vars, pass_remove_useless_vars): Remove. Update all users. * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names. (remove_unused_locals): New function. * tree-flow.h (remove_unused_locals): Declare. * passes.c (execute_todo): Call remove_unused_locals if TODO_remove_unused_locals is set. * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals. * tree-ssa-dce.c (pass_dce): Likewise. * tree-outof-ssa.c (pass_del_ssa): Likewise. * gcc.dg/tree-ssa/loop-11.c: Deal with removed vars pass. * gcc.dg/tree-ssa/loop-8.c: Likewise. * gcc.dg/tree-ssa/loop-1.c: Likewise. * gcc.dg/tree-ssa/pr23294.c: Likewise. * gcc.dg/tree-ssa/pr21985.c: Likewise. * gcc.dg/tree-ssa/loop-14.c: Likewise. * gcc.dg/tree-ssa/loop-2.c: Likewise. * gcc.dg/tree-ssa/loop-3.c: Likewise. * gcc.dg/tree-ssa/loop-4.c: Likewise. * gcc.dg/tree-ssa/pr21171.c: Likewise. * gcc.dg/tree-ssa/loop-5.c: Likewise. * gcc.dg/tree-ssa/loop-10.c: Likewise. * gcc.dg/tree-ssa/loop-6.c: Likewise. * treelang/compile/extravar.tree: Likewise. * g++.dg/tree-ssa/ssa-cast-1.C: Likewise. * g++.dg/tree-ssa/pointer-reference-alias.C: Likewise. * g++.dg/tree-ssa/ssa-sra-1.C: Likewise. * g++.dg/tree-ssa/ssa-sra-2.C: Likewise. * gcc.dg/tree-ssa/20031106-6.c: Disable SRA. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@109379 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-11-30 Richard Guenther <rguenther@suse.de>rguenth2005-11-301-1/+1
| | | | | | | | PR tree-optimization/21655 * g++.dg/tree-ssa/pr14814.C: Remove XFAIL. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@107739 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-11-08 James A. Morrison <phython@gcc.gnu.org>dnovillo2005-11-081-0/+11
| | | | | | | | | | | | | | | | | | Diego Novillo <dnovillo@redhat.com> PR 23046 * tree-vrp.c (register_edge_assert_for): Do not register always-false predicates. testsuite/ PR 23046 * g++.dg/tree-ssa/pr23046.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@106656 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-11-03 Daniel Berlin <dberlin@dberlin.org>dberlin2005-11-033-0/+150
| | | | | | | | | | | | | | | | | | | | Fix PR tree-optimization/24351 * tree-ssa-structalias.c (struct variable_info): Add collapsed_into. (get_varinfo_fc): New function to follow collapsing. (new_var_info): Set collapsed_to to NULL. (dump_constraint): Follow collapsing. (build_constraint_graph): Handle collapsing. (do_simple_structure_copy): Return false if something bad happened. (collapse_rest_of_var): New function. (do_structure_copy): Collapse if do_simple_structure_copy returns false. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@106437 138bc75d-0d04-0410-961f-82ee72b054a4
* PR tree-optimization/24172hubicka2005-10-301-0/+11
| | | | | | | | * tree-inline.c (copy_body_r): Unshare the substituted value first. * g++.dg/tree-ssa/pr24172.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@106247 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-10-20 Richard Guenther <rguenther@suse.de>rguenth2005-10-201-0/+10
| | | | | | | | | | | PR c++/24439 * fold-const.c (invert_truthvalue): Handle COND_EXPR with void type operands. * g++.dg/tree-ssa/pr24439.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@105678 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-10-18 Daniel Berlin <dberlin@dberlin.org>dberlin2005-10-193-0/+111
| | | | | | | | | | Fix PR tree-optimization/24231 * tree-ssa-pre.c (try_look_through_load): Skip abnormal phi names (compute_avail): Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@105594 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-10-16 Daniel Berlin <dberlin@dberlin.org>dberlin2005-10-171-0/+141
| | | | | | | | | | | Fix PR tree-optimization/22444 * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Assert that we don't hit something with subvars. (setup_pointers_and_addressables): Don't add things with subvars, because we'll already process the subvars for aliasing purposes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@105486 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-10-06 Daniel Berlin <dberlin@dberlin.org>dberlin2005-10-061-0/+33
| | | | | | | | | Fix PR tree-optimization/22488 * tree-ssa-structalias.c (check_for_overlaps): New function. (create_variable_info_for): Use it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@105052 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-10-06 Richard Guenther <rguenther@suse.de>rguenth2005-10-061-0/+13
| | | | | | | | | | PR tree-optimization/24238 * tree-ssa-alias.c (find_used_portions): Handle PARAM_DECL. * g++.dg/tree-ssa/pr24238.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@105043 138bc75d-0d04-0410-961f-82ee72b054a4
* PR c++/13764jason2005-09-271-0/+11
| | | | | | | | | | | | | * c-common.c (finish_fname_decls): Use append_to_statement_list_force. * cp/cp-tree.h (FUNCTION_NEEDS_BODY_BLOCK): New macro. * cp/name-lookup.c (pushdecl_maybe_friend): Check it. * cp/decl.c (begin_function_body): Do nothing if it's false. (finish_function_body): Ditto. (outer_curly_brace_block): New fn. (finish_function): Use it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@104698 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-09-09 Richard Guenther <rguenther@suse.de>rguenth2005-09-091-0/+8
| | | | | | | | | | | PR c++/23624 * fold-const.c (fold_ternary): Check truth_value_p before calling invert_truthvalue. * g++.dg/tree-ssa/pr23624.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@104083 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-08-14 Daniel Berlin <dberlin@dberlin.org>dberlin2005-08-141-0/+28
| | | | | | | | | | | | | | | | | Fix PR tree-optimization/22615 * tree-ssa-structalias.c (solution_set_add): Handle first_vi_for_offset returning NULL. (do_da_constraint): Ditto. (do_sd_constraint): Ditto. (do_ds_constraint): Ditto (find_func_aliases): Ditto. (build_constraint_graph): RHS is allowed be ANYTHING. (first_vi_for_offset): Return NULL if we couldn't find anything at the offset. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103083 138bc75d-0d04-0410-961f-82ee72b054a4
* PR 22037dnovillo2005-08-041-0/+14
| | | | | | | | | | | | | | | | | * tree-cfg.c (replace_uses_by): Call mark_new_vars_to_rename. (tree_merge_blocks): Propagate anything allowed by may_propagate_copy. Clarify documentation. * passes.c (execute_todo): If cleanup_tree_cfg invalidated the SSA form, schedule an update if necessary. testsuite/ChangeLog PR 22037 * g++.dg/tree-ssa/pr22037.C: git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@102740 138bc75d-0d04-0410-961f-82ee72b054a4
* * g++.dg/tree-ssa/pr14814.C: xfail test for &this count.law2005-08-031-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@102712 138bc75d-0d04-0410-961f-82ee72b054a4
* PR 23164dnovillo2005-08-021-0/+16
| | | | | | | | | | | | | * tree-cfgcleanup.c (cleanup_tree_cfg): Do not limit the number of calls to cleanup_tree_cfg_1. testsuite/ChangeLog PR 23164 * g++.dg/tree-ssa/pr23164.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@102666 138bc75d-0d04-0410-961f-82ee72b054a4
* PR 22550dnovillo2005-07-291-0/+28
| | | | | | | | | | | | | | | * tree-cfgcleanup.c (cleanup_tree_cfg_1): Extract from ... (cleanup_tree_cfg): ... here. Call cleanup_tree_cfg_1 until there are no more cleanups to do. testsuite/ChangeLog PR 22550 * g++.dg/tree-ssa/pr22550.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@102559 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-07-11 Daniel Berlin <dberlin@dberlin.org>dberlin2005-07-111-0/+15
| | | | | | | | | | | | | | | * print-tree.c (print_node): Use DECL_ARGUMENT_FLD. * tree.h (DECL_ARGUMENT_FLD): New macro. 2005-07-11 Daniel Berlin <dberlin@dberlin.org> Fix PR tree-optimization/22404 * tree-ssa-structalias.c (create_variable_info_for): Use correct offset. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101894 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-07-04 Daniel Berlin <dberlin@dberlin.org>dberlin2005-07-041-0/+43
| | | | | | | | | | Fix PR tree-optimization/22279 * tree-ssa-structalias.c (offset_overlaps_with_access): Use correct operator. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101603 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-06-29 Daniel Berlin <dberlin@dberlin.org>dberlin2005-07-011-0/+14
| | | | | | | | | | | Fix PR tree-optimization/22071 * tree-ssa-structalias.c (offset_overlaps_with_access): New function. (get_constraint_for_component_ref): Use it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101516 138bc75d-0d04-0410-961f-82ee72b054a4
* PR 21584dnovillo2005-07-012-0/+60
| | | | | | | | | | | | | | | | | PR 22219 * tree-ssa-alias.c (create_name_tags): Also process non-dereferenced pointers. Remove argument 'ai'. Update all callers. testsuite/ChangeLog PR 21584 PR 22219 * g++.dg/tree-ssa/pr21584-1.C: New test. * g++.dg/tree-ssa/pr21584-2.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101498 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-06-11 Daniel Berlin <dberlin@dberlin.org>dberlin2005-06-121-0/+10
| | | | | | | | | | | | | | | Fix PR tree-optimization/22005 Fix PR tree-optimization/22025 * tree-ssa-structalias.c (struct variable_info): Add has_union member. (create_variable_info_for): Mark variables containing unions. Don't sort the field stack if notokay is true. (find_what_p_points_to): Convert variables containing unions back to their SFT's if necessary. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@100851 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-05-18 Daniel Berlin <dberlin@dberlin.org>dberlin2005-05-181-0/+8
| | | | | | | | | | | Fix PR tree-optimization/21407 * tree-ssa-operands.c (note_addressable): Change COMPONENT_REF handling in response to aliasing discussion. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99896 138bc75d-0d04-0410-961f-82ee72b054a4
* * Makefile.in (tree-ssa-forwprop.o): Depend on langhooks.h.law2005-05-171-0/+20
| | | | | | | | | | | | | | | | | | | * tree-ssa-forwprop.c: Include langhooks.h. (forward_propagate_addr_expr_into_variable_array_index): New. (forward_propagate_addr_expr): New. (tree_ssa_forward_propagate_single_use_vars): Loop over all the statements in the block instead of just the last statement. Call forward_propagate_addr_expr as needed. (pass_forwprop): Update the SSA graph after forward propagation is complete. * g++.dg/tree-ssa/pr18414.C: New test. * gcc.dg/tree-ssa/pr18414.C: New test. * gcc.dg/tree-ssa/pr17141-1.C: New test. * gcc.dg/tree-ssa/pr17141-2.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99837 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-05-17 Richard Guenther <rguenth@gcc.gnu.org>rguenth2005-05-171-0/+10
| | | | | | | | | | | PR middle-end/21595 * builtins.c (fold_builtin_constant_p): Handle &"string cst"[0] as constant. * g++.dg/tree-ssa/builtin1.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99825 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-05-14 Richard Guenther <rguenth@gcc.gnu.org>rguenth2005-05-141-0/+22
| | | | | | | | | | * fold-const.c (div_if_zero_remainder): New function. (try_move_mult_to_index): Use it. * g++.dg/tree-ssa/tmmti-2.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99694 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-05-11 Richard Guenther <rguenth@gcc.gnu.org>rguenth2005-05-111-0/+24
| | | | | | | | | | | | | | | | | | PR middle-end/19807 PR tree-optimization/19639 * fold-const.c (try_move_mult_to_index): Handle INTEGER_CST and generic summands for char* as s * delta, too, folding &a[i] CODE x to &a[i CODE x/s]. Use tree_int_cst_equal for comparison of steps. Convert types for index addition. (fold_binary): Adjust the callers to always dispatch to try_move_mult_to_index. * tree-ssa-propagate.c (set_rhs): Avoid setting rhs to expr with non-gimple ARRAY_REF offset. * g++.dg/tree-ssa/pr19807.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99568 138bc75d-0d04-0410-961f-82ee72b054a4
* * g++.dg/tree-ssa/pr18178.C, gcc.dg/tree-ssa/20030821-1.c,kazu2005-04-281-0/+1
| | | | | | | | | | | | | | | | | | gcc.dg/tree-ssa/20050314-1.c, gcc.dg/tree-ssa/alias-1.c, gcc.dg/tree-ssa/phi-opt-1.c, gcc.dg/tree-ssa/phi-opt-2.c, gcc.dg/tree-ssa/phi-opt-3.c, gcc.dg/tree-ssa/phi-opt-4.c, gcc.dg/tree-ssa/phi-opt-5.c, gcc.dg/tree-ssa/pr18133-1.c, gcc.dg/tree-ssa/pr18133-2.c, gcc.dg/tree-ssa/pr18134.c, gcc.dg/tree-ssa/pr20470.c, gcc.dg/tree-ssa/pr20657.c, gcc.dg/tree-ssa/pr20702.c, gcc.dg/tree-ssa/pr20913.c, gcc.dg/tree-ssa/pr21001.c, gcc.dg/tree-ssa/stdarg-1.c, gcc.dg/tree-ssa/stdarg-2.c, gcc.dg/tree-ssa/stdarg-3.c, gcc.dg/tree-ssa/stdarg-4.c, gcc.dg/tree-ssa/stdarg-5.c, gcc.dg/tree-ssa/structopt-1.c, gcc.dg/tree-ssa/structopt-2.c, gcc.dg/tree-ssa/structopt-3.c: Use cleanup-tree-dump. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98928 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-04-23 Richard Guenther <rguenth@gcc.gnu.org>rguenth2005-04-231-0/+13
| | | | | | | | | | PR middle-end/21082 * fold-const.c: Fold &a[i]-&a[j] to i-j. * g++.dg/tree-ssa/pr21082.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98636 138bc75d-0d04-0410-961f-82ee72b054a4
* Commit regression test distilled from 20963dberlin2005-04-161-0/+23
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98222 138bc75d-0d04-0410-961f-82ee72b054a4
* PR tree-optimization/20920dnovillo2005-04-111-0/+26
| | | | | | | | | | | | | | * tree-pretty-print.c (dump_generic_node): Show '(ab)' if an SSA_NAME flows through an abnormal edge. * tree-vrp.c (infer_value_range): Ignore SSA names that flow through abnormal edges. (maybe_add_assert_expr): Likewise. PR tree-optimization/20920 * g++.dg/tree-ssa/pr20920.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97971 138bc75d-0d04-0410-961f-82ee72b054a4
* Merge from tree-cleanup-branch: VRP, store CCP, storednovillo2005-04-091-0/+46
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | copy-prop, incremental SSA updating of FUD chains and newly exposed symbols. * Makefile.in (tree-ssa-copy.o): Depend on tree-ssa-propagate.h. (OBJS-common): Add tree-vrp.o. (tree-vrp.o): New rule. * basic-block.h (nearest_common_dominator_for_set): Declare. * common.opt (ftree-store-ccp): New flag. (ftree-copy-prop): New flag. (ftree-vrp): New flag. (ftree-store-copy-prop): New flag. * dominance.c (nearest_common_dominator_for_set): New. * domwalk.c (walk_dominator_tree): Only traverse statements in blocks marked in walk_data->interesting_blocks. * domwalk.h (struct dom_walk_data): Add field interesting_blocks. * fold-const.c (fold): Handle ASSERT_EXPR. * opts.c (decode_options): Set flag_tree_copy_prop at -O1. Set flag_tree_store_ccp, flag_tree_store_copy_prop and flag_tree_vrp at -O2. * timevar.def (TV_TREE_VRP): Define. (TV_TREE_COPY_PROP): Define. (TV_TREE_STORE_COPY_PROP): Define. (TV_TREE_SSA_INCREMENTAL): Define. (TV_TREE_STORE_CCP): Define. * tree-cfg.c (tree_can_merge_blocks_p): Remove reference to kill_redundant_phi_nodes from comment. (verify_expr): Handle ASSERT_EXPR. * tree-dfa.c (mark_new_vars_to_rename): Remove second argument. Update all users. (mark_call_clobbered_vars_to_rename): Remove. Update all users. * tree-flow-inline.h (unmodifiable_var_p): New. * tree-flow.h (enum value_range_type): Declare. (struct value_range_def): Declare. (value_range): Declare. (remove_all_phi_nodes_for): Remove. Update all users. (find_phi_node_for): Declare. (add_type_alias): Declare. (count_uses_and_derefs): Declare. (kill_redundant_phi_nodes): Remove. (rewrite_into_ssa): Remove. (rewrite_def_def_chains): Remove. (update_ssa, register_new_name_mapping, create_new_def_for, need_ssa_update_p, name_registered_for_update_p, release_ssa_name_after_update_ssa, dump_repl_tbl, debug_repl_tbl, dump_names_replaced_by, debug_names_replaced_by, mark_sym_for_renaming, mark_set_for_renaming, get_current_def, set_current_def, get_value_range, dump_value_range, debug_value_range, dump_all_value_ranges, debug_all_value_ranges, expr_computes_nonzero, loop_depth_of_name, unmodifiable_var_p): Declare. * tree-gimple.c (is_gimple_formal_tmp_rhs): Handle ASSERT_EXPR. * tree-into-ssa.c (block_defs_stack): Update comment. (old_ssa_names, new_ssa_names, old_virtual_ssa_names, syms_to_rename, names_to_release, repl_tbl, need_to_initialize_update_ssa_p, need_to_update_vops_p, need_to_replace_names_p): New locals. (NAME_SETS_GROWTH_FACTOR): Define. (struct repl_map_d): Declare. (struct mark_def_sites_global_data): Add field interesting_blocks. (enum rewrite_mode): Declare. (REGISTER_DEFS_IN_THIS_STMT): Define. (compute_global_livein): Use last_basic_block instead of n_basic_blocks. (set_def_block): Remove last argument. Update all callers. (prepare_use_operand_for_rename): Remove. Update all callers. (prepare_def_operand_for_rename): Remove. Update all callers. (symbol_marked_for_renaming): New. (is_old_name): New. (is_new_name): New. (repl_map_hash): New. (repl_map_eq): New. (repl_map_free): New. (names_replaced_by): New. (add_to_repl_tbl): New. (add_new_name_mapping): New. (mark_def_sites): Assume that all the operands in the statement are in normal form. (find_idf): Assert that the block in the stack is valid. (get_default_def_for): New. (insert_phi_nodes_for): Add new argument 'update_p'. Add documentation. If update_p is true, add a new mapping between the LHS of each new PHI and the name that it replaces. (insert_phi_nodes_1): Only call find_idf if needed. (get_reaching_def): Call get_default_def_for. (rewrite_operand): Remove. (rewrite_stmt): Do nothing if REGISTER_DEFS_IN_THIS_STMT and REWRITE_THIS_STMT are false. Assume that all the operands in the statement are in normal form. (rewrite_add_phi_arguments): Don't use PHI_REWRITTEN. (rewrite_virtual_phi_arguments): Remove. (invalidate_name_tags): Remove. (register_new_update_single, register_new_update_set, rewrite_update_init_block, replace_use, rewrite_update_fini_block, rewrite_update_stmt, rewrite_update_phi_arguments): New. rewrite_blocks): Remove argument 'fix_virtual_phis'. Add arguments 'entry', 'what' and 'blocks'. Initialize the dominator walker according to 'what' and 'blocks'. Start the dominator walk at 'entry'. (mark_def_site_blocks): Add argument 'interesting_blocks'. Use it to configure the dominator walker. (rewrite_into_ssa): Remove argument 'all'. Make internal. (rewrite_all_into_ssa): Remove. (rewrite_def_def_chains): Remove. (mark_def_interesting, mark_use_interesting, prepare_phi_args_for_update, prepare_block_for_update, prepare_def_site_for, prepare_def_sites, dump_names_replaced_by, debug_names_replaced_by, dump_repl_tbl, debug_repl_tbl, init_update_ssa, delete_update_ssa, create_new_def_for, register_new_name_mapping, mark_sym_for_renaming, mark_set_for_renaming, need_ssa_update_p, name_registered_for_update_p, ssa_names_to_replace, release_ssa_name_after_update_ssa, insert_updated_phi_nodes_for, update_ssa): New. * tree-loop-linear.c (linear_transform_loops): Call update_ssa instead of rewrite_into_ssa. * tree-optimize.c (vars_to_rename): Remove. Update all users. (init_tree_optimization_passes): Replace pass_redundant_phi with pass_copy_prop. Add pass_vrp. Replace pass_ccp with pass_store_ccp. Add pass_store_copy_prop after pass_store_ccp. (execute_todo): If the TODO_ flags don't include updating the SSA form, assert that it does not need to be updated. Call update_ssa instead of rewrite_into_ssa and rewrite_def_def_chains. If TODO_verify_loops is set, call verify_loop_closed_ssa. (tree_rest_of_compilation): * tree-pass.h (TODO_dump_func, TODO_ggc_collect, TODO_verify_ssa, TODO_verify_flow, TODO_verify_stmts, TODO_cleanup_cfg): Renumber. (TODO_verify_loops, TODO_update_ssa, TODO_update_ssa_no_phi, TODO_update_ssa_full_phi, TODO_update_ssa_only_virtuals): Define. (pass_copy_prop, pass_store_ccp, pass_store_copy_prop, pass_vrp): Declare. * tree-phinodes.c (make_phi_node): Update documentation. (remove_all_phi_nodes_for): Remove. (find_phi_node_for): New. * tree-pretty-print.c (dump_generic_node): Handle ASSERT_EXPR. * tree-scalar-evolution.c (follow_ssa_edge_in_rhs): Likewise. (interpret_rhs_modify_expr): Likewise. * tree-sra.c (decide_instantiations): Mark all symbols in SRA_CANDIDATES for renaming. (mark_all_v_defs_1): Rename from mark_all_v_defs. (mark_all_v_defs): New function. Update all users to call it with the whole list of scalarized statements, not just the first one. * tree-ssa-alias.c (count_ptr_derefs): Make extern. (compute_flow_insensitive_aliasing): If the tag is unmodifiable and the variable isn't or vice-versa, don't make them alias of each other. (setup_pointers_and_addressables): If the type tag for VAR is about to change, mark the old one for renaming. (add_type_alias): New. * tree-ssa-ccp.c: Document SSA-CCP and STORE-CCP. (ccp_lattice_t): Rename from latticevalue. (value): Remove. Update all users. (const_val): New local variable. (do_store_ccp): New local variable. (dump_lattice_value): Handle UNINITIALIZED. (debug_lattice_value): New. (get_default_value): Re-write. (set_lattice_value): Re-write. (def_to_varying): Remove. Update all users. (likely_value): Return VARYING for statements that make stores when STORE_CCP is false. Return VARYING for any statement other than MODIFY_EXPR, COND_EXPR and SWITCH_EXPR. (ccp_initialize): Re-write. (replace_uses_in, replace_vuse_in, substitute_and_fold): Move to tree-ssa-propagate.c. (ccp_lattice_meet): Handle memory stores when DO_STORE_CCP is true. (ccp_visit_phi_node): Likewise. (ccp_fold): Likewise. (evaluate_stmt): Likewise. (visit_assignment): Likewise. (ccp_visit_stmt): Likewise. (execute_ssa_ccp): Add argument 'store_ccp'. Copy it into DO_STORE_CCP. (do_ssa_ccp): New. (pass_ccp): Use it. (do_ssa_store_ccp): New. (gate_store_ccp): New. (pass_store_ccp): Declare. * tree-ssa-copy.c: Include tree-ssa-propagate.h. (may_propagate_copy): Reformat. Don't abort if ORIG is a virtual and DEST isn't. If NEW does not have alias information but DEST does, copy it. (copy_of, cached_last_copy_of, do_store_copy_prop, enum copy_prop_kind, which_copy_prop): Declare. (stmt_may_generate_copy, get_copy_of_val, get_last_copy_of, set_copy_of_val, dump_copy_of, copy_prop_visit_assignment, copy_prop_visit_cond_stmt, copy_prop_visit_stmt, copy_prop_visit_phi_node, init_copy_prop, fini_copy_prop, execute_copy_prop, gate_copy_prop, do_copy_prop, gate_store_copy_prop, store_copy_prop): New. (pass_copy_prop, pass_store_copy_prop): Declare. * tree-ssa-dom.c (struct opt_stats_d): Add fields 'num_const_prop' and 'num_copy_prop'. (cprop_operand): Update them. (dump_dominator_optimization_stats): Dump them. (tree_ssa_dominator_optimize): Call update_ssa instead of rewrite_into_ssa. (loop_depth_of_name): Declare extern. (simplify_cond_and_lookup_avail_expr): Guard against NULL values for LOW or HIGH. (cprop_into_successor_phis): Only propagate if NEW != ORIG. (record_equivalences_from_stmt): Call expr_computes_nonzero. (cprop_operand): Only propagate if VAL != OP. * tree-ssa-dse.c (dse_optimize_stmt): Mark symbols in removed statement for renaming. * tree-ssa-loop-im.c (move_computations): Call update_ssa. * tree-ssa-loop-ivopts.c (rewrite_address_base): Call add_type_alias if necessary. Call mark_new_vars_to_rename. (tree_ssa_iv_optimize): If new symbols need to be renamed, mark every statement updated, call update_ssa and rewrite_into_loop_closed_ssa. * tree-ssa-loop-manip.c (add_exit_phis): Do not remove DEF_BB from LIVEIN if VAR is a virtual. * tree-ssa-loop.c (tree_loop_optimizer_init): Call update_ssa. * tree-ssa-operands.c (get_expr_operands): Handle ASSERT_EXPR. (get_call_expr_operands): Reformat statement. (add_stmt_operand): Don't create V_MAY_DEFs for read-only symbols. * tree-ssa-propagate.c (ssa_prop_init): Initialize SSA_NAME_VALUE for every name. (first_vdef, stmt_makes_single_load, stmt_makes_single_store, get_value_loaded_by): New. (replace_uses_in, replace_vuses_in, replace_phi_args_in, substitute_and_fold): Move from tree-ssa-ccp.c. * tree-ssa-propagate.h (struct prop_value_d, prop_value_t, first_vdef, stmt_makes_single_load, stmt_makes_single_store, get_value_loaded_by, replace_uses_in, substitute_and_fold): Declare. * tree-ssa.c (verify_use): Fix error message. (propagate_into_addr, replace_immediate_uses, get_eq_name, check_phi_redundancy, kill_redundant_phi_nodes, pass_redundant_phi): Remove. Update all users. * tree-vect-transform.c (vect_create_data_ref_ptr): Call add_type_alias, if necessary. * tree-vectorizer.h (struct _stmt_vect_info): Update documentation for field 'memtag'. * tree-vrp.c: New file. * tree.def (ASSERT_EXPR): Define. * tree.h (ASSERT_EXPR_VAR): Define. (ASSERT_EXPR_COND): Define. (SSA_NAME_VALUE_RANGE): Define. (struct tree_ssa_name): Add field 'value_range'. (PHI_REWRITTEN): Remove. (struct tree_phi_node): Remove field 'rewritten'. * doc/invoke.texi (-fdump-tree-storeccp, -ftree-copy-prop, -ftree-store-copy-prop): Document. * doc/tree-ssa.texi: Remove broken link to McCAT's compiler. Document usage of update_ssa. testsuite/ChangeLog * g++.dg/tree-ssa/pr18178.C: New test. * gcc.c-torture/execute/20030216-1.x: Ignore at -O1. * gcc.c-torture/execute/20041019-1.c: New test. * gcc.dg/tree-ssa/20041008-1.c: New test. * gcc.dg/tree-ssa/ssa-ccp-12.c: New test. * gcc.dg/tree-ssa/20030731-2.c: Update to use -fdump-tree-store_ccp. * gcc.dg/tree-ssa/20030917-1.c: Likewise. * gcc.dg/tree-ssa/20030917-3.c: Likewise. * gcc.dg/tree-ssa/20040721-1.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-1.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-2.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-3.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-7.c: Likewise. * gcc.dg/tree-ssa/ssa-ccp-9.c: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97884 138bc75d-0d04-0410-961f-82ee72b054a4
* * g++.dg/opt/nothrow1.C: Use cleanup-tree-dump.janis2005-03-319-6/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | g++.dg/tree-ssa/empty-1.C, g++.dg/tree-ssa/nothrow-1.C, g++.dg/tree-ssa/pointer-reference-alias.C, g++.dg/tree-ssa/pr15791-3.C, g++.dg/tree-ssa/pr15791-4.C, g++.dg/tree-ssa/pr15791-5.C, g++.dg/tree-ssa/ssa-cast-1.C g++.dg/tree-ssa/ssa-sra-1.C, g++.dg/tree-ssa/ssa-sra-2.C: Ditto g++.dg/vect/pr19951.cc: Ditto. * gcc.dg/builtins-43.c, gcc.dg/builtins-44.c, gcc.dg/builtins-45.c, gcc.dg/builtins-47.c: Ditto. * gcc.dg/pr15784-1.c, gcc.dg/pr15784-2.c, gcc.dg/pr15784-3.c, gcc.dg/pr20115-1.c: Ditto. * gcc.dg/tree-ssa/20030530-2.c, gcc.dg/tree-ssa/20030611-1.c, gcc.dg/tree-ssa/20030703-1.c, gcc.dg/tree-ssa/20030703-2.c, gcc.dg/tree-ssa/20030708-1.c, gcc.dg/tree-ssa/20030709-1.c, gcc.dg/tree-ssa/20030709-2.c, gcc.dg/tree-ssa/20030709-3.c, gcc.dg/tree-ssa/20030710-1.c, gcc.dg/tree-ssa/20030711-1.c, gcc.dg/tree-ssa/20030711-2.c, gcc.dg/tree-ssa/20030711-3.c, gcc.dg/tree-ssa/20030714-1.c, gcc.dg/tree-ssa/20030714-2.c, gcc.dg/tree-ssa/20030728-1.c, gcc.dg/tree-ssa/20030729-1.c, gcc.dg/tree-ssa/20030730-1.c, gcc.dg/tree-ssa/20030730-2.c, gcc.dg/tree-ssa/20030731-1.c, gcc.dg/tree-ssa/20030731-2.c, gcc.dg/tree-ssa/20030807-1.c, gcc.dg/tree-ssa/20030807-10.c, gcc.dg/tree-ssa/20030807-11.c, gcc.dg/tree-ssa/20030807-2.c, gcc.dg/tree-ssa/20030807-3.c, gcc.dg/tree-ssa/20030807-5.c, gcc.dg/tree-ssa/20030807-6.c, gcc.dg/tree-ssa/20030807-7.c, gcc.dg/tree-ssa/20030807-8.c, gcc.dg/tree-ssa/20030807-9.c, gcc.dg/tree-ssa/20030808-1.c, gcc.dg/tree-ssa/20030814-1.c, gcc.dg/tree-ssa/20030814-2.c, gcc.dg/tree-ssa/20030814-3.c, gcc.dg/tree-ssa/20030814-4.c, gcc.dg/tree-ssa/20030814-5.c, gcc.dg/tree-ssa/20030814-6.c, gcc.dg/tree-ssa/20030814-7.c, gcc.dg/tree-ssa/20030815-1.c, gcc.dg/tree-ssa/20030824-1.c, gcc.dg/tree-ssa/20030824-2.c, gcc.dg/tree-ssa/20030825-1.c, gcc.dg/tree-ssa/20030907-1.c, gcc.dg/tree-ssa/20030917-1.c, gcc.dg/tree-ssa/20030917-3.c, gcc.dg/tree-ssa/20030922-1.c, gcc.dg/tree-ssa/20030922-2.c, gcc.dg/tree-ssa/20031015-1.c, gcc.dg/tree-ssa/20031021-1.c, gcc.dg/tree-ssa/20031022-1.c, gcc.dg/tree-ssa/20031106-1.c, gcc.dg/tree-ssa/20031106-2.c, gcc.dg/tree-ssa/20031106-3.c, gcc.dg/tree-ssa/20031106-4.c, gcc.dg/tree-ssa/20031106-5.c, gcc.dg/tree-ssa/20031106-6.c, gcc.dg/tree-ssa/20031216-1.c, gcc.dg/tree-ssa/20040204-1.c, gcc.dg/tree-ssa/20040210-1.c, gcc.dg/tree-ssa/20040211-1.c, gcc.dg/tree-ssa/20040216-1.c, gcc.dg/tree-ssa/20040305-1.c, gcc.dg/tree-ssa/20040430-1.c, gcc.dg/tree-ssa/20040513-1.c, gcc.dg/tree-ssa/20040513-2.c, gcc.dg/tree-ssa/20040514-1.c, gcc.dg/tree-ssa/20040514-2.c, gcc.dg/tree-ssa/20040517-1.c, gcc.dg/tree-ssa/20040518-1.c, gcc.dg/tree-ssa/20040518-2.c, gcc.dg/tree-ssa/20040615-1.c, gcc.dg/tree-ssa/20040624-1.c, gcc.dg/tree-ssa/20040703-1.c, gcc.dg/tree-ssa/20040721-1.c, gcc.dg/tree-ssa/20040729-1.c, gcc.dg/tree-ssa/20040911-1.c, gcc.dg/tree-ssa/20041002-1.c, gcc.dg/tree-ssa/20041122-1.c, gcc.dg/tree-ssa/20050128-1.c, gcc.dg/tree-ssa/20050215-1.c, gcc.dg/tree-ssa/asm-1.c, gcc.dg/tree-ssa/asm-2.c, gcc.dg/tree-ssa/asm-3.c, gcc.dg/tree-ssa/cfgcleanup-1.c, gcc.dg/tree-ssa/complex-1.c, gcc.dg/tree-ssa/complex-2.c, gcc.dg/tree-ssa/copy-headers.c, gcc.dg/tree-ssa/ifc-20040816-1.c, gcc.dg/tree-ssa/ifc-20040816-2.c, gcc.dg/tree-ssa/inline_asm-1.c, gcc.dg/tree-ssa/inline_asm-2.c, gcc.dg/tree-ssa/loop-1.c, gcc.dg/tree-ssa/loop-2.c, gcc.dg/tree-ssa/loop-3.c, gcc.dg/tree-ssa/loop-4.c, gcc.dg/tree-ssa/loop-5.c, gcc.dg/tree-ssa/loop-6.c, gcc.dg/tree-ssa/loop-7.c, gcc.dg/tree-ssa/ltrans-1.c, gcc.dg/tree-ssa/ltrans-2.c, gcc.dg/tree-ssa/ltrans-3.c, gcc.dg/tree-ssa/ltrans-4.c, gcc.dg/tree-ssa/ltrans-5.c, gcc.dg/tree-ssa/pr15349.c, gcc.dg/tree-ssa/pr15791-3.c, gcc.dg/tree-ssa/pr15791-4.c, gcc.dg/tree-ssa/pr15791-5.c, gcc.dg/tree-ssa/pr16721.c, gcc.dg/tree-ssa/pr19633.c, gcc.dg/tree-ssa/sra-1.c, gcc.dg/tree-ssa/sra-2.c, gcc.dg/tree-ssa/sra-3.c, gcc.dg/tree-ssa/ssa-ccp-1.c, gcc.dg/tree-ssa/ssa-ccp-10.c, gcc.dg/tree-ssa/ssa-ccp-11.c, gcc.dg/tree-ssa/ssa-ccp-2.c, gcc.dg/tree-ssa/ssa-ccp-3.c, gcc.dg/tree-ssa/ssa-ccp-7.c, gcc.dg/tree-ssa/ssa-ccp-9.c, gcc.dg/tree-ssa/ssa-dce-1.c, gcc.dg/tree-ssa/ssa-dce-2.c, gcc.dg/tree-ssa/ssa-dce-3.c, gcc.dg/tree-ssa/ssa-dom-ccp-1.c, gcc.dg/tree-ssa/ssa-dom-cse-1.c, gcc.dg/tree-ssa/ssa-dom-thread-1.c, gcc.dg/tree-ssa/ssa-pre-1.c, gcc.dg/tree-ssa/ssa-pre-2.c, gcc.dg/tree-ssa/ssa-pre-3.c, gcc.dg/tree-ssa/ssa-pre-4.c, gcc.dg/tree-ssa/ssa-pre-5.c, gcc.dg/tree-ssa/ssa-pre-6.c, gcc.dg/tree-ssa/ssa-sink-1.c, gcc.dg/tree-ssa/ssa-sink-2.c, gcc.dg/tree-ssa/ssa-sink-3.c, gcc.dg/tree-ssa/ssa-sink-4.c, gcc.dg/tree-ssa/tailcall-1.c, gcc.dg/tree-ssa/tailcall-2.c, gcc.dg/tree-ssa/tailrecursion-1.c, gcc.dg/tree-ssa/tailrecursion-2.c, gcc.dg/tree-ssa/tailrecursion-3.c, gcc.dg/tree-ssa/tailrecursion-4.c, gcc.dg/tree-ssa/tailrecursion-5.c, gcc.dg/tree-ssa/useless-1.c: Ditto. gcc.dg/vect/pr16105.c, gcc.dg/vect/pr18308.c, gcc.dg/vect/pr18400.c, gcc.dg/vect/pr18425.c, gcc.dg/vect/pr18536.c, gcc.dg/vect/vect-1.c, gcc.dg/vect/vect-10.c, gcc.dg/vect/vect-11.c, gcc.dg/vect/vect-12.c, gcc.dg/vect/vect-13.c, gcc.dg/vect/vect-14.c, gcc.dg/vect/vect-15.c, gcc.dg/vect/vect-16.c, gcc.dg/vect/vect-17.c, gcc.dg/vect/vect-18.c, gcc.dg/vect/vect-19.c, gcc.dg/vect/vect-2.c, gcc.dg/vect/vect-20.c, gcc.dg/vect/vect-21.c, gcc.dg/vect/vect-22.c, gcc.dg/vect/vect-23.c, gcc.dg/vect/vect-24.c, gcc.dg/vect/vect-25.c, gcc.dg/vect/vect-26.c, gcc.dg/vect/vect-27.c, gcc.dg/vect/vect-28.c, gcc.dg/vect/vect-29.c, gcc.dg/vect/vect-3.c, gcc.dg/vect/vect-30.c, gcc.dg/vect/vect-31.c, gcc.dg/vect/vect-32.c, gcc.dg/vect/vect-33.c, gcc.dg/vect/vect-34.c, gcc.dg/vect/vect-35.c, gcc.dg/vect/vect-36.c, gcc.dg/vect/vect-37.c, gcc.dg/vect/vect-38.c, gcc.dg/vect/vect-4.c, gcc.dg/vect/vect-40.c, gcc.dg/vect/vect-41.c, gcc.dg/vect/vect-42.c, gcc.dg/vect/vect-43.c, gcc.dg/vect/vect-44.c, gcc.dg/vect/vect-45.c, gcc.dg/vect/vect-46.c, gcc.dg/vect/vect-47.c, gcc.dg/vect/vect-48.c, gcc.dg/vect/vect-49.c, gcc.dg/vect/vect-5.c, gcc.dg/vect/vect-50.c, gcc.dg/vect/vect-51.c, gcc.dg/vect/vect-52.c, gcc.dg/vect/vect-53.c, gcc.dg/vect/vect-54.c, gcc.dg/vect/vect-55.c, gcc.dg/vect/vect-56.c, gcc.dg/vect/vect-57.c, gcc.dg/vect/vect-58.c, gcc.dg/vect/vect-59.c, gcc.dg/vect/vect-6.c, gcc.dg/vect/vect-60.c, gcc.dg/vect/vect-61.c, gcc.dg/vect/vect-62.c, gcc.dg/vect/vect-63.c, gcc.dg/vect/vect-64.c, gcc.dg/vect/vect-65.c, gcc.dg/vect/vect-66.c, gcc.dg/vect/vect-67.c, gcc.dg/vect/vect-68.c, gcc.dg/vect/vect-69.c, gcc.dg/vect/vect-7.c, gcc.dg/vect/vect-70.c, gcc.dg/vect/vect-71.c, gcc.dg/vect/vect-72.c, gcc.dg/vect/vect-73.c, gcc.dg/vect/vect-74.c, gcc.dg/vect/vect-75.c, gcc.dg/vect/vect-76.c, gcc.dg/vect/vect-77.c, gcc.dg/vect/vect-78.c, gcc.dg/vect/vect-79.c, gcc.dg/vect/vect-8.c, gcc.dg/vect/vect-80.c, gcc.dg/vect/vect-82.c, gcc.dg/vect/vect-82_64.c, gcc.dg/vect/vect-83.c, gcc.dg/vect/vect-83_64.c, gcc.dg/vect/vect-85.c, gcc.dg/vect/vect-86.c, gcc.dg/vect/vect-87.c, gcc.dg/vect/vect-88.c, gcc.dg/vect/vect-89.c, gcc.dg/vect/vect-9.c, gcc.dg/vect/vect-96.c, gcc.dg/vect/vect-97.c, gcc.dg/vect/vect-98.c, gcc.dg/vect/vect-all.c, gcc.dg/vect/vect-none.c: Ditto. * treelang/compile/extrafunc.tree, treelang/compile/extravar.tree, treelang/compile/unsigned.tree: Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97342 138bc75d-0d04-0410-961f-82ee72b054a4
* * tree-sra.c (decide_block_copy): Disable scalarization of sub-elements.dpatel2005-03-311-0/+83
| | | | | | | * g++.dg/tree-sra/ssa-sra-3.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@97301 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-03-16 Daniel Berlin <dberlin@dberlin.org>dberlin2005-03-161-0/+22
| | | | | | | | | | Fix PR tree-optimization/20489 * tree-ssa-alias.c (push_fields_onto_fieldstack): DTRT for empty structures. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@96562 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-03-14 Daniel Berlin <dberlin@dberlin.org>dberlin2005-03-151-0/+37
| | | | | | | | | | | | | | | | Fix PR tree-optimization/20458 * tree-flow-inline.h (mark_call_clobbered): Don't fiddle DECL_EXTERNAL on STRUCT_FIELD tags. (clear_call_clobbered): Ditto. * tree-ssa-operands.c (note_addressable): Make sure the original variable doesn't slip into the addressable list if we have subvars. * tree-tailcall.c (suitable_for_tail_opt_p): Look at STRUCT_FIELD tags too. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@96462 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ChangeLog:aoliva2005-03-141-0/+63
| | | | | | | | | | | | | | PR c++/20280 * gimplify.c (gimplify_cond_expr): Add fallback argument. Use a temporary variable of pointer type if an lvalues is required. (gimplify_modify_expr_rhs): Request an rvalue from it. (gimplify_expr): Pass fallback on. gcc/testsuite/ChangeLog: PR c++/20280 * g++.dg/tree-ssa/pr20280.C: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@96444 138bc75d-0d04-0410-961f-82ee72b054a4
* PR 19952dpatel2005-02-231-0/+24
| | | | | | | | | * tree-if-conv.c (process_phi_nodes): Use bsi_after_labels and skip all labels * g++.dg/tree-ssa/pr19952.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@95430 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/ChangeLog:aoliva2005-02-221-0/+48
| | | | | | | | | | | | PR tree-optimization/19786 * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add one tag to another's may-alias bitmap when adding to the other's list. gcc/testsuite/ChangeLog: PR tree-optimization/19786 * g++.dg/tree-ssa/pr19786.C: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@95377 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-02-09 Richard Guenther <rguenth@gcc.gnu.org>rguenth2005-02-091-0/+7
| | | | | | | | | | | | * fold-const.c (try_move_mult_to_index): Remove redundant type argument. Create ADDR_EXPR with correct type. (fold): Update callers of try_move_mult_to_index. Convert result to the appropriate type. * g++.dg/tree-ssa/tmmti.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@94767 138bc75d-0d04-0410-961f-82ee72b054a4
* 2005-01-29 Richard Guenther <richard.guenther@uni-tuebingen.de>sayle2005-01-295-0/+77
| | | | | | | | | | | | | | | | | | | | | PR tree-optimization/15791 * fold-const.c (extract_array_ref): New function. (fold): Fold comparisons between &a[i] and &a[j] or semantically equivalent trees. * gcc.dg/tree-ssa/pr15791-1.c: New testcase. * gcc.dg/tree-ssa/pr15791-2.c: Likewise. * gcc.dg/tree-ssa/pr15791-3.c: Likewise. * gcc.dg/tree-ssa/pr15791-4.c: Likewise. * gcc.dg/tree-ssa/pr15791-5.c: Likewise. * g++.dg/tree-ssa/pr15791-1.C: Likewise. * g++.dg/tree-ssa/pr15791-2.C: Likewise. * g++.dg/tree-ssa/pr15791-3.C: Likewise. * g++.dg/tree-ssa/pr15791-4.C: Likewise. * g++.dg/tree-ssa/pr15791-5.C: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@94414 138bc75d-0d04-0410-961f-82ee72b054a4
* * builtins.c (get_pointer_alignment, gimplify_va_arg_expr,jakub2005-01-241-0/+13
| | | | | | | | | | | | expand_builtin_printf, expand_builtin_fprintf, expand_builtin_sprintf): Use POINTER_TYPE_P instead TREE_CODE checking against POINTER_TYPE. (validate_arglist): Handle POINTER_TYPE code by checking POINTER_TYPE_P. * g++.dg/tree-ssa/empty-1.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@94147 138bc75d-0d04-0410-961f-82ee72b054a4
* Test case for PR 17517amacleod2004-09-241-0/+32
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@88050 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud