Add check for irreducible loops

    
    * gcc/oacc-low.c: loop_irreducible_p added.



git-svn-id: https://gcc.gnu.org/svn/gcc/branches/openacc-1_0-branch@203268 138bc75d-0d04-0410-961f-82ee72b054a4

2 files changed, 44 insertions, 7 deletions

diff --git a/ChangeLog.ACC b/ChangeLog.ACC
index 70613b58b06..9599e50f7ba 100644
--- a/ChangeLog.ACC
+++ b/ChangeLog.ACC
@@ -1,4 +1,9 @@
 08-10-2013 Dmitry Bocharnikov <dmitry.b@samsung.com>
+    Add check for irreducible loops
+    
+    * gcc/oacc-low.c: loop_irreducible_p added.
+
+08-10-2013 Dmitry Bocharnikov <dmitry.b@samsung.com>
     Add check for nesting restrictions
     
     * gcc/oacc-low.c: check_oacc_nesting_restrictions implemenation.
diff --git a/gcc/oacc-low.c b/gcc/oacc-low.c
index 2b997c388f3..122baa2eb5c 100644
--- a/gcc/oacc-low.c
+++ b/gcc/oacc-low.c
@@ -853,15 +853,47 @@ gen_add(gimple_stmt_iterator* gsi, gimple stmt)
 }
 
 static bool
+loop_irreducible_p(struct loop* l)
+{
+  unsigned i;
+  basic_block *bbs;
+  bool res = false;
+
+	if(loop_preheader_edge (l)->src->flags & BB_IRREDUCIBLE_LOOP)
+    {
+		  return true;
+	  }
+
+	bbs = get_loop_body_in_dom_order (l);
+	for (i = 0; i < l->num_nodes; i++)
+    {
+		  if (bbs[i]->flags & BB_IRREDUCIBLE_LOOP)
+        {
+			    res = true;
+          break;
+		    }
+	  }
+  free (bbs);
+
+	return res;
+}
+
+static bool
 loop_precheck(struct loop* l)
 {
-  if(!single_dom_exit(l)) {
-      if(dump_file) {
-          fprintf(dump_file, " !single_dom_exit\n");
-      }
-      return false;
-  }
-  return true;
+	if(!single_dom_exit(l))
+    {
+		  if(dump_file)
+        {
+			    fprintf(dump_file, " !single_dom_exit\n");
+		    }
+		  return false;
+	  }
+	else if(!can_duplicate_loop_p(l) || loop_irreducible_p(l))
+    {
+		  return false;
+	  }
+	return true;
 }
 
 static bool