diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-02-04 09:40:57 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-02-04 09:40:57 +0000 |
| commit | c679a3d3edafb4e5941538714ad2fea23ebc4c74 (patch) | |
| tree | 5e75107a668fd1a7d17bce35fea894d0220c5b85 /gcc/combine.c | |
| parent | d03f29c46aaf18a5fb9333d665382c9e7b125de2 (diff) | |
| download | gcc-c679a3d3edafb4e5941538714ad2fea23ebc4c74.tar.gz | |
* combine.c (recog_for_combine): Create a dummy insn with PATTERN
pat for recog.
* gcc.dg/20020201-4.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@49473 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/combine.c')
| -rw-r--r-- | gcc/combine.c | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/gcc/combine.c b/gcc/combine.c index 47ac3a8aa62..25b4d63d0f0 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -9590,7 +9590,7 @@ recog_for_combine (pnewpat, insn, pnotes) int num_clobbers_to_add = 0; int i; rtx notes = 0; - rtx old_notes; + rtx dummy_insn; /* If PAT is a PARALLEL, check to see if it contains the CLOBBER we use to indicate that something didn't match. If we find such a @@ -9601,11 +9601,13 @@ recog_for_combine (pnewpat, insn, pnotes) && XEXP (XVECEXP (pat, 0, i), 0) == const0_rtx) return -1; - /* Remove the old notes prior to trying to recognize the new pattern. */ - old_notes = REG_NOTES (insn); - REG_NOTES (insn) = 0; + /* *pnewpat does not have to be actual PATTERN (insn), so make a dummy + instruction for pattern recognition. */ + dummy_insn = shallow_copy_rtx (insn); + PATTERN (dummy_insn) = pat; + REG_NOTES (dummy_insn) = 0; - insn_code_number = recog (pat, insn, &num_clobbers_to_add); + insn_code_number = recog (pat, dummy_insn, &num_clobbers_to_add); /* If it isn't, there is the possibility that we previously had an insn that clobbered some register as a side effect, but the combined @@ -9630,15 +9632,14 @@ recog_for_combine (pnewpat, insn, pnotes) if (pos == 1) pat = XVECEXP (pat, 0, 0); - insn_code_number = recog (pat, insn, &num_clobbers_to_add); + PATTERN (dummy_insn) = pat; + insn_code_number = recog (pat, dummy_insn, &num_clobbers_to_add); } /* Recognize all noop sets, these will be killed by followup pass. */ if (insn_code_number < 0 && GET_CODE (pat) == SET && set_noop_p (pat)) insn_code_number = NOOP_MOVE_INSN_CODE, num_clobbers_to_add = 0; - REG_NOTES (insn) = old_notes; - /* If we had any clobbers to add, make a new pattern than contains them. Then check to make sure that all of them are dead. */ if (num_clobbers_to_add) |