diff options
| author | Richard Guenther <rguenther@suse.de> | 2006-06-19 14:48:47 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2006-06-19 14:48:47 +0000 |
| commit | 096dce1b1bf69529a83de92dc17018c82b7b22ec (patch) | |
| tree | 94e0d422465e6c5021873e4eb47e883ac058f5fd /gcc | |
| parent | 46b86adcdc8bdf4f49df1b52de41eefd9a1afd60 (diff) | |
| download | gcc-096dce1b1bf69529a83de92dc17018c82b7b22ec.zip gcc-096dce1b1bf69529a83de92dc17018c82b7b22ec.tar.gz gcc-096dce1b1bf69529a83de92dc17018c82b7b22ec.tar.bz2 | |
re PR middle-end/28045 (Bitfield, &&, and optimization => bad code generation)
2006-06-19 Richard Guenther <rguenther@suse.de>
PR middle-end/28045
* fold-const.c (operand_equal_p): Check if the argument types
have the same precision before stripping NOPs.
* gcc.dg/torture/pr28045.c: New testcase.
From-SVN: r114772
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr28045.c | 22 |
4 files changed, 38 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 34b7da6..be202bf 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-06-19 Richard Guenther <rguenther@suse.de> + + PR middle-end/28045 + * fold-const.c (operand_equal_p): Check if the argument types + have the same precision before stripping NOPs. + 2006-06-19 Daniel Berlin <dberlin@dberlin.org> Fix PR tree-optimization/27341 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 57a7248..5a65586 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -2497,6 +2497,11 @@ operand_equal_p (tree arg0, tree arg1, unsigned int flags) if (TYPE_UNSIGNED (TREE_TYPE (arg0)) != TYPE_UNSIGNED (TREE_TYPE (arg1))) return 0; + /* If both types don't have the same precision, then it is not safe + to strip NOPs. */ + if (TYPE_PRECISION (TREE_TYPE (arg0)) != TYPE_PRECISION (TREE_TYPE (arg1))) + return 0; + STRIP_NOPS (arg0); STRIP_NOPS (arg1); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 985d645..ba44e8f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-06-19 Richard Guenther <rguenther@suse.de> + + PR middle-end/28045 + * gcc.dg/torture/pr28045.c: New testcase. + 2006-06-18 Francois-Xavier Coudert <coudert@clipper.ens.fr> PR fortran/26801 diff --git a/gcc/testsuite/gcc.dg/torture/pr28045.c b/gcc/testsuite/gcc.dg/torture/pr28045.c new file mode 100644 index 0000000..f2d1664 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr28045.c @@ -0,0 +1,22 @@ +/* { dg-do run } */ + +extern void abort(void); +struct a +{ + unsigned int bits : 1; + signed long val : ((sizeof(long) * 8) - 1); +}; +int Fnegate (struct a b) +{ + if ((-((long)b.val)) <= ((long) ((1UL << ((sizeof(long) * 8) - 2)) -1UL)) + && (-((long)b.val)) >= (-(((long) ((1UL << ((sizeof(long) * 8) - 2)) -1UL))) - 1)) + return 0 ; + abort (); +} +int main () +{ + struct a b = {1, 1}; + Fnegate (b); + return 0; +} + |