From: Sebastian Pop <sebastian.pop@amd.com>
Date: Wed, 15 Dec 2010 05:04:50 +0000 (+0000)
Subject: Fix PR46845: handle scop parameters before scev analysis.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=05575a4695b01941551f84e718997f6803c82dbc;p=gcc.git

Fix PR46845: handle scop parameters before scev analysis.

2010-12-14  Sebastian Pop  <sebastian.pop@amd.com>

	PR tree-optimization/46845
	* sese.c (scalar_evolution_in_region): Handle scop parameters
	before scev analysis.

	* gcc.dg/graphite/id-pr46845.c: New.

From-SVN: r167844
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 66c11c46f31..549b2901a7b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-12-14  Sebastian Pop  <sebastian.pop@amd.com>
+
+	PR tree-optimization/46845
+	* sese.c (scalar_evolution_in_region): Handle scop parameters
+	before scev analysis.
+
 2010-12-14  Sebastian Pop  <sebastian.pop@amd.com>
 
 	PR tree-optimization/46928
diff --git a/gcc/sese.c b/gcc/sese.c
index 3bf6beadee5..076f07a54ae 100644
--- a/gcc/sese.c
+++ b/gcc/sese.c
@@ -801,14 +801,16 @@ scalar_evolution_in_region (sese region, loop_p loop, tree t)
   struct loop *def_loop;
   basic_block before = block_before_sese (region);
 
+  /* SCOP parameters.  */
+  if (TREE_CODE (t) == SSA_NAME
+      && !defined_in_sese_p (t, region))
+    return t;
+
   if (TREE_CODE (t) != SSA_NAME
       || loop_in_sese_p (loop, region))
     return instantiate_scev (before, loop,
 			     analyze_scalar_evolution (loop, t));
 
-  if (!defined_in_sese_p (t, region))
-    return t;
-
   def = SSA_NAME_DEF_STMT (t);
   def_loop = loop_containing_stmt (def);
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fae339b81ed..ce47905b0ec 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-12-14  Sebastian Pop  <sebastian.pop@amd.com>
+
+	PR tree-optimization/46845
+	* gcc.dg/graphite/id-pr46845.c: New.
+
 2010-12-14  Sebastian Pop  <sebastian.pop@amd.com>
 
 	PR tree-optimization/46928
diff --git a/gcc/testsuite/gcc.dg/graphite/id-pr46845.c b/gcc/testsuite/gcc.dg/graphite/id-pr46845.c
new file mode 100644
index 00000000000..f4da78eda35
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/graphite/id-pr46845.c
@@ -0,0 +1,17 @@
+/* { dg-options "-O2 -ffast-math -fgraphite-identity -w -Wno-psabi" { target { i?86-*-* x86_64-*-* } } } */
+
+typedef float V2SF __attribute__ ((vector_size (128)));
+
+V2SF
+foo (int x, V2SF a)
+{
+  V2SF b;
+  if (x & 42)
+    b = a;
+  else
+    b = a + (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f};
+  while (x--)
+    a += b;
+
+  return a;
+}