check for unstructured control flow

	* graphite-scop-detection.c (scop_detection::harmful_loop_in_region):
	Discard unstructured if-then-else regions.

Co-Authored-By: Sebastian Pop <s.pop@samsung.com>
From-SVN: r232657

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4b593a8cc65fc651e89d46e397ab6c7eb5600c9c..7e5bf1a67621a1959e7e5abf09fc6d654c8df4ab 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-01-21  Aditya Kumar  <aditya.k7@samsung.com>
+           Sebastian Pop  <s.pop@samsung.com>
+
+       * graphite-scop-detection.c (scop_detection::harmful_loop_in_region):
+       Discard unstructured if-then-else regions.
+
 2016-01-21  Aditya Kumar  <aditya.k7@samsung.com>
            Sebastian Pop  <s.pop@samsung.com>
 

diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c
index d1b0fec1d4b596b828da9d91fe06160d1dd12c27..3f268a56c37089017cfd892778235b0a77d89ff6 100644 (file)
--- a/gcc/graphite-scop-detection.c
+++ b/gcc/graphite-scop-detection.c
@@ -1078,6 +1078,18 @@ scop_detection::harmful_loop_in_region (sese_l scop) const
          return true;
        }
 
+      /* Check for unstructured control flow: CFG not generated by structured
+        if-then-else.  */
+      if (bb->succs->length () > 1)
+       {
+         edge e;
+         edge_iterator ei;
+         FOR_EACH_EDGE (e, ei, bb->succs)
+           if (!dominated_by_p (CDI_POST_DOMINATORS, bb, e->dest)
+               && !dominated_by_p (CDI_DOMINATORS, e->dest, bb))
+             return true;
+       }
+
       /* Collect all loops in the current region.  */
       loop_p loop = bb->loop_father;
       if (loop_in_sese_p (loop, scop))