OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Jan Hubicka <hubicka@paru.cas.cz> 

Jan Hubicka  <hubicka@paru.cas.cz>
        * flow.c (split_edge) update correctly flow graph, disable
        EDGE_CRITICAL flag on the split edge, update NUSES for new label.

From-SVN: r26222
This commit is contained in:
Jan Hubicka 1999-04-06 18:21:09 +02:00 committed by Richard Henderson
parent 2454beafba
commit 1e7d57a3b1
2 changed files with 22 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
Tue Apr 6 16:18:58 1999 Jan Hubicka <hubicka@paru.cas.cz>
* flow.c (split_edge) update correctly flow graph, disable
EDGE_CRITICAL flag on the split edge, update NUSES for new label.
Tue Apr 6 15:47:51 1999 Richard Henderson <rth@cygnus.com>
* emit-rtl.c (gen_rtx_CONST_DOUBLE): Use XWINT not XINT.

25
gcc/flow.c
View File

@ -1180,6 +1180,7 @@ split_edge (edge_in)
for (pp = &old_succ->pred; *pp != edge_in; pp = &(*pp)->pred_next)
continue;
*pp = edge_in->pred_next;
edge_in->pred_next = NULL;
}
/* Create the new structures. */
@ -1207,9 +1208,18 @@ split_edge (edge_in)
/* Wire them up. */
bb->pred = edge_in;
bb->succ = edge_out;
edge_in->dest = bb;
edge_in->flags &= ~EDGE_CRITICAL;
edge_out->pred_next = old_succ->pred;
edge_out->succ_next = NULL;
edge_out->src = bb;
edge_out->dest = old_succ;
edge_out->flags = EDGE_FALLTHRU;
edge_out->probability = REG_BR_PROB_BASE;
old_succ->pred = edge_out;
/* Tricky case -- if there existed a fallthru into the successor
(and we're not it) we must add a new unconditional jump around
@ -1222,7 +1232,7 @@ split_edge (edge_in)
if ((edge_in->flags & EDGE_FALLTHRU) == 0)
{
edge e;
for (e = old_succ->pred; e ; e = e->pred_next)
for (e = edge_out->pred_next; e ; e = e->pred_next)
if (e->flags & EDGE_FALLTHRU)
break;
@ -1236,7 +1246,6 @@ split_edge (edge_in)
/* Non critical -- we can simply add a jump to the end
of the existing predecessor. */
jump_block = e->src;
pos = jump_block->end;
}
else
{
@ -1245,13 +1254,16 @@ split_edge (edge_in)
call ourselves. */
jump_block = split_edge (e);
e = jump_block->succ;
pos = jump_block->head;
}
/* Now add the jump insn... */
pos = emit_jump_insn_after (gen_jump (old_succ->head), pos);
/* Now add the jump insn ... */
pos = emit_jump_insn_after (gen_jump (old_succ->head),
jump_block->end);
jump_block->end = pos;
emit_barrier_after (pos);
/* ... let jump know that label is in use, ... */
++LABEL_NUSES (old_succ->head);
/* ... and clear fallthru on the outgoing edge. */
e->flags &= ~EDGE_FALLTHRU;
@ -1331,9 +1343,6 @@ split_edge (edge_in)
bb->head = new_label;
}
/* In all cases, the new block falls through to the successor. */
edge_out->flags = EDGE_FALLTHRU;
return bb;
}