[Bug lto/59154] New: [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[Bug lto/59154] New: [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[hjl.tools at gmail dot com]

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

            Bug ID: 59154
           Summary: [4.9 Regression] internal compiler error: tree check:
                    expected ssa_name, have integer_cst
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: areg.melikadamyan at gmail dot com

454.tonto in SPEC CPU 2006 failed to build with r204862

-O2 -ffast-math -fwhole-program -flto=jobserver -fuse-linker-plugin   

spacegroup.fppized.f90: In function 'analyse':
spacegroup.fppized.f90:1623:0: internal compiler error: tree check: expected
ssa_name, have integer_cst in simplify_conversion_from_bitmask, at
tree-ssa-forwprop.c:1186
    subroutine analyse(self)
 ^
0xac44d4 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
    ../../src-trunk/gcc/tree.c:9168
0x9a510d tree_check
    ../../src-trunk/gcc/tree.h:2706
0x9a510d simplify_conversion_from_bitmask
    ../../src-trunk/gcc/tree-ssa-forwprop.c:1186
0x9ae126 ssa_forward_propagate_and_combine
    ../../src-trunk/gcc/tree-ssa-forwprop.c:3486
0x9ae126 execute
    ../../src-trunk/gcc/tree-ssa-forwprop.c:3593
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[4]: *** [/tmp/ccYNDvfq.ltrans22.ltrans.o] Error 1
lto-wrapper: make returned 2 exit status
/usr/local/bin/ld: lto-wrapper failed
collect2: error: ld returned 1 exit status
specmake[3]: *** [tonto] Error 1

spacegroup.fppized.f90: In function 'analyse':
spacegroup.fppized.f90:1623:0: internal compiler error: tree check: expected
ssa_name, have integer_cst in simplify_conversion_from_bitmask, at
tree-ssa-forwprop.c:1186
    subroutine analyse(self)
 ^
0xac44d4 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
    ../../src-trunk/gcc/tree.c:9168
0x9a510d tree_check
    ../../src-trunk/gcc/tree.h:2706
0x9a510d simplify_conversion_from_bitmask
    ../../src-trunk/gcc/tree-ssa-forwprop.c:1186
0x9ae126 ssa_forward_propagate_and_combine
    ../../src-trunk/gcc/tree-ssa-forwprop.c:3486
0x9ae126 execute
    ../../src-trunk/gcc/tree-ssa-forwprop.c:3593
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[4]: *** [/tmp/ccYNDvfq.ltrans22.ltrans.o] Error 1
lto-wrapper: make returned 2 exit status
/usr/local/bin/ld: lto-wrapper failed
collect2: error: ld returned 1 exit status
specmake[3]: *** [tonto] Error 1

[Bug lto/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[hjl.tools at gmail dot com]

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

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
It is 465.tonto.

[Bug lto/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-16
                 CC|                            |jakub at redhat dot com
   Target Milestone|---                         |4.9.0
     Ever confirmed|0                           |1

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> ---
It is caused by r203979.

[Bug tree-optimization/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |lto
          Component|lto                         |tree-optimization

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
forwprop seems to think that the argument of a conversion is always an
SSA name, but here we end up with an unfolded one (for some reason).

[Bug tree-optimization/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Yeah.  I think all passes aren't required to fold everything they create, and
unlike RTL where say comparison of two CONST_INTs is invalid IL, having binary
operation with two constants is valid GIMPLE.

So I'd say simplify_conversion_from_bitmask should either not be called if the
argument isn't SSA_NAME, or check whether it is SSA_NAME and fail if it is not.
IMHO later passes should optimize it properly.

[Bug tree-optimization/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug tree-optimization/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sat Nov 23 14:21:46 2013
New Revision: 205307

URL: http://gcc.gnu.org/viewcvs?rev=205307&root=gcc&view=rev
Log:
    PR tree-optimization/59154
    * tree-ssa-reassoc.c (maybe_optimize_range_tests): When changing
    rhs1 of a cast and new_op is invariant, fold_convert it.
    * tree-ssa-forwprop.c (ssa_forward_propagate_and_combine): Only call
    simplify_conversion_from_bitmask if rhs1 is a SSA_NAME.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c
    trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
H.J., can you please verify whether this is fixed now?  Thanks.

[Bug tree-optimization/59154] [4.9 Regression] internal compiler error: tree check: expected ssa_name, have integer_cst

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

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

--- Comment #7 from H.J. Lu <hjl.tools at gmail dot com> ---
It is fixed as of revision 205321:

http://gcc.gnu.org/ml/gcc-testresults/2013-11/msg01801.html