[Bug rtl-optimization/64316] New: [5 Regression] ICE in simplify_const_unary_operation after r218503

[Bug rtl-optimization/64316] New: [5 Regression] ICE in simplify_const_unary_operation after r218503

[izamyatin at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64316

            Bug ID: 64316
           Summary: [5 Regression] ICE in simplify_const_unary_operation
                    after r218503
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: izamyatin at gmail dot com
            Target: x86

Created attachment 34284
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34284&action=edit
Reproducer

For the attached reproducer compiled with -O3 -march=core-avx2 there is:

internal compiler error: in simplify_const_unary_operation, at
simplify-rtx.c:1676
 }
 ^ 
0xbd8b9b simplify_const_unary_operation(rtx_code, machine_mode, rtx_def*,
machine_mode)
        ../../gcc/simplify-rtx.c:1676
0xbd6045 simplify_unary_operation(rtx_code, machine_mode, rtx_def*,
machine_mode)
        ../../gcc/simplify-rtx.c:822
0xbd4f75 simplify_gen_unary(rtx_code, machine_mode, rtx_def*, machine_mode)
        ../../gcc/simplify-rtx.c:395
0x136761f if_then_else_cond
        ../../gcc/combine.c:8748
0x135e155 combine_simplify_rtx
        ../../gcc/combine.c:5394
0x135dea3 subst
        ../../gcc/combine.c:5331
0x135dca2 subst
        ../../gcc/combine.c:5276
0x135dca2 subst
        ../../gcc/combine.c:5276
0x1357a53 try_combine
        ../../gcc/combine.c:3250
0x1352ba8 combine_instructions
        ../../gcc/combine.c:1301
0x13740c3 rest_of_handle_combine
        ../../gcc/combine.c:14052
0x137416a execute
        ../../gcc/combine.c:14095
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.


This actually leads to miscompilation of spec2006/403.gcc with -march=core-avx2

[Bug rtl-optimization/64316] [5 Regression] ICE in simplify_const_unary_operation after r218503

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64316

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0

[Bug rtl-optimization/64316] [5 Regression] ICE in simplify_const_unary_operation after r218503

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64316

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-12-15
                 CC|                            |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r218503.

[Bug rtl-optimization/64316] [5 Regression] ICE in simplify_const_unary_operation after r218503

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64316

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 34286
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34286&action=edit
gcc5-pr64316.patch

Untested fix.

[Bug rtl-optimization/64316] [5 Regression] ICE in simplify_const_unary_operation after r218503

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64316

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Dec 15 20:10:45 2014
New Revision: 218762

URL: https://gcc.gnu.org/viewcvs?rev=218762&root=gcc&view=rev
Log:
    PR rtl-optimization/64316
    * simplify-rtx.c (simplify_relational_operation_1): For
    (eq/ne (and x y) x) and (eq/ne (and x y) y) optimizations use
    CONST0_RTX instead of const0_rtx.

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

Added:
    trunk/gcc/testsuite/gcc.dg/pr64316.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/simplify-rtx.c
    trunk/gcc/testsuite/ChangeLog