[Bug middle-end/57134] New: ICE with -mstrict-align and inline assembly on ppc64

[Bug middle-end/57134] New: ICE with -mstrict-align and inline assembly on ppc64

[anton at samba dot org]

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

             Bug #: 57134
           Summary: ICE with -mstrict-align and inline assembly on ppc64
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: anton@samba.org


Created attachment 29987
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29987
Testcase that ICE's with -mstrict-align on ppc64

The following testcase passes on a ppc64 4.7.2 build but fails on a 4.9.0
20130501 build:

# gcc -m64 -O2 -S -mstrict-align testcase.c

testcase.c: In function 'rb_remove_pages':
testcase.c:16:2: internal compiler error: in expand_asm_operands, at stmt.c:910
  __asm__ __volatile__("# %0,%1" : "=r"(t) : "m"(v->counter));
  ^
0x10604437 expand_asm_operands
        ../../gcc/gcc/stmt.c:910
0x10604b3b expand_asm_stmt(gimple_statement_d*)
        ../../gcc/gcc/stmt.c:1151
0x1022f357 expand_gimple_stmt_1
        ../../gcc/gcc/cfgexpand.c:2154
0x1022f357 expand_gimple_stmt
        ../../gcc/gcc/cfgexpand.c:2309
0x10230b77 expand_gimple_basic_block
        ../../gcc/gcc/cfgexpand.c:4143
0x10233f7b gimple_expand_cfg
        ../../gcc/gcc/cfgexpand.c:4662
Please submit a full bug report,

[Bug middle-end/57134] ICE with -mstrict-align and inline assembly on ppc64

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-05-01
                 CC|                            |amodra at gmail dot com
     Ever Confirmed|0                           |1

--- Comment #1 from Alan Modra <amodra at gmail dot com> 2013-05-01 14:32:49 UTC ---
I think the bug here is that we lose EXPAND_MEMORY when recursively calling
expand_expr() for the inner part of a COMPONENT_REF.

[Bug middle-end/57134] [4.9 Regression] ICE with -mstrict-align and inline assembly on ppc64

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |powerpc64
      Known to work|                            |4.7.2
   Target Milestone|---                         |4.9.0
            Summary|ICE with -mstrict-align and |[4.9 Regression] ICE with
                   |inline assembly on ppc64    |-mstrict-align and inline
                   |                            |assembly on ppc64
      Known to fail|                            |4.9.0

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-05-02 08:06:45 UTC ---
Eventually somebody check 4.8.x.

[Bug middle-end/57134] [4.9 Regression] ICE with -mstrict-align and inline assembly on ppc64

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2013-06/msg00642.htm
                   |                            |l
           Assignee|unassigned at gcc dot gnu.org      |amodra at gmail dot com

[Bug middle-end/57134] [4.9 Regression] ICE with -mstrict-align and inline assembly on ppc64

[anton at samba dot org]

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

--- Comment #3 from Anton Blanchard <anton at samba dot org> ---
Created attachment 30607
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30607&action=edit
Compilation failure with -mstrict-align on ppc64

The original testcase isn't failing, but this test fails to compile with
-mstrict-align:

/tmp/testcase.c: In function 'testcase':
/tmp/testcase.c:12:2: error: output number 0 not directly addressable
  asm volatile("# %0": "+m" (b->zot));
  ^

and passes without -mstrict-align.

[Bug middle-end/57134] [4.9 Regression] ICE with -mstrict-align and inline assembly on ppc64

[jamborm at gcc dot gnu.org]

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

--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> ---
I suppose this has been fixed by r200086 ?

[Bug middle-end/57134] [4.9 Regression] ICE with -mstrict-align and inline assembly on ppc64

[amodra at gmail dot com]

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

--- Comment #5 from Alan Modra <amodra at gmail dot com> ---
r200086 fixed Anton's first testcase but then he found another one.  See
http://gcc.gnu.org/ml/gcc-patches/2013-09/msg00983.html

[Bug middle-end/57134] [4.9 Regression] ICE with -mstrict-align and inline assembly on ppc64

[amodra at gcc dot gnu.org]

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

--- Comment #6 from Alan Modra <amodra at gcc dot gnu.org> ---
Author: amodra
Date: Tue Sep 24 11:32:28 2013
New Revision: 202866

URL: http://gcc.gnu.org/viewcvs?rev=202866&root=gcc&view=rev
Log:
    PR middle-end/57134
    PR middle-end/57586
    * stmt.c (expand_asm_operands): Call expand_expr with
    EXPAND_MEMORY for output operands that disallow regs.  Don't
    use EXPAND_WRITE on inout operands.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/stmt.c

[Bug middle-end/57134] [4.9 Regression] ICE with -mstrict-align and inline assembly on ppc64

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #7 from Alan Modra <amodra at gmail dot com> ---
Fixed