[r12-4559 Regression] FAIL: gcc.dg/vect/bb-slp-57.c scan-tree-dump-times slp1 "transform load" 1 on Linux/x86_64

[r12-4559 Regression] FAIL: gcc.dg/vect/bb-slp-57.c scan-tree-dump-times slp1 "transform load" 1 on Linux/x86_64

[sunil.k.pandey]

On Linux/x86_64,

914045dff10fbd27de27b90a0ac78a0058b2c86e is the first bad commit
commit 914045dff10fbd27de27b90a0ac78a0058b2c86e
Author: Andre Simoes Dias Vieira <andre.simoesdiasvieira@arm.com>
Date:   Wed Oct 20 13:12:09 2021 +0100

    [Patch][GCC][middle-end] - Generate FRINTZ for (double)(int) under -ffast-math on aarch64

caused

FAIL: gcc.dg/vect/bb-slp-57.c -flto -ffat-lto-objects  scan-tree-dump-times slp1 "transform load" 1
FAIL: gcc.dg/vect/bb-slp-57.c scan-tree-dump-times slp1 "transform load" 1

with GCC configured with

../../gcc/configure --prefix=/local/skpandey/gccwork/toolwork/gcc-bisect-master/master/r12-4559/usr --enable-clocale=gnu --with-system-zlib --with-demangler-in-ld --with-fpmath=sse --enable-languages=c,c++,fortran --enable-cet --without-isl --enable-libmpx x86_64-linux --disable-bootstrap

To reproduce:

$ cd {build_dir}/gcc && make check RUNTESTFLAGS="vect.exp=gcc.dg/vect/bb-slp-57.c --target_board='unix{-m64\ -march=cascadelake}'"

(Please do not reply to this email, for question about this report, contact me at skpgkp2 at gmail dot com)

Re: [r12-4559 Regression] FAIL: gcc.dg/vect/bb-slp-57.c scan-tree-dump-times slp1 "transform load" 1 on Linux/x86_64

[Richard Biener]

On Thu, Oct 21, 2021 at 3:39 AM sunil.k.pandey via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
>
> On Linux/x86_64,
>
> 914045dff10fbd27de27b90a0ac78a0058b2c86e is the first bad commit
> commit 914045dff10fbd27de27b90a0ac78a0058b2c86e
> Author: Andre Simoes Dias Vieira <andre.simoesdiasvieira@arm.com>
> Date:   Wed Oct 20 13:12:09 2021 +0100
>
>     [Patch][GCC][middle-end] - Generate FRINTZ for (double)(int) under -ffast-math on aarch64
>
> caused
>
> FAIL: gcc.dg/vect/bb-slp-57.c -flto -ffat-lto-objects  scan-tree-dump-times slp1 "transform load" 1
> FAIL: gcc.dg/vect/bb-slp-57.c scan-tree-dump-times slp1 "transform load" 1

That's because

_5 = .TRUNC (_3);

is

(gdb) p gimple_call_nothrow_p (call_stmt)
$2 = false

it is vectorizable though.  The conversions the call is synthesized
from are 'nothrow'.  I'll fix
that since the nothrow check is irrelevant here.

> with GCC configured with
>
> ../../gcc/configure --prefix=/local/skpandey/gccwork/toolwork/gcc-bisect-master/master/r12-4559/usr --enable-clocale=gnu --with-system-zlib --with-demangler-in-ld --with-fpmath=sse --enable-languages=c,c++,fortran --enable-cet --without-isl --enable-libmpx x86_64-linux --disable-bootstrap
>
> To reproduce:
>
> $ cd {build_dir}/gcc && make check RUNTESTFLAGS="vect.exp=gcc.dg/vect/bb-slp-57.c --target_board='unix{-m64\ -march=cascadelake}'"
>
> (Please do not reply to this email, for question about this report, contact me at skpgkp2 at gmail dot com)

Re: [r12-4559 Regression] FAIL: gcc.dg/vect/bb-slp-57.c scan-tree-dump-times slp1 "transform load" 1 on Linux/x86_64

[Richard Biener]

On Thu, Oct 21, 2021 at 9:30 AM Richard Biener
<richard.guenther@gmail.com> wrote:
>
> On Thu, Oct 21, 2021 at 3:39 AM sunil.k.pandey via Gcc-patches
> <gcc-patches@gcc.gnu.org> wrote:
> >
> > On Linux/x86_64,
> >
> > 914045dff10fbd27de27b90a0ac78a0058b2c86e is the first bad commit
> > commit 914045dff10fbd27de27b90a0ac78a0058b2c86e
> > Author: Andre Simoes Dias Vieira <andre.simoesdiasvieira@arm.com>
> > Date:   Wed Oct 20 13:12:09 2021 +0100
> >
> >     [Patch][GCC][middle-end] - Generate FRINTZ for (double)(int) under -ffast-math on aarch64
> >
> > caused
> >
> > FAIL: gcc.dg/vect/bb-slp-57.c -flto -ffat-lto-objects  scan-tree-dump-times slp1 "transform load" 1
> > FAIL: gcc.dg/vect/bb-slp-57.c scan-tree-dump-times slp1 "transform load" 1
>
> That's because
>
> _5 = .TRUNC (_3);
>
> is
>
> (gdb) p gimple_call_nothrow_p (call_stmt)
> $2 = false
>
> it is vectorizable though.  The conversions the call is synthesized
> from are 'nothrow'.  I'll fix
> that since the nothrow check is irrelevant here.

For the specific testcase that doesn't help though since there's no
optab for V2SFmode as needed by the testcase.

>
> > with GCC configured with
> >
> > ../../gcc/configure --prefix=/local/skpandey/gccwork/toolwork/gcc-bisect-master/master/r12-4559/usr --enable-clocale=gnu --with-system-zlib --with-demangler-in-ld --with-fpmath=sse --enable-languages=c,c++,fortran --enable-cet --without-isl --enable-libmpx x86_64-linux --disable-bootstrap
> >
> > To reproduce:
> >
> > $ cd {build_dir}/gcc && make check RUNTESTFLAGS="vect.exp=gcc.dg/vect/bb-slp-57.c --target_board='unix{-m64\ -march=cascadelake}'"
> >
> > (Please do not reply to this email, for question about this report, contact me at skpgkp2 at gmail dot com)