[Bug middle-end/48973] [4.4/4.5 Regression] Inliner bug with one-bit (1-bit) bitfield

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

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

--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-07-19 19:28:44 UTC ---
Author: jakub
Date: Tue Jul 19 19:28:41 2011
New Revision: 176482

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176482
Log:
    Backport from mainline
    2011-05-23  Jakub Jelinek  <jakub@redhat.com>

    PR middle-end/48973
    * expr.c (expand_expr_real_1) <case LT_EXPR>: If do_store_flag
    failed and the comparison has a single bit signed type, use
    constm1_rtx instead of const1_rtx for true value.
    (do_store_flag): If TREE_TYPE (exp) is single bit signed type, disable
    single bit test optimization, pass -1 instead of 1 as last
    parameter to emit_store_flag and use constm1_rtx instead of
    const1_rtx as true value.

    * gcc.c-torture/execute/pr48973-1.c: New test.
    * gcc.c-torture/execute/pr48973-2.c: New test.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr48973-1.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr48973-2.c
Modified:
    branches/gcc-4_4-branch/gcc/ChangeLog
    branches/gcc-4_4-branch/gcc/expr.c
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog