From fe1f8f442ef9952650c38ae0383498d41965775c Mon Sep 17 00:00:00 2001 From: Daniel Berlin Date: Sat, 25 Mar 2006 19:17:26 +0000 Subject: re PR tree-optimization/26804 (Alias Time explosion) 2006-03-25 Daniel Berlin 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 --- gcc/tree.h | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'gcc/tree.h') diff --git a/gcc/tree.h b/gcc/tree.h index 04fe738..27f4b0f 100644 --- a/gcc/tree.h +++ b/gcc/tree.h @@ -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 -- cgit v1.1