diff options
| author | Roger Sayle <roger@eyesopen.com> | 2003-04-23 02:47:41 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2003-04-23 02:47:41 +0000 |
| commit | c57ddcf1b4642ffda115ac5fedf1088ac891d47d (patch) | |
| tree | 91849aee7f2d1f354083ade4bbcfcb7269367bd8 /gcc/alias.c | |
| parent | c1a19acbfd17a67e79e71cc0d617ba804f0d15d1 (diff) | |
| download | gcc-c57ddcf1b4642ffda115ac5fedf1088ac891d47d.zip gcc-c57ddcf1b4642ffda115ac5fedf1088ac891d47d.tar.gz gcc-c57ddcf1b4642ffda115ac5fedf1088ac891d47d.tar.bz2 | |
alias.c (mark_constant_function): Check for constancy and purity even of void functions.
* alias.c (mark_constant_function): Check for constancy and
purity even of void functions. Update both the function decl
and the cgraph RTL info with the results.
From-SVN: r65981
Diffstat (limited to 'gcc/alias.c')
| -rw-r--r-- | gcc/alias.c | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/gcc/alias.c b/gcc/alias.c index 49b53c9..4cd51e9 100644 --- a/gcc/alias.c +++ b/gcc/alias.c @@ -2642,7 +2642,7 @@ nonlocal_set_p (x) return for_each_rtx (&x, nonlocal_set_p_1, NULL); } -/* Mark the function if it is constant. */ +/* Mark the function if it is pure or constant. */ void mark_constant_function () @@ -2653,7 +2653,6 @@ mark_constant_function () if (TREE_READONLY (current_function_decl) || DECL_IS_PURE (current_function_decl) || TREE_THIS_VOLATILE (current_function_decl) - || TYPE_MODE (TREE_TYPE (current_function_decl)) == VOIDmode || current_function_has_nonlocal_goto || !(*targetm.binds_local_p) (current_function_decl)) return; @@ -2688,9 +2687,15 @@ mark_constant_function () if (insn) ; else if (nonlocal_memory_referenced) - cgraph_rtl_info (current_function_decl)->pure_function = 1; + { + cgraph_rtl_info (current_function_decl)->pure_function = 1; + DECL_IS_PURE (current_function_decl) = 1; + } else - cgraph_rtl_info (current_function_decl)->const_function = 1; + { + cgraph_rtl_info (current_function_decl)->const_function = 1; + TREE_READONLY (current_function_decl) = 1; + } } |