re PR tree-optimization/16437 (New c-torture failures after bitfield patch)
authorJoseph Myers <jsm@polyomino.org.uk>
Sun, 11 Jul 2004 09:45:39 +0000 (10:45 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sun, 11 Jul 2004 09:45:39 +0000 (10:45 +0100)
PR tree-optimization/16437
* c-common.c (shorten_compare): Don't mark result of conversion to
narrower signed type as overflowing.
* fold-const.c (decode_field_reference): Determine whether
signedness comes from outer type using precision rather than size.

testsuite:
* gcc.c-torture/execute/bitfld-4.c: New test.

From-SVN: r84498

gcc/ChangeLog
gcc/c-common.c
gcc/fold-const.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/bitfld-4.c [new file with mode: 0644]

index b3dec3e1049b105aa4fa098ac98c6597fa31d3f4..efd1f2465e268c6fd1cd4078b60f3a8fc990c7d2 100644 (file)
@@ -1,3 +1,11 @@
+2004-07-11  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       PR tree-optimization/16437
+       * c-common.c (shorten_compare): Don't mark result of conversion to
+       narrower signed type as overflowing.
+       * fold-const.c (decode_field_reference): Determine whether
+       signedness comes from outer type using precision rather than size.
+
 2004-07-11  Phil Edwards  <phil@codesourcery.com>
 
        * configure.ac:  Alphabetize --enable-checking list, add
index ebb5e65e404a0aa1fba3b85e8fcddf8ef3e7befb..e177d884b2bbbdc5db28133879102cd110eb906a 100644 (file)
@@ -1924,7 +1924,12 @@ shorten_compare (tree *op0_ptr, tree *op1_ptr, tree *restype_ptr,
        *restype_ptr = c_common_signed_type (*restype_ptr);
 
       if (TREE_TYPE (primop1) != *restype_ptr)
-       primop1 = convert (*restype_ptr, primop1);
+       {
+         tree tmp = convert (*restype_ptr, primop1);
+         TREE_OVERFLOW (tmp) = TREE_OVERFLOW (primop1);
+         TREE_CONSTANT_OVERFLOW (tmp) = TREE_CONSTANT_OVERFLOW (primop1);
+         primop1 = tmp;
+       }
       if (type != *restype_ptr)
        {
          minval = convert (*restype_ptr, minval);
index a1efab1184bffca760f1c2b261a501570acd5732..b35dfbf390319553bd69bf7eedaa0cf7953f7e98 100644 (file)
@@ -3296,7 +3296,7 @@ decode_field_reference (tree exp, HOST_WIDE_INT *pbitsize,
   /* If the number of bits in the reference is the same as the bitsize of
      the outer type, then the outer type gives the signedness. Otherwise
      (in case of a small bitfield) the signedness is unchanged.  */
-  if (outer_type && *pbitsize == tree_low_cst (TYPE_SIZE (outer_type), 1))
+  if (outer_type && *pbitsize == TYPE_PRECISION (outer_type))
     *punsignedp = TYPE_UNSIGNED (outer_type);
 
   /* Compute the mask to access the bitfield.  */
index 99083c291adf8781b40dc400951ceee8a63a4d17..20104dd0da811ffbc5cd7296c8063304bc9f70be 100644 (file)
@@ -1,3 +1,8 @@
+2004-07-11  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+       PR tree-optimization/16437
+       * gcc.c-torture/execute/bitfld-4.c: New test.
+
 2004-07-10  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
        
        * gfortran.fortran-torture/execute/common_2.f90: Add check for
diff --git a/gcc/testsuite/gcc.c-torture/execute/bitfld-4.c b/gcc/testsuite/gcc.c-torture/execute/bitfld-4.c
new file mode 100644 (file)
index 0000000..6f7d7e2
--- /dev/null
@@ -0,0 +1,21 @@
+/* When comparisons of bit-fields to unsigned constants got shortened,
+   the shortened signed constant was wrongly marked as overflowing,
+   leading to a later integer_zerop failure and misoptimization.
+
+   Related to bug tree-optimization/16437 but shows the problem on
+   32-bit systems.  */
+/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
+
+extern void abort (void);
+
+struct s { int a:12, b:20; };
+
+struct s x = { -123, -456 };
+
+int
+main (void)
+{
+  if (x.a != -123U || x.b != -456U)
+    abort ();
+  return 0;
+}