diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2007-07-07 03:25:29 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2007-07-07 03:25:29 +0000 |
| commit | e9bd9cf340129729a451df77baee39f5b2978226 (patch) | |
| tree | 24aed28d0f9be6fc1f86cf8db9b21c0fc8d53291 /gcc/tree-flow-inline.h | |
| parent | 3673b8ca2b37955838b1c238ba9f70c2a30ac298 (diff) | |
| download | gcc-e9bd9cf340129729a451df77baee39f5b2978226.tar.gz | |
re PR middle-end/23488 (GCSE load PRE does not work with non sets (or missing load PRE with plain decls))
2007-07-06 Daniel Berlin <dberlin@dberlin.org>
Fix PR tree-optimization/23488
* tree-ssa-sccvn.c (expr_has_constants): Handle tcc_declaration.
(try_to_simplify): Ditto.
(visit_use): Ditto.
* tree-vn.c (set_value_handle): Use decl_vh_map for decl value
handles.
* tree-flow-inline.h (get_value_handle): Ditto.
* tree-ssa-pre.c (decl_vh_map): New.
(decl_node_pool): New.
(can_value_number_operation): Support DECL_P.
(can_PRE_operation): Ditto.
(create_expression_by_pieces): Ditto.
(find_existing_value_expr): Modify to differnetiate between
addressing and top level.
(create_value_handle_for_expr): Handle DECL's.
(poolify_tree): Ditto.
(make_values_for_phi): Don't insert into PHI_GEN during FRE.
(make_values_for_stmt): Handle DECL's properly.
(init_pre): Reorg to not init useless things during FRE.
(fini_pre): Ditto.
* tree-flow.h: Include pointer-set.h.
(decl_vh_map): Declare.
* Makefile.in (TREE_FLOW_H): Add pointer-set.h
From-SVN: r126434
Diffstat (limited to 'gcc/tree-flow-inline.h')
| -rw-r--r-- | gcc/tree-flow-inline.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/tree-flow-inline.h b/gcc/tree-flow-inline.h index cb2f6558943..2ab4a5ec1c8 100644 --- a/gcc/tree-flow-inline.h +++ b/gcc/tree-flow-inline.h @@ -1792,12 +1792,20 @@ get_value_handle (tree expr) { if (TREE_CODE (expr) == SSA_NAME) return SSA_NAME_VALUE (expr); - else if (DECL_P (expr) || TREE_CODE (expr) == TREE_LIST + else if (TREE_CODE (expr) == TREE_LIST || TREE_CODE (expr) == CONSTRUCTOR) { tree_ann_common_t ann = tree_common_ann (expr); return ((ann) ? ann->value_handle : NULL_TREE); } + else if (DECL_P (expr)) + { + tree *result = (tree *)pointer_map_contains (decl_vh_map, + expr); + if (result) + return *result; + return NULL_TREE; + } else if (is_gimple_min_invariant (expr)) return expr; else if (EXPR_P (expr)) |