[polly] [Polly] Skip vectorize.enable for FP loops with dist=1 dependences (PR #205756)

Karthika Devi C via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 14 03:50:02 PDT 2026


================
@@ -14,8 +14,8 @@
 ; CHECK: br {{.*}} !llvm.loop [[POLLY_LOOP:![0-9]+]]
 ; CHECK: [[LOOP]] = distinct !{[[LOOP]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
 ; CHECK: [[META3]] = !{!"llvm.loop.vectorize.enable", i32 0}
-; CHECK: [[POLLY_LOOP]] = distinct !{[[POLLY_LOOP]], [[META2:![0-9]+]], [[META3:![0-9]+]]}
-; CHECK: [[META3]] = !{!"llvm.loop.vectorize.enable", i1 true}
+; CHECK: [[POLLY_LOOP]] = distinct !{[[POLLY_LOOP]], {{.*}}}
+; CHECK-DAG: !{!"llvm.loop.vectorize.enable", i1 true}
----------------
kartcq wrote:

The test change in basic_vec_annotate.ll is because of IslAst.cpp change (gating PerformParallelTest on PollyVectorizeMetadata) now adds parallel_accesses metadata to the loop. The Polly loop output went from 2 metadata entries to 3, so the CHECK pattern had to be updated. The test still verifies that vectorize.enable=true is present — it's just matching the extra metadata entry that now appears.

I will add test for floating point case.

https://github.com/llvm/llvm-project/pull/205756


More information about the llvm-commits mailing list