[Bug target/66174] New: [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma

[Bug target/66174] New: [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma

[zsojka at seznam dot cz]

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

            Bug ID: 66174
           Summary: [6 Regression] ICE: in extract_insn, at recog.c:2341
                    (unrecognizable insns) with -ftree-vectorize
                    -mavx512ifma
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---

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

Compiler output:
$ gcc -O -ftree-vectorize -mavx512ifma testcase.c
testcase.c: In function 'foo':
testcase.c:27:1: error: unrecognizable insn:
 }
 ^
(insn 56 55 57 4 (set (reg:V16SI 155 [ D.2772 ])
        (vec_merge:V16SI (reg:V16SI 154 [ vect__9.11 ])
            (reg:V16SI 153 [ vect__9.10 ])
            (const_int 43690 [0xaaaa]))) testcase.c:16 -1
     (nil))
testcase.c:27:1: internal compiler error: in extract_insn, at recog.c:2341
0xae8418 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:110
0xae84a8 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:118
0xa9e513 extract_insn(rtx_insn*)
        /mnt/svn/gcc-trunk/gcc/recog.c:2341
0x867b47 instantiate_virtual_regs_in_insn
        /mnt/svn/gcc-trunk/gcc/function.c:1598
0x867b47 instantiate_virtual_regs
        /mnt/svn/gcc-trunk/gcc/function.c:1966
0x867b47 execute
        /mnt/svn/gcc-trunk/gcc/function.c:2015
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.

Tested revisions:
r223190 - ICE
5 r222437 - OK

[Bug target/66174] [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma

[ubizjak at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-05-16
                 CC|                            |kyukhin at gcc dot gnu.org
   Target Milestone|---                         |6.0
     Ever confirmed|0                           |1

--- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> ---
Confirmed, adding CC.
>From gcc-bugs-return-486441-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 16 16:40:51 2015
Return-Path: <gcc-bugs-return-486441-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 56947 invoked by alias); 16 May 2015 16:40:51 -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 56590 invoked by uid 48); 16 May 2015 16:40:47 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/66174] [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma
Date: Sat, 16 May 2015 16:40:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 6.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66174-4-htwbhfY6UO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66174-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66174-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-05/txt/msg01281.txt.bz2
Content-length: 241

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

--- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Uroš Bizjak from comment #1)
> Confirmed, adding CC.

Also fails with -O -ftree-vectorize -mavx512f.
>From gcc-bugs-return-486442-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 16 17:10:51 2015
Return-Path: <gcc-bugs-return-486442-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 89656 invoked by alias); 16 May 2015 17:10:51 -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 89373 invoked by uid 48); 16 May 2015 17:10:47 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/66174] [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma
Date: Sat, 16 May 2015 17:10:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 6.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66174-4-Th2jhy73dv@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66174-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66174-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-05/txt/msg01282.txt.bz2
Content-length: 424

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

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
The problem is in i386.c, function expand_vec_perm_blend, where:

  /* This matches five different patterns with the different modes.  */
  x = gen_rtx_VEC_MERGE (vmode, op1, op0, GEN_INT (mask));
  x = gen_rtx_SET (target, x);
  emit_insn (x);

AVX512F modes need to move mask to a mask register.
>From gcc-bugs-return-486443-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 16 17:38:48 2015
Return-Path: <gcc-bugs-return-486443-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 122275 invoked by alias); 16 May 2015 17:38:48 -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 122239 invoked by uid 48); 16 May 2015 17:38:44 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/66174] [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma
Date: Sat, 16 May 2015 17:38:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 6.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66174-4-7bDNFM4sIX@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66174-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66174-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-05/txt/msg01283.txt.bz2
Content-length: 1903

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

--- Comment #4 from Uroš Bizjak <ubizjak at gmail dot com> ---
Untested patch:

--cut here--
Index: i386.c
===================================================================
--- i386.c      (revision 223231)
+++ i386.c      (working copy)
@@ -46780,12 +46780,14 @@ expand_vec_perm_blend (struct expand_vec_perm_d *d
   machine_mode vmode = d->vmode;
   unsigned i, mask, nelt = d->nelt;
   rtx target, op0, op1, x;
+  rtx maskop;
   rtx rperm[32], vperm;

   if (d->one_operand_p)
     return false;
   if (TARGET_AVX512F && GET_MODE_SIZE (vmode) == 64
-      && GET_MODE_SIZE (GET_MODE_INNER (vmode)) >= 4)
+      && (TARGET_AVX512BW
+         || GET_MODE_SIZE (GET_MODE_INNER (vmode)) >= 4))
     ;
   else if (TARGET_AVX2 && GET_MODE_SIZE (vmode) == 32)
     ;
@@ -46959,8 +46961,28 @@ expand_vec_perm_blend (struct expand_vec_perm_d *d
       gcc_unreachable ();
     }

+  switch (vmode)
+    {
+    case V8DFmode:
+    case V8DImode:
+      maskop = force_reg (QImode, gen_int_mode (mask, QImode));
+      break;
+    case V16SFmode:
+    case V16SImode:
+      maskop = force_reg (HImode, gen_int_mode (mask, HImode));
+      break;
+    case V32HImode:
+      maskop = force_reg (SImode, gen_int_mode (mask, SImode));
+      break;
+    case V64QImode:
+      maskop = force_reg (DImode, gen_int_mode (mask, DImode));
+      break;
+    default:
+      maskop = GEN_INT (mask);
+    }
+
   /* This matches five different patterns with the different modes.  */
-  x = gen_rtx_VEC_MERGE (vmode, op1, op0, GEN_INT (mask));
+  x = gen_rtx_VEC_MERGE (vmode, op1, op0, maskop);
   x = gen_rtx_SET (target, x);
   emit_insn (x);
   if (target != d->target)
--cut here--
>From gcc-bugs-return-486444-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 16 17:44:51 2015
Return-Path: <gcc-bugs-return-486444-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 130037 invoked by alias); 16 May 2015 17:44:51 -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 129991 invoked by uid 55); 16 May 2015 17:44:47 -0000
From: "jvdelisle at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/65903] [5/6 Regression] Line continuation followed by comment character in string fails to compile
Date: Sat, 16 May 2015 17:44:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 5.1.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jvdelisle at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jvdelisle at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-65903-4-Par2pZ0Y8N@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65903-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65903-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-05/txt/msg01284.txt.bz2
Content-length: 655

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

--- Comment #6 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
Author: jvdelisle
Date: Sat May 16 17:44:15 2015
New Revision: 223248

URL: https://gcc.gnu.org/viewcvs?rev"3248&root=gcc&view=rev
Log:
2015-05-16  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

        PR fortran/65903
        * io.c (format_lex): Change to NONSTRING when checking for
        possible doubled quote.
        * scanner.c (gfc_next_char_literal): Revert change from 64506
        and add a check for quotes and return.

Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/io.c
    trunk/gcc/fortran/scanner.c

[Bug target/66174] [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma

[uros at gcc dot gnu.org]

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

--- Comment #6 from uros at gcc dot gnu.org ---
Author: uros
Date: Tue May 19 11:44:39 2015
New Revision: 223355

URL: https://gcc.gnu.org/viewcvs?rev=223355&root=gcc&view=rev
Log:
        PR target/66174
        * config/i386/i386.c (expand_vec_perm_blend): Enable HImode and
        QImode inner modes for TARGET_AVX512BW.  Force mask operand
        to a register for AVX512F modes.

testsuite/ChangeLog:

        PR target/66174
        * gcc.target/i386/pr66174.c: New test.


Added:
    branches/gcc-5-branch/gcc/testsuite/gcc.target/i386/pr66174.c
Modified:
    branches/gcc-5-branch/gcc/ChangeLog
    branches/gcc-5-branch/gcc/config/i386/i386.c
    branches/gcc-5-branch/gcc/testsuite/ChangeLog

[Bug target/66174] [6 Regression] ICE: in extract_insn, at recog.c:2341 (unrecognizable insns) with -ftree-vectorize -mavx512ifma

[ubizjak at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|6.0                         |5.2

--- Comment #7 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed.
>From gcc-bugs-return-486628-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue May 19 12:01:14 2015
Return-Path: <gcc-bugs-return-486628-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 113243 invoked by alias); 19 May 2015 12:01:13 -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 113216 invoked by uid 48); 19 May 2015 12:01:09 -0000
From: "segher at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65916] Unnecessary floating-point instruction causes runtime exception on PowerPC
Date: Tue, 19 May 2015 12:01:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.9.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: critical
X-Bugzilla-Who: segher at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: INVALID
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-65916-4-gD5lhTv1KJ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65916-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65916-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-05/txt/msg01468.txt.bz2
Content-length: 476

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

Segher Boessenkool <segher at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #3 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Closing then.  Thanks for the report, Nikolay.