[Bug middle-end/28651] [4.0 Regression] signed compare incorrectly false for (int)(U+4)<(int)U where U is unsigned INT_MAX (for optimized x86)

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #19 from rguenth at gcc dot gnu dot org  2007-01-25 19:05 -------
Subject: Bug 28651

Author: rguenth
Date: Thu Jan 25 19:05:19 2007
New Revision: 121181

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=121181
Log:
2007-01-25  Richard Guenther  <rguenther@suse.de>

        Backport from mainline:
        2006-08-11  Richard Guenther  <rguenther@suse.de>

        PR middle-end/28651
        * simplify-rtx.c (simplify_const_relational_operation):
        Simplify A CMP B to A - B CMP 0 only for EQ and NE comparison
        codes.

        * gcc.c-torture/execute/pr28651.c: New testcase.

        2006-08-14  Richard Guenther  <rguenther@suse.de>

        PR testsuite/28703
        * gcc.c-torture/execute/pr28651.c: Do not use argc
        to avoid optimization, instead forbid inlining.

Added:
    branches/gcc-4_0-branch/gcc/testsuite/gcc.c-torture/execute/pr28651.c
      - copied, changed from r116079,
trunk/gcc/testsuite/gcc.c-torture/execute/pr28651.c
Modified:
    branches/gcc-4_0-branch/gcc/ChangeLog
    branches/gcc-4_0-branch/gcc/simplify-rtx.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28651