[Bug target/100941] New: wrong code with __builtin_shufflevector() with -mavx512f

[Bug target/100941] New: wrong code with __builtin_shufflevector() with -mavx512f

[zsojka at seznam dot cz]

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

            Bug ID: 100941
           Summary: wrong code with __builtin_shufflevector() with
                    -mavx512f
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: wrong-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 50957
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50957&action=edit
reduced testcase

Output:
$ x86_64-pc-linux-gnu-gcc testcase.c -Wno-psabi
$ ./a.out
$ x86_64-pc-linux-gnu-gcc testcase.c -mavx512f
$ ./a.out 
Aborted

$ 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-1254-20210607112745-gbe5efe9c12c-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-1254-20210607112745-gbe5efe9c12c-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.0.0 20210607 (experimental) (GCC)

[Bug target/100941] wrong code with __builtin_shufflevector() with -mavx512f

[crazylht at gmail dot com]

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

Hongtao.liu <crazylht at gmail dot com> changed:

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

--- Comment #1 from Hongtao.liu <crazylht at gmail dot com> ---
The issue seems to be related to generic part, not target specific

006t.gimple

U foo (V v, W w)
{
  U D.2852;

  _1 = {v, { 0, 0, 0, 0 }};
  _2 = BIT_INSERT_EXPR <_1, { 0, 0, 0, 0 }, 0>; <--- why bit position is 0 but
not 256?
  D.2852 = BIT_FIELD_REF <_2, 64, 0>;
  return D.2852;
}

[Bug target/100941] wrong code with __builtin_shufflevector() with -mavx512f

[zsojka at seznam dot cz]

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

--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> ---
(In reply to Hongtao.liu from comment #1)
> The issue seems to be related to generic part, not target specific
> 
> 006t.gimple
> 
> U foo (V v, W w)
> {
>   U D.2852;
> 
>   _1 = {v, { 0, 0, 0, 0 }};
>   _2 = BIT_INSERT_EXPR <_1, { 0, 0, 0, 0 }, 0>; <--- why bit position is 0
> but not 256?
>   D.2852 = BIT_FIELD_REF <_2, 64, 0>;
>   return D.2852;
> }

Thank you for having a look.
I will re-check with the PR100887 fix applied.

[Bug target/100941] wrong code with __builtin_shufflevector() with -mavx512f

[zsojka at seznam dot cz]

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> ---
(In reply to Zdenek Sojka from comment #2)
> (In reply to Hongtao.liu from comment #1)
> > The issue seems to be related to generic part, not target specific
> > 
> > 006t.gimple
> > 
> > U foo (V v, W w)
> > {
> >   U D.2852;
> > 
> >   _1 = {v, { 0, 0, 0, 0 }};
> >   _2 = BIT_INSERT_EXPR <_1, { 0, 0, 0, 0 }, 0>; <--- why bit position is 0
> > but not 256?
> >   D.2852 = BIT_FIELD_REF <_2, 64, 0>;
> >   return D.2852;
> > }
> 
> Thank you for having a look.
> I will re-check with the PR100887 fix applied.

No longer fails with r12-1256 , so perhaps fixed by the other PR100887 fix.

[Bug target/100941] wrong code with __builtin_shufflevector() with -mavx512f

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Yes, that fixed it.