diff options
| author | Jan Hubicka <jh@suse.cz> | 2007-04-09 00:12:21 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2007-04-08 22:12:21 +0000 |
| commit | c586d32a1e2cc9997c4c9a05f08a33436710559d (patch) | |
| tree | d155309522eafe8f8aa9080b7fa88971868cdef3 /gcc | |
| parent | 136cdb2250cf60a040cd419c51e9850415ec511c (diff) | |
| download | gcc-c586d32a1e2cc9997c4c9a05f08a33436710559d.zip gcc-c586d32a1e2cc9997c4c9a05f08a33436710559d.tar.gz gcc-c586d32a1e2cc9997c4c9a05f08a33436710559d.tar.bz2 | |
tree.h (maybe_fold_offset_to_component_ref): Declare.
* tree.h (maybe_fold_offset_to_component_ref): Declare.
* tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
* fold-const.c (fold_unary): Use it.
* gcc.dg/tree-ssa/foldaddr-2.c: New file.
From-SVN: r123664
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/foldaddr-2.c | 13 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 2 | ||||
| -rw-r--r-- | gcc/tree.h | 2 |
6 files changed, 33 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 16cdc68..6542dc8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-04-08 Jan Hubicka <jh@suse.cz> + + * tree.h (maybe_fold_offset_to_component_ref): Declare. + * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export. + * fold-const.c (fold_unary): Use it. + 2007-04-08 Andrew Pinski <andrew_pinski@playstation.sony.com> * varasm.c (assemble_variable): Remove call to diff --git a/gcc/fold-const.c b/gcc/fold-const.c index a8b6f34..ceaa446 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -7735,6 +7735,13 @@ fold_unary (enum tree_code code, tree type, tree op0) return fold_convert (type, build_fold_addr_expr (base)); } + /* Convert (type *)&A into &A->field_of_type_and_offset_0. */ + if (TREE_CODE (op0) == ADDR_EXPR && POINTER_TYPE_P (type) + && (tem = maybe_fold_offset_to_component_ref + (TREE_TYPE (TREE_OPERAND (op0, 0)), TREE_OPERAND (op0, 0), + integer_zero_node, TREE_TYPE (type), false))) + return build_fold_addr_expr_with_type (tem, type); + if ((TREE_CODE (op0) == MODIFY_EXPR || TREE_CODE (op0) == GIMPLE_MODIFY_STMT) && TREE_CONSTANT (GENERIC_TREE_OPERAND (op0, 1)) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ace71ca..64c6cf6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2007-04-08 Jan Hubicka <jh@suse.cz> + + * gcc.dg/tree-ssa/foldaddr-2.c: New file. + 2007-04-07 Paul Thomas <pault@gcc.gnu.org> PR fortran/31257 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/foldaddr-2.c b/gcc/testsuite/gcc.dg/tree-ssa/foldaddr-2.c new file mode 100644 index 0000000..dc764c3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/foldaddr-2.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fdump-tree-optimized" } */ +struct a{ + int a; + int b; +} a; +int * +t() +{ + return (int *)&a; +} +/* { dg-final { scan-tree-dump "a.a" "optimized"} } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index b5adbd9..ebf2708 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -1643,7 +1643,7 @@ maybe_fold_offset_to_array_ref (tree base, tree offset, tree orig_type) is the desired result type. */ /* ??? This doesn't handle class inheritance. */ -static tree +tree maybe_fold_offset_to_component_ref (tree record_type, tree base, tree offset, tree orig_type, bool base_is_ptr) { @@ -4412,6 +4412,8 @@ extern void fold_defer_overflow_warnings (void); extern void fold_undefer_overflow_warnings (bool, tree, int); extern void fold_undefer_and_ignore_overflow_warnings (void); extern bool fold_deferring_overflow_warnings_p (void); +extern tree maybe_fold_offset_to_component_ref (tree, tree, tree, + tree, bool); extern tree force_fit_type_double (tree, unsigned HOST_WIDE_INT, HOST_WIDE_INT, int, bool); |