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 ?
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>
