git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ia64.c (ia64_split_tmode_move): Mark load with `dead' flag if it kills address, not its post-increment. 

* gcc/config/ia64/ia64.c (ia64_split_tmode_move): Mark
        load with `dead' flag if it kills address, not its
        post-increment.

From-SVN: r204948
This commit is contained in:
Kirill Yukhin 2013-11-18 12:44:59 +00:00 committed by Kirill Yukhin
parent 01156003a9
commit 6d3f673cf6
2 changed files with 13 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2013-11-18 Kirill Yukhin <kirill.yukhin@intel.com>
* gcc/config/ia64/ia64.c (ia64_split_tmode_move): Mark
load with `dead' flag if it kills address, not its
post-increment.
2013-11-18 Ilya Enkovich <ilya.enkovich@intel.com> 2013-11-18 Ilya Enkovich <ilya.enkovich@intel.com>
* builtin-types.def (BT_FN_PTR_CONST_PTR_VAR): New. * builtin-types.def (BT_FN_PTR_CONST_PTR_VAR): New.

15
gcc/config/ia64/ia64.c
View File

@ -1525,23 +1525,22 @@ ia64_split_tmode_move (rtx operands[])
the value it points to. In that case we have to do the loads in the value it points to. In that case we have to do the loads in
the appropriate order so that the pointer is not destroyed too the appropriate order so that the pointer is not destroyed too
early. Also we must not generate a postmodify for that second early. Also we must not generate a postmodify for that second
load, or rws_access_regno will die. */ load, or rws_access_regno will die. And we must not generate a
postmodify for the second load if the destination register
overlaps with the base register. */
if (GET_CODE (operands[1]) == MEM if (GET_CODE (operands[1]) == MEM
&& reg_overlap_mentioned_p (operands[0], operands[1])) && reg_overlap_mentioned_p (operands[0], operands[1]))
{ {
rtx base = XEXP (operands[1], 0); rtx base = XEXP (operands[1], 0);
rtx first_write = gen_rtx_REG (DImode, REGNO (operands[0]));
while (GET_CODE (base) != REG) while (GET_CODE (base) != REG)
base = XEXP (base, 0); base = XEXP (base, 0);
if (REGNO (base) == REGNO (operands[0])) if (REGNO (base) == REGNO (operands[0]))
{ reversed = true;
reversed = true;
first_write = gen_rtx_REG (DImode, REGNO (operands[0]) + 1);
}
if (GET_CODE (operands[0]) == REG if (refers_to_regno_p (REGNO (operands[0]),
&& reg_overlap_mentioned_p (first_write, operands[1])) REGNO (operands[0])+2,
base, 0))
dead = true; dead = true;
} }
/* Another reason to do the moves in reversed order is if the first /* Another reason to do the moves in reversed order is if the first