From b0a3412c466ef89b925f4754f27b5b0af9d82989 Mon Sep 17 00:00:00 2001 From: Glen Nakamura Date: Mon, 7 Apr 2003 22:57:41 +0000 Subject: [PATCH] re PR rtl-optimization/8634 (incorrect code for inlining of memcpy under -O2) PR opt/8634 * explow.c (maybe_set_unchanging): Don't flag non-static const aggregate type initializers with RTX_UNCHANGING_P. From-SVN: r65352 --- gcc/ChangeLog | 6 ++++++ gcc/explow.c | 12 +++++++++++- 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b3cf6563425..ac37bd265e8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2003-04-07 Glen Nakamura + + PR opt/8634 + * explow.c (maybe_set_unchanging): Don't flag non-static const + aggregate type initializers with RTX_UNCHANGING_P. + 2003-04-07 Richard Henderson PR opt/8634 diff --git a/gcc/explow.c b/gcc/explow.c index 50556e8d6bf..9ed034eb1a9 100644 --- a/gcc/explow.c +++ b/gcc/explow.c @@ -657,8 +657,18 @@ maybe_set_unchanging (ref, t) /* We can set RTX_UNCHANGING_P from TREE_READONLY for decls whose initialization is only executed once, or whose initializer always has the same value. Currently we simplify this to PARM_DECLs in the - first case, and decls with TREE_CONSTANT initializers in the second. */ + first case, and decls with TREE_CONSTANT initializers in the second. + + We cannot do this for non-static aggregates, because of the double + writes that can be generated by store_constructor, depending on the + contents of the initializer. Yes, this does eliminate a good fraction + of the number of uses of RTX_UNCHANGING_P for a language like Ada. + It also eliminates a good quantity of bugs. Let this be incentive to + eliminate RTX_UNCHANGING_P entirely in favour of a more reliable + solution, perhaps based on alias sets. */ + if ((TREE_READONLY (t) && DECL_P (t) + && (TREE_STATIC (t) || ! AGGREGATE_TYPE_P (TREE_TYPE (t))) && (TREE_CODE (t) == PARM_DECL || (DECL_INITIAL (t) && TREE_CONSTANT (DECL_INITIAL (t))))) || TREE_CODE_CLASS (TREE_CODE (t)) == 'c') -- 2.30.2