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.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.h')
| -rw-r--r-- | gcc/tree.h | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -2486,6 +2486,12 @@ struct tree_struct_field_tag GTY(()) #define DECL_COMPLEX_GIMPLE_REG_P(DECL) \ DECL_COMMON_CHECK (DECL)->decl_common.gimple_reg_flag +/* This is true if DECL is call clobbered in the current function. + The result of this flag should always be the same as + bitmap_bit_p (call_clobbered_vars, DECL_UID (decl)). */ +#define DECL_CALL_CLOBBERED(DECL) \ + DECL_COMMON_CHECK (DECL)->decl_common.call_clobbered_flag + struct tree_decl_common GTY(()) { struct tree_decl_minimal common; @@ -2523,9 +2529,10 @@ struct tree_decl_common GTY(()) /* In FIELD_DECL, this is DECL_NONADDRESSABLE_P In VAR_DECL and PARM_DECL, this is DECL_HAS_VALUE_EXPR. */ unsigned decl_flag_3 : 1; - /* Logically, this would go in a theoretical base shared by var and parm - decl. */ + /* Logically, these two would go in a theoretical base shared by var and + parm decl. */ unsigned gimple_reg_flag : 1; + unsigned call_clobbered_flag : 1; union tree_decl_u1 { /* In a FUNCTION_DECL for which DECL_BUILT_IN holds, this is |