[Bug inline-asm/23200] [4.3/4.4/4.5/4.6 Regression] rejects "i"(&var + 1)

[jakub at gcc dot gnu.org]

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

--- Comment #47 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-02-04 
15:50:58 UTC ---
Author: jakub
Date: Fri Feb  4 15:50:51 2011
New Revision: 169831

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169831
Log:
    PR inline-asm/23200
    * tree-ssa-ter.c (is_replaceable_p): Add TER argument.  Don't
    do bb, locus and block comparison and disallow loads if it is
    not set.
    (stmt_is_replaceable_p): New function.
    (process_replaceable, find_replaceable_in_bb): Adjust is_replaceable_p
    callers.
    * expr.c (expand_expr_real_1) <case SSA_NAME>: If
    get_gimple_for_ssa_name try for EXPAND_INITIALIZER harder to use
    SSA_NAME_DEF_STMT.
    * tree-flow.h (stmt_is_replaceable_p): New prototype.

    * gcc.dg/pr23200.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr23200.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/expr.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-flow.h
    trunk/gcc/tree-ssa-ter.c