[Bug target/64617] New: ICE: Max. number of generated reload insns per insn is achieved (90) with -ftree-vectorize -mavx512bw -march=slm

[Bug target/64617] New: ICE: Max. number of generated reload insns per insn is achieved (90) with -ftree-vectorize -mavx512bw -march=slm

[zsojka at seznam dot cz]

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

            Bug ID: 64617
           Summary: ICE: Max. number of generated reload insns per insn is
                    achieved (90) with -ftree-vectorize -mavx512bw
                    -march=slm
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 34458
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34458&action=edit
reduced testcase

Compiler output:
$ gcc -O -ftree-vectorize -mavx512bw -march=slm testcase.c
testcase.c: In function 'foo':
testcase.c:34:1: internal compiler error: Max. number of generated reload insns
per insn is achieved (90)

 }
 ^
0xadff12 lra_constraints(bool)
        /mnt/svn/gcc-trunk/gcc/lra-constraints.c:4307
0xacb97b lra(_IO_FILE*)
        /mnt/svn/gcc-trunk/gcc/lra.c:2280
0xa7ad91 do_reload
        /mnt/svn/gcc-trunk/gcc/ira.c:5407
0xa7ad91 execute
        /mnt/svn/gcc-trunk/gcc/ira.c:5578
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.

$ gcc -v                                                  
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-219632-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/5.0.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-219632-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 5.0.0 20150115 (experimental) (GCC) 

Tested revisions:
r219632 - ICE

[Bug target/64617] [5 Regression] ICE: Max. number of generated reload insns per insn is achieved (90) with -ftree-vectorize -mavx512bw -march=slm

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-01-16
                 CC|                            |jakub at gcc dot gnu.org
   Target Milestone|---                         |5.0
            Summary|ICE: Max. number of         |[5 Regression] ICE: Max.
                   |generated reload insns per  |number of generated reload
                   |insn is achieved (90) with  |insns per insn is achieved
                   |-ftree-vectorize -mavx512bw |(90) with -ftree-vectorize
                   |-march=slm                  |-mavx512bw -march=slm
     Ever confirmed|0                           |1

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

[Bug target/64617] [5 Regression] ICE: Max. number of generated reload insns per insn is achieved (90) with -ftree-vectorize -mavx512bw -march=slm

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The patterns in question are
(define_insn "<mask_codefor><avx512>_vec_dup_gpr<mode><mask_name>"
  [(set (match_operand:VI12_AVX512VL 0 "register_operand" "=v,v")
        (vec_duplicate:VI12_AVX512VL
          (match_operand:<ssescalarmode> 1 "nonimmediate_operand" "vm,r")))]
and thus ought to support both HImode MEM as well as GPR.
(insn 60 242 62 4 (set (reg:V32HI 114 [ vect_cst_.38 ])
        (vec_duplicate:V32HI (reg/v:HI 169 [ a1 ]))) 4194
{*avx512bw_vec_dup_gprv32hi}
     (expr_list:REG_DEAD (reg/v:HI 169 [ a1 ])
        (nil)))
(insn 62 60 64 4 (set (reg:V32HI 129 [ vect_cst_.41 ])
        (vec_duplicate:V32HI (reg/v:HI 171 [ a2 ]))) 4194
{*avx512bw_vec_dup_gprv32hi}
     (expr_list:REG_DEAD (reg/v:HI 171 [ a2 ])
        (nil)))
...
Vlad, can you please have a look?

[Bug target/64617] [5 Regression] ICE: Max. number of generated reload insns per insn is achieved (90) with -ftree-vectorize -mavx512bw -march=slm

[vmakarov at gcc dot gnu.org]

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

--- Comment #3 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
Author: vmakarov
Date: Fri Jan 30 17:47:44 2015
New Revision: 220294

URL: https://gcc.gnu.org/viewcvs?rev=220294&root=gcc&view=rev
Log:
2015-01-30  Vladimir Makarov  <vmakarov@redhat.com>

    PR target/64617
    * lra-constraints.c (prohibited_class_reg_set_mode_p): New
    function.
    (process_alt_operands): Use it.
    (curr_insn_transform): Check the optional reload pseudo class is
    ok for the mode.

2015-01-30  Vladimir Makarov  <vmakarov@redhat.com>

    PR target/64617
    * gcc.target/i386/pr64617.c: New test.



Added:
    trunk/gcc/testsuite/gcc.target/i386/pr64617.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lra-constraints.c
    trunk/gcc/testsuite/ChangeLog

[Bug target/64617] [5 Regression] ICE: Max. number of generated reload insns per insn is achieved (90) with -ftree-vectorize -mavx512bw -march=slm

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ubizjak at gmail dot com

--- Comment #4 from Uroš Bizjak <ubizjak at gmail dot com> ---
*** Bug 64311 has been marked as a duplicate of this bug. ***
>From gcc-bugs-return-475564-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 30 19:01:13 2015
Return-Path: <gcc-bugs-return-475564-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 12184 invoked by alias); 30 Jan 2015 19:01:12 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 11992 invoked by uid 48); 30 Jan 2015 19:01:02 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/64311] ICE: Max. number of generated reload insns per insn is achieved (90) with -fpic -march=corei7 for gcc.target/i386/avx512bw-vpbroadcast[bw]-1.c
Date: Fri, 30 Jan 2015 19:01:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-64311-4-LvYvBpN1OS@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64311-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64311-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-01/txt/msg03558.txt.bz2
Content-length: 518

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

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

--- Comment #4 from Uroš Bizjak <ubizjak at gmail dot com> ---
This is duplicate of PR64617.

*** This bug has been marked as a duplicate of bug 64617 ***
>From gcc-bugs-return-475565-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 30 19:31:01 2015
Return-Path: <gcc-bugs-return-475565-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 24665 invoked by alias); 30 Jan 2015 19:31:00 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 24538 invoked by uid 48); 30 Jan 2015 19:30:47 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ada/64349] [5 Regression] Bootstrapping Ada fails on darwin(9|10).
Date: Fri, 30 Jan 2015 19:31:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ada
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: build
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: REOPENED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-64349-4-Ji4ULSTiQB@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64349-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64349-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-01/txt/msg03559.txt.bz2
Content-length: 628

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd349

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

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

--- Comment #14 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Should be fixed, hopefully

Nope!-(

Yuta Tomino has posted a patch in comment 10 and I have taken the time to test
it (comment 11). Why are you taking so much time to commit non working commits?

[Bug target/64617] [5 Regression] ICE: Max. number of generated reload insns per insn is achieved (90) with -ftree-vectorize -mavx512bw -march=slm

[law at redhat dot com]

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

Jeffrey A. Law <law at redhat dot com> changed:

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

--- Comment #5 from Jeffrey A. Law <law at redhat dot com> ---
Should be fixed on trunk with Vlad's patch.