diff options
| author | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-12-01 17:25:10 +0000 |
|---|---|---|
| committer | spop <spop@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-12-01 17:25:10 +0000 |
| commit | 8c6b37744a69cb361ae71208dfb6276abcfe11e0 (patch) | |
| tree | 31b829048b2061334b2835044bc650e65ff4bcb6 /gcc/sese.h | |
| parent | 3ac4f8215c251e6854fac095240be819dad8fe5d (diff) | |
| download | gcc-8c6b37744a69cb361ae71208dfb6276abcfe11e0.tar.gz | |
Postpone the rewrite out of SSA to the end of the translation to polyhedral representation.
2010-11-22 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/45297
* graphite-poly.c (new_poly_bb): Returns a poly_bb_p. Do not take
the reduction bool in parameter. Clear PBB_IS_REDUCTION. Set GBB_PBB.
* graphite-poly.h (new_poly_bb): Update declaration.
(gbb_from_bb): Moved here...
(pbb_from_bb): New.
* graphite-sese-to-poly.c (var_used_in_not_loop_header_phi_node):
Removed.
(graphite_stmt_p): Removed.
(try_generate_gimple_bb): Returns a gimple_bb_p. Do not pass in
sbitmap reductions. Always build a gimple_bb_p. Do not call
new_poly_bb.
(build_scop_bbs_1): Do not pass in sbitmap reductions.
(build_scop_bbs): Same.
(gbb_from_bb): ... from here.
(add_conditions_to_constraints): Moved up.
(analyze_drs): New.
(build_scop_drs): Call analyze_drs. Remove all the PBBs that do
not contain data references.
(new_pbb_from_pbb): New.
(insert_out_of_ssa_copy_on_edge): Call new_pbb_from_pbb after a
block is split.
(rewrite_close_phi_out_of_ssa): Update call to
insert_out_of_ssa_copy_on_edge.
(rewrite_reductions_out_of_ssa): Now static.
(rewrite_cross_bb_scalar_deps_out_of_ssa): Same.
(split_pbb): New.
(split_reduction_stmt): Call split_pbb.
(translate_scalar_reduction_to_array): Pass in the scop, do not
pass in the sbitmap reductions.
(rewrite_commutative_reductions_out_of_ssa_close_phi): Same.
(rewrite_commutative_reductions_out_of_ssa_loop): Same.
(rewrite_commutative_reductions_out_of_ssa): Same.
(build_poly_scop): Call build_scop_bbs,
rewrite_commutative_reductions_out_of_ssa,
rewrite_reductions_out_of_ssa, and
rewrite_cross_bb_scalar_deps_out_of_ssa. Move build_scop_drs
before scop_to_lst.
* graphite-sese-to-poly.h (rewrite_commutative_reductions_out_of_ssa):
Removed declaration.
(rewrite_reductions_out_of_ssa): Same.
(rewrite_cross_bb_scalar_deps_out_of_ssa): Same.
(build_scop_bbs): Same.
* graphite.c (graphite_transform_loops): Do not initialize reductions.
Do not call build_scop_bbs,
rewrite_commutative_reductions_out_of_ssa,
rewrite_reductions_out_of_ssa, and
rewrite_cross_bb_scalar_deps_out_of_ssa.
* sese.h (struct gimple_bb): Add field pbb.
(GBB_PBB): New.
* gcc.dg/graphite/pr45297.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@167348 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/sese.h')
| -rw-r--r-- | gcc/sese.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/sese.h b/gcc/sese.h index 61f3a17b9b7..10bf874a174 100644 --- a/gcc/sese.h +++ b/gcc/sese.h @@ -312,6 +312,7 @@ recompute_all_dominators (void) typedef struct gimple_bb { basic_block bb; + struct poly_bb *pbb; /* Lists containing the restrictions of the conditional statements dominating this bb. This bb can only be executed, if all conditions @@ -338,10 +339,11 @@ typedef struct gimple_bb VEC (data_reference_p, heap) *data_refs; } *gimple_bb_p; -#define GBB_BB(GBB) GBB->bb -#define GBB_DATA_REFS(GBB) GBB->data_refs -#define GBB_CONDITIONS(GBB) GBB->conditions -#define GBB_CONDITION_CASES(GBB) GBB->condition_cases +#define GBB_BB(GBB) (GBB)->bb +#define GBB_PBB(GBB) (GBB)->pbb +#define GBB_DATA_REFS(GBB) (GBB)->data_refs +#define GBB_CONDITIONS(GBB) (GBB)->conditions +#define GBB_CONDITION_CASES(GBB) (GBB)->condition_cases /* Return the innermost loop that contains the basic block GBB. */ |