Fix PR47707

From-SVN: r170062

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 25270c9a76266aac860507847f15450ded5e09d3..99b24cb8fc33f62fc1ad700aadf770e92e311561 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-11  Xinliang David Li  <davidxl@google.com>
+
+       PR tree-optimization/47707
+       * tree-chrec.c (convert_affine_scev): Keep type precision.
+
 2011-02-11  Eric Botcazou  <ebotcazou@adacore.com>
 
        PR tree-optimization/47420

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 06a388e01d02ff59380a5bfb45813e3b42b3b587..91cd4bb70d53eae222b89844c7c0154c5060349f 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-11  Xinliang David Li  <davidxl@google.com>
+
+       PR tree-optimization/47707
+       * g++.dg/tree-ssa/pr47707.C: New test.
+
 2011-02-11  Eric Botcazou  <ebotcazou@adacore.com>
 
        * g++.dg/opt/inline17.C: New test.

diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr47707.C b/gcc/testsuite/g++.dg/tree-ssa/pr47707.C
new file mode 100644 (file)
index 0000000..98852de
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr47707.C
@@ -0,0 +1,29 @@
+/* { dg-do run } */
+/* { dg-options "-O2 -fno-tree-vrp" } */
+#include <assert.h>
+
+struct CH
+{
+  unsigned char ch : 3;
+} ch;
+
+__attribute__((noinline)) void MakeCheckOp (unsigned int *v1, unsigned int *v2)
+{
+ assert (*v1 == *v2);
+
+}
+
+int main (void)
+{
+
+  int len;
+
+  for (len = 4; len >= 1; len--)
+  {
+     unsigned v1, v2;
+     ch.ch = len;
+     v1 = ch.ch;
+     v2 = len;
+     MakeCheckOp (&v1, &v2);
+  }
+}

diff --git a/gcc/tree-chrec.c b/gcc/tree-chrec.c
index c721d43e33ec06ddde8b7107c2a147cce8b35975..1e49c1d5b214627b378fac6e7bfd9893f1979404 100644 (file)
--- a/gcc/tree-chrec.c
+++ b/gcc/tree-chrec.c
@@ -1238,8 +1238,11 @@ convert_affine_scev (struct loop *loop, tree type,
      performed by default when CT is signed.  */
   new_step = *step;
   if (TYPE_PRECISION (step_type) > TYPE_PRECISION (ct) && TYPE_UNSIGNED (ct))
-    new_step = chrec_convert_1 (signed_type_for (ct), new_step, at_stmt,
-                               use_overflow_semantics);
+    {
+      tree signed_ct = build_nonstandard_integer_type (TYPE_PRECISION (ct), 0);
+      new_step = chrec_convert_1 (signed_ct, new_step, at_stmt,
+                                  use_overflow_semantics);
+    }
   new_step = chrec_convert_1 (step_type, new_step, at_stmt, use_overflow_semantics);
 
   if (automatically_generated_chrec_p (new_base)
@@ -1579,4 +1582,3 @@ evolution_function_right_is_integer_cst (const_tree chrec)
       return false;
     }
 }
-