diff options
| author | krebbel <krebbel@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-05-30 16:54:08 +0000 |
|---|---|---|
| committer | krebbel <krebbel@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-05-30 16:54:08 +0000 |
| commit | 0c0acbaacb37b9a4245f8572b029b16a61e48c9e (patch) | |
| tree | 32876cb8b388444f43ea53dad4890c74c0bff90e /gcc/cse.c | |
| parent | 445e5fbbc093303ce94e4f8031853af2a2d2fd68 (diff) | |
| download | gcc-0c0acbaacb37b9a4245f8572b029b16a61e48c9e.tar.gz | |
2006-05-30 Andreas Krebbel <krebbel1@de.ibm.com>
* cse.c (validate_canon_reg, cse_insn): Don't change insns without
calling recog.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@114241 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cse.c')
| -rw-r--r-- | gcc/cse.c | 22 |
1 files changed, 3 insertions, 19 deletions
diff --git a/gcc/cse.c b/gcc/cse.c index 3f8dd10f3d6..29e20cc5f43 100644 --- a/gcc/cse.c +++ b/gcc/cse.c @@ -2728,17 +2728,10 @@ static void validate_canon_reg (rtx *xloc, rtx insn) { rtx new = canon_reg (*xloc, insn); - int insn_code; /* If replacing pseudo with hard reg or vice versa, ensure the insn remains valid. Likewise if the insn has MATCH_DUPs. */ - if (insn != 0 && new != 0 - && REG_P (new) && REG_P (*xloc) - && (((REGNO (new) < FIRST_PSEUDO_REGISTER) - != (REGNO (*xloc) < FIRST_PSEUDO_REGISTER)) - || GET_MODE (new) != GET_MODE (*xloc) - || (insn_code = recog_memoized (insn)) < 0 - || insn_data[insn_code].n_dups > 0)) + if (insn != 0 && new != 0) validate_change (insn, xloc, new, 1); else *xloc = new; @@ -2748,8 +2741,7 @@ validate_canon_reg (rtx *xloc, rtx insn) replace each register reference inside it with the "oldest" equivalent register. - If INSN is nonzero and we are replacing a pseudo with a hard register - or vice versa, validate_change is used to ensure that INSN remains valid + If INSN is nonzero validate_change is used to ensure that INSN remains valid after we make our substitution. The calls are made with IN_GROUP nonzero so apply_change_group must be called upon the outermost return from this function (unless INSN is zero). The result of apply_change_group can @@ -4943,17 +4935,9 @@ cse_insn (rtx insn, rtx libcall_insn) rtx dest = SET_DEST (sets[i].rtl); rtx src = SET_SRC (sets[i].rtl); rtx new = canon_reg (src, insn); - int insn_code; sets[i].orig_src = src; - if ((REG_P (new) && REG_P (src) - && ((REGNO (new) < FIRST_PSEUDO_REGISTER) - != (REGNO (src) < FIRST_PSEUDO_REGISTER))) - || (insn_code = recog_memoized (insn)) < 0 - || insn_data[insn_code].n_dups > 0) - validate_change (insn, &SET_SRC (sets[i].rtl), new, 1); - else - SET_SRC (sets[i].rtl) = new; + validate_change (insn, &SET_SRC (sets[i].rtl), new, 1); if (GET_CODE (dest) == ZERO_EXTRACT) { |