This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: verify_flow_info checking fallthru edges
- To: Jan Hubicka <jh at suse dot cz>
- Subject: Re: verify_flow_info checking fallthru edges
- From: Andreas Jaeger <aj at suse dot de>
- Date: Wed, 25 Jul 2001 15:06:08 +0200
- Cc: gcc-patches at gcc dot gnu dot org, rth at cygnus dot com, patches at x86-64 dot org
- References: <20010725145908.C28713@atrey.karlin.mff.cuni.cz>
Jan Hubicka <jh@suse.cz> writes:
> St čec 25 15:59:40 CEST 2001 Jan Hubicka <jh@suse.cz>
> * flow.c (verify_flow_info): Check the fallthru edges to not
> have barriers; check non-fallthru successors blocks to have
> barriers.
>
> *** flow.c.old Tue Jul 24 17:13:33 2001
> --- flow.c Wed Jul 25 15:51:37 2001
> *************** verify_flow_info ()
> *** 8025,8044 ****
> basic_block bb = BASIC_BLOCK (i);
> /* Check corectness of edge lists */
It's "correctness". Can you fix this together with a period at the
end?
> edge e;
>
> e = bb->succ;
> while (e)
> {
> ! if ((e->flags & EDGE_FALLTHRU)
> ! && e->src != ENTRY_BLOCK_PTR
> ! && e->dest != EXIT_BLOCK_PTR
> ! && (e->src->index + 1 != e->dest->index
> ! || !can_fallthru (e->src, e->dest)))
> {
> ! error ("verify_flow_info: Incorrect fallthru edge %i->%i",
> e->src->index, e->dest->index);
> err = 1;
> }
>
> if (e->src != bb)
This part of the patch does not apply correctly. The code looks
different.
Bootstrapped/regtested on i686-linux as usual? ;-)
Andreas
--
Andreas Jaeger
SuSE Labs aj@suse.de
private aj@arthur.inka.de
http://www.suse.de/~aj