diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2006-03-25 19:17:26 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2006-03-25 19:17:26 +0000 |
| commit | fe1f8f442ef9952650c38ae0383498d41965775c (patch) | |
| tree | 224a37b6b651b721ab029a9a7063751f561e976e /gcc/tree-flow-inline.h | |
| parent | 1d8b38a080f6862c5e0e1f407851e9b73c622e33 (diff) | |
| download | gcc-fe1f8f442ef9952650c38ae0383498d41965775c.zip gcc-fe1f8f442ef9952650c38ae0383498d41965775c.tar.gz gcc-fe1f8f442ef9952650c38ae0383498d41965775c.tar.bz2 | |
re PR tree-optimization/26804 (Alias Time explosion)
2006-03-25 Daniel Berlin <dberlin@dberlin.org>
PR tree-optimization/26804
* tree.h (DECL_CALL_CLOBBERED): New macro.
(tree_decl_common): Add call_clobbered_flag.
* tree-flow-inline.h (is_call_clobbered): Use DECL_CALL_CLOBBERED.
(mark_call_clobbered): Set DECL_CALL_CLOBBERED.
(clear_call_clobbered): Clear DECL_CALL_CLOBBERED.
(mark_non_addressable): Ditto.
* tree-ssa.c (verify_call_clobbered): New function.
(verify_alias_info): Use it.
* tree-pass.h (pass_reset_cc_flags): New prototype.
* tree-ssa-alias.c (pass_reset_cc_flags): New structure.
(reset_cc_flags): New function.
* passes.c (init_optimization_passes): Call reset_cc_flags after
initializing referenced_vars.
From-SVN: r112380
Diffstat (limited to 'gcc/tree-flow-inline.h')
| -rw-r--r-- | gcc/tree-flow-inline.h | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/tree-flow-inline.h b/gcc/tree-flow-inline.h index 6a37b86..f83c89c 100644 --- a/gcc/tree-flow-inline.h +++ b/gcc/tree-flow-inline.h @@ -821,7 +821,10 @@ loop_containing_stmt (tree stmt) static inline bool is_call_clobbered (tree var) { - return bitmap_bit_p (call_clobbered_vars, DECL_UID (var)); + if (!MTAG_P (var)) + return DECL_CALL_CLOBBERED (var); + else + return bitmap_bit_p (call_clobbered_vars, DECL_UID (var)); } /* Mark variable VAR as being clobbered by function calls. */ @@ -829,6 +832,8 @@ static inline void mark_call_clobbered (tree var, unsigned int escape_type) { var_ann (var)->escape_mask |= escape_type; + if (!MTAG_P (var)) + DECL_CALL_CLOBBERED (var) = true; bitmap_set_bit (call_clobbered_vars, DECL_UID (var)); } @@ -840,6 +845,8 @@ clear_call_clobbered (tree var) ann->escape_mask = 0; if (MTAG_P (var) && TREE_CODE (var) != STRUCT_FIELD_TAG) MTAG_GLOBAL (var) = 0; + if (!MTAG_P (var)) + DECL_CALL_CLOBBERED (var) = false; bitmap_clear_bit (call_clobbered_vars, DECL_UID (var)); } @@ -847,6 +854,8 @@ clear_call_clobbered (tree var) static inline void mark_non_addressable (tree var) { + if (!MTAG_P (var)) + DECL_CALL_CLOBBERED (var) = false; bitmap_clear_bit (call_clobbered_vars, DECL_UID (var)); TREE_ADDRESSABLE (var) = 0; } |