diff options
author | Richard Henderson <rth@redhat.com> | 2002-07-30 15:13:50 -0700 |
---|---|---|
committer | Richard Henderson <rth@gcc.gnu.org> | 2002-07-30 15:13:50 -0700 |
commit | a538e5805514bc4728c76b372cf4dc89edd4d968 (patch) | |
tree | 74e7937772a327835058f3bbe6344104de9bbbb6 | |
parent | 79cbc1f7649ee1b63aa66a3ffcad6e959df0a7d7 (diff) | |
download | gcc-a538e5805514bc4728c76b372cf4dc89edd4d968.zip gcc-a538e5805514bc4728c76b372cf4dc89edd4d968.tar.gz gcc-a538e5805514bc4728c76b372cf4dc89edd4d968.tar.bz2 |
ifcvt.c (noce_get_alt_condition): Use reg_overlap_mentioned_p.
* ifcvt.c (noce_get_alt_condition): Use reg_overlap_mentioned_p.
(noce_process_if_block): Likewise.
From-SVN: r55886
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ifcvt.c | 14 |
2 files changed, 13 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 472465f..c9b9f70 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2002-07-30 Richard Henderson <rth@redhat.com> + + * ifcvt.c (noce_get_alt_condition): Use reg_overlap_mentioned_p. + (noce_process_if_block): Likewise. + 2002-07-30 Bernd Schmidt <bernds@redhat.com> * ifcvt.c (cond_exec_process_if_block): Fix a merging error. diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index 3ce996f..ecf0f77 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -1368,7 +1368,7 @@ noce_get_alt_condition (if_info, target, earliest) /* X may not be mentioned in the range (cond_earliest, jump]. */ for (insn = if_info->jump; insn != *earliest; insn = PREV_INSN (insn)) - if (INSN_P (insn) && reg_mentioned_p (if_info->x, insn)) + if (INSN_P (insn) && reg_overlap_mentioned_p (if_info->x, PATTERN (insn))) return NULL; /* A and B may not be modified in the range [cond_earliest, jump). */ @@ -1774,16 +1774,18 @@ noce_process_if_block (ce_info) || GET_CODE (insn_b) != INSN || (set_b = single_set (insn_b)) == NULL_RTX || ! rtx_equal_p (x, SET_DEST (set_b)) - || reg_mentioned_p (x, cond) - || reg_mentioned_p (x, a) - || reg_mentioned_p (x, SET_SRC (set_b))) + || reg_overlap_mentioned_p (x, cond) + || reg_overlap_mentioned_p (x, a) + || reg_overlap_mentioned_p (x, SET_SRC (set_b))) insn_b = set_b = NULL_RTX; } b = (set_b ? SET_SRC (set_b) : x); - /* X may not be mentioned in the range (cond_earliest, jump]. */ + /* X may not be mentioned in the range (cond_earliest, jump]. + Note the use of reg_overlap_mentioned_p, which handles memories + properly, as opposed to reg_mentioned_p, which doesn't. */ for (insn = jump; insn != if_info.cond_earliest; insn = PREV_INSN (insn)) - if (INSN_P (insn) && reg_mentioned_p (x, insn)) + if (INSN_P (insn) && reg_overlap_mentioned_p (x, PATTERN (insn))) return FALSE; /* A and B may not be modified in the range [cond_earliest, jump). */ |