diff options
| author | Zdenek Dvorak <dvorakz@suse.cz> | 2007-05-24 18:09:26 +0200 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2007-05-24 16:09:26 +0000 |
| commit | bbc8a8dc0d4019bc7cc9f4e66f067b3d0380a487 (patch) | |
| tree | efa71ea8cb7294c745a8a90f9749d81cacc971df /gcc/tree-flow.h | |
| parent | 956741d54f125ca2fd4253b0fa261c023182d330 (diff) | |
| download | gcc-bbc8a8dc0d4019bc7cc9f4e66f067b3d0380a487.zip gcc-bbc8a8dc0d4019bc7cc9f4e66f067b3d0380a487.tar.gz gcc-bbc8a8dc0d4019bc7cc9f4e66f067b3d0380a487.tar.bz2 | |
passes.texi: Document predictive commoning.
* doc/passes.texi: Document predictive commoning.
* doc/invoke.texi (-fpredictive-commoning): Document.
* opts.c (decode_options): Enable flag_predictive_commoning on -O3.
* tree-ssa-loop-im.c (get_lsm_tmp_name): Export. Allow
adding indices to the generated name.
(schedule_sm): Pass 0 to get_lsm_tmp_name.
* tree-ssa-loop-niter.c (stmt_dominates_stmt_p): Export.
* tree-pretty-print.c (op_symbol_1): Renamed to ...
(op_symbol_code): ... and exported.
(dump_omp_clause, op_symbol): Use op_symbol_code
instead of op_symbol_1.
* tree-pass.h (pass_predcom): Declare.
* timevar.def (TV_PREDCOM): New timevar.
* tree-ssa-loop.c (run_tree_predictive_commoning,
gate_tree_predictive_commoning, pass_predcom): New.
* tree-data-ref.c (find_data_references_in_loop): Find the
references in dominance order.
(canonicalize_base_object_address): Ensure that the result has
pointer type.
(dr_analyze_innermost): Export.
(create_data_ref): Code to fail for references with invariant
address moved ...
(find_data_references_in_stmt): ... here.
* tree-data-ref.h (dr_analyze_innermost): Declare.
* tree-affine.c: Include tree-gimple.h and hashtab.h.
(aff_combination_find_elt, name_expansion_hash,
name_expansion_eq, tree_to_aff_combination_expand,
double_int_constant_multiple_p, aff_combination_constant_multiple_p):
New functions.
* tree-affine.h (aff_combination_constant_multiple_p,
tree_to_aff_combination_expand): Declare.
* tree-predcom.c: New file.
* common.opt (fpredictive-commoning): New option.
* tree-flow.h (op_symbol_code, tree_predictive_commoning,
stmt_dominates_stmt_p, get_lsm_tmp_name): Declare.
* Makefile.in (tree-predcom.o): Add.
(tree-affine.o): Add TREE_GIMPLE_H dependency.
* passes.c (init_optimization_passes): Add dceloop after
copy propagation in loop optimizer. Add predictive commoning
to loop optimizer passes.
* gcc.dg/tree-ssa/predcom-1.c: New test.
* gcc.dg/tree-ssa/predcom-2.c: New test.
* gcc.dg/tree-ssa/predcom-3.c: New test.
* gcc.dg/tree-ssa/predcom-4.c: New test.
* gcc.dg/tree-ssa/predcom-5.c: New test.
* gcc.dg/vect/dump-tree-dceloop-pr26359.c: Test dceloop2 dumps.
From-SVN: r125030
Diffstat (limited to 'gcc/tree-flow.h')
| -rw-r--r-- | gcc/tree-flow.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index 156ae13..40e8049 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -786,6 +786,7 @@ extern bool cleanup_tree_cfg_loop (void); /* In tree-pretty-print.c. */ extern void dump_generic_bb (FILE *, basic_block, int, int); +extern const char *op_symbol_code (enum tree_code); /* In tree-dfa.c */ extern var_ann_t create_var_ann (tree); @@ -972,6 +973,7 @@ unsigned int tree_unroll_loops_completely (bool); unsigned int tree_ssa_prefetch_arrays (void); unsigned int remove_empty_loops (void); void tree_ssa_iv_optimize (void); +void tree_predictive_commoning (void); bool number_of_iterations_exit (struct loop *, edge, struct tree_niter_desc *niter, bool); @@ -1017,6 +1019,7 @@ void tree_transform_and_unroll_loop (struct loop *, unsigned, edge, struct tree_niter_desc *, transform_callback, void *); bool contains_abnormal_ssa_name_p (tree); +bool stmt_dominates_stmt_p (tree, tree); /* In tree-ssa-threadedge.c */ extern bool potentially_threadable_block (basic_block); @@ -1034,6 +1037,7 @@ enum move_pos MOVE_POSSIBLE /* Unlimited movement. */ }; extern enum move_pos movement_possibility (tree); +char *get_lsm_tmp_name (tree, unsigned); /* The reasons a variable may escape a function. */ enum escape_type |