[Bug target/101286] New: [12 Regression] ICE: in ix86_expand_vector_move, at config/i386/i386-expand.c:574 with -mavx2 and __int128 vector

[Bug target/101286] New: [12 Regression] ICE: in ix86_expand_vector_move, at config/i386/i386-expand.c:574 with -mavx2 and __int128 vector

[zsojka at seznam dot cz]

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

            Bug ID: 101286
           Summary: [12 Regression] ICE: in ix86_expand_vector_move, at
                    config/i386/i386-expand.c:574 with -mavx2 and __int128
                    vector
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu

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

Compiler output:
$ x86_64-pc-linux-gnu-gcc -mavx2 testcase.c 
during RTL pass: expand
testcase.c: In function 'foo':
testcase.c:6:6: internal compiler error: in ix86_expand_vector_move, at
config/i386/i386-expand.c:574
    6 |   (V){(__int128) 1 << 64 | 1, (__int128) 1 << 64 | 1};
      |      ^
0x7f27cf ix86_expand_vector_move(machine_mode, rtx_def**)
        /repo/gcc-trunk/gcc/config/i386/i386-expand.c:574
0x1898c88 gen_movv2ti(rtx_def*, rtx_def*)
        /repo/gcc-trunk/gcc/config/i386/sse.md:1043
0xcf7da7 rtx_insn* insn_gen_fn::operator()<rtx_def*, rtx_def*>(rtx_def*,
rtx_def*) const
        /repo/gcc-trunk/gcc/recog.h:407
0xcf7da7 emit_move_insn_1(rtx_def*, rtx_def*)
        /repo/gcc-trunk/gcc/expr.c:3865
0xcf81f5 emit_move_insn(rtx_def*, rtx_def*)
        /repo/gcc-trunk/gcc/expr.c:4035
0xd01f88 store_expr(tree_node*, rtx_def*, int, bool, bool)
        /repo/gcc-trunk/gcc/expr.c:6180
0xd02d8e expand_assignment(tree_node*, tree_node*, bool)
        /repo/gcc-trunk/gcc/expr.c:5729
0xbb952b expand_gimple_stmt_1
        /repo/gcc-trunk/gcc/cfgexpand.c:3943
0xbb952b expand_gimple_stmt
        /repo/gcc-trunk/gcc/cfgexpand.c:4041
0xbbfcfa expand_gimple_basic_block
        /repo/gcc-trunk/gcc/cfgexpand.c:6083
0xbc19a7 execute
        /repo/gcc-trunk/gcc/cfgexpand.c:6809
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r12-1965-20210701145532-gb97486f465f-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--disable-bootstrap --with-cloog --with-ppl --with-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=x86_64-pc-linux-gnu --with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r12-1965-20210701145532-gb97486f465f-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.0.0 20210701 (experimental) (GCC)

[Bug target/101286] [12 Regression] ICE: in ix86_expand_vector_move, at config/i386/i386-expand.c:574 with -mavx2 and __int128 vector

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-07-01
     Ever confirmed|0                           |1
           Priority|P3                          |P1
   Target Milestone|---                         |12.0
             Status|UNCONFIRMED                 |NEW
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Most likely r12-1958-gedafb35bdadf309ebb9d1eddc5549f9e1ad49c09

[Bug target/101286] [12 Regression] ICE: in ix86_expand_vector_move, at config/i386/i386-expand.c:574 with -mavx2 and __int128 vector

[jakub at gcc dot gnu.org]

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

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

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

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

Untested fix.

[Bug target/101286] [12 Regression] ICE: in ix86_expand_vector_move, at config/i386/i386-expand.c:574 with -mavx2 and __int128 vector

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:f7cad1a0ffe9f003ec347521dfd33f320f4c2b04

commit r12-1974-gf7cad1a0ffe9f003ec347521dfd33f320f4c2b04
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Fri Jul 2 10:06:56 2021 +0200

    i386: Punt on broadcasts from TImode integers [PR101286]

    ix86_expand_vector_init_duplicate doesn't handle TImode -> V2TImode
    or TImode -> V4TImode broadcasts, so I think we should punt on TImode
    inner mode in ix86_broadcast_from_integer_constant, otherwise we ICE
    in ix86_expand_vector_move when ix86_broadcast_from_integer_constant
    returns non-NULL and ix86_expand_vector_init_duplicate returns false.

    In theory TImode element broadcasts could be handled by some permutations,
    but I'm not sure it is worth it.

    2021-07-02  Jakub Jelinek  <jakub@redhat.com>

            PR target/101286
            * config/i386/i386-expand.c (ix86_broadcast_from_integer_constant):
            Return nullptr for TImode inner mode.

            * gcc.target/i386/avx2-pr101286.c: New test.

[Bug target/101286] [12 Regression] ICE: in ix86_expand_vector_move, at config/i386/i386-expand.c:574 with -mavx2 and __int128 vector

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.