Hi! This test FAILs on i686-linux or e.g. sparc*-solaris*, because it uses vect_int effective target outside of */vect/ testsuite. That is wrong, vect_int assumes the extra added flags by vect.exp by default, which aren't added in other testsuites.
The following patch fixes that by moving the test into gcc.dg/vect/ and doing small tweaks. Regtested on x86_64-linux and i686-linux, ok for trunk? 2024-01-18 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/112774 PR testsuite/113446 * gcc.dg/tree-ssa/scev-16.c: Move test ... * gcc.dg/vect/pr112774.c: ... here. Add PR comment line, use dg-additional-options instead of dg-options and drop -fdump-tree-vect-details. --- gcc/testsuite/gcc.dg/tree-ssa/scev-16.c.jj 2023-12-08 08:28:23.790168953 +0100 +++ gcc/testsuite/gcc.dg/tree-ssa/scev-16.c 2024-01-17 18:21:26.397146209 +0100 @@ -1,18 +0,0 @@ -/* { dg-do compile } */ -/* { dg-require-effective-target vect_int } */ -/* { dg-options "-O2 -ftree-vectorize -fdump-tree-vect-details" } */ - -int A[1024 * 2]; - -int foo (unsigned offset, unsigned N) -{ - int sum = 0; - - for (unsigned i = 0; i < N; i++) - sum += A[i + offset]; - - return sum; -} - -/* Loop can be vectorized by referring "i + offset" is nonwrapping from array. */ -/* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" { target { ! { avr-*-* msp430-*-* pru-*-* } } } } } */ --- gcc/testsuite/gcc.dg/vect/pr112774.c.jj 2024-01-17 18:20:25.401978923 +0100 +++ gcc/testsuite/gcc.dg/vect/pr112774.c 2024-01-17 18:21:16.194285496 +0100 @@ -0,0 +1,19 @@ +/* PR tree-optimization/112774 */ +/* { dg-do compile } */ +/* { dg-require-effective-target vect_int } */ +/* { dg-additional-options "-O2 -ftree-vectorize" } */ + +int A[1024 * 2]; + +int foo (unsigned offset, unsigned N) +{ + int sum = 0; + + for (unsigned i = 0; i < N; i++) + sum += A[i + offset]; + + return sum; +} + +/* Loop can be vectorized by referring "i + offset" is nonwrapping from array. */ +/* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" { target { ! { avr-*-* msp430-*-* pru-*-* } } } } } */ Jakub