Add testcase for PR43012.

2010-02-11  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/43012
	* gcc.dg/graphite/pr43012.c: New.

From-SVN: r156716

gcc/ChangeLog.graphite

-2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
+2010-02-11  Sebastian Pop  <sebastian.pop@amd.com>
+
+	PR middle-end/43012
+	* gcc.dg/graphite/pr43012.c: New.
 
-       * graphite.c (graphite_transform_loops): Re-enable dbg_cnt.
+2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
 
+	* graphite.c (graphite_transform_loops): Re-enable dbg_cnt.
 2010-02-10  Sebastian Pop  <sebastian.pop@amd.com>
 
 	* g++.dg/graphite/pr42930.C: New.

gcc/testsuite/gcc.dg/graphite/pr43012.c

+/* This testcase is from PR43012.
+   You will need CLooG-PPL 0.15.8 or later to have this testcase fixed.  */
+
+/* { dg-do run } */
+/* { dg-options "-O2 -floop-strip-mine" } */
+
+extern void abort (void);
+
+#ifdef DBG
+extern int printf (const char *, ...);
+#endif
+
+#define LAST_TOKEN 534
+#define FLOAT_FUNCT_TOKEN 64
+#define VECTOR_FUNCT_TOKEN 77
+#define COLOUR_KEY_TOKEN 89
+
+int Table[LAST_TOKEN];
+
+void
+pre_init_tokenizer ()
+{
+  int i;
+
+  for (i = 0; i < LAST_TOKEN; i++)
+    {
+      Table[i] = i;
+      if (i < FLOAT_FUNCT_TOKEN)
+	Table[i] = FLOAT_FUNCT_TOKEN;
+      else
+	{
+	  if (i < VECTOR_FUNCT_TOKEN)
+	    Table[i] = VECTOR_FUNCT_TOKEN;
+	  else
+	    {
+	      if (i < COLOUR_KEY_TOKEN)
+		Table[i] = COLOUR_KEY_TOKEN;
+	    }
+	}
+    }
+}
+
+void
+check ()
+{
+  int i;
+
+  for (i = 0; i < FLOAT_FUNCT_TOKEN; i++)
+    if (Table[i] != FLOAT_FUNCT_TOKEN)
+      abort ();
+  for (i = FLOAT_FUNCT_TOKEN; i < VECTOR_FUNCT_TOKEN; i++)
+    if (Table[i] != VECTOR_FUNCT_TOKEN)
+      abort ();
+  for (i = VECTOR_FUNCT_TOKEN; i < COLOUR_KEY_TOKEN; i++)
+    if (Table[i] != COLOUR_KEY_TOKEN)
+      abort ();
+  for (i = COLOUR_KEY_TOKEN; i < LAST_TOKEN; i++)
+    if (Table[i] != i)
+      abort ();
+}
+
+int
+main ()
+{
+  int i;
+
+  pre_init_tokenizer ();
+#ifdef DBG
+  for (i = 0; i < LAST_TOKEN; i++)
+    printf ("%3d: %d\n", i, Table[i]);
+#endif
+  check ();
+  return 0;
+}