re PR tree-optimization/31169 (Bootstrap comparison error at revision 122821)

2007-04-12  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/31169
	* gcc.c-torture/execute/pr31169.c: New testcase.

From-SVN: r123737

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f431bcb..c5cf4f6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 2007-04-12  Richard Guenther  <rguenther@suse.de>
 
+       PR tree-optimization/31169
+       * gcc.c-torture/execute/pr31169.c: New testcase.
+
+2007-04-12  Richard Guenther  <rguenther@suse.de>
+
        PR tree-optimization/24689
        PR tree-optimization/31307
        * g++.dg/tree-ssa/pr31307.C: New testcase.

diff --git a/gcc/testsuite/gcc.c-torture/execute/pr31169.c b/gcc/testsuite/gcc.c-torture/execute/pr31169.c
new file mode 100644 (file)
index 0000000..447dd45
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr31169.c
@@ -0,0 +1,51 @@
+extern void abort();
+
+#define HOST_WIDE_INT long
+#define HOST_BITS_PER_WIDE_INT (sizeof(long)*8)
+
+struct tree_type
+{
+  unsigned int precision : 9;
+};
+
+int
+sign_bit_p (struct tree_type *t, HOST_WIDE_INT val_hi, unsigned HOST_WIDE_INT val_lo)
+{
+  unsigned HOST_WIDE_INT mask_lo, lo;
+  HOST_WIDE_INT mask_hi, hi;
+  int width = t->precision;
+
+  if (width > HOST_BITS_PER_WIDE_INT)
+    {
+      hi = (unsigned HOST_WIDE_INT) 1 << (width - HOST_BITS_PER_WIDE_INT - 1);
+      lo = 0;
+
+      mask_hi = ((unsigned HOST_WIDE_INT) -1
+                 >> (2 * HOST_BITS_PER_WIDE_INT - width));
+      mask_lo = -1;
+    }
+  else
+    {
+      hi = 0;
+      lo = (unsigned HOST_WIDE_INT) 1 << (width - 1);
+    
+      mask_hi = 0;
+      mask_lo = ((unsigned HOST_WIDE_INT) -1
+                 >> (HOST_BITS_PER_WIDE_INT - width));
+    }
+
+  if ((val_hi & mask_hi) == hi
+      && (val_lo & mask_lo) == lo)
+    return 1;
+
+  return 0;
+}
+
+int main()
+{
+  struct tree_type t;
+  t.precision = 1;
+  if (!sign_bit_p (&t, 0, -1))
+    abort ();
+  return 0;
+}