From: Roger Sayle Date: Mon, 13 Nov 2006 00:41:53 +0000 (+0000) Subject: re PR rtl-optimization/29797 (Miscompiles bit test / set in OpenOffice) X-Git-Tag: releases/gcc-4.3.0~8506 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b279c7ae79eff94342d90e7a0d7ebad998500a9;p=thirdparty%2Fgcc.git re PR rtl-optimization/29797 (Miscompiles bit test / set in OpenOffice) 2006-11-12 Michael Matz Roger Sayle PR rtl-optimization/29797 * ifcvt.c (noce_try_bitop): Correct calculation of bitnum on BITS_BIG_ENDIAN targets. * gcc.c-torture/execute/pr29797-1.c: New test case. From-SVN: r118740 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0eacd1e7b8bc..bf326de9eea9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2006-11-12 Michael Matz + Roger Sayle + + PR rtl-optimization/29797 + * ifcvt.c (noce_try_bitop): Correct calculation of bitnum on + BITS_BIG_ENDIAN targets. + 2006-11-12 Kaveh R. Ghazi * builtins.c (fold_builtin_cosh): New. diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index 4d7341cec887..f2226c402aab 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -1943,7 +1943,9 @@ noce_try_bitop (struct noce_if_info *if_info) return FALSE; bitnum = INTVAL (XEXP (cond, 2)); mode = GET_MODE (x); - if (bitnum >= HOST_BITS_PER_WIDE_INT) + if (BITS_BIG_ENDIAN) + bitnum = GET_MODE_BITSIZE (mode) - 1 - bitnum; + if (bitnum < 0 || bitnum >= HOST_BITS_PER_WIDE_INT) return FALSE; } else diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7237d4f2b7d5..4566f8855b43 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-11-12 Roger Sayle + + PR rtl-optimization/29797 + * gcc.c-torture/execute/pr29797-1.c: New test case. + 2006-11-12 Kaveh R. Ghazi * gcc.dg/torture/builtin-symmetric-1.c: Add more cases. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr29797-1.c b/gcc/testsuite/gcc.c-torture/execute/pr29797-1.c new file mode 100644 index 000000000000..9bcc2a9c59be --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr29797-1.c @@ -0,0 +1,14 @@ +extern void abort(void); + +unsigned int bar(void) { return 32768; } + +int main() +{ + unsigned int nStyle = bar (); + if (nStyle & 32768) + nStyle |= 65536; + if (nStyle != (32768 | 65536)) + abort (); + return 0; +} +