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

[jakub at gcc dot gnu.org]

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

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-05-23 10:24:50 UTC ---
Author: jakub
Date: Mon May 23 10:24:47 2011
New Revision: 174063

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174063
Log:
    PR middle-end/48973
    * expr.c (expand_expr_real_2) <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 ops->type is single bit signed type, disable
    signel bit test optimization and pass -1 instead of 1 as last
    parameter to emit_store_flag_force.

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

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