[Bug middle-end/28651] [4.0/4.1 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]

------- Comment #11 from rguenth at gcc dot gnu dot org  2006-08-11 07:44 
-------
Subject: Bug 28651

Author: rguenth
Date: Fri Aug 11 07:44:45 2006
New Revision: 116079

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116079
Log:
2006-08-11  Richard Guenther  <[EMAIL PROTECTED]>

        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.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr28651.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/simplify-rtx.c
    trunk/gcc/testsuite/ChangeLog


-- 


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