mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2024-12-20 19:59:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

loop.c (verify_dominator): Properly handle ADDR_VEC and ADDR_DIFF_VEC insns that appear inside loops.

Browse Source 
h
        * loop.c (verify_dominator): Properly handle ADDR_VEC and
        ADDR_DIFF_VEC insns that appear inside loops.

From-SVN: r27760
This commit is contained in:
Jeff Law 1999-06-24 22:38:30 -06:00
parent 2f47f8d0af
commit 8d22ad723e
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/loop.c
View File

@ -2564,14 +2564,21 @@ verify_dominator (loop_number)
&& GET_CODE (PATTERN (insn)) != RETURN)
{
rtx label = JUMP_LABEL (insn);
int label_luid = INSN_LUID (label);
int label_luid;
if (! condjump_p (insn)
&& ! condjump_in_parallel_p (insn))
/* If it is not a jump we can easily understand or for
which we do not have jump target information in the JUMP_LABEL
field (consider ADDR_VEC and ADDR_DIFF_VEC insns), then clear
LOOP_NUMBER_CONT_DOMINATOR. */
if ((! condjump_p (insn)
&& ! condjump_in_parallel_p (insn))
|| label == NULL_RTX)
{
loop_number_cont_dominator[loop_number] = NULL_RTX;
return;
}
label_luid = INSN_LUID (label);
if (label_luid < INSN_LUID (loop_number_loop_cont[loop_number])
&& (label_luid
> INSN_LUID (loop_number_cont_dominator[loop_number])))