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

[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 #45 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-02-03 13:19:29 UTC ---
Created attachment 23235
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23235
gcc46-pr23200-1.patch

So, if we want to make this work just with -ftree-ter, we could do something
like the attached patch.  At least currently we don't emit column info for code
in any kind of supported debug info format, so we could do it this way.

[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 #46 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-02-03 13:23:02 UTC ---
Created attachment 23236
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23236
gcc46-pr23200-2.patch

Or we could perhaps for EXPAND_INITIALIZER just try harder to look at SSA_NAME
definitions, as done in this patch.  EXPAND_INITIALIZER expansion is used just
in a couple of places, usually the expression is already known to be constant,
and in stmt.c it is for asm inputs with constraints that allow neither a
register nor memory.

[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

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org
      Known to work|                            |4.6.0
            Summary|[4.3/4.4/4.5/4.6            |[4.3/4.4/4.5 Regression]
                   |Regression] rejects         |rejects "i"(&var + 1)
                   |"i"(&var + 1)               |
      Known to fail|                            |4.3.5, 4.4.5, 4.5.2

--- Comment #48 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-02-04 15:53:27 UTC ---
Fixed onthe trunk.

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

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.6                       |4.4.7

--- Comment #49 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-27 12:12:49 UTC ---
4.3 branch is being closed, moving to 4.4.7 target.

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.7                       |4.5.4

--- Comment #50 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13 12:45:32 UTC ---
4.4 branch is being closed, moving to 4.5.4 target.

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

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.5.4                       |4.6.0

--- Comment #51 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-07-02 09:20:37 UTC ---
Fixed in 4.6.0.