On Thu, Nov 13, 2025 at 06:24:01PM +0100, Christophe Lyon wrote: > > > On 11/13/25 17:49, Artemiy Volkov wrote: > > Introduced in r16-5042-g470411f44f51d9, this testcase fails on > > AdvSIMD-less AArch32 configurations, likely as well as on other targets > > without vector support; thus, require it via dg-require-effective-target. > > Since this testcase includes stdint.h, require that as well. > > > > Regtested on arm-gnueabihf with > > RUNTESTFLAGS=--target_board=unix/-mfpu=vfpv3-d16/-march=armv7-a. > > > > The CI uses an aarch32 CPU with Neon, so I expect vect_int to be true on > target configuration. > > I suppose the reason why the testcase fails is that aarch32 Neon / AdvSIMD > lacks some patterns to support the VEC_PERM_EXPR you are expecting. > > Does the test pass with default RUNTESTFLAGS (assuming your machine defaults > to Neon support), or with -mfpu=auto/-march=armv7-a+simd ?
Hi Christophe, I don't know much about Linaro CI, but in the test report that I received GCC was configured with, among other things, --with-fpu=vfpv3-d16 --with-mode=thumb --with-tune=cortex-a9 --with-arch=armv7-a. (Please find configure logs at https://ci.linaro.org/job/tcwg_gnu_cross_check_gcc--master-arm-build/2423/artifact/artifacts/notify/configure-toolchain.txt). With -mfpu=neon, the test passes both before and after the patch. Thanks, Artemiy > > Thanks, > > Christophe > > > Pushing as obvious. > > > > gcc/testsuite/ChangeLog: > > > > * gcc.dg/tree-ssa/forwprop-43.c: Adjust. > > --- > > gcc/testsuite/gcc.dg/tree-ssa/forwprop-43.c | 2 ++ > > 1 file changed, 2 insertions(+) > > > > diff --git a/gcc/testsuite/gcc.dg/tree-ssa/forwprop-43.c > > b/gcc/testsuite/gcc.dg/tree-ssa/forwprop-43.c > > index f0f6170648a..bfda376e1f7 100644 > > --- a/gcc/testsuite/gcc.dg/tree-ssa/forwprop-43.c > > +++ b/gcc/testsuite/gcc.dg/tree-ssa/forwprop-43.c > > @@ -1,5 +1,7 @@ > > /* { dg-do compile } */ > > /* { dg-options "-O2 -fdump-tree-forwprop1" } */ > > +/* { dg-require-effective-target stdint_types } */ > > +/* { dg-require-effective-target vect_int } */ > > /* { dg-additional-options "-fgimple" } */ > > #include <stdint.h> >
