diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/tree-dfa.c | 7 | ||||
| -rw-r--r-- | gcc/tree-ssa-copy.c | 7 | ||||
| -rw-r--r-- | gcc/tree-ssa-live.c | 7 |
4 files changed, 22 insertions, 7 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 65f194a..09103da 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,13 @@ 2012-08-07 Richard Guenther <rguenther@suse.de> + * tree-dfa.c (set_ssa_default_def): Clear the SSA_NAME_DEFAULT_DEF + bit of the old name when we clear the slot. + * tree-ssa-live.c (remove_unused_locals): Release any default + def associated with an unused var. + * tree-ssa-copy.c (may_propagate_copy_into_asm): Always return true. + +2012-08-07 Richard Guenther <rguenther@suse.de> + * tree-into-ssa.c (rewrite_stmt): Remove clobbers for variables we rewrite into SSA form. (rewrite_enter_block): Adjust. diff --git a/gcc/tree-dfa.c b/gcc/tree-dfa.c index 12bb577..5342f19 100644 --- a/gcc/tree-dfa.c +++ b/gcc/tree-dfa.c @@ -336,7 +336,10 @@ set_ssa_default_def (struct function *fn, tree var, tree def) loc = htab_find_slot_with_hash (DEFAULT_DEFS (fn), &in, DECL_UID (var), NO_INSERT); if (*loc) - htab_clear_slot (DEFAULT_DEFS (fn), loc); + { + SSA_NAME_IS_DEFAULT_DEF (*(tree *)loc) = false; + htab_clear_slot (DEFAULT_DEFS (fn), loc); + } return; } gcc_assert (TREE_CODE (def) == SSA_NAME && SSA_NAME_VAR (def) == var); @@ -349,7 +352,7 @@ set_ssa_default_def (struct function *fn, tree var, tree def) /* Mark DEF as the default definition for VAR. */ *(tree *) loc = def; - SSA_NAME_IS_DEFAULT_DEF (def) = true; + SSA_NAME_IS_DEFAULT_DEF (def) = true; } /* Retrieve or create a default definition for VAR. */ diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c index 7686dda..c5fe156 100644 --- a/gcc/tree-ssa-copy.c +++ b/gcc/tree-ssa-copy.c @@ -137,12 +137,9 @@ may_propagate_copy_into_stmt (gimple dest, tree orig) /* Similarly, but we know that we're propagating into an ASM_EXPR. */ bool -may_propagate_copy_into_asm (tree dest) +may_propagate_copy_into_asm (tree dest ATTRIBUTE_UNUSED) { - /* Hard register operands of asms are special. Do not bypass. */ - return !(TREE_CODE (dest) == SSA_NAME - && TREE_CODE (SSA_NAME_VAR (dest)) == VAR_DECL - && DECL_HARD_REGISTER (SSA_NAME_VAR (dest))); + return true; } diff --git a/gcc/tree-ssa-live.c b/gcc/tree-ssa-live.c index 903faa9..3edda1e 100644 --- a/gcc/tree-ssa-live.c +++ b/gcc/tree-ssa-live.c @@ -798,9 +798,16 @@ remove_unused_locals (void) { if (!is_used_p (var)) { + tree def; if (cfun->nonlocal_goto_save_area && TREE_OPERAND (cfun->nonlocal_goto_save_area, 0) == var) cfun->nonlocal_goto_save_area = NULL; + /* Release any default def associated with var. */ + if ((def = ssa_default_def (cfun, var)) != NULL_TREE) + { + set_ssa_default_def (cfun, var, NULL_TREE); + release_ssa_name (def); + } continue; } } |