procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

* web.c (union_match_dups): Properly handle OP_INOUT match_dups.

Browse source 
From-SVN: r192453
This commit is contained in:
Joern Rennecke 2012-10-15 11:20:02 +00:00 • committed by Joern Rennecke
parent 9506aecb3b
commit 7bd8fc3ba1
2 changed files with 29 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ChangeLog
View file

@ -1,3 +1,7 @@
2012-10-15 Joern Rennecke <joern.rennecke@embecosm.com>
* web.c (union_match_dups): Properly handle OP_INOUT match_dups.
2012-10-15 Eric Botcazou <ebotcazou@adacore.com>
* expr.c (expand_expr_real_1) <VIEW_CONVERT_EXPR>: Do not unnecessarily

27
gcc/web.c
View file

@ -96,6 +96,7 @@ union_match_dups (rtx insn, struct web_entry *def_entry,
struct df_insn_info *insn_info = DF_INSN_INFO_GET (insn);
df_ref *use_link = DF_INSN_INFO_USES (insn_info);
df_ref *def_link = DF_INSN_INFO_DEFS (insn_info);
struct web_entry *dup_entry;
int i;
extract_insn (insn);
@ -107,10 +108,24 @@ union_match_dups (rtx insn, struct web_entry *def_entry,
df_ref *ref, *dupref;
struct web_entry *entry;
for (dupref = use_link; *dupref; dupref++)
for (dup_entry = use_entry, dupref = use_link; *dupref; dupref++)
if (DF_REF_LOC (*dupref) == recog_data.dup_loc[i])
break;
if (*dupref == NULL && type == OP_INOUT)
{
for (dup_entry = def_entry, dupref = def_link; *dupref; dupref++)
if (DF_REF_LOC (*dupref) == recog_data.dup_loc[i])
break;
}
/* ??? *DUPREF can still be zero, because when an operand matches
a memory, DF_REF_LOC (use_link[n]) points to the register part
of the address, whereas recog_data.dup_loc[m] points to the
entire memory ref, thus we fail to find the duplicate entry,
even though it is there.
Example: i686-pc-linux-gnu gcc.c-torture/compile/950607-1.c
-O3 -fomit-frame-pointer -funroll-loops */
if (*dupref == NULL
|| DF_REF_REGNO (*dupref) < FIRST_PSEUDO_REGISTER)
continue;
@ -121,7 +136,15 @@ union_match_dups (rtx insn, struct web_entry *def_entry,
if (DF_REF_LOC (*ref) == recog_data.operand_loc[op])
break;
(*fun) (use_entry + DF_REF_ID (*dupref), entry + DF_REF_ID (*ref));
if (!*ref && type == OP_INOUT)
{
for (ref = use_link, entry = use_entry; *ref; ref++)
if (DF_REF_LOC (*ref) == recog_data.operand_loc[op])
break;
}
gcc_assert (*ref);
(*fun) (dup_entry + DF_REF_ID (*dupref), entry + DF_REF_ID (*ref));
}
}