Commit fb2b8bf3 by Richard Biener

middle-end/94964 - avoid EH loop entry with CP_SIMPLE_PREHEADERS

Loop optimizers expect to be able to insert on the preheader
edge w/o splitting it thus avoid ending up with a preheader
that enters the loop via an EH edge (or an abnormal edge).

2020-05-06  Richard Biener  <rguenther@suse.de>

	PR middle-end/94964
	* cfgloopmanip.c (create_preheader): Require non-complex
	preheader edge for CP_SIMPLE_PREHEADERS.
parent 56dfd92c
......@@ -1506,9 +1506,10 @@ create_preheader (class loop *loop, int flags)
else
{
/* If we want simple preheaders, also force the preheader to have
just a single successor. */
just a single successor and a normal edge. */
if ((flags & CP_SIMPLE_PREHEADERS)
&& !single_succ_p (single_entry->src))
&& ((single_entry->flags & EDGE_COMPLEX)
|| !single_succ_p (single_entry->src)))
need_forwarder_block = true;
/* If we want fallthru preheaders, also create forwarder block when
preheader ends with a jump or has predecessors from loop. */
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment