[Bug target/64387] New: ICE: in extract_insn, at recog.c:2327 (unrecognizable insn) with -ffloat-store -mavx512er

[Bug target/64387] New: ICE: in extract_insn, at recog.c:2327 (unrecognizable insn) with -ffloat-store -mavx512er

[zsojka at seznam dot cz]

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

            Bug ID: 64387
           Summary: ICE: in extract_insn, at recog.c:2327 (unrecognizable
                    insn) with -ffloat-store -mavx512er
           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 34322
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34322&action=edit
reduced testcase

Compiler output:
$ gcc -O2 -ftree-vectorize -ffloat-store -mavx512er testcase.c
testcase.c: In function 'foo':
testcase.c:12:1: error: unrecognizable insn:
 }
 ^
(insn 43 42 44 4 (set (reg:V8SF 121)
        (vec_select:V8SF (mem/c:V16SF (plus:DI (reg/f:DI 82 virtual-stack-vars)
                    (const_int -128 [0xffffffffffffff80])) [1 vect__10.6+0 S64
A512])
            (parallel [
                    (const_int 8 [0x8])
                    (const_int 9 [0x9])
                    (const_int 10 [0xa])
                    (const_int 11 [0xb])
                    (const_int 12 [0xc])
                    (const_int 13 [0xd])
                    (const_int 14 [0xe])
                    (const_int 15 [0xf])
                ]))) testcase.c:9 -1
     (nil))
testcase.c:12:1: internal compiler error: in extract_insn, at recog.c:2327
0xbd9d78 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:110
0xbd9e08 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:118
0xb903b8 extract_insn(rtx_insn*)
        /mnt/svn/gcc-trunk/gcc/recog.c:2327
0x96eecd instantiate_virtual_regs_in_insn
        /mnt/svn/gcc-trunk/gcc/function.c:1582
0x96eecd instantiate_virtual_regs
        /mnt/svn/gcc-trunk/gcc/function.c:1950
0x96eecd execute
        /mnt/svn/gcc-trunk/gcc/function.c:1999
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:
r219043 - ICE
4_9 r219040 - OK

[Bug target/64387] ICE: in extract_insn, at recog.c:2327 (unrecognizable insn) with -ffloat-store -mavx512er

[tocarip.intel at gmail dot com]

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

tocarip.intel at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tocarip.intel at gmail dot com

--- Comment #1 from tocarip.intel at gmail dot com ---
Created attachment 34343
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34343&action=edit
Proposed patch.

[Bug target/64387] ICE: in extract_insn, at recog.c:2327 (unrecognizable insn) with -ffloat-store -mavx512er

[tocarip.intel at gmail dot com]

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

--- Comment #2 from tocarip.intel at gmail dot com ---
Can also be reproduced with -mavx2 instead of -mavx512er.
Proposed patch fixes both cases.
Testing in progress.

[Bug target/64387] ICE: in extract_insn, at recog.c:2327 (unrecognizable insn) with -ffloat-store -mavx512er

[tocarip at gcc dot gnu.org]

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

--- Comment #3 from tocarip at gcc dot gnu.org ---
Author: tocarip
Date: Wed Jan 14 13:45:49 2015
New Revision: 219598

URL: https://gcc.gnu.org/viewcvs?rev=219598&root=gcc&view=rev
Log:
PR target/64387

gcc/
    * config/i386/sse.md (vec_unpacks_hi_v8sf): Fix predicate.
    (vec_unpacks_hi_v16sf): Ditto.

testsuite/
    * gcc.target/i386/pr64387.c: New test.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr64387.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/sse.md
    trunk/gcc/testsuite/ChangeLog

[Bug target/64387] ICE: in extract_insn, at recog.c:2327 (unrecognizable insn) with -ffloat-store -mavx512er

[tocarip at gcc dot gnu.org]

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

--- Comment #4 from tocarip at gcc dot gnu.org ---
Author: tocarip
Date: Tue Feb 17 10:35:12 2015
New Revision: 220755

URL: https://gcc.gnu.org/viewcvs?rev=220755&root=gcc&view=rev
Log:
Backported from mainline
2015-01-14  Ilya Tocar  <ilya.tocar@intel.com>

PR target/64387
* config/i386/sse.md (vec_unpacks_hi_v8sf): Fix predicate.

* gcc.target/i386/pr64387.c: New test.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gcc.target/i386/pr64387.c
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/config/i386/sse.md
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog

[Bug target/64387] ICE: in extract_insn, at recog.c:2327 (unrecognizable insn) with -ffloat-store -mavx512er

[tocarip at gcc dot gnu.org]

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

--- Comment #5 from tocarip at gcc dot gnu.org ---
Author: tocarip
Date: Tue Feb 17 11:41:55 2015
New Revision: 220756

URL: https://gcc.gnu.org/viewcvs?rev=220756&root=gcc&view=rev
Log:
Backported from mainline
2015-01-14  Ilya Tocar  <ilya.tocar@intel.com>

PR target/64387
* config/i386/sse.md (vec_unpacks_hi_v8sf): Fix predicate.
(vec_unpacks_hi_v16sf): Ditto.

* gcc.target/i386/pr64387.c: New test.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/gcc.target/i386/pr64387.c
Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/config/i386/sse.md
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog