diff options
| author | Uros Bizjak <ubizjak@gmail.com> | 2012-01-15 18:03:46 +0000 |
|---|---|---|
| committer | Uros Bizjak <ubizjak@gmail.com> | 2012-01-15 18:03:46 +0000 |
| commit | 301f57a3ef0fa12877dac50c27678b43e006d50b (patch) | |
| tree | eca3678227b52e8d12cc35b64e4e604c44c20c09 /gcc/recog.c | |
| parent | 6c34daf12f7c62f5d28053a40c2b8b586bb1a9da (diff) | |
PR rtl-optimization/51821
* recog.c (peep2_find_free_register): Determine clobbered registers
from insn pattern.
testsuite/ChangeLog:
PR rtl-optimization/51821
* gcc.dg/pr51821.c: New test.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@183194 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/recog.c')
| -rw-r--r-- | gcc/recog.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/recog.c b/gcc/recog.c index 19f00b176d7..8f041799e62 100644 --- a/gcc/recog.c +++ b/gcc/recog.c @@ -3038,6 +3038,7 @@ peep2_find_free_register (int from, int to, const char *class_str, static int search_ofs; enum reg_class cl; HARD_REG_SET live; + df_ref *def_rec; int i; gcc_assert (from < MAX_INSNS_PER_PEEP2 + 1); @@ -3051,12 +3052,14 @@ peep2_find_free_register (int from, int to, const char *class_str, while (from != to) { - HARD_REG_SET this_live; + gcc_assert (peep2_insn_data[from].insn != NULL_RTX); + + /* Don't use registers set or clobbered by the insn. */ + for (def_rec = DF_INSN_DEFS (peep2_insn_data[from].insn); + *def_rec; def_rec++) + SET_HARD_REG_BIT (live, DF_REF_REGNO (*def_rec)); from = peep2_buf_position (from + 1); - gcc_assert (peep2_insn_data[from].insn != NULL_RTX); - REG_SET_TO_HARD_REG_SET (this_live, peep2_insn_data[from].live_before); - IOR_HARD_REG_SET (live, this_live); } cl = (class_str[0] == 'r' ? GENERAL_REGS |