aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-ssa-structalias.c25
2 files changed, 16 insertions, 14 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3f098bf..cba8137 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2006-12-05 Daniel Berlin <dberlin@dberlin.org>
+
+ * tree-ssa-structalias.c (set_used_smts): Re-fix pr29156.
+ Optimize to avoid marking more SMT's as used when they aren't.
+
2006-12-05 Eric Christopher <echristo@apple.com>
* config/i386/i386.c (x86_output_aligned_bss): Move out
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 99deb41..6bd5d6f 100644
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -3894,15 +3894,21 @@ set_used_smts (void)
unsigned int j;
var_ann_t va;
struct ptr_info_def *pi = NULL;
-
- if (TREE_CODE (vi->decl) == SSA_NAME)
+
+ /* For parm decls, the pointer info may be under the default
+ def. */
+ if (TREE_CODE (vi->decl) == PARM_DECL
+ && gimple_default_def (cfun, var))
+ pi = SSA_NAME_PTR_INFO (gimple_default_def (cfun, var));
+ else if (TREE_CODE (var) == SSA_NAME)
pi = SSA_NAME_PTR_INFO (var);
/* Skip the special variables and those without their own
solution set. */
if (vi->is_special_var || vi->node != vi->id || !SSA_VAR_P (var)
|| (pi && !pi->is_dereferenced)
- || (DECL_P (var) && !may_be_aliased (var)))
+ || (TREE_CODE (var) == VAR_DECL && !may_be_aliased (var))
+ || !POINTER_TYPE_P (TREE_TYPE (var)))
continue;
if (TREE_CODE (var) == SSA_NAME)
@@ -3913,17 +3919,8 @@ set_used_smts (void)
continue;
smt = va->symbol_mem_tag;
- if (smt)
- {
- EXECUTE_IF_SET_IN_BITMAP (vi->solution, 0, j, bi)
- {
- if (get_varinfo (j)->is_artificial_var)
- {
- bitmap_set_bit (used_smts, DECL_UID (smt));
- break;
- }
- }
- }
+ if (smt && bitmap_bit_p (vi->solution, anything_id))
+ bitmap_set_bit (used_smts, DECL_UID (smt));
}
}