diff options
| author | Roger Sayle <roger@eyesopen.com> | 2003-01-23 02:57:26 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2003-01-23 02:57:26 +0000 |
| commit | 34ee7f8278d155d6d128f6af19b10ed35fa8f3d5 (patch) | |
| tree | e350e7cda96af13a3c7a7347f5f121cef549541c /gcc/gcse.c | |
| parent | 94edc4abdc1de8d0c77421354eabf3bfc3de0c91 (diff) | |
| download | gcc-34ee7f8278d155d6d128f6af19b10ed35fa8f3d5.zip gcc-34ee7f8278d155d6d128f6af19b10ed35fa8f3d5.tar.gz gcc-34ee7f8278d155d6d128f6af19b10ed35fa8f3d5.tar.bz2 | |
re PR rtl-optimization/8423 (CSE1 not propagating __builtin_constant_p enough)
PR optimization/8423
* cse.c (fold_rtx): Only eliminate a CONSTANT_P_RTX to 1 when
its argument is constant, or 0 if !flag_gcse.
* simplify-rtx.c (simplify_rtx): Convert CONSTANT_P_RTX to 1
if it's argument is constant.
* gcse.c (want_to_gcse_p): Ignore CONSTANT_P_RTX nodes.
(hash_scan_set): Don't record CONSTANT_P_RTX expressions.
(do_local_cprop): Don't propagate CONSTANT_P_RTX constants.
* builtins.c (purge_builtin_constant_p): New function to force
instantiation of any remaining CONSTANT_P_RTX nodes.
* rtl.h (purge_builtin_constant_p): Prototype here.
* toplev.c (rest_of_compilation): Invoke purge_builtin_constant_p
pass after GCSE and before loop.
(flag_gcse): No longer static.
* flags.h (flag_gcse): Prototype here.
From-SVN: r61642
Diffstat (limited to 'gcc/gcse.c')
| -rw-r--r-- | gcc/gcse.c | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1305,6 +1305,7 @@ want_to_gcse_p (x) case CONST_DOUBLE: case CONST_VECTOR: case CALL: + case CONSTANT_P_RTX: return 0; default: @@ -2216,7 +2217,8 @@ hash_scan_set (pat, insn, table) && REGNO (src) >= FIRST_PSEUDO_REGISTER && can_copy_p [GET_MODE (dest)] && REGNO (src) != regno) - || CONSTANT_P (src)) + || (CONSTANT_P (src) + && GET_CODE (src) != CONSTANT_P_RTX)) /* A copy is not available if its src or dest is subsequently modified. Here we want to search from INSN+1 on, but oprs_available_p searches from INSN on. */ @@ -4277,7 +4279,8 @@ do_local_cprop (x, insn, alter_jumps, libcall_sp) if (l->in_libcall) continue; - if (CONSTANT_P (this_rtx)) + if (CONSTANT_P (this_rtx) + && GET_CODE (this_rtx) != CONSTANT_P_RTX) newcnst = this_rtx; if (REG_P (this_rtx) && REGNO (this_rtx) >= FIRST_PSEUDO_REGISTER /* Don't copy propagate if it has attached REG_EQUIV note. |