As -fno-tree-loop-if-convert no longer works to inhibit vectorization
for the testcase when cselim is not performed adjust the testcase
to appropriately require masked stores and scan for versioning for
aliasing in that case.
Tested on x86_64-unknown-linux-gnu, pushed.
PR testsuite/127122
* gcc.dg/vect/vect-cselim-2.c: Adjust.
---
gcc/testsuite/gcc.dg/vect/vect-cselim-2.c | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/gcc/testsuite/gcc.dg/vect/vect-cselim-2.c
b/gcc/testsuite/gcc.dg/vect/vect-cselim-2.c
index f3b7db076e6..f15c348a43b 100644
--- a/gcc/testsuite/gcc.dg/vect/vect-cselim-2.c
+++ b/gcc/testsuite/gcc.dg/vect/vect-cselim-2.c
@@ -1,7 +1,4 @@
/* { dg-require-effective-target vect_int } */
-/* We now if-convert the loop unconditonally as the memory locations
- are always stored to. */
-/* { dg-additional-options "-fno-tree-loop-if-convert" } */
#include <stdarg.h>
#include "tree-vect.h"
@@ -65,4 +62,6 @@ main (void)
return 0;
}
-/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 0 "vect" } } */
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 0 "vect" { target {
! vect_masked_store } } } } */
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target {
vect_masked_store } } } } */
+/* { dg-final { scan-tree-dump "loop versioned for vectorization because of
possible aliasing" "vect" { target { vect_masked_store } } } } */
--
2.51.0
